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)15Calc_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[])40main (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