annotate gcc/testsuite/gcc.dg/ubsan/pr82498.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR target/82498 */
kono
parents:
diff changeset
2 /* { dg-do run { target i?86-*-* x86_64-*-* } } */
kono
parents:
diff changeset
3 /* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #include <x86intrin.h>
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 volatile unsigned int a;
kono
parents:
diff changeset
8 volatile unsigned long long b;
kono
parents:
diff changeset
9 volatile int c;
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 int
kono
parents:
diff changeset
12 main ()
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 a = 0x12345678U;
kono
parents:
diff changeset
15 a = __rold (a, 0);
kono
parents:
diff changeset
16 if (a != 0x12345678U)
kono
parents:
diff changeset
17 __builtin_abort ();
kono
parents:
diff changeset
18 a = __rold (a, 32);
kono
parents:
diff changeset
19 if (a != 0x12345678U)
kono
parents:
diff changeset
20 __builtin_abort ();
kono
parents:
diff changeset
21 a = __rold (a, -32);
kono
parents:
diff changeset
22 if (a != 0x12345678U)
kono
parents:
diff changeset
23 __builtin_abort ();
kono
parents:
diff changeset
24 a = __rold (a, 37);
kono
parents:
diff changeset
25 if (a != 0x468acf02U)
kono
parents:
diff changeset
26 __builtin_abort ();
kono
parents:
diff changeset
27 a = __rold (a, -5);
kono
parents:
diff changeset
28 if (a != 0x12345678U)
kono
parents:
diff changeset
29 __builtin_abort ();
kono
parents:
diff changeset
30 a = __rord (a, 0);
kono
parents:
diff changeset
31 if (a != 0x12345678U)
kono
parents:
diff changeset
32 __builtin_abort ();
kono
parents:
diff changeset
33 a = __rord (a, 32);
kono
parents:
diff changeset
34 if (a != 0x12345678U)
kono
parents:
diff changeset
35 __builtin_abort ();
kono
parents:
diff changeset
36 a = __rord (a, -32);
kono
parents:
diff changeset
37 if (a != 0x12345678U)
kono
parents:
diff changeset
38 __builtin_abort ();
kono
parents:
diff changeset
39 a = __rord (a, -37);
kono
parents:
diff changeset
40 if (a != 0x468acf02U)
kono
parents:
diff changeset
41 __builtin_abort ();
kono
parents:
diff changeset
42 a = __rord (a, 5);
kono
parents:
diff changeset
43 if (a != 0x12345678U)
kono
parents:
diff changeset
44 __builtin_abort ();
kono
parents:
diff changeset
45 c = 0;
kono
parents:
diff changeset
46 a = __rold (a, c);
kono
parents:
diff changeset
47 if (a != 0x12345678U)
kono
parents:
diff changeset
48 __builtin_abort ();
kono
parents:
diff changeset
49 c = 32;
kono
parents:
diff changeset
50 a = __rold (a, c);
kono
parents:
diff changeset
51 if (a != 0x12345678U)
kono
parents:
diff changeset
52 __builtin_abort ();
kono
parents:
diff changeset
53 c = -32;
kono
parents:
diff changeset
54 a = __rold (a, c);
kono
parents:
diff changeset
55 if (a != 0x12345678U)
kono
parents:
diff changeset
56 __builtin_abort ();
kono
parents:
diff changeset
57 c = 37;
kono
parents:
diff changeset
58 a = __rold (a, c);
kono
parents:
diff changeset
59 if (a != 0x468acf02U)
kono
parents:
diff changeset
60 __builtin_abort ();
kono
parents:
diff changeset
61 c = -5;
kono
parents:
diff changeset
62 a = __rold (a, c);
kono
parents:
diff changeset
63 if (a != 0x12345678U)
kono
parents:
diff changeset
64 __builtin_abort ();
kono
parents:
diff changeset
65 c = 0;
kono
parents:
diff changeset
66 a = __rord (a, c);
kono
parents:
diff changeset
67 if (a != 0x12345678U)
kono
parents:
diff changeset
68 __builtin_abort ();
kono
parents:
diff changeset
69 c = 32;
kono
parents:
diff changeset
70 a = __rord (a, c);
kono
parents:
diff changeset
71 if (a != 0x12345678U)
kono
parents:
diff changeset
72 __builtin_abort ();
kono
parents:
diff changeset
73 c = -32;
kono
parents:
diff changeset
74 a = __rord (a, c);
kono
parents:
diff changeset
75 if (a != 0x12345678U)
kono
parents:
diff changeset
76 __builtin_abort ();
kono
parents:
diff changeset
77 c = -37;
kono
parents:
diff changeset
78 a = __rord (a, c);
kono
parents:
diff changeset
79 if (a != 0x468acf02U)
kono
parents:
diff changeset
80 __builtin_abort ();
kono
parents:
diff changeset
81 c = 5;
kono
parents:
diff changeset
82 a = __rord (a, c);
kono
parents:
diff changeset
83 if (a != 0x12345678U)
kono
parents:
diff changeset
84 __builtin_abort ();
kono
parents:
diff changeset
85 #ifdef __x86_64__
kono
parents:
diff changeset
86 b = 0x123456789abcdef1ULL;
kono
parents:
diff changeset
87 b = __rolq (b, 0);
kono
parents:
diff changeset
88 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
89 __builtin_abort ();
kono
parents:
diff changeset
90 b = __rolq (b, 64);
kono
parents:
diff changeset
91 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
92 __builtin_abort ();
kono
parents:
diff changeset
93 b = __rolq (b, -64);
kono
parents:
diff changeset
94 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
95 __builtin_abort ();
kono
parents:
diff changeset
96 b = __rolq (b, 69);
kono
parents:
diff changeset
97 if (b != 0x468acf13579bde22ULL)
kono
parents:
diff changeset
98 __builtin_abort ();
kono
parents:
diff changeset
99 b = __rolq (b, -5);
kono
parents:
diff changeset
100 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
101 __builtin_abort ();
kono
parents:
diff changeset
102 b = __rorq (b, 0);
kono
parents:
diff changeset
103 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
104 __builtin_abort ();
kono
parents:
diff changeset
105 b = __rorq (b, 64);
kono
parents:
diff changeset
106 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
107 __builtin_abort ();
kono
parents:
diff changeset
108 b = __rorq (b, -64);
kono
parents:
diff changeset
109 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
110 __builtin_abort ();
kono
parents:
diff changeset
111 b = __rorq (b, -69);
kono
parents:
diff changeset
112 if (b != 0x468acf13579bde22ULL)
kono
parents:
diff changeset
113 __builtin_abort ();
kono
parents:
diff changeset
114 b = __rorq (b, 5);
kono
parents:
diff changeset
115 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
116 __builtin_abort ();
kono
parents:
diff changeset
117 c = 0;
kono
parents:
diff changeset
118 b = __rolq (b, c);
kono
parents:
diff changeset
119 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
120 __builtin_abort ();
kono
parents:
diff changeset
121 c = 64;
kono
parents:
diff changeset
122 b = __rolq (b, c);
kono
parents:
diff changeset
123 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
124 __builtin_abort ();
kono
parents:
diff changeset
125 c = -64;
kono
parents:
diff changeset
126 b = __rolq (b, c);
kono
parents:
diff changeset
127 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
128 __builtin_abort ();
kono
parents:
diff changeset
129 c = 69;
kono
parents:
diff changeset
130 b = __rolq (b, c);
kono
parents:
diff changeset
131 if (b != 0x468acf13579bde22ULL)
kono
parents:
diff changeset
132 __builtin_abort ();
kono
parents:
diff changeset
133 c = -5;
kono
parents:
diff changeset
134 b = __rolq (b, c);
kono
parents:
diff changeset
135 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
136 __builtin_abort ();
kono
parents:
diff changeset
137 c = 0;
kono
parents:
diff changeset
138 b = __rorq (b, c);
kono
parents:
diff changeset
139 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
140 __builtin_abort ();
kono
parents:
diff changeset
141 c = 64;
kono
parents:
diff changeset
142 b = __rorq (b, c);
kono
parents:
diff changeset
143 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
144 __builtin_abort ();
kono
parents:
diff changeset
145 c = -64;
kono
parents:
diff changeset
146 b = __rorq (b, c);
kono
parents:
diff changeset
147 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
148 __builtin_abort ();
kono
parents:
diff changeset
149 c = -69;
kono
parents:
diff changeset
150 b = __rorq (b, c);
kono
parents:
diff changeset
151 if (b != 0x468acf13579bde22ULL)
kono
parents:
diff changeset
152 __builtin_abort ();
kono
parents:
diff changeset
153 c = 5;
kono
parents:
diff changeset
154 b = __rorq (b, c);
kono
parents:
diff changeset
155 if (b != 0x123456789abcdef1ULL)
kono
parents:
diff changeset
156 __builtin_abort ();
kono
parents:
diff changeset
157 #endif
kono
parents:
diff changeset
158 return 0;
kono
parents:
diff changeset
159 }