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