Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
Evan Cheng | 32c7cc8 | 2012-06-21 22:52:49 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 3 | |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 4 | define i32 @t1(i16 zeroext %x, i32 %y) { |
| 5 | ; CHECK-LABEL: @t1( |
| 6 | ; CHECK-NEXT: entry: |
| 7 | ; CHECK-NEXT: [[CONV:%.*]] = zext i16 %x to i32 |
| 8 | ; CHECK-NEXT: [[TMP0:%.*]] = add i32 %y, 1 |
| 9 | ; CHECK-NEXT: [[D:%.*]] = lshr i32 [[CONV]], [[TMP0]] |
| 10 | ; CHECK-NEXT: ret i32 [[D]] |
| 11 | ; |
Evan Cheng | 32c7cc8 | 2012-06-21 22:52:49 +0000 | [diff] [blame] | 12 | entry: |
Evan Cheng | 32c7cc8 | 2012-06-21 22:52:49 +0000 | [diff] [blame] | 13 | %conv = zext i16 %x to i32 |
| 14 | %s = shl i32 2, %y |
| 15 | %d = sdiv i32 %conv, %s |
| 16 | ret i32 %d |
| 17 | } |
| 18 | |
| 19 | ; rdar://11721329 |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 20 | define i64 @t2(i64 %x, i32 %y) { |
| 21 | ; CHECK-LABEL: @t2( |
| 22 | ; CHECK-NEXT: [[TMP1:%.*]] = zext i32 %y to i64 |
| 23 | ; CHECK-NEXT: [[TMP2:%.*]] = lshr i64 %x, [[TMP1]] |
| 24 | ; CHECK-NEXT: ret i64 [[TMP2]] |
| 25 | ; |
Evan Cheng | 32c7cc8 | 2012-06-21 22:52:49 +0000 | [diff] [blame] | 26 | %1 = shl i32 1, %y |
| 27 | %2 = zext i32 %1 to i64 |
| 28 | %3 = udiv i64 %x, %2 |
| 29 | ret i64 %3 |
| 30 | } |
Benjamin Kramer | efb4d34 | 2012-09-21 16:26:41 +0000 | [diff] [blame] | 31 | |
| 32 | ; PR13250 |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 33 | define i64 @t3(i64 %x, i32 %y) { |
| 34 | ; CHECK-LABEL: @t3( |
| 35 | ; CHECK-NEXT: [[TMP1:%.*]] = add i32 %y, 2 |
| 36 | ; CHECK-NEXT: [[TMP2:%.*]] = zext i32 [[TMP1]] to i64 |
| 37 | ; CHECK-NEXT: [[TMP3:%.*]] = lshr i64 %x, [[TMP2]] |
| 38 | ; CHECK-NEXT: ret i64 [[TMP3]] |
| 39 | ; |
Benjamin Kramer | efb4d34 | 2012-09-21 16:26:41 +0000 | [diff] [blame] | 40 | %1 = shl i32 4, %y |
| 41 | %2 = zext i32 %1 to i64 |
| 42 | %3 = udiv i64 %x, %2 |
| 43 | ret i64 %3 |
| 44 | } |
David Majnemer | 797227e | 2013-06-29 08:40:07 +0000 | [diff] [blame] | 45 | |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 46 | define i32 @t4(i32 %x, i32 %y) { |
| 47 | ; CHECK-LABEL: @t4( |
| 48 | ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %y, 5 |
| 49 | ; CHECK-NEXT: [[DOTV:%.*]] = select i1 [[TMP1]], i32 5, i32 %y |
| 50 | ; CHECK-NEXT: [[TMP2:%.*]] = lshr i32 %x, [[DOTV]] |
| 51 | ; CHECK-NEXT: ret i32 [[TMP2]] |
| 52 | ; |
David Majnemer | 797227e | 2013-06-29 08:40:07 +0000 | [diff] [blame] | 53 | %1 = shl i32 1, %y |
| 54 | %2 = icmp ult i32 %1, 32 |
| 55 | %3 = select i1 %2, i32 32, i32 %1 |
| 56 | %4 = udiv i32 %x, %3 |
| 57 | ret i32 %4 |
| 58 | } |
| 59 | |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 60 | define i32 @t5(i1 %x, i1 %y, i32 %V) { |
| 61 | ; CHECK-LABEL: @t5( |
| 62 | ; CHECK-NEXT: [[DOTV:%.*]] = select i1 %x, i32 5, i32 6 |
| 63 | ; CHECK-NEXT: [[TMP1:%.*]] = lshr i32 %V, [[DOTV]] |
| 64 | ; CHECK-NEXT: [[TMP2:%.*]] = select i1 %y, i32 [[TMP1]], i32 0 |
| 65 | ; CHECK-NEXT: ret i32 [[TMP2]] |
| 66 | ; |
David Majnemer | 797227e | 2013-06-29 08:40:07 +0000 | [diff] [blame] | 67 | %1 = shl i32 1, %V |
| 68 | %2 = select i1 %x, i32 32, i32 64 |
| 69 | %3 = select i1 %y, i32 %2, i32 %1 |
| 70 | %4 = udiv i32 %V, %3 |
| 71 | ret i32 %4 |
| 72 | } |
| 73 | |
Sanjay Patel | b193fe9 | 2016-05-02 15:06:55 +0000 | [diff] [blame] | 74 | define i32 @t6(i32 %x, i32 %z) { |
| 75 | ; CHECK-LABEL: @t6( |
| 76 | ; CHECK-NEXT: [[X_IS_ZERO:%.*]] = icmp eq i32 %x, 0 |
| 77 | ; CHECK-NEXT: [[DIVISOR:%.*]] = select i1 [[X_IS_ZERO]], i32 1, i32 %x |
| 78 | ; CHECK-NEXT: [[Y:%.*]] = udiv i32 %z, [[DIVISOR]] |
| 79 | ; CHECK-NEXT: ret i32 [[Y]] |
| 80 | ; |
David Majnemer | 797227e | 2013-06-29 08:40:07 +0000 | [diff] [blame] | 81 | %x_is_zero = icmp eq i32 %x, 0 |
| 82 | %divisor = select i1 %x_is_zero, i32 1, i32 %x |
| 83 | %y = udiv i32 %z, %divisor |
| 84 | ret i32 %y |
| 85 | } |