blob: f6790deb1fc2e7df0a8b9143a15172fc35622d21 [file] [log] [blame]
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +00001; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
Jakob Stoklund Olesen28e104b2011-05-04 19:02:07 +00002
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +00003; These tests would be improved by 'movs r0, #0' being rematerialized below the
4; test as 'mov.w r0, #0'.
David Goodwin2634e982009-06-26 18:10:30 +00005
6define i1 @f1(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +00007; CHECK: f1:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +00008; CHECK: cmp {{.*}}, r1
David Goodwin2634e982009-06-26 18:10:30 +00009 %tmp = icmp ne i32 %a, %b
10 ret i1 %tmp
11}
12
13define i1 @f2(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +000014; CHECK: f2:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +000015; CHECK: cmp {{.*}}, r1
David Goodwin2634e982009-06-26 18:10:30 +000016 %tmp = icmp eq i32 %a, %b
17 ret i1 %tmp
18}
David Goodwin4ff863c2009-06-30 01:02:20 +000019
20define i1 @f6(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +000021; CHECK: f6:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +000022; CHECK: cmp.w {{.*}}, r1, lsl #5
David Goodwin4ff863c2009-06-30 01:02:20 +000023 %tmp = shl i32 %b, 5
24 %tmp1 = icmp eq i32 %tmp, %a
25 ret i1 %tmp1
26}
27
28define i1 @f7(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +000029; CHECK: f7:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +000030; CHECK: cmp.w {{.*}}, r1, lsr #6
David Goodwin4ff863c2009-06-30 01:02:20 +000031 %tmp = lshr i32 %b, 6
32 %tmp1 = icmp ne i32 %tmp, %a
33 ret i1 %tmp1
34}
35
36define i1 @f8(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +000037; CHECK: f8:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +000038; CHECK: cmp.w {{.*}}, r1, asr #7
David Goodwin4ff863c2009-06-30 01:02:20 +000039 %tmp = ashr i32 %b, 7
40 %tmp1 = icmp eq i32 %a, %tmp
41 ret i1 %tmp1
42}
43
44define i1 @f9(i32 %a, i32 %b) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +000045; CHECK: f9:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +000046; CHECK: cmp.w {{.*}}, {{.*}}, ror #8
David Goodwin4ff863c2009-06-30 01:02:20 +000047 %l8 = shl i32 %a, 24
48 %r8 = lshr i32 %a, 8
49 %tmp = or i32 %l8, %r8
50 %tmp1 = icmp ne i32 %a, %tmp
51 ret i1 %tmp1
52}