1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 define i32 @abs_abs_x01(i32 %x) { 4 %cmp = icmp sgt i32 %x, -1 5 %sub = sub nsw i32 0, %x 6 %cond = select i1 %cmp, i32 %x, i32 %sub 7 %cmp1 = icmp sgt i32 %cond, -1 8 %sub16 = sub nsw i32 0, %cond 9 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 10 ret i32 %cond18 11 ; CHECK-LABEL: @abs_abs_x01( 12 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 13 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 14 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 15 ; CHECK-NEXT: ret i32 [[SEL]] 16 } 17 18 define i32 @abs_abs_x02(i32 %x) { 19 %cmp = icmp sgt i32 %x, 0 20 %sub = sub nsw i32 0, %x 21 %cond = select i1 %cmp, i32 %x, i32 %sub 22 %cmp1 = icmp sgt i32 %cond, -1 23 %sub16 = sub nsw i32 0, %cond 24 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 25 ret i32 %cond18 26 ; CHECK-LABEL: @abs_abs_x02( 27 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 28 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 29 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 30 ; CHECK-NEXT: ret i32 [[SEL]] 31 } 32 33 define i32 @abs_abs_x03(i32 %x) { 34 %cmp = icmp slt i32 %x, 0 35 %sub = sub nsw i32 0, %x 36 %cond = select i1 %cmp, i32 %sub, i32 %x 37 %cmp1 = icmp sgt i32 %cond, -1 38 %sub16 = sub nsw i32 0, %cond 39 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 40 ret i32 %cond18 41 ; CHECK-LABEL: @abs_abs_x03( 42 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 43 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 44 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 45 ; CHECK-NEXT: ret i32 [[SEL]] 46 } 47 48 define i32 @abs_abs_x04(i32 %x) { 49 %cmp = icmp slt i32 %x, 1 50 %sub = sub nsw i32 0, %x 51 %cond = select i1 %cmp, i32 %sub, i32 %x 52 %cmp1 = icmp sgt i32 %cond, -1 53 %sub16 = sub nsw i32 0, %cond 54 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 55 ret i32 %cond18 56 ; CHECK-LABEL: @abs_abs_x04( 57 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 58 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 59 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 60 ; CHECK-NEXT: ret i32 [[SEL]] 61 } 62 63 define i32 @abs_abs_x05(i32 %x) { 64 %cmp = icmp sgt i32 %x, -1 65 %sub = sub nsw i32 0, %x 66 %cond = select i1 %cmp, i32 %x, i32 %sub 67 %cmp1 = icmp sgt i32 %cond, 0 68 %sub16 = sub nsw i32 0, %cond 69 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 70 ret i32 %cond18 71 ; CHECK-LABEL: @abs_abs_x05( 72 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 73 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 74 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 75 ; CHECK-NEXT: ret i32 [[SEL]] 76 } 77 78 define i32 @abs_abs_x06(i32 %x) { 79 %cmp = icmp sgt i32 %x, 0 80 %sub = sub nsw i32 0, %x 81 %cond = select i1 %cmp, i32 %x, i32 %sub 82 %cmp1 = icmp sgt i32 %cond, 0 83 %sub16 = sub nsw i32 0, %cond 84 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 85 ret i32 %cond18 86 ; CHECK-LABEL: @abs_abs_x06( 87 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 88 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 89 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 90 ; CHECK-NEXT: ret i32 [[SEL]] 91 } 92 93 define i32 @abs_abs_x07(i32 %x) { 94 %cmp = icmp slt i32 %x, 0 95 %sub = sub nsw i32 0, %x 96 %cond = select i1 %cmp, i32 %sub, i32 %x 97 %cmp1 = icmp sgt i32 %cond, 0 98 %sub16 = sub nsw i32 0, %cond 99 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 100 ret i32 %cond18 101 ; CHECK-LABEL: @abs_abs_x07( 102 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 103 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 104 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 105 ; CHECK-NEXT: ret i32 [[SEL]] 106 } 107 108 define i32 @abs_abs_x08(i32 %x) { 109 %cmp = icmp slt i32 %x, 1 110 %sub = sub nsw i32 0, %x 111 %cond = select i1 %cmp, i32 %sub, i32 %x 112 %cmp1 = icmp sgt i32 %cond, 0 113 %sub16 = sub nsw i32 0, %cond 114 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 115 ret i32 %cond18 116 ; CHECK-LABEL: @abs_abs_x08( 117 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 118 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 119 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 120 ; CHECK-NEXT: ret i32 [[SEL]] 121 } 122 123 define i32 @abs_abs_x09(i32 %x) { 124 %cmp = icmp sgt i32 %x, -1 125 %sub = sub nsw i32 0, %x 126 %cond = select i1 %cmp, i32 %x, i32 %sub 127 %cmp1 = icmp slt i32 %cond, 0 128 %sub9 = sub nsw i32 0, %cond 129 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 130 ret i32 %cond18 131 ; CHECK-LABEL: @abs_abs_x09( 132 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 133 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 134 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 135 ; CHECK-NEXT: ret i32 [[SEL]] 136 } 137 138 define i32 @abs_abs_x10(i32 %x) { 139 %cmp = icmp sgt i32 %x, 0 140 %sub = sub nsw i32 0, %x 141 %cond = select i1 %cmp, i32 %x, i32 %sub 142 %cmp1 = icmp slt i32 %cond, 0 143 %sub9 = sub nsw i32 0, %cond 144 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 145 ret i32 %cond18 146 ; CHECK-LABEL: @abs_abs_x10( 147 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 148 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 149 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 150 ; CHECK-NEXT: ret i32 [[SEL]] 151 } 152 153 define i32 @abs_abs_x11(i32 %x) { 154 %cmp = icmp slt i32 %x, 0 155 %sub = sub nsw i32 0, %x 156 %cond = select i1 %cmp, i32 %sub, i32 %x 157 %cmp1 = icmp slt i32 %cond, 0 158 %sub9 = sub nsw i32 0, %cond 159 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 160 ret i32 %cond18 161 ; CHECK-LABEL: @abs_abs_x11( 162 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 163 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 164 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 165 ; CHECK-NEXT: ret i32 [[SEL]] 166 } 167 168 define i32 @abs_abs_x12(i32 %x) { 169 %cmp = icmp slt i32 %x, 1 170 %sub = sub nsw i32 0, %x 171 %cond = select i1 %cmp, i32 %sub, i32 %x 172 %cmp1 = icmp slt i32 %cond, 0 173 %sub9 = sub nsw i32 0, %cond 174 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 175 ret i32 %cond18 176 ; CHECK-LABEL: @abs_abs_x12( 177 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 178 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 179 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 180 ; CHECK-NEXT: ret i32 [[SEL]] 181 } 182 183 define i32 @abs_abs_x13(i32 %x) { 184 %cmp = icmp sgt i32 %x, -1 185 %sub = sub nsw i32 0, %x 186 %cond = select i1 %cmp, i32 %x, i32 %sub 187 %cmp1 = icmp slt i32 %cond, 1 188 %sub9 = sub nsw i32 0, %cond 189 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 190 ret i32 %cond18 191 ; CHECK-LABEL: @abs_abs_x13( 192 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 193 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 194 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 195 ; CHECK-NEXT: ret i32 [[SEL]] 196 } 197 198 define i32 @abs_abs_x14(i32 %x) { 199 %cmp = icmp sgt i32 %x, 0 200 %sub = sub nsw i32 0, %x 201 %cond = select i1 %cmp, i32 %x, i32 %sub 202 %cmp1 = icmp slt i32 %cond, 1 203 %sub9 = sub nsw i32 0, %cond 204 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 205 ret i32 %cond18 206 ; CHECK-LABEL: @abs_abs_x14( 207 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 208 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 209 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 210 ; CHECK-NEXT: ret i32 [[SEL]] 211 } 212 213 define i32 @abs_abs_x15(i32 %x) { 214 %cmp = icmp slt i32 %x, 0 215 %sub = sub nsw i32 0, %x 216 %cond = select i1 %cmp, i32 %sub, i32 %x 217 %cmp1 = icmp slt i32 %cond, 1 218 %sub9 = sub nsw i32 0, %cond 219 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 220 ret i32 %cond18 221 ; CHECK-LABEL: @abs_abs_x15( 222 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 223 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 224 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 225 ; CHECK-NEXT: ret i32 [[SEL]] 226 } 227 228 define i32 @abs_abs_x16(i32 %x) { 229 %cmp = icmp slt i32 %x, 1 230 %sub = sub nsw i32 0, %x 231 %cond = select i1 %cmp, i32 %sub, i32 %x 232 %cmp1 = icmp slt i32 %cond, 1 233 %sub9 = sub nsw i32 0, %cond 234 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 235 ret i32 %cond18 236 ; CHECK-LABEL: @abs_abs_x16( 237 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 238 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 239 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 240 ; CHECK-NEXT: ret i32 [[SEL]] 241 } 242 243 define i32 @nabs_nabs_x01(i32 %x) { 244 %cmp = icmp sgt i32 %x, -1 245 %sub = sub nsw i32 0, %x 246 %cond = select i1 %cmp, i32 %sub, i32 %x 247 %cmp1 = icmp sgt i32 %cond, -1 248 %sub9 = sub nsw i32 0, %cond 249 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 250 ret i32 %cond18 251 ; CHECK-LABEL: @nabs_nabs_x01( 252 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 253 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 254 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 255 ; CHECK-NEXT: ret i32 [[SEL]] 256 } 257 258 define i32 @nabs_nabs_x02(i32 %x) { 259 %cmp = icmp sgt i32 %x, 0 260 %sub = sub nsw i32 0, %x 261 %cond = select i1 %cmp, i32 %sub, i32 %x 262 %cmp1 = icmp sgt i32 %cond, -1 263 %sub9 = sub nsw i32 0, %cond 264 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 265 ret i32 %cond18 266 ; CHECK-LABEL: @nabs_nabs_x02( 267 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 268 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 269 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 270 ; CHECK-NEXT: ret i32 [[SEL]] 271 } 272 273 define i32 @nabs_nabs_x03(i32 %x) { 274 %cmp = icmp slt i32 %x, 0 275 %sub = sub nsw i32 0, %x 276 %cond = select i1 %cmp, i32 %x, i32 %sub 277 %cmp1 = icmp sgt i32 %cond, -1 278 %sub9 = sub nsw i32 0, %cond 279 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 280 ret i32 %cond18 281 ; CHECK-LABEL: @nabs_nabs_x03( 282 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 283 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 284 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 285 ; CHECK-NEXT: ret i32 [[SEL]] 286 } 287 288 define i32 @nabs_nabs_x04(i32 %x) { 289 %cmp = icmp slt i32 %x, 1 290 %sub = sub nsw i32 0, %x 291 %cond = select i1 %cmp, i32 %x, i32 %sub 292 %cmp1 = icmp sgt i32 %cond, -1 293 %sub9 = sub nsw i32 0, %cond 294 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 295 ret i32 %cond18 296 ; CHECK-LABEL: @nabs_nabs_x04( 297 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 298 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 299 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 300 ; CHECK-NEXT: ret i32 [[SEL]] 301 } 302 303 define i32 @nabs_nabs_x05(i32 %x) { 304 %cmp = icmp sgt i32 %x, -1 305 %sub = sub nsw i32 0, %x 306 %cond = select i1 %cmp, i32 %sub, i32 %x 307 %cmp1 = icmp sgt i32 %cond, 0 308 %sub9 = sub nsw i32 0, %cond 309 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 310 ret i32 %cond18 311 ; CHECK-LABEL: @nabs_nabs_x05( 312 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 313 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 314 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 315 ; CHECK-NEXT: ret i32 [[SEL]] 316 } 317 318 define i32 @nabs_nabs_x06(i32 %x) { 319 %cmp = icmp sgt i32 %x, 0 320 %sub = sub nsw i32 0, %x 321 %cond = select i1 %cmp, i32 %sub, i32 %x 322 %cmp1 = icmp sgt i32 %cond, 0 323 %sub9 = sub nsw i32 0, %cond 324 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 325 ret i32 %cond18 326 ; CHECK-LABEL: @nabs_nabs_x06( 327 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 328 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 329 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 330 ; CHECK-NEXT: ret i32 [[SEL]] 331 } 332 333 define i32 @nabs_nabs_x07(i32 %x) { 334 %cmp = icmp slt i32 %x, 0 335 %sub = sub nsw i32 0, %x 336 %cond = select i1 %cmp, i32 %x, i32 %sub 337 %cmp1 = icmp sgt i32 %cond, 0 338 %sub9 = sub nsw i32 0, %cond 339 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 340 ret i32 %cond18 341 ; CHECK-LABEL: @nabs_nabs_x07( 342 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 343 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 344 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 345 ; CHECK-NEXT: ret i32 [[SEL]] 346 } 347 348 define i32 @nabs_nabs_x08(i32 %x) { 349 %cmp = icmp slt i32 %x, 1 350 %sub = sub nsw i32 0, %x 351 %cond = select i1 %cmp, i32 %x, i32 %sub 352 %cmp1 = icmp sgt i32 %cond, 0 353 %sub9 = sub nsw i32 0, %cond 354 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 355 ret i32 %cond18 356 ; CHECK-LABEL: @nabs_nabs_x08( 357 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 358 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 359 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 360 ; CHECK-NEXT: ret i32 [[SEL]] 361 } 362 363 define i32 @nabs_nabs_x09(i32 %x) { 364 %cmp = icmp sgt i32 %x, -1 365 %sub = sub nsw i32 0, %x 366 %cond = select i1 %cmp, i32 %sub, i32 %x 367 %cmp1 = icmp slt i32 %cond, 0 368 %sub16 = sub nsw i32 0, %cond 369 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 370 ret i32 %cond18 371 ; CHECK-LABEL: @nabs_nabs_x09( 372 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 373 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 374 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 375 ; CHECK-NEXT: ret i32 [[SEL]] 376 } 377 378 define i32 @nabs_nabs_x10(i32 %x) { 379 %cmp = icmp sgt i32 %x, 0 380 %sub = sub nsw i32 0, %x 381 %cond = select i1 %cmp, i32 %sub, i32 %x 382 %cmp1 = icmp slt i32 %cond, 0 383 %sub16 = sub nsw i32 0, %cond 384 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 385 ret i32 %cond18 386 ; CHECK-LABEL: @nabs_nabs_x10( 387 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 388 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 389 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 390 ; CHECK-NEXT: ret i32 [[SEL]] 391 } 392 393 define i32 @nabs_nabs_x11(i32 %x) { 394 %cmp = icmp slt i32 %x, 0 395 %sub = sub nsw i32 0, %x 396 %cond = select i1 %cmp, i32 %x, i32 %sub 397 %cmp1 = icmp slt i32 %cond, 0 398 %sub16 = sub nsw i32 0, %cond 399 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 400 ret i32 %cond18 401 ; CHECK-LABEL: @nabs_nabs_x11( 402 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 403 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 404 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 405 ; CHECK-NEXT: ret i32 [[SEL]] 406 } 407 408 define i32 @nabs_nabs_x12(i32 %x) { 409 %cmp = icmp slt i32 %x, 1 410 %sub = sub nsw i32 0, %x 411 %cond = select i1 %cmp, i32 %x, i32 %sub 412 %cmp1 = icmp slt i32 %cond, 0 413 %sub16 = sub nsw i32 0, %cond 414 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 415 ret i32 %cond18 416 ; CHECK-LABEL: @nabs_nabs_x12( 417 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 418 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 419 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 420 ; CHECK-NEXT: ret i32 [[SEL]] 421 } 422 423 define i32 @nabs_nabs_x13(i32 %x) { 424 %cmp = icmp sgt i32 %x, -1 425 %sub = sub nsw i32 0, %x 426 %cond = select i1 %cmp, i32 %sub, i32 %x 427 %cmp1 = icmp slt i32 %cond, 1 428 %sub16 = sub nsw i32 0, %cond 429 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 430 ret i32 %cond18 431 ; CHECK-LABEL: @nabs_nabs_x13( 432 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 433 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 434 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 435 ; CHECK-NEXT: ret i32 [[SEL]] 436 } 437 438 define i32 @nabs_nabs_x14(i32 %x) { 439 %cmp = icmp sgt i32 %x, 0 440 %sub = sub nsw i32 0, %x 441 %cond = select i1 %cmp, i32 %sub, i32 %x 442 %cmp1 = icmp slt i32 %cond, 1 443 %sub16 = sub nsw i32 0, %cond 444 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 445 ret i32 %cond18 446 ; CHECK-LABEL: @nabs_nabs_x14( 447 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 448 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 449 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 450 ; CHECK-NEXT: ret i32 [[SEL]] 451 } 452 453 define i32 @nabs_nabs_x15(i32 %x) { 454 %cmp = icmp slt i32 %x, 0 455 %sub = sub nsw i32 0, %x 456 %cond = select i1 %cmp, i32 %x, i32 %sub 457 %cmp1 = icmp slt i32 %cond, 1 458 %sub16 = sub nsw i32 0, %cond 459 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 460 ret i32 %cond18 461 ; CHECK-LABEL: @nabs_nabs_x15( 462 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 463 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 464 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 465 ; CHECK-NEXT: ret i32 [[SEL]] 466 } 467 468 define i32 @nabs_nabs_x16(i32 %x) { 469 %cmp = icmp slt i32 %x, 1 470 %sub = sub nsw i32 0, %x 471 %cond = select i1 %cmp, i32 %x, i32 %sub 472 %cmp1 = icmp slt i32 %cond, 1 473 %sub16 = sub nsw i32 0, %cond 474 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 475 ret i32 %cond18 476 ; CHECK-LABEL: @nabs_nabs_x16( 477 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 478 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 479 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 480 ; CHECK-NEXT: ret i32 [[SEL]] 481 } 482 483 define i32 @abs_nabs_x01(i32 %x) { 484 %cmp = icmp sgt i32 %x, -1 485 %sub = sub nsw i32 0, %x 486 %cond = select i1 %cmp, i32 %sub, i32 %x 487 %cmp1 = icmp sgt i32 %cond, -1 488 %sub16 = sub nsw i32 0, %cond 489 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 490 ret i32 %cond18 491 ; CHECK-LABEL: @abs_nabs_x01( 492 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 493 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 494 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 495 ; CHECK-NEXT: ret i32 [[SEL]] 496 } 497 498 define i32 @abs_nabs_x02(i32 %x) { 499 %cmp = icmp sgt i32 %x, 0 500 %sub = sub nsw i32 0, %x 501 %cond = select i1 %cmp, i32 %sub, i32 %x 502 %cmp1 = icmp sgt i32 %cond, -1 503 %sub16 = sub nsw i32 0, %cond 504 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 505 ret i32 %cond18 506 ; CHECK-LABEL: @abs_nabs_x02( 507 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 508 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 509 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 510 ; CHECK-NEXT: ret i32 [[SEL]] 511 } 512 513 define i32 @abs_nabs_x03(i32 %x) { 514 %cmp = icmp slt i32 %x, 0 515 %sub = sub nsw i32 0, %x 516 %cond = select i1 %cmp, i32 %x, i32 %sub 517 %cmp1 = icmp sgt i32 %cond, -1 518 %sub16 = sub nsw i32 0, %cond 519 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 520 ret i32 %cond18 521 ; CHECK-LABEL: @abs_nabs_x03( 522 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 523 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 524 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 525 ; CHECK-NEXT: ret i32 [[SEL]] 526 } 527 528 define i32 @abs_nabs_x04(i32 %x) { 529 %cmp = icmp slt i32 %x, 1 530 %sub = sub nsw i32 0, %x 531 %cond = select i1 %cmp, i32 %x, i32 %sub 532 %cmp1 = icmp sgt i32 %cond, -1 533 %sub16 = sub nsw i32 0, %cond 534 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 535 ret i32 %cond18 536 ; CHECK-LABEL: @abs_nabs_x04( 537 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 538 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 539 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 540 ; CHECK-NEXT: ret i32 [[SEL]] 541 } 542 543 define i32 @abs_nabs_x05(i32 %x) { 544 %cmp = icmp sgt i32 %x, -1 545 %sub = sub nsw i32 0, %x 546 %cond = select i1 %cmp, i32 %sub, i32 %x 547 %cmp1 = icmp sgt i32 %cond, 0 548 %sub16 = sub nsw i32 0, %cond 549 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 550 ret i32 %cond18 551 ; CHECK-LABEL: @abs_nabs_x05( 552 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 553 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 554 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 555 ; CHECK-NEXT: ret i32 [[SEL]] 556 } 557 558 define i32 @abs_nabs_x06(i32 %x) { 559 %cmp = icmp sgt i32 %x, 0 560 %sub = sub nsw i32 0, %x 561 %cond = select i1 %cmp, i32 %sub, i32 %x 562 %cmp1 = icmp sgt i32 %cond, 0 563 %sub16 = sub nsw i32 0, %cond 564 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 565 ret i32 %cond18 566 ; CHECK-LABEL: @abs_nabs_x06( 567 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 568 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 569 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 570 ; CHECK-NEXT: ret i32 [[SEL]] 571 } 572 573 define i32 @abs_nabs_x07(i32 %x) { 574 %cmp = icmp slt i32 %x, 0 575 %sub = sub nsw i32 0, %x 576 %cond = select i1 %cmp, i32 %x, i32 %sub 577 %cmp1 = icmp sgt i32 %cond, 0 578 %sub16 = sub nsw i32 0, %cond 579 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 580 ret i32 %cond18 581 ; CHECK-LABEL: @abs_nabs_x07( 582 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 583 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 584 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 585 ; CHECK-NEXT: ret i32 [[SEL]] 586 } 587 588 define i32 @abs_nabs_x08(i32 %x) { 589 %cmp = icmp slt i32 %x, 1 590 %sub = sub nsw i32 0, %x 591 %cond = select i1 %cmp, i32 %x, i32 %sub 592 %cmp1 = icmp sgt i32 %cond, 0 593 %sub16 = sub nsw i32 0, %cond 594 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 595 ret i32 %cond18 596 ; CHECK-LABEL: @abs_nabs_x08( 597 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 598 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 599 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 600 ; CHECK-NEXT: ret i32 [[SEL]] 601 } 602 603 define i32 @abs_nabs_x09(i32 %x) { 604 %cmp = icmp sgt i32 %x, -1 605 %sub = sub nsw i32 0, %x 606 %cond = select i1 %cmp, i32 %sub, i32 %x 607 %cmp1 = icmp slt i32 %cond, 0 608 %sub9 = sub nsw i32 0, %cond 609 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 610 ret i32 %cond18 611 ; CHECK-LABEL: @abs_nabs_x09( 612 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 613 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 614 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 615 ; CHECK-NEXT: ret i32 [[SEL]] 616 } 617 618 define i32 @abs_nabs_x10(i32 %x) { 619 %cmp = icmp sgt i32 %x, 0 620 %sub = sub nsw i32 0, %x 621 %cond = select i1 %cmp, i32 %sub, i32 %x 622 %cmp1 = icmp slt i32 %cond, 0 623 %sub9 = sub nsw i32 0, %cond 624 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 625 ret i32 %cond18 626 ; CHECK-LABEL: @abs_nabs_x10( 627 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 628 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 629 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 630 ; CHECK-NEXT: ret i32 [[SEL]] 631 } 632 633 define i32 @abs_nabs_x11(i32 %x) { 634 %cmp = icmp slt i32 %x, 0 635 %sub = sub nsw i32 0, %x 636 %cond = select i1 %cmp, i32 %x, i32 %sub 637 %cmp1 = icmp slt i32 %cond, 0 638 %sub9 = sub nsw i32 0, %cond 639 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 640 ret i32 %cond18 641 ; CHECK-LABEL: @abs_nabs_x11( 642 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 643 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 644 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 645 ; CHECK-NEXT: ret i32 [[SEL]] 646 } 647 648 define i32 @abs_nabs_x12(i32 %x) { 649 %cmp = icmp slt i32 %x, 1 650 %sub = sub nsw i32 0, %x 651 %cond = select i1 %cmp, i32 %x, i32 %sub 652 %cmp1 = icmp slt i32 %cond, 0 653 %sub9 = sub nsw i32 0, %cond 654 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 655 ret i32 %cond18 656 ; CHECK-LABEL: @abs_nabs_x12( 657 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 658 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 659 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 660 ; CHECK-NEXT: ret i32 [[SEL]] 661 } 662 663 define i32 @abs_nabs_x13(i32 %x) { 664 %cmp = icmp sgt i32 %x, -1 665 %sub = sub nsw i32 0, %x 666 %cond = select i1 %cmp, i32 %sub, i32 %x 667 %cmp1 = icmp slt i32 %cond, 1 668 %sub9 = sub nsw i32 0, %cond 669 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 670 ret i32 %cond18 671 ; CHECK-LABEL: @abs_nabs_x13( 672 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 673 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 674 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 675 ; CHECK-NEXT: ret i32 [[SEL]] 676 } 677 678 define i32 @abs_nabs_x14(i32 %x) { 679 %cmp = icmp sgt i32 %x, 0 680 %sub = sub nsw i32 0, %x 681 %cond = select i1 %cmp, i32 %sub, i32 %x 682 %cmp1 = icmp slt i32 %cond, 1 683 %sub9 = sub nsw i32 0, %cond 684 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 685 ret i32 %cond18 686 ; CHECK-LABEL: @abs_nabs_x14( 687 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 688 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 689 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 690 ; CHECK-NEXT: ret i32 [[SEL]] 691 } 692 693 define i32 @abs_nabs_x15(i32 %x) { 694 %cmp = icmp slt i32 %x, 0 695 %sub = sub nsw i32 0, %x 696 %cond = select i1 %cmp, i32 %x, i32 %sub 697 %cmp1 = icmp slt i32 %cond, 1 698 %sub9 = sub nsw i32 0, %cond 699 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 700 ret i32 %cond18 701 ; CHECK-LABEL: @abs_nabs_x15( 702 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 703 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 704 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 705 ; CHECK-NEXT: ret i32 [[SEL]] 706 } 707 708 define i32 @abs_nabs_x16(i32 %x) { 709 %cmp = icmp slt i32 %x, 1 710 %sub = sub nsw i32 0, %x 711 %cond = select i1 %cmp, i32 %x, i32 %sub 712 %cmp1 = icmp slt i32 %cond, 1 713 %sub9 = sub nsw i32 0, %cond 714 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 715 ret i32 %cond18 716 ; CHECK-LABEL: @abs_nabs_x16( 717 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 718 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 719 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 720 ; CHECK-NEXT: ret i32 [[SEL]] 721 } 722 723 define i32 @nabs_abs_x01(i32 %x) { 724 %cmp = icmp sgt i32 %x, -1 725 %sub = sub nsw i32 0, %x 726 %cond = select i1 %cmp, i32 %x, i32 %sub 727 %cmp1 = icmp sgt i32 %cond, -1 728 %sub9 = sub nsw i32 0, %cond 729 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 730 ret i32 %cond18 731 ; CHECK-LABEL: @nabs_abs_x01( 732 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 733 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 734 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 735 ; CHECK-NEXT: ret i32 [[SEL]] 736 } 737 738 define i32 @nabs_abs_x02(i32 %x) { 739 %cmp = icmp sgt i32 %x, 0 740 %sub = sub nsw i32 0, %x 741 %cond = select i1 %cmp, i32 %x, i32 %sub 742 %cmp1 = icmp sgt i32 %cond, -1 743 %sub9 = sub nsw i32 0, %cond 744 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 745 ret i32 %cond18 746 ; CHECK-LABEL: @nabs_abs_x02( 747 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 748 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 749 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 750 ; CHECK-NEXT: ret i32 [[SEL]] 751 } 752 753 define i32 @nabs_abs_x03(i32 %x) { 754 %cmp = icmp slt i32 %x, 0 755 %sub = sub nsw i32 0, %x 756 %cond = select i1 %cmp, i32 %sub, i32 %x 757 %cmp1 = icmp sgt i32 %cond, -1 758 %sub9 = sub nsw i32 0, %cond 759 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 760 ret i32 %cond18 761 ; CHECK-LABEL: @nabs_abs_x03( 762 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 763 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 764 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 765 ; CHECK-NEXT: ret i32 [[SEL]] 766 } 767 768 define i32 @nabs_abs_x04(i32 %x) { 769 %cmp = icmp slt i32 %x, 1 770 %sub = sub nsw i32 0, %x 771 %cond = select i1 %cmp, i32 %sub, i32 %x 772 %cmp1 = icmp sgt i32 %cond, -1 773 %sub9 = sub nsw i32 0, %cond 774 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 775 ret i32 %cond18 776 ; CHECK-LABEL: @nabs_abs_x04( 777 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 778 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 779 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 780 ; CHECK-NEXT: ret i32 [[SEL]] 781 } 782 783 define i32 @nabs_abs_x05(i32 %x) { 784 %cmp = icmp sgt i32 %x, -1 785 %sub = sub nsw i32 0, %x 786 %cond = select i1 %cmp, i32 %x, i32 %sub 787 %cmp1 = icmp sgt i32 %cond, 0 788 %sub9 = sub nsw i32 0, %cond 789 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 790 ret i32 %cond18 791 ; CHECK-LABEL: @nabs_abs_x05( 792 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 793 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 794 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 795 ; CHECK-NEXT: ret i32 [[SEL]] 796 } 797 798 define i32 @nabs_abs_x06(i32 %x) { 799 %cmp = icmp sgt i32 %x, 0 800 %sub = sub nsw i32 0, %x 801 %cond = select i1 %cmp, i32 %x, i32 %sub 802 %cmp1 = icmp sgt i32 %cond, 0 803 %sub9 = sub nsw i32 0, %cond 804 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 805 ret i32 %cond18 806 ; CHECK-LABEL: @nabs_abs_x06( 807 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 808 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 809 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 810 ; CHECK-NEXT: ret i32 [[SEL]] 811 } 812 813 define i32 @nabs_abs_x07(i32 %x) { 814 %cmp = icmp slt i32 %x, 0 815 %sub = sub nsw i32 0, %x 816 %cond = select i1 %cmp, i32 %sub, i32 %x 817 %cmp1 = icmp sgt i32 %cond, 0 818 %sub9 = sub nsw i32 0, %cond 819 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 820 ret i32 %cond18 821 ; CHECK-LABEL: @nabs_abs_x07( 822 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 823 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 824 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 825 ; CHECK-NEXT: ret i32 [[SEL]] 826 } 827 828 define i32 @nabs_abs_x08(i32 %x) { 829 %cmp = icmp slt i32 %x, 1 830 %sub = sub nsw i32 0, %x 831 %cond = select i1 %cmp, i32 %sub, i32 %x 832 %cmp1 = icmp sgt i32 %cond, 0 833 %sub9 = sub nsw i32 0, %cond 834 %cond18 = select i1 %cmp1, i32 %sub9, i32 %cond 835 ret i32 %cond18 836 ; CHECK-LABEL: @nabs_abs_x08( 837 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 838 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 839 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 840 ; CHECK-NEXT: ret i32 [[SEL]] 841 } 842 843 define i32 @nabs_abs_x09(i32 %x) { 844 %cmp = icmp sgt i32 %x, -1 845 %sub = sub nsw i32 0, %x 846 %cond = select i1 %cmp, i32 %x, i32 %sub 847 %cmp1 = icmp slt i32 %cond, 0 848 %sub16 = sub nsw i32 0, %cond 849 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 850 ret i32 %cond18 851 ; CHECK-LABEL: @nabs_abs_x09( 852 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 853 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 854 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 855 ; CHECK-NEXT: ret i32 [[SEL]] 856 } 857 858 define i32 @nabs_abs_x10(i32 %x) { 859 %cmp = icmp sgt i32 %x, 0 860 %sub = sub nsw i32 0, %x 861 %cond = select i1 %cmp, i32 %x, i32 %sub 862 %cmp1 = icmp slt i32 %cond, 0 863 %sub16 = sub nsw i32 0, %cond 864 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 865 ret i32 %cond18 866 ; CHECK-LABEL: @nabs_abs_x10( 867 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 868 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 869 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 870 ; CHECK-NEXT: ret i32 [[SEL]] 871 } 872 873 define i32 @nabs_abs_x11(i32 %x) { 874 %cmp = icmp slt i32 %x, 0 875 %sub = sub nsw i32 0, %x 876 %cond = select i1 %cmp, i32 %sub, i32 %x 877 %cmp1 = icmp slt i32 %cond, 0 878 %sub16 = sub nsw i32 0, %cond 879 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 880 ret i32 %cond18 881 ; CHECK-LABEL: @nabs_abs_x11( 882 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 883 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 884 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 885 ; CHECK-NEXT: ret i32 [[SEL]] 886 } 887 888 define i32 @nabs_abs_x12(i32 %x) { 889 %cmp = icmp slt i32 %x, 1 890 %sub = sub nsw i32 0, %x 891 %cond = select i1 %cmp, i32 %sub, i32 %x 892 %cmp1 = icmp slt i32 %cond, 0 893 %sub16 = sub nsw i32 0, %cond 894 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 895 ret i32 %cond18 896 ; CHECK-LABEL: @nabs_abs_x12( 897 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 898 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 899 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 900 ; CHECK-NEXT: ret i32 [[SEL]] 901 } 902 903 define i32 @nabs_abs_x13(i32 %x) { 904 %cmp = icmp sgt i32 %x, -1 905 %sub = sub nsw i32 0, %x 906 %cond = select i1 %cmp, i32 %x, i32 %sub 907 %cmp1 = icmp slt i32 %cond, 1 908 %sub16 = sub nsw i32 0, %cond 909 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 910 ret i32 %cond18 911 ; CHECK-LABEL: @nabs_abs_x13( 912 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, -1 913 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 914 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 915 ; CHECK-NEXT: ret i32 [[SEL]] 916 } 917 918 define i32 @nabs_abs_x14(i32 %x) { 919 %cmp = icmp sgt i32 %x, 0 920 %sub = sub nsw i32 0, %x 921 %cond = select i1 %cmp, i32 %x, i32 %sub 922 %cmp1 = icmp slt i32 %cond, 1 923 %sub16 = sub nsw i32 0, %cond 924 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 925 ret i32 %cond18 926 ; CHECK-LABEL: @nabs_abs_x14( 927 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp sgt i32 %x, 0 928 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 929 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 [[NEG]], i32 %x 930 ; CHECK-NEXT: ret i32 [[SEL]] 931 } 932 933 define i32 @nabs_abs_x15(i32 %x) { 934 %cmp = icmp slt i32 %x, 0 935 %sub = sub nsw i32 0, %x 936 %cond = select i1 %cmp, i32 %sub, i32 %x 937 %cmp1 = icmp slt i32 %cond, 1 938 %sub16 = sub nsw i32 0, %cond 939 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 940 ret i32 %cond18 941 ; CHECK-LABEL: @nabs_abs_x15( 942 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 0 943 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 944 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 945 ; CHECK-NEXT: ret i32 [[SEL]] 946 } 947 948 define i32 @nabs_abs_x16(i32 %x) { 949 %cmp = icmp slt i32 %x, 1 950 %sub = sub nsw i32 0, %x 951 %cond = select i1 %cmp, i32 %sub, i32 %x 952 %cmp1 = icmp slt i32 %cond, 1 953 %sub16 = sub nsw i32 0, %cond 954 %cond18 = select i1 %cmp1, i32 %cond, i32 %sub16 955 ret i32 %cond18 956 ; CHECK-LABEL: @nabs_abs_x16( 957 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp slt i32 %x, 1 958 ; CHECK-NEXT: [[NEG:%[a-z0-9]+]] = sub nsw i32 0, %x 959 ; CHECK-NEXT: [[SEL:%[a-z0-9]+]] = select i1 [[CMP]], i32 %x, i32 [[NEG]] 960 ; CHECK-NEXT: ret i32 [[SEL]] 961 }
