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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/* PR tree-optimization/104992 */
/* { dg-do compile } */
/* { dg-options "-O2 -Wno-psabi -fdump-tree-forwprop2" } */
#define vector __attribute__((vector_size(4*sizeof(int))))
/* Form from PR. */
__attribute__((noipa)) unsigned foo(unsigned x, unsigned y)
{
return x / y * y == x;
}
__attribute__((noipa)) unsigned bar(unsigned x, unsigned y) {
return x == x / y * y;
}
/* Signed test case. */
__attribute__((noipa)) unsigned baz (int x, int y) {
return x / y * y == x;
}
/* Changed order. */
__attribute__((noipa)) unsigned qux (unsigned x, unsigned y) {
return y * (x / y) == x;
}
/* Test for forward propogation. */
__attribute__((noipa)) unsigned corge(unsigned x, unsigned y) {
int z = x / y;
int q = z * y;
return q == x;
}
/* Test vector case. */
__attribute__((noipa)) vector int thud(vector int x, vector int y) {
return x / y * y == x;
}
/* Complex type should not simplify because mod is different. */
__attribute__((noipa)) int goo(_Complex int x, _Complex int y)
{
_Complex int z = x / y;
_Complex int q = z * y;
return q == x;
}
/* Wrong order. */
__attribute__((noipa)) unsigned fred (unsigned x, unsigned y) {
return y * x / y == x;
}
/* Wrong pattern. */
__attribute__((noipa)) unsigned waldo (unsigned x, unsigned y, unsigned z) {
return x / y * z == x;
}
/* { dg-final { scan-tree-dump-times " % " 6 "forwprop2" } } */
|
