145
|
1 // PR target/88152
|
|
2 // { dg-do compile { target int32 } }
|
|
3 // { dg-options "-O2 -Wno-psabi -fdump-tree-forwprop1" }
|
|
4 // { dg-final { scan-tree-dump-not " (?:>|>=|<|<=) \{ 214748364\[67]" "forwprop1" } }
|
|
5 // { dg-final { scan-tree-dump-not " (?:>|>=|<|<=) \{ -214748364\[78]" "forwprop1" } }
|
|
6 // { dg-final { scan-tree-dump-times "(?:return| =) \{ 0, 0, 0, 0 \}" 2 "forwprop1" } }
|
|
7 // { dg-final { scan-tree-dump-times "(?:return| =) \{ -1, -1, -1, -1 \}" 2 "forwprop1" } }
|
|
8 // { dg-final { scan-tree-dump-times " == \{ 2147483647, 2147483647, 2147483647, 2147483647 \}" 2 "forwprop1" } }
|
|
9 // { dg-final { scan-tree-dump-times " != \{ 2147483647, 2147483647, 2147483647, 2147483647 \}" 2 "forwprop1" } }
|
|
10 // { dg-final { scan-tree-dump-times " == \{ -2147483648, -2147483648, -2147483648, -2147483648 \}" 2 "forwprop1" } }
|
|
11 // { dg-final { scan-tree-dump-times " != \{ -2147483648, -2147483648, -2147483648, -2147483648 \}" 2 "forwprop1" } }
|
|
12
|
|
13 typedef int V __attribute__((vector_size (16)));
|
|
14
|
|
15 V
|
|
16 f1 (V a)
|
|
17 {
|
|
18 return a > __INT_MAX__;
|
|
19 }
|
|
20
|
|
21 V
|
|
22 f2 (V a)
|
|
23 {
|
|
24 return a >= __INT_MAX__;
|
|
25 }
|
|
26
|
|
27 V
|
|
28 f3 (V a)
|
|
29 {
|
|
30 return a < __INT_MAX__;
|
|
31 }
|
|
32
|
|
33 V
|
|
34 f4 (V a)
|
|
35 {
|
|
36 return a <= __INT_MAX__;
|
|
37 }
|
|
38
|
|
39 V
|
|
40 f5 (V a)
|
|
41 {
|
|
42 return a > -__INT_MAX__ - 1;
|
|
43 }
|
|
44
|
|
45 V
|
|
46 f6 (V a)
|
|
47 {
|
|
48 return a >= -__INT_MAX__ - 1;
|
|
49 }
|
|
50
|
|
51 V
|
|
52 f7 (V a)
|
|
53 {
|
|
54 return a < -__INT_MAX__ - 1;
|
|
55 }
|
|
56
|
|
57 V
|
|
58 f8 (V a)
|
|
59 {
|
|
60 return a <= -__INT_MAX__ - 1;
|
|
61 }
|
|
62
|
|
63 V
|
|
64 f9 (V a)
|
|
65 {
|
|
66 return a > __INT_MAX__ - 1;
|
|
67 }
|
|
68
|
|
69 V
|
|
70 f10 (V a)
|
|
71 {
|
|
72 return a <= __INT_MAX__ - 1;
|
|
73 }
|
|
74
|
|
75 V
|
|
76 f11 (V a)
|
|
77 {
|
|
78 return a >= -__INT_MAX__;
|
|
79 }
|
|
80
|
|
81 V
|
|
82 f12 (V a)
|
|
83 {
|
|
84 return a < -__INT_MAX__;
|
|
85 }
|