1 /* Check that the result of a bitfield assignment is properly
2 truncated and does not generate a redundant load. */
3
4 /* Check that we get one load for each simple assign and two for the
5 compound assign (load the old value before the add then load again
6 to store back). Also check that our g0 pattern is good. */
7 // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -o %t %s
8 // RUN: grep 'load ' %t | count 5
9 // RUN: grep "@g0" %t | count 4
10
11 // Check that we got the right value.
12 // RUN: %clang_cc1 -triple i386-unknown-unknown -O3 -emit-llvm -o %t %s
13 // RUN: not grep 'load ' %t
14 // RUN: not grep "@g0" %t
15
16 struct s0 {
17 int f0 : 2;
18 _Bool f1 : 1;
19 unsigned f2 : 2;
20 };
21
22 int g0();
23
f0(void)24 void f0(void) {
25 struct s0 s;
26 if ((s.f0 = 3) != -1) g0();
27 }
28
f1(void)29 void f1(void) {
30 struct s0 s;
31 if ((s.f1 = 3) != 1) g0();
32 }
33
f2(void)34 void f2(void) {
35 struct s0 s;
36 if ((s.f2 = 3) != 3) g0();
37 }
38
f3(void)39 void f3(void) {
40 struct s0 s;
41 // Just check this one for load counts.
42 s.f0 += 3;
43 }
44
45