ARM: mark branch-like instructions with correct flags.
[oota-llvm.git] / test / CodeGen / Thumb2 / thumb2-bic.ll
1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s
2
3 define i32 @f1(i32 %a, i32 %b) {
4 ; CHECK-LABEL: f1:
5 ; CHECK: bics r0, r1
6     %tmp = xor i32 %b, 4294967295
7     %tmp1 = and i32 %a, %tmp
8     ret i32 %tmp1
9 }
10
11 define i32 @f2(i32 %a, i32 %b) {
12 ; CHECK-LABEL: f2:
13 ; CHECK: bics r0, r1
14     %tmp = xor i32 %b, 4294967295
15     %tmp1 = and i32 %tmp, %a
16     ret i32 %tmp1
17 }
18
19 define i32 @f3(i32 %a, i32 %b) {
20 ; CHECK-LABEL: f3:
21 ; CHECK: bics r0, r1
22     %tmp = xor i32 4294967295, %b
23     %tmp1 = and i32 %a, %tmp
24     ret i32 %tmp1
25 }
26
27 define i32 @f4(i32 %a, i32 %b) {
28 ; CHECK-LABEL: f4:
29 ; CHECK: bics r0, r1
30     %tmp = xor i32 4294967295, %b
31     %tmp1 = and i32 %tmp, %a
32     ret i32 %tmp1
33 }
34
35 define i32 @f5(i32 %a, i32 %b) {
36 ; CHECK-LABEL: f5:
37 ; CHECK: bic.w r0, r0, r1, lsl #5
38     %tmp = shl i32 %b, 5
39     %tmp1 = xor i32 4294967295, %tmp
40     %tmp2 = and i32 %a, %tmp1
41     ret i32 %tmp2
42 }
43
44 define i32 @f6(i32 %a, i32 %b) {
45 ; CHECK-LABEL: f6:
46 ; CHECK: bic.w r0, r0, r1, lsr #6
47     %tmp = lshr i32 %b, 6
48     %tmp1 = xor i32 %tmp, 4294967295
49     %tmp2 = and i32 %tmp1, %a
50     ret i32 %tmp2
51 }
52
53 define i32 @f7(i32 %a, i32 %b) {
54 ; CHECK-LABEL: f7:
55 ; CHECK: bic.w r0, r0, r1, asr #7
56     %tmp = ashr i32 %b, 7
57     %tmp1 = xor i32 %tmp, 4294967295
58     %tmp2 = and i32 %a, %tmp1
59     ret i32 %tmp2
60 }
61
62 define i32 @f8(i32 %a, i32 %b) {
63 ; CHECK-LABEL: f8:
64 ; CHECK: bic.w r0, r0, r0, ror #8
65     %l8 = shl i32 %a, 24
66     %r8 = lshr i32 %a, 8
67     %tmp = or i32 %l8, %r8
68     %tmp1 = xor i32 4294967295, %tmp
69     %tmp2 = and i32 %tmp1, %a
70     ret i32 %tmp2
71 }
72
73 ; ~0x000000bb = 4294967108
74 define i32 @f9(i32 %a) {
75     %tmp = and i32 %a, 4294967108
76     ret i32 %tmp
77     
78 ; CHECK-LABEL: f9:
79 ; CHECK: bic r0, r0, #187
80 }
81
82 ; ~0x00aa00aa = 4283826005
83 define i32 @f10(i32 %a) {
84     %tmp = and i32 %a, 4283826005
85     ret i32 %tmp
86     
87 ; CHECK-LABEL: f10:
88 ; CHECK: bic r0, r0, #11141290
89 }
90
91 ; ~0xcc00cc00 = 872363007
92 define i32 @f11(i32 %a) {
93     %tmp = and i32 %a, 872363007
94     ret i32 %tmp
95 ; CHECK-LABEL: f11:
96 ; CHECK: bic r0, r0, #-872363008
97 }
98
99 ; ~0x00110000 = 4293853183
100 define i32 @f12(i32 %a) {
101     %tmp = and i32 %a, 4293853183
102     ret i32 %tmp
103 ; CHECK-LABEL: f12:
104 ; CHECK: bic r0, r0, #1114112
105 }