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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
struct S {
int field1 : 5;
int field2 : 6;
int field3 : 3;
};
void use(bool cond, struct S s1, struct S s2, int val1, int val2) {
// CHECK: define {{.*}}use{{.*}}(
// CHECK: %[[S1:.+]] = alloca %struct.S
// CHECK: %[[S2:.+]] = alloca %struct.S
// CHECK: %[[COND:.+]] = alloca i8
// CHECK: %[[VAL1:.+]] = alloca i32
// CHECK: %[[VAL2:.+]] = alloca i32
cond ? s1.field1 = val1 : s1.field2 = val2;
// Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// 'True', branch set the BF, branch to 'end'.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// 'False', branch set the OTHER BF, branch to 'end'.
// CHECK: [[FALSE]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// CHECK: [[END]]:
// There is nothing in the 'end' block associated with this, but it is the
// 'continuation' block for the rest of the function.
// Same test, has a no-op cast and parens.
(void)(cond ? s2.field1 = val1 : s2.field2 = val2);
// Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// 'True', branch set the BF, branch to 'end'.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S2]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S2]]
// CHECK: br label %[[END:.+]]
// 'False', branch set the OTHER BF, branch to 'end'.
// CHECK: [[FALSE]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S2]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S2]]
// CHECK: br label %[[END:.+]]
// CHECK: [[END]]:
// CHECK-NOT: phi
// There is nothing in the 'end' block associated with this, but it is the
// 'continuation' block for the rest of the function.
}
void use2(bool cond1, bool cond2, struct S s1, int val1, int val2, int val3) {
// CHECK: define {{.*}}use2{{.*}}(
// CHECK: %[[S1:.+]] = alloca %struct.S
// CHECK: %[[COND1:.+]] = alloca i8
// CHECK: %[[COND2:.+]] = alloca i8
// CHECK: %[[VAL1:.+]] = alloca i32
// CHECK: %[[VAL2:.+]] = alloca i32
// CHECK: %[[VAL3:.+]] = alloca i32
cond1 ? s1.field1 = val1 : cond2 ? s1.field2 = val2 : s1.field3 = val3;
// First Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND1]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// First 'True' branch, sets field1 to val1.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// First 'False' branch, starts second ignored expression.
// CHECK: [[FALSE]]:
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND2]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE2:.+]], label %[[FALSE2:.+]]
// Second 'True' branch, sets field2 to val2.
// CHECK: [[TRUE2]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// Second 'False' branch, sets field3 to val3.
// CHECK: [[FALSE2]]:
// CHECK: %[[VAL3LD:.+]] = load i32, ptr %[[VAL3]]
// CHECK: %[[VAL3TRUNC:.+]] = trunc i32 %[[VAL3LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL3TRUNC]], 7
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 11
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -14337
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// CHECK[[END]]:
// CHECK-NOT: phi
// Nothing left to do here.
}
|
