comparison gcc/testsuite/g++.dg/tree-ssa/pr88152-2.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
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 }