comparison gcc/testsuite/gcc.dg/tree-ssa/loop-niter-1.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* { dg-do run } */
2 /* { dg-options "-O2 -fdump-tree-sccp-details" } */
3
4 typedef unsigned char u8;
5 typedef unsigned int u32;
6
7 static u32
8 b (u8 d, u32 e, u32 g)
9 {
10 do
11 {
12 e += g + 1;
13 d--;
14 }
15 while (d >= (u8) e);
16
17 return e;
18 }
19
20 int
21 main (void)
22 {
23 u32 x = b (200, -0x378704, ~0xba64fc);
24 if (x != 0xe1ee4ca0)
25 __builtin_abort ();
26
27 return 0;
28 }
29
30 /* Niter analyzer should be able to compute niters for the loop. */
31 /* { dg-final { scan-tree-dump "Replacing uses of: .* with: 3790490784" "sccp" { xfail *-*-* } } } */