1*9880d681SAndroid Build Coastguard Worker; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; These tests would be improved by 'movs r0, #0' being rematerialized below the 4*9880d681SAndroid Build Coastguard Worker; test as 'mov.w r0, #0'. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; 0x000000bb = 187 7*9880d681SAndroid Build Coastguard Workerdefine i1 @f1(i32 %a) { 8*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f1: 9*9880d681SAndroid Build Coastguard Worker; CHECK: cmp {{.*}}, #187 10*9880d681SAndroid Build Coastguard Worker %tmp = icmp ne i32 %a, 187 11*9880d681SAndroid Build Coastguard Worker ret i1 %tmp 12*9880d681SAndroid Build Coastguard Worker} 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Worker; 0x00aa00aa = 11141290 15*9880d681SAndroid Build Coastguard Workerdefine i1 @f2(i32 %a) { 16*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f2: 17*9880d681SAndroid Build Coastguard Worker; CHECK: cmp.w {{.*}}, #11141290 18*9880d681SAndroid Build Coastguard Worker %tmp = icmp eq i32 %a, 11141290 19*9880d681SAndroid Build Coastguard Worker ret i1 %tmp 20*9880d681SAndroid Build Coastguard Worker} 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Worker; 0xcc00cc00 = 3422604288 23*9880d681SAndroid Build Coastguard Workerdefine i1 @f3(i32 %a) { 24*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f3: 25*9880d681SAndroid Build Coastguard Worker; CHECK: cmp.w {{.*}}, #-872363008 26*9880d681SAndroid Build Coastguard Worker %tmp = icmp ne i32 %a, 3422604288 27*9880d681SAndroid Build Coastguard Worker ret i1 %tmp 28*9880d681SAndroid Build Coastguard Worker} 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Worker; 0xdddddddd = 3722304989 31*9880d681SAndroid Build Coastguard Workerdefine i1 @f4(i32 %a) { 32*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f4: 33*9880d681SAndroid Build Coastguard Worker; CHECK: cmp.w {{.*}}, #-572662307 34*9880d681SAndroid Build Coastguard Worker %tmp = icmp ne i32 %a, 3722304989 35*9880d681SAndroid Build Coastguard Worker ret i1 %tmp 36*9880d681SAndroid Build Coastguard Worker} 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Worker; 0x00110000 = 1114112 39*9880d681SAndroid Build Coastguard Workerdefine i1 @f5(i32 %a) { 40*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f5: 41*9880d681SAndroid Build Coastguard Worker; CHECK: cmp.w {{.*}}, #1114112 42*9880d681SAndroid Build Coastguard Worker %tmp = icmp eq i32 %a, 1114112 43*9880d681SAndroid Build Coastguard Worker ret i1 %tmp 44*9880d681SAndroid Build Coastguard Worker} 45*9880d681SAndroid Build Coastguard Worker 46*9880d681SAndroid Build Coastguard Worker; Check that we don't do an invalid (a > b) --> !(a < b + 1) transform. 47*9880d681SAndroid Build Coastguard Worker; 48*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f6: 49*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cmp.w {{.*}}, #-2147483648 50*9880d681SAndroid Build Coastguard Worker; CHECK: bx lr 51*9880d681SAndroid Build Coastguard Workerdefine i32 @f6(i32 %a) { 52*9880d681SAndroid Build Coastguard Worker %tmp = icmp sgt i32 %a, 2147483647 53*9880d681SAndroid Build Coastguard Worker br i1 %tmp, label %true, label %false 54*9880d681SAndroid Build Coastguard Workertrue: 55*9880d681SAndroid Build Coastguard Worker ret i32 2 56*9880d681SAndroid Build Coastguard Workerfalse: 57*9880d681SAndroid Build Coastguard Worker ret i32 0 58*9880d681SAndroid Build Coastguard Worker} 59