blob: 61054231b4cb2aaa3895f2417d12b90dbf36c08f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* { dg-do compile } */
/* Disable early phiopt1 as early ccp1 does not export non-zero bits
so at the point of phiopt1, we don't know that a is [0,1] range */
/* { dg-options "-O1 -fdisable-tree-phiopt1 -fdump-tree-phiopt2-folding" } */
unsigned f(unsigned a)
{
a &= 1;
if (a > 0)
return a;
return 1;
}
/* PHIOPT2 should be able to change this into just return 1;
(which was `MAX<a, 1>` or `a | 1` but since a is known to be a
range of [0,1], it should be folded into 1)
And not fold it into `(a == 0) | a`. */
/* { dg-final { scan-tree-dump-not " == " "phiopt2" } } */
/* { dg-final { scan-tree-dump-not " if " "phiopt2" } } */
/* { dg-final { scan-tree-dump-not "Folded into the sequence:" "phiopt2" } } */
/* { dg-final { scan-tree-dump "return 1;" "phiopt2" } } */
/* We want to make sure that phiopt2 is happening and not some other pass
before it does the transformation. */
/* { dg-final { scan-tree-dump "Removing basic block" "phiopt2" } } */
|
