db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / bitfield-store-load0.c
blobf68cb60004f59784144fb1d9f8fb390a84df228a
1 int ufoo(unsigned int a)
3 struct u {
4 unsigned int :2;
5 unsigned int a:3;
6 } bf;
8 bf.a = a;
9 return bf.a;
12 int sfoo(int a)
14 struct s {
15 signed int :2;
16 signed int a:3;
17 } bf;
19 bf.a = a;
20 return bf.a;
24 * check-name: optim store/load bitfields
25 * check-command: test-linearize -Wno-decl $file
27 * check-output-start
28 ufoo:
29 .L0:
30 <entry-point>
31 and.32 %r11 <- %arg1, $7
32 ret.32 %r11
35 sfoo:
36 .L2:
37 <entry-point>
38 trunc.3 %r16 <- (32) %arg1
39 sext.32 %r23 <- (3) %r16
40 ret.32 %r23
43 * check-output-end