OpenCoverage

bn_asm.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_asm.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 unsigned long -

7 bn_mul_add_words(unsigned long *rp, const unsigned long *ap, int num, unsigned long w) -

8 { -

9 unsigned long c1 = 0; -

10 -

11 -

12 ((void) (0)) -

13 ; -

if (num <= 0

num <= 0	Description
TRUE	never evaluated
FALSE	evaluated 1423366 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-1423366

return

never executed: return (c1);

(c1);

never executed: return (c1);

16 -

17 -

while (num & ~3

num & ~3	Description
TRUE	evaluated 1658364 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1423366 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1423366-1658364

{ unsigned long high,low,ret,tmp=(ap[0]); ret = (rp[0]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(tmp) : "cc");; ret += (c1); (c1) = (

(ret<(c1))	Description
TRUE	evaluated 118099 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1540265 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<(c1))

(ret<(c1))	Description
TRUE	evaluated 118099 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1540265 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (c1) += high; ret += low; (c1) += (

(ret<low)	Description
TRUE	evaluated 868071 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 790293 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 868071 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 790293 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[0]) = ret; };

118099-1540265

{ unsigned long high,low,ret,tmp=(ap[1]); ret = (rp[1]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(tmp) : "cc");; ret += (c1); (c1) = (

(ret<(c1))	Description
TRUE	evaluated 406066 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1252298 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<(c1))

(ret<(c1))	Description
TRUE	evaluated 406066 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1252298 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (c1) += high; ret += low; (c1) += (

(ret<low)	Description
TRUE	evaluated 811067 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 847297 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 811067 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 847297 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[1]) = ret; };

406066-1252298

{ unsigned long high,low,ret,tmp=(ap[2]); ret = (rp[2]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(tmp) : "cc");; ret += (c1); (c1) = (

(ret<(c1))	Description
TRUE	evaluated 313713 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1344651 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<(c1))

(ret<(c1))	Description
TRUE	evaluated 313713 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1344651 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (c1) += high; ret += low; (c1) += (

(ret<low)	Description
TRUE	evaluated 814804 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 843560 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 814804 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 843560 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[2]) = ret; };

313713-1344651

{ unsigned long high,low,ret,tmp=(ap[3]); ret = (rp[3]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(tmp) : "cc");; ret += (c1); (c1) = (

(ret<(c1))	Description
TRUE	evaluated 224583 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1433781 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<(c1))

(ret<(c1))	Description
TRUE	evaluated 224583 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1433781 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (c1) += high; ret += low; (c1) += (

(ret<low)	Description
TRUE	evaluated 780588 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 877776 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 780588 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 877776 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[3]) = ret; };

224583-1433781

23 ap += 4; -

24 rp += 4; -

25 num -= 4; -

}

executed 1658364 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1658364

27 -

while (num

num	Description
TRUE	evaluated 1545871 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest
FALSE	evaluated 1423366 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1423366-1545871

{ unsigned long high,low,ret,tmp=(ap[0]); ret = (rp[0]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(tmp) : "cc");; ret += (c1); (c1) = (

(ret<(c1))	Description
TRUE	evaluated 31486 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest
FALSE	evaluated 1514385 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest

ret<(c1))

(ret<(c1))	Description
TRUE	evaluated 31486 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest
FALSE	evaluated 1514385 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest

?1:0; (c1) += high; ret += low; (c1) += (

(ret<low)	Description
TRUE	evaluated 533949 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest
FALSE	evaluated 1011922 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest

ret<low)

(ret<low)	Description
TRUE	evaluated 533949 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest
FALSE	evaluated 1011922 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest

?1:0; (rp[0]) = ret; };

31486-1514385

30 ap++; -

31 rp++; -

32 num--; -

}

executed 1545871 times by 11 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
rsa_test
servertest

1545871

34 -

return

executed 1423366 times by 14 tests: return (c1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(c1);

executed 1423366 times by 14 tests: return (c1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1423366

36 } -

37 -

38 unsigned long -

39 bn_mul_words(unsigned long *rp, const unsigned long *ap, int num, unsigned long w) -

40 { -

41 unsigned long c1 = 0; -

42 -

43 -

44 ((void) (0)) -

45 ; -

if (num <= 0

num <= 0	Description
TRUE	never evaluated
FALSE	evaluated 2006848 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-2006848

return

never executed: return (c1);

(c1);

never executed: return (c1);

48 -

49 -

while (num & ~3

num & ~3	Description
TRUE	evaluated 2723244 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2006848 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

2006848-2723244

{ unsigned long high,low,ret,ta=(ap[0]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(ta) : "cc");; ret = low + (c1); (c1) = high; (c1) += (

(ret<low)	Description
TRUE	evaluated 153095 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2570149 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 153095 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2570149 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[0]) = ret; };

153095-2570149

{ unsigned long high,low,ret,ta=(ap[1]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(ta) : "cc");; ret = low + (c1); (c1) = high; (c1) += (

(ret<low)	Description
TRUE	evaluated 319241 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2404003 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 319241 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2404003 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[1]) = ret; };

319241-2404003

{ unsigned long high,low,ret,ta=(ap[2]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(ta) : "cc");; ret = low + (c1); (c1) = high; (c1) += (

(ret<low)	Description
TRUE	evaluated 319053 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2404191 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 319053 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2404191 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[2]) = ret; };

319053-2404191

{ unsigned long high,low,ret,ta=(ap[3]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(ta) : "cc");; ret = low + (c1); (c1) = high; (c1) += (

(ret<low)	Description
TRUE	evaluated 348780 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2374464 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 348780 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2374464 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[3]) = ret; };

348780-2374464

55 ap += 4; -

56 rp += 4; -

57 num -= 4; -

}

executed 2723244 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

2723244

59 -

while (num

num	Description
TRUE	evaluated 2012281 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2006848 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

2006848-2012281

{ unsigned long high,low,ret,ta=(ap[0]); asm ("mulq %3" : "=a"(low),"=d"(high) : "a"(w),"g"(ta) : "cc");; ret = low + (c1); (c1) = high; (c1) += (

(ret<low)	Description
TRUE	evaluated 92198 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1920083 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

ret<low)

(ret<low)	Description
TRUE	evaluated 92198 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1920083 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?1:0; (rp[0]) = ret; };

92198-1920083

62 ap++; -

63 rp++; -

64 num--; -

}

executed 2012281 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

2012281

return

executed 2006848 times by 14 tests: return (c1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(c1);

executed 2006848 times by 14 tests: return (c1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

2006848

67 } -

68 -

69 void -

70 bn_sqr_words(unsigned long *r, const unsigned long *a, int n) -

71 { -

72 -

73 ((void) (0)) -

74 ; -

if (n <= 0

n <= 0	Description
TRUE	never evaluated
FALSE	evaluated 253744 times by 10 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest

)

0-253744

return;

never executed: return;

77 -

78 -

while (n & ~3

n & ~3	Description
TRUE	evaluated 61511 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test servertest
FALSE	evaluated 253744 times by 10 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest

) {

61511-253744

80 { unsigned long tmp=(a[0]); asm ("mulq %3" : "=a"(r[0]),"=d"(r[1]) : "a"(tmp),"g"(tmp) : "cc");; }; -

81 { unsigned long tmp=(a[1]); asm ("mulq %3" : "=a"(r[2]),"=d"(r[3]) : "a"(tmp),"g"(tmp) : "cc");; }; -

82 { unsigned long tmp=(a[2]); asm ("mulq %3" : "=a"(r[4]),"=d"(r[5]) : "a"(tmp),"g"(tmp) : "cc");; }; -

83 { unsigned long tmp=(a[3]); asm ("mulq %3" : "=a"(r[6]),"=d"(r[7]) : "a"(tmp),"g"(tmp) : "cc");; }; -

84 a += 4; -

85 r += 8; -

86 n -= 4; -

}

executed 61511 times by 7 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
rsa_test
servertest

61511

88 -

while (n

n	Description
TRUE	evaluated 260358 times by 10 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest
FALSE	evaluated 253744 times by 10 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest

) {

253744-260358

90 { unsigned long tmp=(a[0]); asm ("mulq %3" : "=a"(r[0]),"=d"(r[1]) : "a"(tmp),"g"(tmp) : "cc");; }; -

91 a++; -

92 r += 2; -

93 n--; -

}

executed 260358 times by 10 tests: end of block

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
rsa_test
servertest

260358

}

executed 253744 times by 10 tests: end of block

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
rsa_test
servertest

253744

96 unsigned long -

97 bn_div_words(unsigned long h, unsigned long l, unsigned long d) -

98 { -

99 unsigned long dh, dl, q,ret = 0, th, tl, t; -

100 int i, count = 2; -

101 -

102

if (d == 0

d == 0	Description
TRUE	never evaluated
FALSE	evaluated 1645 times by 1 test Evaluated by: bntest

)

0-1645

103

return

never executed: return ((0xffffffffffffffffL));

((0xffffffffffffffffL));

never executed: return ((0xffffffffffffffffL));

104 -

105 i = BN_num_bits_word(d); -

106 -

107 ((void) (0)) -

108 ; -

109 -

110 i = 64 - i; -

111

if (h >= d

h >= d	Description
TRUE	never evaluated
FALSE	evaluated 1645 times by 1 test Evaluated by: bntest

)

0-1645

112

h -= d;

never executed: h -= d;

113 -

114

if (i

i	Description
TRUE	never evaluated
FALSE	evaluated 1645 times by 1 test Evaluated by: bntest

) {

0-1645

115 d <<= i; -

116 h = (h << i) | (l >> (64 - i)); -

117 l <<= i; -

118

}

never executed: end of block

119 dh = (d & (0xffffffff00000000L)) >> 32; -

120 dl = (d & (0xffffffffL)); -

121 for (;;) { -

122

if ((

(h >> 32) == dh	Description
TRUE	evaluated 4 times by 1 test Evaluated by: bntest
FALSE	evaluated 3286 times by 1 test Evaluated by: bntest

h >> 32) == dh

(h >> 32) == dh	Description
TRUE	evaluated 4 times by 1 test Evaluated by: bntest
FALSE	evaluated 3286 times by 1 test Evaluated by: bntest

)

4-3286

123

q = (0xffffffffL);

executed 4 times by 1 test: q = (0xffffffffL);

Executed by:

bntest

124 else -

125

q = h / dh;

executed 3286 times by 1 test: q = h / dh;

Executed by:

bntest

3286

126 -

127 th = q * dh; -

128 tl = dl * q; -

129 for (;;) { -

130 t = h - th; -

131

if ((

(t & (0xffffffff00000000L))	Description
TRUE	evaluated 498 times by 1 test Evaluated by: bntest
FALSE	evaluated 3632 times by 1 test Evaluated by: bntest

t & (0xffffffff00000000L))

(t & (0xffffffff00000000L))	Description
TRUE	evaluated 498 times by 1 test Evaluated by: bntest
FALSE	evaluated 3632 times by 1 test Evaluated by: bntest

498-3632

132

((

((tl) <= ( (t ...00L)) >> 32)))	Description
TRUE	evaluated 2792 times by 1 test Evaluated by: bntest
FALSE	evaluated 840 times by 1 test Evaluated by: bntest

tl) <= (

((tl) <= ( (t ...00L)) >> 32)))	Description
TRUE	evaluated 2792 times by 1 test Evaluated by: bntest
FALSE	evaluated 840 times by 1 test Evaluated by: bntest

840-2792

133

(t << 32) |

((tl) <= ( (t ...00L)) >> 32)))	Description
TRUE	evaluated 2792 times by 1 test Evaluated by: bntest
FALSE	evaluated 840 times by 1 test Evaluated by: bntest

840-2792

134

((l & (0xffffffff00000000L)) >> 32)))

((tl) <= ( (t ...00L)) >> 32)))	Description
TRUE	evaluated 2792 times by 1 test Evaluated by: bntest
FALSE	evaluated 840 times by 1 test Evaluated by: bntest

)

840-2792

135

break;

executed 3290 times by 1 test: break;

Executed by:

bntest

3290

136 q--; -

137 th -= dh; -

138 tl -= dl; -

139

}

