blob: e7c2a95aa4cd59f3c65d2de14b8386f5cb3c5786 (
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
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp2" } */
extern int nc;
void ff (unsigned long long);
void
f (void)
{
unsigned char resp[1024];
int c;
int bl = 0;
unsigned long long *dwords = (unsigned long long *) (resp + 5);
for (c = 0; c < nc; c++)
{
/* PR middle-end/68234, this signed division should be optimized into
right shift as vrp pass should deduct range info of 'bl' falls into
positive number. */
ff (dwords[bl / 64]);
bl++;
}
}
/* { dg-final { scan-tree-dump ">> 6" "vrp2" } } */
|
