@@ -5,56 +5,56 @@ typedef _Bool bool4 __attribute__((ext_vector_type(4)));
5
5
6
6
int clang_nondet_i ( int x ) {
7
7
// CHECK-LABEL: entry
8
- // CHECK: [[A:%.*]] = alloca i32, align 4
9
- // CHECK: store i32 [[X:%.*]], ptr [[A]], align 4
8
+ // CHECK: [[A:%.*]] = alloca i32
9
+ // CHECK: store i32 [[X:%.*]], ptr [[A]]
10
10
// CHECK: [[R:%.*]] = freeze i32 poison
11
11
// CHECK: ret i32 [[R]]
12
12
return __builtin_nondeterministic_value (x );
13
13
}
14
14
15
15
float clang_nondet_f ( float x ) {
16
16
// CHECK-LABEL: entry
17
- // CHECK: [[A:%.*]] = alloca float, align 4
18
- // CHECK: store float [[X:%.*]], ptr [[A]], align 4
17
+ // CHECK: [[A:%.*]] = alloca float
18
+ // CHECK: store float [[X:%.*]], ptr [[A]]
19
19
// CHECK: [[R:%.*]] = freeze float poison
20
20
// CHECK: ret float [[R]]
21
21
return __builtin_nondeterministic_value (x );
22
22
}
23
23
24
24
double clang_nondet_d ( double x ) {
25
25
// CHECK-LABEL: entry
26
- // CHECK: [[A:%.*]] = alloca double, align 8
27
- // CHECK: store double [[X:%.*]], ptr [[A]], align 8
26
+ // CHECK: [[A:%.*]] = alloca double
27
+ // CHECK: store double [[X:%.*]], ptr [[A]]
28
28
// CHECK: [[R:%.*]] = freeze double poison
29
29
// CHECK: ret double [[R]]
30
30
return __builtin_nondeterministic_value (x );
31
31
}
32
32
33
33
_Bool clang_nondet_b ( _Bool x ) {
34
34
// CHECK-LABEL: entry
35
- // CHECK: [[A:%.*]] = alloca i8, align 1
35
+ // CHECK: [[A:%.*]] = alloca i8
36
36
// CHECK: [[B:%.*]] = zext i1 %x to i8
37
- // CHECK: store i8 [[B]], ptr [[A]], align 1
37
+ // CHECK: store i8 [[B]], ptr [[A]]
38
38
// CHECK: [[R:%.*]] = freeze i1 poison
39
39
// CHECK: ret i1 [[R]]
40
40
return __builtin_nondeterministic_value (x );
41
41
}
42
42
43
43
void clang_nondet_fv ( ) {
44
44
// CHECK-LABEL: entry
45
- // CHECK: [[A:%.*]] = alloca <4 x float>, align
45
+ // CHECK: [[A:%.*]] = alloca <4 x float>
46
46
// CHECK: [[R:%.*]] = freeze <4 x float> poison
47
- // CHECK: store <4 x float> [[R]], ptr [[A]], align
47
+ // CHECK: store <4 x float> [[R]], ptr [[A]]
48
48
// CHECK: ret void
49
49
float4 x = __builtin_nondeterministic_value (x );
50
50
}
51
51
52
52
void clang_nondet_bv ( ) {
53
- // CHECK: [[A:%.*]] = alloca i8, align
53
+ // CHECK: [[A:%.*]] = alloca i8
54
54
// CHECK: [[V:%.*]] = freeze <4 x i1> poison
55
55
// CHECK: [[SV:%.*]] = shufflevector <4 x i1> [[V]], <4 x i1> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
56
56
// CHECK: [[BC:%.*]] = bitcast <8 x i1> [[SV]] to i8
57
- // CHECK: store i8 [[BC]], ptr [[A]], align
57
+ // CHECK: store i8 [[BC]], ptr [[A]]
58
58
// CHECK: ret void
59
59
bool4 x = __builtin_nondeterministic_value (x );
60
60
}
0 commit comments