blob: ccfbf1a815ea5fa56e5ad6d8ed59fe3c313025eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-sccp-details" } */
typedef unsigned char u8;
typedef __UINT32_TYPE__ u32;
static u32
b (u8 d, u32 e, u32 g)
{
do
{
e += g + 1;
d--;
}
while (d >= (u8) e);
return e;
}
int
main (void)
{
u32 x = b (200, -0x378704, ~0xba64fc);
if (x != 0xe1ee4ca0)
__builtin_abort ();
return 0;
}
/* Niter analyzer should be able to compute niters for the loop. */
/* { dg-final { scan-tree-dump "Replacing uses of: .* with: 3790490784" "sccp" { xfail *-*-* } } } */
|
