1 /* { dg-do compile } */
2 /* { dg-options "-Ofast -fdump-tree-vrp1-details" } */
3 
4 typedef unsigned short u16;
5 typedef unsigned char u8;
6 typedef unsigned int u32;
7 __extension__ typedef __INT32_TYPE__ i32;
8 
9 long int random(int);
10 #define NNN 10
11 
12 u32 f[NNN], t[NNN];
13 
14 static u16
Calc_crc8(u8 data,u16 crc)15 Calc_crc8 (u8 data, u16 crc)
16 {
17   u8 i=0,x16=0,carry=0;
18   for (i = 0; i < 8; i++)
19     {
20       x16 = (u8)((data & 1) ^ ((u8)crc & 1));
21       data >>= 1;
22 
23       if (x16 == 1)
24 	{
25 	  crc ^= 0x4002;
26 	  carry = 1;
27 	}
28       else
29 	carry = 0;
30       crc >>= 1;
31       if (carry)
32 	crc |= 0x8000;
33       else
34 	crc &= 0x7fff;
35     }
36   return crc;
37 }
38 
39 int
main(int argc,char argv[])40 main (int argc, char argv[])
41 {
42   int i; i32 j; u16 crc;
43   for (j = 0; j < 10000000; j++)
44     {
45       for (i = 0; i < NNN; i++)
46 	{
47 	  f[i] = random(i);
48 	  t[i] = random(NNN - i - 1);
49 	}
50       for (i=0; i<NNN; i++)
51 	{
52 	  crc=Calc_crc8(f[i],(u16)argc);
53 	  crc=Calc_crc8(t[i],crc);
54 	}
55     }
56   return crc;
57 }
58 
59 /* { dg-final { scan-tree-dump-times "Registering jump thread" 3 "vrp1" } } */
60 /* { dg-final { scan-tree-dump-not "joiner" "vrp1" } } */
61 /* { dg-final { scan-tree-dump-times "Threaded jump" 3 "vrp1" } } */
62