executed 840 times by 1 test: end of block

Executed by:

bntest

840

140 t = (tl >> 32); -

141 tl = (tl << 32) & (0xffffffff00000000L); -

142 th += t; -

143 -

144

if (l < tl

l < tl	Description
TRUE	evaluated 1130 times by 1 test Evaluated by: bntest
FALSE	evaluated 2160 times by 1 test Evaluated by: bntest

)

1130-2160

145

th++;

executed 1130 times by 1 test: th++;

Executed by:

bntest

1130

146 l -= tl; -

147

if (h < th

h < th	Description
TRUE	never evaluated
FALSE	evaluated 3290 times by 1 test Evaluated by: bntest

) {

0-3290

148 h += d; -

149 q--; -

150

}

never executed: end of block

151 h -= th; -

152 -

153

if (--

--count == 0	Description
TRUE	evaluated 1645 times by 1 test Evaluated by: bntest
FALSE	evaluated 1645 times by 1 test Evaluated by: bntest

count == 0

--count == 0	Description
TRUE	evaluated 1645 times by 1 test Evaluated by: bntest
FALSE	evaluated 1645 times by 1 test Evaluated by: bntest

)

1645

154

break;

executed 1645 times by 1 test: break;

Executed by:

bntest

1645

155 -

156 ret = q << 32; -

