1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 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 ; 12 entry: 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 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 ; 26 %1 = shl i32 1, %y 27 %2 = zext i32 %1 to i64 28 %3 = udiv i64 %x, %2 29 ret i64 %3 30 } 31 32 ; PR13250 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 ; 40 %1 = shl i32 4, %y 41 %2 = zext i32 %1 to i64 42 %3 = udiv i64 %x, %2 43 ret i64 %3 44 } 45 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 ; 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 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 ; 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 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 ; 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 } 86
