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 24 void f0(void) { 25 struct s0 s; 26 if ((s.f0 = 3) != -1) g0(); 27 } 28 29 void f1(void) { 30 struct s0 s; 31 if ((s.f1 = 3) != 1) g0(); 32 } 33 34 void f2(void) { 35 struct s0 s; 36 if ((s.f2 = 3) != 3) g0(); 37 } 38 39 void f3(void) { 40 struct s0 s; 41 // Just check this one for load counts. 42 s.f0 += 3; 43 } 44 45
