Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / ed18a3e6b25817136471a0fd1b09ff4edd936055 / . / test / CodeGen / Thumb2 / thumb2-cmp.ll
blob: 4ce7acc22e0fe99f14538bd8361e8cae9d862bfe [file] [log] [blame]
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]1; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
Jakob Stoklund Olesen28e104b2011-05-04 19:02:07 +0000[diff] [blame]2
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]3; 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 +0000[diff] [blame]5
6; 0x000000bb = 187
7define i1 @f1(i32 %a) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +0000[diff] [blame]8; CHECK: f1:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]9; CHECK: cmp {{.*}}, #187
David Goodwin2634e982009-06-26 18:10:30 +0000[diff] [blame]10 %tmp = icmp ne i32 %a, 187
11 ret i1 %tmp
12}
13
14; 0x00aa00aa = 11141290
15define i1 @f2(i32 %a) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +0000[diff] [blame]16; CHECK: f2:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]17; CHECK: cmp.w {{.*}}, #11141290
David Goodwin2634e982009-06-26 18:10:30 +0000[diff] [blame]18 %tmp = icmp eq i32 %a, 11141290
19 ret i1 %tmp
20}
21
22; 0xcc00cc00 = 3422604288
23define i1 @f3(i32 %a) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +0000[diff] [blame]24; CHECK: f3:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]25; CHECK: cmp.w {{.*}}, #-872363008
David Goodwin2634e982009-06-26 18:10:30 +0000[diff] [blame]26 %tmp = icmp ne i32 %a, 3422604288
27 ret i1 %tmp
28}
29
30; 0xdddddddd = 3722304989
31define i1 @f4(i32 %a) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +0000[diff] [blame]32; CHECK: f4:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]33; CHECK: cmp.w {{.*}}, #-572662307
David Goodwin2634e982009-06-26 18:10:30 +0000[diff] [blame]34 %tmp = icmp ne i32 %a, 3722304989
35 ret i1 %tmp
36}
37
38; 0x00110000 = 1114112
39define i1 @f5(i32 %a) {
Evan Cheng3a1f0f62009-08-10 23:56:04 +0000[diff] [blame]40; CHECK: f5:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]41; CHECK: cmp.w {{.*}}, #1114112
David Goodwin2634e982009-06-26 18:10:30 +0000[diff] [blame]42 %tmp = icmp eq i32 %a, 1114112
43 ret i1 %tmp
44}
Daniel Dunbar3cc32832010-08-25 16:58:05 +0000[diff] [blame]45
46; Check that we don't do an invalid (a > b) --> !(a < b + 1) transform.
47;
48; CHECK: f6:
Jakob Stoklund Olesened18a3e2012-05-17 23:44:19 +0000[diff] [blame^]49; CHECK-NOT: cmp.w {{.*}}, #-2147483648
Daniel Dunbar3cc32832010-08-25 16:58:05 +0000[diff] [blame]50; CHECK: bx lr
51define i32 @f6(i32 %a) {
52 %tmp = icmp sgt i32 %a, 2147483647
53 br i1 %tmp, label %true, label %false
54true:
55 ret i32 2
56false:
57 ret i32 0
58}