157 h = ((h << 32) | (l >> 32)) & (0xffffffffffffffffL); -

158 l = (l & (0xffffffffL)) << 32; -

159

}

executed 1645 times by 1 test: end of block

Executed by:

bntest

1645

160 ret |= q; -

161

return

executed 1645 times by 1 test: return (ret);

Executed by:

bntest

(ret);

executed 1645 times by 1 test: return (ret);

Executed by:

bntest

1645

162 } -

163 unsigned long -

164 bn_add_words(unsigned long *r, const unsigned long *a, const unsigned long *b, int n) -

165 { -

166 unsigned long c, l, t; -

167 -

168 -

169 ((void) (0)) -

170 ; -

171

if (n <= 0

n <= 0	Description
TRUE	evaluated 15515 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1501550 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

15515-1501550

172

return

executed 15515 times by 14 tests: return ((unsigned long)0);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

((unsigned long)0);

executed 15515 times by 14 tests: return ((unsigned long)0);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

15515

173 -

174 c = 0; -

175 -

176

while (n & ~3

n & ~3	Description
TRUE	evaluated 1328979 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1501550 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1328979-1501550

177 t = a[0]; -

178 t = (t + c) & (0xffffffffffffffffL); -

179 c = (t < c); -

180 l = (t + b[0]) & (0xffffffffffffffffL); -

181 c += (l < t); -

182 r[0] = l; -

183 t = a[1]; -

184 t = (t + c) & (0xffffffffffffffffL); -

185 c = (t < c); -

186 l = (t + b[1]) & (0xffffffffffffffffL); -

187 c += (l < t); -

188 r[1] = l; -

189 t = a[2]; -

190 t = (t + c) & (0xffffffffffffffffL); -

191 c = (t < c); -

192 l = (t + b[2]) & (0xffffffffffffffffL); -

193 c += (l < t); -

194 r[2] = l; -

195 t = a[3]; -

196 t = (t + c) & (0xffffffffffffffffL); -

197 c = (t < c); -

198 l = (t + b[3]) & (0xffffffffffffffffL); -

199 c += (l < t); -

200 r[3] = l; -

201 a += 4; -

202 b += 4; -

203 r += 4; -

204 n -= 4; -

205

}

executed 1328979 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1328979

206 -

207

while (n

n	Description
TRUE	evaluated 1996367 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1501550 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1501550-1996367

208 t = a[0]; -

209 t = (t + c) & (0xffffffffffffffffL); -

210 c = (t < c); -

211 l = (t + b[0]) & (0xffffffffffffffffL); -

212 c += (l < t); -

213 r[0] = l; -

214 a++; -

215 b++; -

216 r++; -

217 n--; -

218

}

executed 1996367 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1996367

219

return

executed 1501550 times by 15 tests: return ((unsigned long)c);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

((unsigned long)c);

executed 1501550 times by 15 tests: return ((unsigned long)c);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1501550

220 } -

221 -

222 -

223 unsigned long -

224 bn_sub_words(unsigned long *r, const unsigned long *a, const unsigned long *b, int n) -

225 { -

226 unsigned long t1, t2; -

227 int c = 0; -

228 -

229 -

230 ((void) (0)) -

231 ; -

232

if (n <= 0

n <= 0	Description
TRUE	evaluated 341 times by 5 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest
FALSE	evaluated 4815024 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

341-4815024

233

return

executed 341 times by 5 tests: return ((unsigned long)0);

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest

((unsigned long)0);

executed 341 times by 5 tests: return ((unsigned long)0);

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest

341

234 -

235 -

236

while (n&~3

n&~3	Description
TRUE	evaluated 5909208 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 4815024 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

4815024-5909208

237 t1 = a[0]; -

238 t2 = b[0]; -

239 r[0] = (t1 - t2 - c) & (0xffffffffffffffffL); -

240

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 5748254 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 160954 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

160954-5748254

241

c = (t1 < t2);

executed 5748254 times by 12 tests: c = (t1 < t2);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

5748254

242 t1 = a[1]; -

243 t2 = b[1]; -

244 r[1] = (t1 - t2 - c) & (0xffffffffffffffffL); -

245

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 5679966 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 229242 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

229242-5679966

246

c = (t1 < t2);

executed 5679966 times by 12 tests: c = (t1 < t2);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

5679966

247 t1 = a[2]; -

248 t2 = b[2]; -

249 r[2] = (t1 - t2 - c) & (0xffffffffffffffffL); -

250

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 5679137 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 230071 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

230071-5679137

251

c = (t1 < t2);

executed 5679137 times by 12 tests: c = (t1 < t2);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

5679137

252 t1 = a[3]; -

253 t2 = b[3]; -

254 r[3] = (t1 - t2 - c) & (0xffffffffffffffffL); -

255

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 5578326 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 330882 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

330882-5578326

256

c = (t1 < t2);

executed 5578326 times by 12 tests: c = (t1 < t2);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

5578326

257 a += 4; -

258 b += 4; -

259 r += 4; -

260 n -= 4; -

261

}

executed 5909208 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

5909208

262 -

263

while (n

n	Description
TRUE	evaluated 4852605 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 4815024 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

4815024-4852605

264 t1 = a[0]; -

265 t2 = b[0]; -

266 r[0] = (t1 - t2 - c) & (0xffffffffffffffffL); -

267

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 3830322 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1022283 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

1022283-3830322

268

c = (t1 < t2);

executed 3830322 times by 15 tests: c = (t1 < t2);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

3830322

269 a++; -

270 b++; -

271 r++; -

272 n--; -

273

}

executed 4852605 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

4852605

274

return

executed 4815024 times by 15 tests: return (c);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(c);

executed 4815024 times by 15 tests: return (c);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

4815024

275 } -

276 void -

277 bn_mul_comba8(unsigned long *r, unsigned long *a, unsigned long *b) -

278 { -

279 unsigned long c1, c2, c3; -

280 -

281 c1 = 0; -

282 c2 = 0; -

283 c3 = 0; -

284

do { unsigned long ta = (a[0]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

285 r[0] = c1; -

286 c1 = 0; -

287

do { unsigned long ta = (a[0]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 43734 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122969 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 43734 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122969 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

288

do { unsigned long ta = (a[1]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83626 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83077 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83626 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83077 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 20483 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146220 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 20483 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146220 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20483-146220

289 r[1] = c2; -

290 c2 = 0; -

291

do { unsigned long ta = (a[2]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 77143 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 89560 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 77143 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 89560 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

292

do { unsigned long ta = (a[1]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83184 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83519 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83184 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83519 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 7927 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 158776 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 7927 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 158776 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

7927-158776

293

do { unsigned long ta = (a[0]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83395 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83308 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83395 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83308 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 33331 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 133372 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 33331 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 133372 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

33331-133372

294 r[2] = c3; -

295 c3 = 0; -

296

do { unsigned long ta = (a[0]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 84382 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82321 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 84382 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82321 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

297

do { unsigned long ta = (a[1]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83302 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83401 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83302 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83401 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 20297 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146406 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 20297 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146406 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20297-146406

298

do { unsigned long ta = (a[2]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83333 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83370 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83333 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83370 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 21612 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145091 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 21612 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145091 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

21612-145091

299

do { unsigned long ta = (a[3]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83278 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83425 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83278 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83425 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 48629 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 118074 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 48629 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 118074 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

48629-118074

300 r[3] = c1; -

301 c1 = 0; -

302

do { unsigned long ta = (a[4]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83902 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82801 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83902 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82801 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

303

do { unsigned long ta = (a[3]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83206 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83497 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83206 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83497 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 19390 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 147313 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 19390 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 147313 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

19390-147313

304

do { unsigned long ta = (a[2]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83496 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83207 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83496 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83207 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 20415 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146288 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 20415 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146288 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20415-146288

305

do { unsigned long ta = (a[1]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83136 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83567 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83136 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83567 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 56046 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 110657 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 56046 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 110657 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

56046-110657

306

do { unsigned long ta = (a[0]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83289 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83414 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83289 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83414 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 44027 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122676 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 44027 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122676 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

44027-122676

307 r[4] = c2; -

308 c2 = 0; -

309

do { unsigned long ta = (a[0]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83729 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82974 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83729 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82974 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

310

do { unsigned long ta = (a[1]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83255 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83448 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83255 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83448 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 20192 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146511 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 20192 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146511 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20192-146511

311

do { unsigned long ta = (a[2]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83280 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83423 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83280 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83423 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 21506 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145197 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 21506 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145197 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

21506-145197

312

do { unsigned long ta = (a[3]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83414 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83289 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83414 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83289 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 48773 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 117930 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 48773 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 117930 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

48773-117930

313

do { unsigned long ta = (a[4]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83058 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83645 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83058 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83645 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 49726 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 116977 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 49726 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 116977 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

49726-116977

314

do { unsigned long ta = (a[5]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83622 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83081 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83622 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83081 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 31343 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 135360 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 31343 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 135360 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

31343-135360

315 r[5] = c3; -

316 c3 = 0; -

317

do { unsigned long ta = (a[6]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 82963 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83740 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 82963 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83740 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

318

do { unsigned long ta = (a[5]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83677 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83026 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83677 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83026 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 8495 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 158208 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 8495 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 158208 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

8495-158208

319

do { unsigned long ta = (a[4]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83197 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83506 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83197 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83506 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 41009 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 125694 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 41009 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 125694 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

41009-125694

320

do { unsigned long ta = (a[3]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83802 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82901 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83802 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82901 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 49201 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 117502 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 49201 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 117502 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

49201-117502

321

do { unsigned long ta = (a[2]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83198 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83505 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83198 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83505 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 28052 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 138651 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 28052 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 138651 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

28052-138651

322

do { unsigned long ta = (a[1]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83146 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83557 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83146 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83557 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 54765 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 111938 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 54765 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 111938 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

54765-111938

323

do { unsigned long ta = (a[0]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83440 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83263 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83440 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83263 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 43006 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 123697 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 43006 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 123697 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

43006-123697

324 r[6] = c1; -

325 c1 = 0; -

326

do { unsigned long ta = (a[0]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83233 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83470 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83233 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83470 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

327

do { unsigned long ta = (a[1]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83019 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83684 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83019 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83684 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 6933 times by 8 tests Evaluated by: bntest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 159770 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 6933 times by 8 tests Evaluated by: bntest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 159770 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

6933-159770

328

do { unsigned long ta = (a[2]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83139 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83564 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83139 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83564 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 10264 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 156439 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 10264 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 156439 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

10264-156439

329

do { unsigned long ta = (a[3]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83037 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83666 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83037 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83666 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 42238 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 124465 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 42238 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 124465 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

42238-124465

330

do { unsigned long ta = (a[4]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83625 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83078 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83625 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83078 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 49945 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 116758 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 49945 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 116758 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

49945-116758

331

do { unsigned long ta = (a[5]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83264 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83439 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83264 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83439 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 31379 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 135324 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 31379 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 135324 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

31379-135324

332

do { unsigned long ta = (a[6]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83083 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83620 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83083 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83620 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 54259 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 112444 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 54259 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 112444 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

54259-112444

333

do { unsigned long ta = (a[7]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 79813 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 86890 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 79813 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 86890 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 30480 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 136223 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 30480 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 136223 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

30480-136223

334 r[7] = c2; -

335 c2 = 0; -

336

do { unsigned long ta = (a[7]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83620 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83083 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83620 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83083 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

337

do { unsigned long ta = (a[6]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83074 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83629 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83074 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83629 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 22909 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143794 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 22909 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143794 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

22909-143794

338

do { unsigned long ta = (a[5]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83194 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83509 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83194 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83509 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 14627 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 152076 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 14627 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 152076 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

14627-152076

339

do { unsigned long ta = (a[4]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83296 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83407 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83296 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83407 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 43786 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122917 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 43786 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 122917 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

43786-122917

340

do { unsigned long ta = (a[3]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83210 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83493 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83210 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83493 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 47949 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 118754 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 47949 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 118754 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

47949-118754

341

do { unsigned long ta = (a[2]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83397 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83306 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83397 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83306 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 27487 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 139216 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 27487 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 139216 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

27487-139216

342

do { unsigned long ta = (a[1]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83301 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83402 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83301 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83402 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 20585 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146118 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 20585 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 146118 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20585-146118

343 r[8] = c3; -

344 c3 = 0; -

345

do { unsigned long ta = (a[2]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83629 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83074 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83629 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83074 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

346

do { unsigned long ta = (a[3]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83371 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83332 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83371 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83332 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 1608 times by 8 tests Evaluated by: bntest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 165095 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 1608 times by 8 tests Evaluated by: bntest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 165095 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

1608-165095

347

do { unsigned long ta = (a[4]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83337 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83366 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83337 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83366 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 21657 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145046 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 21657 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145046 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

21657-145046

348

do { unsigned long ta = (a[5]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83179 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83524 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83179 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83524 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 24255 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 142448 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 24255 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 142448 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

24255-142448

349

do { unsigned long ta = (a[6]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83486 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83217 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83486 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83217 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 56770 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 109933 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 56770 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 109933 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

56770-109933

350

do { unsigned long ta = (a[7]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83163 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83540 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83163 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83540 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 30691 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 136012 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 30691 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 136012 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

30691-136012

351 r[9] = c1; -

352 c1 = 0; -

353

do { unsigned long ta = (a[7]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 84585 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82118 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 84585 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82118 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

354

do { unsigned long ta = (a[6]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83403 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83300 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83403 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83300 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 22811 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143892 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 22811 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143892 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

22811-143892

355

do { unsigned long ta = (a[5]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83160 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83543 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83160 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83543 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 14560 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 152143 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 14560 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 152143 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

14560-152143

356

do { unsigned long ta = (a[4]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83344 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83359 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83344 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83359 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 42659 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 124044 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 42659 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 124044 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

42659-124044

357

do { unsigned long ta = (a[3]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83190 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83513 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83190 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83513 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 16704 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 149999 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 16704 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 149999 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

16704-149999

358 r[10] = c2; -

359 c2 = 0; -

360

do { unsigned long ta = (a[4]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 84024 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82679 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 84024 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82679 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

361

do { unsigned long ta = (a[5]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83111 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83592 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83111 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83592 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 1511 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 165192 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 1511 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 165192 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

1511-165192

362

do { unsigned long ta = (a[6]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83500 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83203 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83500 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83203 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 20714 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145989 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 20714 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 145989 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

20714-145989

363

do { unsigned long ta = (a[7]), tb = (b[4]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 83428 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83275 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 83428 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83275 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 31782 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 134921 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 31782 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 134921 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

31782-134921

364 r[11] = c3; -

365 c3 = 0; -

366

do { unsigned long ta = (a[7]), tb = (b[5]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 78692 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 88011 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 78692 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 88011 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

367

do { unsigned long ta = (a[6]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 82759 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83944 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 82759 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83944 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 22843 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143860 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 22843 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 143860 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

22843-143860

368

do { unsigned long ta = (a[5]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 83807 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82896 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 83807 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 82896 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 5476 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 161227 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 5476 times by 9 tests Evaluated by: bntest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 161227 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

5476-161227

369 r[12] = c1; -

370 c1 = 0; -

371

do { unsigned long ta = (a[6]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 62805 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 103898 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 62805 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 103898 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

372

do { unsigned long ta = (a[7]), tb = (b[6]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 83473 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83230 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 83473 times by 10 tests Evaluated by: bntest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83230 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 11297 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 155406 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 11297 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 155406 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

11297-155406

373 r[13] = c2; -

374 c2 = 0; -

375

do { unsigned long ta = (a[7]), tb = (b[7]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 39325 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 127378 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 39325 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 127378 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 166703 times by 11 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?1:0; } while(0);

0-166703

376 r[14] = c3; -

377 r[15] = c1; -

378

}

executed 166703 times by 11 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

166703

379 -

380 void -

381 bn_mul_comba4(unsigned long *r, unsigned long *a, unsigned long *b) -

382 { -

383 unsigned long c1, c2, c3; -

384 -

385 c1 = 0; -

386 c2 = 0; -

387 c3 = 0; -

388

do { unsigned long ta = (a[0]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

389 r[0] = c1; -

390 c1 = 0; -

391

do { unsigned long ta = (a[0]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<lo)

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

392

do { unsigned long ta = (a[1]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<lo)

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

393 r[1] = c2; -

394 c2 = 0; -

395

do { unsigned long ta = (a[2]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<lo)

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

396

do { unsigned long ta = (a[1]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<lo)

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

397

do { unsigned long ta = (a[0]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<lo)

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

398 r[2] = c3; -

399 c3 = 0; -

400

do { unsigned long ta = (a[0]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

401

do { unsigned long ta = (a[1]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

402

do { unsigned long ta = (a[2]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

403

do { unsigned long ta = (a[3]), tb = (b[0]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

404 r[3] = c1; -

405 c1 = 0; -

406

do { unsigned long ta = (a[3]), tb = (b[1]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<lo)

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

407

do { unsigned long ta = (a[2]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<lo)

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

408

do { unsigned long ta = (a[1]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<lo)

(c2<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<hi)

(c3<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

409 r[4] = c2; -

410 c2 = 0; -

411

do { unsigned long ta = (a[2]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<lo)

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

412

do { unsigned long ta = (a[3]), tb = (b[2]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c3<lo)

(c3<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

413 r[5] = c3; -

414 c3 = 0; -

415

do { unsigned long ta = (a[3]), tb = (b[3]); unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	never evaluated

?1:0; } while(0);

416 r[6] = c1; -

417 r[7] = c2; -

418

}

never executed: end of block

419 -

420 void -

421 bn_sqr_comba8(unsigned long *r, const unsigned long *a) -

422 { -

423 unsigned long c1, c2, c3; -

424 -

425 c1 = 0; -

426 c2 = 0; -

427 c3 = 0; -

428

do { unsigned long ta = (a)[0]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

429 r[0] = c1; -

430 c1 = 0; -

431

do { unsigned long ta = ((a)[1]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 41166 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 82043 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 41166 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 82043 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61585 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61624 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61585 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61624 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 18882 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 104327 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 18882 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 104327 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

432 r[1] = c2; -

433 c2 = 0; -

434

do { unsigned long ta = (a)[1]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 42897 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 80312 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 42897 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 80312 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

435

do { unsigned long ta = ((a)[2]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61536 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61673 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61536 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61673 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 17937 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105272 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 17937 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105272 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61926 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61283 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61926 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61283 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 27685 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95524 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 27685 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95524 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

17937-105272

436 r[2] = c3; -

437 c3 = 0; -

438

do { unsigned long ta = ((a)[3]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 57133 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 66076 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 57133 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 66076 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61487 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61722 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61487 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61722 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 18918 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest pkcs7test rsa_test
FALSE	evaluated 104291 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 18918 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest pkcs7test rsa_test
FALSE	evaluated 104291 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

439

do { unsigned long ta = ((a)[2]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61445 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61764 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61445 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61764 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 17020 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 106189 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 17020 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 106189 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61331 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61878 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61331 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61878 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 28661 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94548 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 28661 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94548 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

17020-106189

440 r[3] = c1; -

441 c1 = 0; -

442

do { unsigned long ta = (a)[2]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 58613 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 64596 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 58613 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 64596 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 4 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 123205 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 4 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 123205 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

4-123205

443

do { unsigned long ta = ((a)[3]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61830 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61379 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61830 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61379 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 18062 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105147 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 18062 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105147 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61541 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61668 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61541 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61668 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 27722 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95487 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 27722 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95487 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

18062-105147

444

do { unsigned long ta = ((a)[4]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61583 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61626 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61583 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61626 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 26591 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96618 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 26591 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96618 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61285 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61924 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61285 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61924 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 30300 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92909 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 30300 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92909 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

26591-96618

445 r[4] = c2; -

446 c2 = 0; -

447

do { unsigned long ta = ((a)[5]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61144 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62065 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61144 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62065 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61457 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61752 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61457 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61752 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 19047 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 104162 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 19047 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 104162 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

448

do { unsigned long ta = ((a)[4]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61737 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61472 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61737 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61472 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 16705 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 106504 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 16705 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 106504 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61387 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61822 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61387 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61822 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 28594 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94615 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 28594 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94615 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

16705-106504

449

do { unsigned long ta = ((a)[3]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61756 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61453 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61756 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61453 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 27527 times by 8 tests Evaluated by: bntest dsatest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95682 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 27527 times by 8 tests Evaluated by: bntest dsatest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95682 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61634 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61575 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61634 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61575 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 30853 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92356 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 30853 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92356 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

27527-95682

450 r[5] = c3; -

451 c3 = 0; -

452

do { unsigned long ta = (a)[3]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61671 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61538 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61671 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61538 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 2 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 123207 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 2 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 123207 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

2-123207

453

do { unsigned long ta = ((a)[4]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61740 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61469 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61740 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61469 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 18041 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105168 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 18041 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105168 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 60979 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62230 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 60979 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62230 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 27268 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95941 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 27268 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95941 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

18041-105168

454

do { unsigned long ta = ((a)[5]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61953 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61256 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61953 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61256 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 26671 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96538 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 26671 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96538 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61797 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61412 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61797 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61412 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 30503 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92706 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 30503 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92706 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

26671-96538

455

do { unsigned long ta = ((a)[6]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61300 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61909 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61300 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61909 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 30478 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92731 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 30478 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92731 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 62168 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61041 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 62168 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61041 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 30986 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92223 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 30986 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92223 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

30478-92731

456 r[6] = c1; -

457 c1 = 0; -

458

do { unsigned long ta = ((a)[7]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61878 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61331 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61878 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61331 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61939 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61270 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61939 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61270 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 6078 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117131 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 6078 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117131 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

459

do { unsigned long ta = ((a)[6]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61651 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61558 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61651 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61558 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 7452 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115757 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 7452 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115757 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61446 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61763 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61446 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61763 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 23698 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99511 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 23698 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99511 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

7452-115757

460

do { unsigned long ta = ((a)[5]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61318 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61891 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61318 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61891 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 22018 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 101191 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 22018 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 101191 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61379 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61830 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61379 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61830 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 29821 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 93388 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 29821 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 93388 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

22018-101191

461

do { unsigned long ta = ((a)[4]), tb = ((a)[3]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61740 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61469 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61740 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61469 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 28567 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94642 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 28567 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 94642 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61430 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61779 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61430 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61779 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 30873 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92336 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 30873 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92336 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

28567-94642

462 r[7] = c2; -

463 c2 = 0; -

464

do { unsigned long ta = (a)[4]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 62158 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61051 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 62158 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61051 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

465

do { unsigned long ta = ((a)[5]), tb = ((a)[3]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61409 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61800 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61409 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61800 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 17892 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105317 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 17892 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105317 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61640 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61569 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61640 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61569 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 27234 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95975 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 27234 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95975 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

17892-105317

466

do { unsigned long ta = ((a)[6]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 62152 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61057 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 62152 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61057 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 26742 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96467 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 26742 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 96467 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61754 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61455 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61754 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61455 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 30522 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92687 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 30522 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 92687 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

26742-96467

467

do { unsigned long ta = ((a)[7]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61691 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61518 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61691 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61518 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 12807 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110402 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 12807 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110402 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61494 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61715 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61494 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61715 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 13085 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110124 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 13085 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110124 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

12807-110402

468 r[8] = c3; -

469 c3 = 0; -

470

do { unsigned long ta = ((a)[7]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61959 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61250 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61959 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61250 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61534 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61675 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61534 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61675 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 6083 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117126 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 6083 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117126 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

471

do { unsigned long ta = ((a)[6]), tb = ((a)[3]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 62063 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61146 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 62063 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61146 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 7422 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115787 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 7422 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115787 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61748 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61461 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61748 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61461 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 23772 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99437 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 23772 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99437 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

7422-115787

472

do { unsigned long ta = ((a)[5]), tb = ((a)[4]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61475 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61734 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61475 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61734 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 21762 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 101447 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 21762 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 101447 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61754 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61455 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61754 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61455 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 29483 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 93726 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 29483 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 93726 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

21762-101447

473 r[9] = c1; -

474 c1 = 0; -

475

do { unsigned long ta = (a)[5]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 60288 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62921 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 60288 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62921 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

476

do { unsigned long ta = ((a)[6]), tb = ((a)[4]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61686 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61523 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61686 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61523 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 17865 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105344 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 17865 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 105344 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61765 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61444 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61765 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61444 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 27763 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95446 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 27763 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 95446 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

17865-105344

477

do { unsigned long ta = ((a)[7]), tb = ((a)[3]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 61629 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61580 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61629 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61580 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 10916 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 112293 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 10916 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 112293 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61506 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61703 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61506 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61703 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 12800 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110409 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 12800 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 110409 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

10916-112293

478 r[10] = c2; -

479 c2 = 0; -

480

do { unsigned long ta = ((a)[7]), tb = ((a)[4]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 58870 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 64339 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 58870 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 64339 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61480 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61729 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61480 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61729 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 5986 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117223 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 5986 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 117223 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

481

do { unsigned long ta = ((a)[6]), tb = ((a)[5]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 61465 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61744 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61465 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61744 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 7327 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest pkcs7test rsa_test
FALSE	evaluated 115882 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<tt)

(c1<tt)	Description
TRUE	evaluated 7327 times by 8 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest pkcs7test rsa_test
FALSE	evaluated 115882 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 61589 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61620 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 61589 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61620 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 23513 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99696 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	evaluated 23513 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 99696 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

7327-115882

482 r[11] = c3; -

483 c3 = 0; -

484

do { unsigned long ta = (a)[6]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 50888 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 72321 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 50888 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 72321 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

485

do { unsigned long ta = ((a)[7]), tb = ((a)[5]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 61122 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62087 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61122 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 62087 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 7332 times by 8 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115877 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<tt)

(c2<tt)	Description
TRUE	evaluated 7332 times by 8 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 115877 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 61876 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61333 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<lo)

(c1<lo)	Description
TRUE	evaluated 61876 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61333 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 10921 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 112288 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<hi)

(c2<hi)	Description
TRUE	evaluated 10921 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 112288 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

7332-115877

486 r[12] = c1; -

487 c1 = 0; -

488

do { unsigned long ta = ((a)[7]), tb = ((a)[6]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 48804 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 74405 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 48804 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 74405 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<tt)

(c3<tt)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: ectest
FALSE	evaluated 123208 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 61914 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61295 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c2<lo)

(c2<lo)	Description
TRUE	evaluated 61914 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 61295 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 6071 times by 7 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest pkcs7test rsa_test
FALSE	evaluated 117138 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<hi)

(c3<hi)	Description
TRUE	evaluated 6071 times by 7 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest pkcs7test rsa_test
FALSE	evaluated 117138 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

1-123208

489 r[13] = c2; -

490 c2 = 0; -

491

do { unsigned long ta = (a)[7]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 19835 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 103374 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c3<lo)

(c3<lo)	Description
TRUE	evaluated 19835 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test
FALSE	evaluated 103374 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 123209 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test

?1:0; } while(0);

0-123209

492 r[14] = c3; -

493 r[15] = c1; -

494

}

executed 123209 times by 9 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test

123209

495 -

496 void -

497 bn_sqr_comba4(unsigned long *r, const unsigned long *a) -

498 { -

499 unsigned long c1, c2, c3; -

500 -

501 c1 = 0; -

502 c2 = 0; -

503 c3 = 0; -

504

do { unsigned long ta = (a)[0]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

0-9784

505 r[0] = c1; -

506 c1 = 0; -

507

do { unsigned long ta = ((a)[1]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 3147 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 6637 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 3147 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 6637 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<tt)

(c3<tt)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 4933 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4851 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 4933 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4851 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 1481 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8303 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 1481 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8303 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

0-9784

508 r[1] = c2; -

509 c2 = 0; -

510

do { unsigned long ta = (a)[1]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 3304 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 6480 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 3304 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 6480 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<hi)

(c1<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

0-9784

511

do { unsigned long ta = ((a)[2]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 4850 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4934 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 4850 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4934 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 1387 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8397 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<tt)

(c1<tt)	Description
TRUE	evaluated 1387 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8397 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 4780 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5004 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 4780 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5004 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 2139 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7645 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 2139 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7645 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

1387-8397

512 r[2] = c3; -

513 c3 = 0; -

514

do { unsigned long ta = ((a)[3]), tb = ((a)[0]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 4485 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5299 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 4485 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5299 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<tt)

(c2<tt)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 4890 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4894 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 4890 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4894 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 835 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8949 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 835 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8949 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

0-9784

515

do { unsigned long ta = ((a)[2]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c1 += lo; tt = hi+((

(c1<lo)	Description
TRUE	evaluated 4841 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4943 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 4841 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4943 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c2 += tt; c3 += (

(c2<tt)	Description
TRUE	evaluated 810 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8974 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<tt)

(c2<tt)	Description
TRUE	evaluated 810 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest ssltest
FALSE	evaluated 8974 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 4752 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5032 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 4752 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5032 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	evaluated 2048 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7736 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<hi)

(c2<hi)	Description
TRUE	evaluated 2048 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7736 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

810-8974

516 r[3] = c1; -

517 c1 = 0; -

518

do { unsigned long ta = (a)[2]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 4126 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5658 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 4126 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5658 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ectest
FALSE	evaluated 9782 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ectest
FALSE	evaluated 9782 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

2-9782

519

do { unsigned long ta = ((a)[3]), tb = ((a)[1]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c2 += lo; tt = hi+((

(c2<lo)	Description
TRUE	evaluated 4939 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4845 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 4939 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4845 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c3 += tt; c1 += (

(c3<tt)	Description
TRUE	evaluated 886 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8898 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<tt)

(c3<tt)	Description
TRUE	evaluated 886 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8898 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += lo; hi += (

(c2<lo)	Description
TRUE	evaluated 4953 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4831 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<lo)

(c2<lo)	Description
TRUE	evaluated 4953 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4831 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c3 += hi; c1 += (

(c3<hi)	Description
TRUE	evaluated 1300 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8484 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<hi)

(c3<hi)	Description
TRUE	evaluated 1300 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 8484 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

886-8898

520 r[4] = c2; -

521 c2 = 0; -

522

do { unsigned long ta = ((a)[3]), tb = ((a)[2]); unsigned long lo, hi, tt; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(tb) : "cc");; c3 += lo; tt = hi+((

(c3<lo)	Description
TRUE	evaluated 4108 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5676 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 4108 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 5676 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0); c1 += tt; c2 += (

(c1<tt)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ectest
FALSE	evaluated 9782 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<tt)

(c1<tt)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ectest
FALSE	evaluated 9782 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c3 += lo; hi += (

(c3<lo)	Description
TRUE	evaluated 4827 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4957 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c3<lo)

(c3<lo)	Description
TRUE	evaluated 4827 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 4957 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c1 += hi; c2 += (

(c1<hi)	Description
TRUE	evaluated 879 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest exptest ssltest
FALSE	evaluated 8905 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<hi)

(c1<hi)	Description
TRUE	evaluated 879 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest exptest ssltest
FALSE	evaluated 8905 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

2-9782

523 r[5] = c3; -

524 c3 = 0; -

525

do { unsigned long ta = (a)[3]; unsigned long lo, hi; asm ("mulq %3" : "=a"(lo),"=d"(hi) : "a"(ta),"g"(ta) : "cc");; c1 += lo; hi += (

(c1<lo)	Description
TRUE	evaluated 2088 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7696 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c1<lo)

(c1<lo)	Description
TRUE	evaluated 2088 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest
FALSE	evaluated 7696 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; c2 += hi; c3 += (

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

c2<hi)

(c2<hi)	Description
TRUE	never evaluated
FALSE	evaluated 9784 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest ssltest

?1:0; } while(0);

0-9784

526 r[6] = c1; -

527 r[7] = c2; -

528

}

executed 9784 times by 6 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
ssltest

9784

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2