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
16struct s0 {
17  int f0 : 2;
18  _Bool f1 : 1;
19  unsigned f2 : 2;
20};
21
22int g0();
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