OpenCoverage

fcrypt_b.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/des/fcrypt_b.c

Switch to Source code

Preprocessed file

Line Source Count

1 void fcrypt_body(unsigned int *out, DES_key_schedule *ks, unsigned int Eswap0, -

2 unsigned int Eswap1) -

3 { -

4 unsigned int l,r,t,u; -

5 -

6 -

7 -

8 unsigned int *s; -

9 int j; -

10 unsigned int E0,E1; -

11 -

12 l=0; -

13 r=0; -

14 -

15 s=(unsigned int *)ks; -

16 E0=Eswap0; -

17 E1=Eswap1; -

18 -

for (j=0; j<25

j<25	Description
TRUE	evaluated 50 times by 1 test Evaluated by: destest
FALSE	evaluated 2 times by 1 test Evaluated by: destest

; j++)

2-50

20 { -

21 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[0 ]; u^=tmp; tmp=(t<<16); t^=r^s[0 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

22 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[2 ]; u^=tmp; tmp=(t<<16); t^=l^s[2 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

23 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[4 ]; u^=tmp; tmp=(t<<16); t^=r^s[4 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

24 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[6 ]; u^=tmp; tmp=(t<<16); t^=l^s[6 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

25 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[8 ]; u^=tmp; tmp=(t<<16); t^=r^s[8 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

26 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[10 ]; u^=tmp; tmp=(t<<16); t^=l^s[10 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

27 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[12 ]; u^=tmp; tmp=(t<<16); t^=r^s[12 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

28 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[14 ]; u^=tmp; tmp=(t<<16); t^=l^s[14 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

29 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[16 ]; u^=tmp; tmp=(t<<16); t^=r^s[16 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

30 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[18 ]; u^=tmp; tmp=(t<<16); t^=l^s[18 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

31 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[20 ]; u^=tmp; tmp=(t<<16); t^=r^s[20 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

32 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[22 ]; u^=tmp; tmp=(t<<16); t^=l^s[22 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

33 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[24 ]; u^=tmp; tmp=(t<<16); t^=r^s[24 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

34 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[26 ]; u^=tmp; tmp=(t<<16); t^=l^s[26 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

35 { { unsigned int tmp; t=r^(r>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=r^s[28 ]; u^=tmp; tmp=(t<<16); t^=r^s[28 +1]; t^=tmp; }; t=ROTATE(t,4); l^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

36 { { unsigned int tmp; t=l^(l>>16L); u=t&E0; t&=E1; tmp=(u<<16); u^=l^s[30 ]; u^=tmp; tmp=(t<<16); t^=l^s[30 +1]; t^=tmp; }; t=ROTATE(t,4); r^= DES_SPtrans[0][(u>> 2L)&0x3f]^ DES_SPtrans[2][(u>>10L)&0x3f]^ DES_SPtrans[4][(u>>18L)&0x3f]^ DES_SPtrans[6][(u>>26L)&0x3f]^ DES_SPtrans[1][(t>> 2L)&0x3f]^ DES_SPtrans[3][(t>>10L)&0x3f]^ DES_SPtrans[5][(t>>18L)&0x3f]^ DES_SPtrans[7][(t>>26L)&0x3f]; }; -

37 -

38 -

39 t=l; -

40 l=r; -

41 r=t; -

}

executed 50 times by 1 test: end of block

Executed by:

destest

43 l=ROTATE(l,3)&0xffffffffL; -

44 r=ROTATE(r,3)&0xffffffffL; -

45 -

46 ((t)=((((l)>>(1))^(r))&(0x55555555L)), (r)^=(t), (l)^=((t)<<(1))); -

47 ((t)=((((r)>>(8))^(l))&(0x00ff00ffL)), (l)^=(t), (r)^=((t)<<(8))); -

48 ((t)=((((l)>>(2))^(r))&(0x33333333L)), (r)^=(t), (l)^=((t)<<(2))); -

49 ((t)=((((r)>>(16))^(l))&(0x0000ffffL)), (l)^=(t), (r)^=((t)<<(16))); -

50 ((t)=((((l)>>(4))^(r))&(0x0f0f0f0fL)), (r)^=(t), (l)^=((t)<<(4))); -

51 -

52 out[0]=r; -

53 out[1]=l; -

}

executed 2 times by 1 test: end of block

Executed by:

destest

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2