1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s 2 3 ; These tests would be improved by 'movs r0, #0' being rematerialized below the 4 ; test as 'mov.w r0, #0'. 5 6 ; 0x000000bb = 187 7 define i32 @f1(i32 %a) { 8 ; CHECK-LABEL: f1: 9 ; CHECK: cmp {{.*}}, #187 10 %tmp = icmp ne i32 %a, 187 11 %ret = select i1 %tmp, i32 42, i32 24 12 ret i32 %ret 13 } 14 15 ; 0x00aa00aa = 11141290 16 define i32 @f2(i32 %a) { 17 ; CHECK-LABEL: f2: 18 ; CHECK: cmp.w {{.*}}, #11141290 19 %tmp = icmp eq i32 %a, 11141290 20 %ret = select i1 %tmp, i32 42, i32 24 21 ret i32 %ret 22 } 23 24 ; 0xcc00cc00 = 3422604288 25 define i32 @f3(i32 %a) { 26 ; CHECK-LABEL: f3: 27 ; CHECK: cmp.w {{.*}}, #-872363008 28 %tmp = icmp ne i32 %a, 3422604288 29 %ret = select i1 %tmp, i32 42, i32 24 30 ret i32 %ret 31 } 32 33 ; 0xdddddddd = 3722304989 34 define i32 @f4(i32 %a) { 35 ; CHECK-LABEL: f4: 36 ; CHECK: cmp.w {{.*}}, #-572662307 37 %tmp = icmp ne i32 %a, 3722304989 38 %ret = select i1 %tmp, i32 42, i32 24 39 ret i32 %ret 40 } 41 42 ; 0x00110000 = 1114112 43 define i32 @f5(i32 %a) { 44 ; CHECK-LABEL: f5: 45 ; CHECK: cmp.w {{.*}}, #1114112 46 %tmp = icmp eq i32 %a, 1114112 47 %ret = select i1 %tmp, i32 42, i32 24 48 ret i32 %ret 49 } 50 51 ; Check that we don't do an invalid (a > b) --> !(a < b + 1) transform. 52 ; 53 ; CHECK-LABEL: f6: 54 ; CHECK-NOT: cmp.w {{.*}}, #-2147483648 55 ; CHECK: bx lr 56 define i32 @f6(i32 %a) { 57 %tmp = icmp sgt i32 %a, 2147483647 58 br i1 %tmp, label %true, label %false 59 true: 60 ret i32 2 61 false: 62 ret i32 0 63 } 64 65 define i32 @slt_poweroftwo(i32 %a) { 66 ; CHECK-LABEL: slt_poweroftwo: 67 ; CHECK: cmp.w r0, #4096 68 %b = icmp slt i32 %a, 4096 69 br i1 %b, label %true, label %false 70 71 true: 72 ret i32 1 73 74 false: 75 ret i32 2 76 } 77 78 define i32 @sle_poweroftwo(i32 %a) { 79 ; CHECK-LABEL: sle_poweroftwo: 80 ; CHECK: cmp.w r0, #4096 81 %b = icmp sle i32 %a, 4096 82 br i1 %b, label %true, label %false 83 84 true: 85 ret i32 1 86 87 false: 88 ret i32 2 89 } 90 91 define i32 @sge_poweroftwo(i32 %a) { 92 ; CHECK-LABEL: sge_poweroftwo: 93 ; CHECK: cmp.w r0, #4096 94 %b = icmp sge i32 %a, 4096 95 br i1 %b, label %true, label %false 96 97 true: 98 ret i32 1 99 100 false: 101 ret i32 2 102 } 103 104 define i32 @sgt_poweroftwo(i32 %a) { 105 ; CHECK-LABEL: sgt_poweroftwo: 106 ; CHECK: cmp.w r0, #4096 107 %b = icmp sgt i32 %a, 4096 108 br i1 %b, label %true, label %false 109 110 true: 111 ret i32 1 112 113 false: 114 ret i32 2 115 } 116 117 define i32 @slt_nearpoweroftwo(i32 %a) { 118 ; CHECK-LABEL: slt_nearpoweroftwo: 119 ; CHECK: cmp.w r0, #4096 120 %b = icmp slt i32 %a, 4097 121 br i1 %b, label %true, label %false 122 123 true: 124 ret i32 1 125 126 false: 127 ret i32 2 128 } 129 130 define i32 @sle_nearpoweroftwo(i32 %a) { 131 ; CHECK-LABEL: sle_nearpoweroftwo: 132 ; CHECK: cmp.w r0, #4096 133 %b = icmp sle i32 %a, 4095 134 br i1 %b, label %true, label %false 135 136 true: 137 ret i32 1 138 139 false: 140 ret i32 2 141 } 142 143 144 define i32 @sge_nearpoweroftwo(i32 %a) { 145 ; CHECK-LABEL: sge_nearpoweroftwo: 146 ; CHECK: cmp.w r0, #4096 147 %b = icmp sge i32 %a, 4097 148 br i1 %b, label %true, label %false 149 150 true: 151 ret i32 1 152 153 false: 154 ret i32 2 155 } 156 157 define i32 @sgt_nearpoweroftwo(i32 %a) { 158 ; CHECK-LABEL: sgt_nearpoweroftwo: 159 ; CHECK: cmp.w r0, #4096 160 %b = icmp sgt i32 %a, 4095 161 br i1 %b, label %true, label %false 162 163 true: 164 ret i32 1 165 166 false: 167 ret i32 2 168 } 169 170 define i32 @slt_neg_soimm(i32 %a) { 171 ; CHECK-LABEL: slt_neg_soimm: 172 ; CHECK: cmn.w r0, #7929856 173 %b = icmp slt i32 %a, -7929856 174 br i1 %b, label %true, label %false 175 176 true: 177 ret i32 1 178 179 false: 180 ret i32 2 181 } 182 183 define i32 @sle_neg_soimm(i32 %a) { 184 ; CHECK-LABEL: sle_neg_soimm: 185 ; CHECK: cmn.w r0, #7929856 186 %b = icmp sle i32 %a, -7929856 187 br i1 %b, label %true, label %false 188 189 true: 190 ret i32 1 191 192 false: 193 ret i32 2 194 } 195 196 define i32 @sge_neg_soimm(i32 %a) { 197 ; CHECK-LABEL: sge_neg_soimm: 198 ; CHECK: cmn.w r0, #7929856 199 %b = icmp sge i32 %a, -7929856 200 br i1 %b, label %true, label %false 201 202 true: 203 ret i32 1 204 205 false: 206 ret i32 2 207 } 208 209 define i32 @sgt_neg_soimm(i32 %a) { 210 ; CHECK-LABEL: sgt_neg_soimm: 211 ; CHECK: cmn.w r0, #7929856 212 %b = icmp sgt i32 %a, -7929856 213 br i1 %b, label %true, label %false 214 215 true: 216 ret i32 1 217 218 false: 219 ret i32 2 220 } 221 222 define i32 @slt_notneg_soimm(i32 %a) { 223 ; CHECK-LABEL: slt_notneg_soimm: 224 ; CHECK: cmp.w r0, #-2013231104 225 %b = icmp slt i32 %a, -2013231104 226 br i1 %b, label %true, label %false 227 228 true: 229 ret i32 1 230 231 false: 232 ret i32 2 233 } 234 235 define i32 @sle_notneg_soimm(i32 %a) { 236 ; CHECK-LABEL: sle_notneg_soimm: 237 ; CHECK: cmp.w r0, #-2013231104 238 %b = icmp sle i32 %a, -2013231104 239 br i1 %b, label %true, label %false 240 241 true: 242 ret i32 1 243 244 false: 245 ret i32 2 246 } 247 248 define i32 @sge_notneg_soimm(i32 %a) { 249 ; CHECK-LABEL: sge_notneg_soimm: 250 ; CHECK: cmp.w r0, #-2013231104 251 %b = icmp sge i32 %a, -2013231104 252 br i1 %b, label %true, label %false 253 254 true: 255 ret i32 1 256 257 false: 258 ret i32 2 259 } 260 261 define i32 @sgt_notneg_soimm(i32 %a) { 262 ; CHECK-LABEL: sgt_notneg_soimm: 263 ; CHECK: cmp.w r0, #-2013231104 264 %b = icmp sgt i32 %a, -2013231104 265 br i1 %b, label %true, label %false 266 267 true: 268 ret i32 1 269 270 false: 271 ret i32 2 272 } 273 274 define i32 @sgt_movw(i32 %a) { 275 ; CHECK-LABEL: sgt_movw: 276 ; CHECK: movw r1, #2167 277 %b = icmp sgt i32 %a, 2166 278 br i1 %b, label %true, label %false 279 280 true: 281 ret i32 1 282 283 false: 284 ret i32 2 285 } 286 287 define i32 @sgt_neg_movw(i32 %a) { 288 ; CHECK-LABEL: sgt_neg_movw: 289 ; CHECK: movw r1, #63371 290 ; CHECK: movt r1, #65535 291 %b = icmp sgt i32 %a, -2166 292 br i1 %b, label %true, label %false 293 294 true: 295 ret i32 1 296 297 false: 298 ret i32 2 299 } 300
