This is an archive of the discontinued LLVM Phabricator instance.

Differential D35002

Add some tests for cast+clamp/min/max before D33186.
ClosedPublic

Authored by a.elovikov on Jul 5 2017, 2:18 AM.

Details

Reviewers
efriedma
Commits
rGbdd32609d4fe: Add some tests for cast+clamp/min/max before D33186.
rL310053: Add some tests for cast+clamp/min/max before D33186.
Summary
  • add more tests
  • pr27236.ll: rename %tmpN -> %N because otherwise a FileCheck variable for newly appeared unnamed value would use the same name as tmpN (as generated by update_test_checks.py)
  • run update_test_checks.py

Diff Detail

Repository
rL LLVM

Event Timeline

a.elovikov created this revision.Jul 5 2017, 2:18 AM
a.elovikov mentioned this in D33186: [InstCombine] Canonicalize clamp of float types to minmax in fast mode..Jul 5 2017, 2:21 AM
a.elovikov added a child revision: D33186: [InstCombine] Canonicalize clamp of float types to minmax in fast mode..Jul 5 2017, 11:21 AM
efriedma accepted this revision.Jul 7 2017, 4:00 PM

LGTM.

This revision is now accepted and ready to land.Jul 7 2017, 4:00 PM
a.elovikov updated this revision to Diff 108445.Jul 27 2017, 4:14 AM

Added mixed clamp tests with fptosi.

Closed by commit rL310053: Add some tests for cast+clamp/min/max before D33186. (authored by n.bozhenov). · Explain WhyAug 4 2017, 5:21 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
test/
Transforms/
InstCombine/
107 lines
179 lines
15 lines

Diff 109716

llvm/trunk/test/Transforms/InstCombine/clamp-to-minmax.ll

Show First 20 Lines • Show All 137 Lines • ▼ Show 20 Lines;
%cmp1 = fcmp fast uge float %x, 255.0 %cmp1 = fcmp fast uge float %x, 255.0
%r = select i1 %cmp1, float 255.0, float %max %r = select i1 %cmp1, float 255.0, float %max
ret float %r ret float %r
} }
; Some more checks with fast ; Some more checks with fast
; (X > 1.0) ? min(x, 255.0) : 1.0 ; (X > 1.0) ? min(x, 255.0) : 1.0
; That did not match because select was in inverse order.
define float @clamp_test_1(float %x) { define float @clamp_test_1(float %x) {
; CHECK-LABEL: @clamp_test_1( ; CHECK-LABEL: @clamp_test_1(
; CHECK-NEXT: [[INNER_CMP_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02 ; CHECK-NEXT: [[INNER_CMP_INV:%.*]] = fcmp fast oge float [[X:%.*]], 2.550000e+02
; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_CMP_INV]], float 2.550000e+02, float [[X]] ; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_CMP_INV]], float 2.550000e+02, float [[X]]
; CHECK-NEXT: [[OUTER_CMP:%.*]] = fcmp fast ugt float [[X]], 1.000000e+00 ; CHECK-NEXT: [[OUTER_CMP:%.*]] = fcmp fast ugt float [[X]], 1.000000e+00
; CHECK-NEXT: [[R:%.*]] = select i1 [[OUTER_CMP]], float [[INNER_SEL]], float 1.000000e+00 ; CHECK-NEXT: [[R:%.*]] = select i1 [[OUTER_CMP]], float [[INNER_SEL]], float 1.000000e+00
; CHECK-NEXT: ret float [[R]] ; CHECK-NEXT: ret float [[R]]
; ;
▲ Show 20 Lines • Show All 339 Lines • ▼ Show 20 Lines
; CHECK-NEXT: ret float [[R]] ; CHECK-NEXT: ret float [[R]]
; ;
%cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true %cmp2 = fcmp ugt float %x, 1.0 ; x is NaN => true
%max = select i1 %cmp2, float %x, float 1.0 ; NaN %max = select i1 %cmp2, float %x, float 1.0 ; NaN
%cmp1 = fcmp uge float %x, 255.0 ; true %cmp1 = fcmp uge float %x, 255.0 ; true
%r = select i1 %cmp1, float 255.0, float %max ; 255.0 %r = select i1 %cmp1, float 255.0, float %max ; 255.0
ret float %r ret float %r
} }
;; Check casts behavior
define float @ui32_clamp_and_cast_to_float(i32 %x) {
; CHECK-LABEL: @ui32_clamp_and_cast_to_float(
; CHECK-NEXT: [[F_X:%.*]] = uitofp i32 [[X:%.*]] to float
; CHECK-NEXT: [[UP_CMP:%.*]] = icmp ugt i32 [[X]], 255
; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i32 [[X]], 0
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[UP_CMP]], float 2.550000e+02, float [[F_X]]
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[MIN]]
; CHECK-NEXT: ret float [[R]]
;
%f_x = uitofp i32 %x to float
%up_cmp = icmp ugt i32 %x, 255
%lo_cmp = icmp ult i32 %x, 1
%min = select i1 %up_cmp, float 255.0, float %f_x
%r = select i1 %lo_cmp, float 1.0, float %min
ret float %r
}
define float @ui64_clamp_and_cast_to_float(i64 %x) {
; CHECK-LABEL: @ui64_clamp_and_cast_to_float(
; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i64 [[X:%.*]], 0
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i64 [[X]], 255
; CHECK-NEXT: [[MIN1:%.*]] = select i1 [[TMP1]], i64 [[X]], i64 255
; CHECK-NEXT: [[TMP2:%.*]] = uitofp i64 [[MIN1]] to float
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[TMP2]]
; CHECK-NEXT: ret float [[R]]
;
%f_x = uitofp i64 %x to float
%up_cmp = icmp ugt i64 %x, 255
%lo_cmp = icmp ult i64 %x, 1
%min = select i1 %up_cmp, float 255.0, float %f_x
%r = select i1 %lo_cmp, float 1.0, float %min
ret float %r
}
define float @mixed_clamp_to_float_1(i32 %x) {
; CHECK-LABEL: @mixed_clamp_to_float_1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 255
; CHECK-NEXT: [[SI_MIN:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 255
; CHECK-NEXT: [[F_MIN:%.*]] = sitofp i32 [[SI_MIN]] to float
; CHECK-NEXT: [[LO_CMP:%.*]] = icmp slt i32 [[X]], 1
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[F_MIN]]
; CHECK-NEXT: ret float [[R]]
;
%si_min_cmp = icmp sgt i32 %x, 255
%si_min = select i1 %si_min_cmp, i32 255, i32 %x
%f_min = sitofp i32 %si_min to float
%f_x = sitofp i32 %x to float
%lo_cmp = fcmp ult float %f_x, 1.0
%r = select i1 %lo_cmp, float 1.0, float %f_min
ret float %r
}
define i32 @mixed_clamp_to_i32_1(float %x) {
; CHECK-LABEL: @mixed_clamp_to_i32_1(
; CHECK-NEXT: [[FLOAT_MIN_CMP:%.*]] = fcmp ogt float [[X:%.*]], 2.550000e+02
; CHECK-NEXT: [[FLOAT_MIN:%.*]] = select i1 [[FLOAT_MIN_CMP]], float 2.550000e+02, float [[X]]
; CHECK-NEXT: [[I32_MIN:%.*]] = fptosi float [[FLOAT_MIN]] to i32
; CHECK-NEXT: [[I32_X:%.*]] = fptosi float [[X]] to i32
; CHECK-NEXT: [[LO_CMP:%.*]] = icmp eq i32 [[I32_X]], 0
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], i32 1, i32 [[I32_MIN]]
; CHECK-NEXT: ret i32 [[R]]
;
%float_min_cmp = fcmp ogt float %x, 255.0
%float_min = select i1 %float_min_cmp, float 255.0, float %x
%i32_min = fptosi float %float_min to i32
%i32_x = fptosi float %x to i32
%lo_cmp = icmp ult i32 %i32_x, 1
%r = select i1 %lo_cmp, i32 1, i32 %i32_min
ret i32 %r
}
define float @mixed_clamp_to_float_2(i32 %x) {
; CHECK-LABEL: @mixed_clamp_to_float_2(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 255
; CHECK-NEXT: [[SI_MIN:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 255
; CHECK-NEXT: [[F_MIN:%.*]] = sitofp i32 [[SI_MIN]] to float
; CHECK-NEXT: [[LO_CMP:%.*]] = icmp slt i32 [[X]], 1
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], float 1.000000e+00, float [[F_MIN]]
; CHECK-NEXT: ret float [[R]]
;
%si_min_cmp = icmp sgt i32 %x, 255
%si_min = select i1 %si_min_cmp, i32 255, i32 %x
%f_min = sitofp i32 %si_min to float
%lo_cmp = icmp slt i32 %x, 1
%r = select i1 %lo_cmp, float 1.0, float %f_min
ret float %r
}
define i32 @mixed_clamp_to_i32_2(float %x) {
; CHECK-LABEL: @mixed_clamp_to_i32_2(
; CHECK-NEXT: [[FLOAT_MIN_CMP:%.*]] = fcmp ogt float [[X:%.*]], 2.550000e+02
; CHECK-NEXT: [[FLOAT_MIN:%.*]] = select i1 [[FLOAT_MIN_CMP]], float 2.550000e+02, float [[X]]
; CHECK-NEXT: [[I32_MIN:%.*]] = fptosi float [[FLOAT_MIN]] to i32
; CHECK-NEXT: [[LO_CMP:%.*]] = fcmp olt float [[X]], 1.000000e+00
; CHECK-NEXT: [[R:%.*]] = select i1 [[LO_CMP]], i32 1, i32 [[I32_MIN]]
; CHECK-NEXT: ret i32 [[R]]
;
%float_min_cmp = fcmp ogt float %x, 255.0
%float_min = select i1 %float_min_cmp, float 255.0, float %x
%i32_min = fptosi float %float_min to i32
%lo_cmp = fcmp olt float %x, 1.0
%r = select i1 %lo_cmp, i32 1, i32 %i32_min
ret i32 %r
}

llvm/trunk/test/Transforms/InstCombine/minmax-fold.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -instcombine < %s | FileCheck %s
; This is the canonical form for a type-changing min/max. ; This is the canonical form for a type-changing min/max.
define i64 @t1(i32 %a) { define i64 @t1(i32 %a) {
; CHECK-LABEL: @t1( ; CHECK-LABEL: @t1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %a, 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %a, i32 5 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 5
; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64 ; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
; ;
%1 = icmp slt i32 %a, 5 %1 = icmp slt i32 %a, 5
%2 = select i1 %1, i32 %a, i32 5 %2 = select i1 %1, i32 %a, i32 5
%3 = sext i32 %2 to i64 %3 = sext i32 %2 to i64
ret i64 %3 ret i64 %3
} }
; Check this is converted into canonical form, as above. ; Check this is converted into canonical form, as above.
define i64 @t2(i32 %a) { define i64 @t2(i32 %a) {
; CHECK-LABEL: @t2( ; CHECK-LABEL: @t2(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %a, 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %a, i32 5 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 5
; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64 ; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
; ;
%1 = icmp slt i32 %a, 5 %1 = icmp slt i32 %a, 5
%2 = sext i32 %a to i64 %2 = sext i32 %a to i64
%3 = select i1 %1, i64 %2, i64 5 %3 = select i1 %1, i64 %2, i64 5
ret i64 %3 ret i64 %3
} }
; Same as @t2, with flipped operands and zext instead of sext. ; Same as @t2, with flipped operands and zext instead of sext.
define i64 @t3(i32 %a) { define i64 @t3(i32 %a) {
; CHECK-LABEL: @t3( ; CHECK-LABEL: @t3(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 %a, 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %a, i32 5 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 5
; CHECK-NEXT: [[TMP3:%.*]] = zext i32 [[TMP2]] to i64 ; CHECK-NEXT: [[TMP3:%.*]] = zext i32 [[TMP2]] to i64
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
; ;
%1 = icmp ult i32 %a, 5 %1 = icmp ult i32 %a, 5
%2 = zext i32 %a to i64 %2 = zext i32 %a to i64
%3 = select i1 %1, i64 5, i64 %2 %3 = select i1 %1, i64 5, i64 %2
ret i64 %3 ret i64 %3
} }
; Same again, with trunc. ; Same again, with trunc.
define i32 @t4(i64 %a) { define i32 @t4(i64 %a) {
; CHECK-LABEL: @t4( ; CHECK-LABEL: @t4(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i64 %a, 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i64 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i64 %a, i64 5 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i64 [[A]], i64 5
; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 [[TMP2]] to i32 ; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 [[TMP2]] to i32
; CHECK-NEXT: ret i32 [[TMP3]] ; CHECK-NEXT: ret i32 [[TMP3]]
; ;
%1 = icmp slt i64 %a, 5 %1 = icmp slt i64 %a, 5
%2 = trunc i64 %a to i32 %2 = trunc i64 %a to i32
%3 = select i1 %1, i32 %2, i32 5 %3 = select i1 %1, i32 %2, i32 5
ret i32 %3 ret i32 %3
} }
; Same as @t3, but with mismatched signedness between icmp and zext. ; Same as @t3, but with mismatched signedness between icmp and zext.
; InstCombine should leave this alone. ; InstCombine should leave this alone.
define i64 @t5(i32 %a) { define i64 @t5(i32 %a) {
; CHECK-LABEL: @t5( ; CHECK-LABEL: @t5(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %a, 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = zext i32 %a to i64 ; CHECK-NEXT: [[TMP2:%.*]] = zext i32 [[A]] to i64
; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP1]], i64 5, i64 [[TMP2]] ; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP1]], i64 5, i64 [[TMP2]]
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
; ;
%1 = icmp slt i32 %a, 5 %1 = icmp slt i32 %a, 5
%2 = zext i32 %a to i64 %2 = zext i32 %a to i64
%3 = select i1 %1, i64 5, i64 %2 %3 = select i1 %1, i64 5, i64 %2
ret i64 %3 ret i64 %3
} }
define float @t6(i32 %a) { define float @t6(i32 %a) {
; CHECK-LABEL: @t6( ; CHECK-LABEL: @t6(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %a, 0 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 0
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %a, i32 0 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 0
; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[TMP2]] to float ; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[TMP2]] to float
; CHECK-NEXT: ret float [[TMP3]] ; CHECK-NEXT: ret float [[TMP3]]
; ;
%1 = icmp slt i32 %a, 0 %1 = icmp slt i32 %a, 0
%2 = select i1 %1, i32 %a, i32 0 %2 = select i1 %1, i32 %a, i32 0
%3 = sitofp i32 %2 to float %3 = sitofp i32 %2 to float
ret float %3 ret float %3
} }
define i16 @t7(i32 %a) { define i16 @t7(i32 %a) {
; CHECK-LABEL: @t7( ; CHECK-LABEL: @t7(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %a, -32768 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], -32768
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %a, i32 -32768 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 -32768
; CHECK-NEXT: [[TMP3:%.*]] = trunc i32 [[TMP2]] to i16 ; CHECK-NEXT: [[TMP3:%.*]] = trunc i32 [[TMP2]] to i16
; CHECK-NEXT: ret i16 [[TMP3]] ; CHECK-NEXT: ret i16 [[TMP3]]
; ;
%1 = icmp slt i32 %a, -32768 %1 = icmp slt i32 %a, -32768
%2 = trunc i32 %a to i16 %2 = trunc i32 %a to i16
%3 = select i1 %1, i16 %2, i16 -32768 %3 = select i1 %1, i16 %2, i16 -32768
ret i16 %3 ret i16 %3
} }
; Just check for no infinite loop. InstSimplify liked to ; Just check for no infinite loop. InstSimplify liked to
; "simplify" -32767 by removing all the sign bits, ; "simplify" -32767 by removing all the sign bits,
; which led to a canonicalization fight between different ; which led to a canonicalization fight between different
; parts of instcombine. ; parts of instcombine.
define i32 @t8(i64 %a, i32 %b) { define i32 @t8(i64 %a, i32 %b) {
; CHECK-LABEL: @t8( ; CHECK-LABEL: @t8(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i64 %a, -32767 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i64 [[A:%.*]], -32767
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i64 %a, i64 -32767 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i64 [[A]], i64 -32767
; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 [[TMP2]] to i32 ; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 [[TMP2]] to i32
; CHECK-NEXT: [[TMP4:%.*]] = icmp slt i32 %b, 42 ; CHECK-NEXT: [[TMP4:%.*]] = icmp slt i32 [[B:%.*]], 42
; CHECK-NEXT: [[TMP5:%.*]] = select i1 [[TMP4]], i32 42, i32 [[TMP3]] ; CHECK-NEXT: [[TMP5:%.*]] = select i1 [[TMP4]], i32 42, i32 [[TMP3]]
; CHECK-NEXT: [[TMP6:%.*]] = icmp ne i32 [[TMP5]], %b ; CHECK-NEXT: [[TMP6:%.*]] = icmp ne i32 [[TMP5]], [[B]]
; CHECK-NEXT: [[TMP7:%.*]] = zext i1 [[TMP6]] to i32 ; CHECK-NEXT: [[TMP7:%.*]] = zext i1 [[TMP6]] to i32
; CHECK-NEXT: ret i32 [[TMP7]] ; CHECK-NEXT: ret i32 [[TMP7]]
; ;
%1 = icmp slt i64 %a, -32767 %1 = icmp slt i64 %a, -32767
%2 = select i1 %1, i64 %a, i64 -32767 %2 = select i1 %1, i64 %a, i64 -32767
%3 = trunc i64 %2 to i32 %3 = trunc i64 %2 to i32
%4 = icmp slt i32 %b, 42 %4 = icmp slt i32 %b, 42
%5 = select i1 %4, i32 42, i32 %3 %5 = select i1 %4, i32 42, i32 %3
%6 = icmp ne i32 %5, %b %6 = icmp ne i32 %5, %b
%7 = zext i1 %6 to i32 %7 = zext i1 %6 to i32
ret i32 %7 ret i32 %7
} }
; Ensure this doesn't get converted to a min/max. ; Ensure this doesn't get converted to a min/max.
define i64 @t9(i32 %a) { define i64 @t9(i32 %a) {
; CHECK-LABEL: @t9( ; CHECK-LABEL: @t9(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 %a, -1 ; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[A:%.*]], -1
; CHECK-NEXT: [[TMP2:%.*]] = sext i32 %a to i64 ; CHECK-NEXT: [[TMP2:%.*]] = sext i32 [[A]] to i64
; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP1]], i64 [[TMP2]], i64 4294967295 ; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP1]], i64 [[TMP2]], i64 4294967295
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
; ;
%1 = icmp sgt i32 %a, -1 %1 = icmp sgt i32 %a, -1
%2 = sext i32 %a to i64 %2 = sext i32 %a to i64
%3 = select i1 %1, i64 %2, i64 4294967295 %3 = select i1 %1, i64 %2, i64 4294967295
ret i64 %3 ret i64 %3
} }
define float @t10(i32 %x) {
; CHECK-LABEL: @t10(
; CHECK-NEXT: [[F_X:%.*]] = sitofp i32 [[X:%.*]] to float
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X]], 255
; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP]], float [[F_X]], float 2.550000e+02
; CHECK-NEXT: ret float [[R]]
;
%f_x = sitofp i32 %x to float
%cmp = icmp sgt i32 %x, 255
%r = select i1 %cmp, float %f_x, float 255.0
ret float %r
}
define float @t11(i64 %x) {
; CHECK-LABEL: @t11(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 [[X:%.*]], 255
; CHECK-NEXT: [[R1:%.*]] = select i1 [[TMP1]], i64 [[X]], i64 255
; CHECK-NEXT: [[TMP2:%.*]] = sitofp i64 [[R1]] to float
; CHECK-NEXT: ret float [[TMP2]]
;
%f_x = sitofp i64 %x to float
%cmp = icmp sgt i64 %x, 255
%r = select i1 %cmp, float %f_x, float 255.0
ret float %r
}
; Reuse the first 2 bitcasts as the select operands. ; Reuse the first 2 bitcasts as the select operands.
define <4 x i32> @bitcasts_fcmp_1(<2 x i64> %a, <2 x i64> %b) { define <4 x i32> @bitcasts_fcmp_1(<2 x i64> %a, <2 x i64> %b) {
; CHECK-LABEL: @bitcasts_fcmp_1( ; CHECK-LABEL: @bitcasts_fcmp_1(
; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> %a to <4 x float> ; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> [[A:%.*]] to <4 x float>
; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> %b to <4 x float> ; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> [[B:%.*]] to <4 x float>
; CHECK-NEXT: [[T2:%.*]] = fcmp olt <4 x float> [[T1]], [[T0]] ; CHECK-NEXT: [[T2:%.*]] = fcmp olt <4 x float> [[T1]], [[T0]]
; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x float> [[T0]], <4 x float> [[T1]] ; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x float> [[T0]], <4 x float> [[T1]]
; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x float> [[TMP1]] to <4 x i32> ; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x float> [[TMP1]] to <4 x i32>
; CHECK-NEXT: ret <4 x i32> [[T5]] ; CHECK-NEXT: ret <4 x i32> [[T5]]
; ;
%t0 = bitcast <2 x i64> %a to <4 x float> %t0 = bitcast <2 x i64> %a to <4 x float>
%t1 = bitcast <2 x i64> %b to <4 x float> %t1 = bitcast <2 x i64> %b to <4 x float>
%t2 = fcmp olt <4 x float> %t1, %t0 %t2 = fcmp olt <4 x float> %t1, %t0
%t3 = bitcast <2 x i64> %a to <4 x i32> %t3 = bitcast <2 x i64> %a to <4 x i32>
%t4 = bitcast <2 x i64> %b to <4 x i32> %t4 = bitcast <2 x i64> %b to <4 x i32>
%t5 = select <4 x i1> %t2, <4 x i32> %t3, <4 x i32> %t4 %t5 = select <4 x i1> %t2, <4 x i32> %t3, <4 x i32> %t4
ret <4 x i32> %t5 ret <4 x i32> %t5
} }
; Switch cmp operand order. ; Switch cmp operand order.
define <4 x i32> @bitcasts_fcmp_2(<2 x i64> %a, <2 x i64> %b) { define <4 x i32> @bitcasts_fcmp_2(<2 x i64> %a, <2 x i64> %b) {
; CHECK-LABEL: @bitcasts_fcmp_2( ; CHECK-LABEL: @bitcasts_fcmp_2(
; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> %a to <4 x float> ; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> [[A:%.*]] to <4 x float>
; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> %b to <4 x float> ; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> [[B:%.*]] to <4 x float>
; CHECK-NEXT: [[T2:%.*]] = fcmp olt <4 x float> [[T0]], [[T1]] ; CHECK-NEXT: [[T2:%.*]] = fcmp olt <4 x float> [[T0]], [[T1]]
; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x float> [[T0]], <4 x float> [[T1]] ; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x float> [[T0]], <4 x float> [[T1]]
; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x float> [[TMP1]] to <4 x i32> ; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x float> [[TMP1]] to <4 x i32>
; CHECK-NEXT: ret <4 x i32> [[T5]] ; CHECK-NEXT: ret <4 x i32> [[T5]]
; ;
%t0 = bitcast <2 x i64> %a to <4 x float> %t0 = bitcast <2 x i64> %a to <4 x float>
%t1 = bitcast <2 x i64> %b to <4 x float> %t1 = bitcast <2 x i64> %b to <4 x float>
%t2 = fcmp olt <4 x float> %t0, %t1 %t2 = fcmp olt <4 x float> %t0, %t1
%t3 = bitcast <2 x i64> %a to <4 x i32> %t3 = bitcast <2 x i64> %a to <4 x i32>
%t4 = bitcast <2 x i64> %b to <4 x i32> %t4 = bitcast <2 x i64> %b to <4 x i32>
%t5 = select <4 x i1> %t2, <4 x i32> %t3, <4 x i32> %t4 %t5 = select <4 x i1> %t2, <4 x i32> %t3, <4 x i32> %t4
ret <4 x i32> %t5 ret <4 x i32> %t5
} }
; Integer cmp should have the same transforms. ; Integer cmp should have the same transforms.
define <4 x float> @bitcasts_icmp(<2 x i64> %a, <2 x i64> %b) { define <4 x float> @bitcasts_icmp(<2 x i64> %a, <2 x i64> %b) {
; CHECK-LABEL: @bitcasts_icmp( ; CHECK-LABEL: @bitcasts_icmp(
; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> %a to <4 x i32> ; CHECK-NEXT: [[T0:%.*]] = bitcast <2 x i64> [[A:%.*]] to <4 x i32>
; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> %b to <4 x i32> ; CHECK-NEXT: [[T1:%.*]] = bitcast <2 x i64> [[B:%.*]] to <4 x i32>
; CHECK-NEXT: [[T2:%.*]] = icmp slt <4 x i32> [[T1]], [[T0]] ; CHECK-NEXT: [[T2:%.*]] = icmp slt <4 x i32> [[T1]], [[T0]]
; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x i32> [[T0]], <4 x i32> [[T1]] ; CHECK-NEXT: [[TMP1:%.*]] = select <4 x i1> [[T2]], <4 x i32> [[T0]], <4 x i32> [[T1]]
; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x i32> [[TMP1]] to <4 x float> ; CHECK-NEXT: [[T5:%.*]] = bitcast <4 x i32> [[TMP1]] to <4 x float>
; CHECK-NEXT: ret <4 x float> [[T5]] ; CHECK-NEXT: ret <4 x float> [[T5]]
; ;
%t0 = bitcast <2 x i64> %a to <4 x i32> %t0 = bitcast <2 x i64> %a to <4 x i32>
%t1 = bitcast <2 x i64> %b to <4 x i32> %t1 = bitcast <2 x i64> %b to <4 x i32>
%t2 = icmp slt <4 x i32> %t1, %t0 %t2 = icmp slt <4 x i32> %t1, %t0
%t3 = bitcast <2 x i64> %a to <4 x float> %t3 = bitcast <2 x i64> %a to <4 x float>
%t4 = bitcast <2 x i64> %b to <4 x float> %t4 = bitcast <2 x i64> %b to <4 x float>
%t5 = select <4 x i1> %t2, <4 x float> %t3, <4 x float> %t4 %t5 = select <4 x i1> %t2, <4 x float> %t3, <4 x float> %t4
ret <4 x float> %t5 ret <4 x float> %t5
} }
; SMIN(SMIN(X, 11), 92) -> SMIN(X, 11) ; SMIN(SMIN(X, 11), 92) -> SMIN(X, 11)
define i32 @test68(i32 %x) { define i32 @test68(i32 %x) {
; CHECK-LABEL: @test68( ; CHECK-LABEL: @test68(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %x, 11 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 11
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 %x, i32 11 ; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 11
; CHECK-NEXT: ret i32 [[COND]] ; CHECK-NEXT: ret i32 [[COND]]
; ;
%cmp = icmp slt i32 11, %x %cmp = icmp slt i32 11, %x
%cond = select i1 %cmp, i32 11, i32 %x %cond = select i1 %cmp, i32 11, i32 %x
%cmp3 = icmp slt i32 92, %cond %cmp3 = icmp slt i32 92, %cond
%retval = select i1 %cmp3, i32 92, i32 %cond %retval = select i1 %cmp3, i32 92, i32 %cond
ret i32 %retval ret i32 %retval
} }
define <2 x i32> @test68vec(<2 x i32> %x) { define <2 x i32> @test68vec(<2 x i32> %x) {
; CHECK-LABEL: @test68vec( ; CHECK-LABEL: @test68vec(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt <2 x i32> %x, <i32 11, i32 11> ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt <2 x i32> [[X:%.*]], <i32 11, i32 11>
; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[TMP1]], <2 x i32> %x, <2 x i32> <i32 11, i32 11> ; CHECK-NEXT: [[COND:%.*]] = select <2 x i1> [[TMP1]], <2 x i32> [[X]], <2 x i32> <i32 11, i32 11>
; CHECK-NEXT: ret <2 x i32> [[COND]] ; CHECK-NEXT: ret <2 x i32> [[COND]]
; ;
%cmp = icmp slt <2 x i32> <i32 11, i32 11>, %x %cmp = icmp slt <2 x i32> <i32 11, i32 11>, %x
%cond = select <2 x i1> %cmp, <2 x i32> <i32 11, i32 11>, <2 x i32> %x %cond = select <2 x i1> %cmp, <2 x i32> <i32 11, i32 11>, <2 x i32> %x
%cmp3 = icmp slt <2 x i32> <i32 92, i32 92>, %cond %cmp3 = icmp slt <2 x i32> <i32 92, i32 92>, %cond
%retval = select <2 x i1> %cmp3, <2 x i32> <i32 92, i32 92>, <2 x i32> %cond %retval = select <2 x i1> %cmp3, <2 x i32> <i32 92, i32 92>, <2 x i32> %cond
ret <2 x i32> %retval ret <2 x i32> %retval
} }
; MIN(MIN(X, 24), 83) -> MIN(X, 24) ; MIN(MIN(X, 24), 83) -> MIN(X, 24)
define i32 @test69(i32 %x) { define i32 @test69(i32 %x) {
; CHECK-LABEL: @test69( ; CHECK-LABEL: @test69(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %x, 24 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X:%.*]], 24
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 %x, i32 24 ; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 24
; CHECK-NEXT: ret i32 [[COND]] ; CHECK-NEXT: ret i32 [[COND]]
; ;
%cmp = icmp ult i32 24, %x %cmp = icmp ult i32 24, %x
%cond = select i1 %cmp, i32 24, i32 %x %cond = select i1 %cmp, i32 24, i32 %x
%cmp3 = icmp ult i32 83, %cond %cmp3 = icmp ult i32 83, %cond
%retval = select i1 %cmp3, i32 83, i32 %cond %retval = select i1 %cmp3, i32 83, i32 %cond
ret i32 %retval ret i32 %retval
} }
; SMAX(SMAX(X, 75), 36) -> SMAX(X, 75) ; SMAX(SMAX(X, 75), 36) -> SMAX(X, 75)
define i32 @test70(i32 %x) { define i32 @test70(i32 %x) {
; CHECK-LABEL: @test70( ; CHECK-LABEL: @test70(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 %x, 75 ; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[X:%.*]], 75
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 %x, i32 75 ; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 75
; CHECK-NEXT: ret i32 [[COND]] ; CHECK-NEXT: ret i32 [[COND]]
; ;
%cmp = icmp slt i32 %x, 75 %cmp = icmp slt i32 %x, 75
%cond = select i1 %cmp, i32 75, i32 %x %cond = select i1 %cmp, i32 75, i32 %x
%cmp3 = icmp slt i32 %cond, 36 %cmp3 = icmp slt i32 %cond, 36
%retval = select i1 %cmp3, i32 36, i32 %cond %retval = select i1 %cmp3, i32 36, i32 %cond
ret i32 %retval ret i32 %retval
} }
; MAX(MAX(X, 68), 47) -> MAX(X, 68) ; MAX(MAX(X, 68), 47) -> MAX(X, 68)
define i32 @test71(i32 %x) { define i32 @test71(i32 %x) {
; CHECK-LABEL: @test71( ; CHECK-LABEL: @test71(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 %x, 68 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[X:%.*]], 68
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 %x, i32 68 ; CHECK-NEXT: [[COND:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 68
; CHECK-NEXT: ret i32 [[COND]] ; CHECK-NEXT: ret i32 [[COND]]
; ;
%cmp = icmp ult i32 %x, 68 %cmp = icmp ult i32 %x, 68
%cond = select i1 %cmp, i32 68, i32 %x %cond = select i1 %cmp, i32 68, i32 %x
%cmp3 = icmp ult i32 %cond, 47 %cmp3 = icmp ult i32 %cond, 47
%retval = select i1 %cmp3, i32 47, i32 %cond %retval = select i1 %cmp3, i32 47, i32 %cond
ret i32 %retval ret i32 %retval
} }
; SMIN(SMIN(X, 92), 11) -> SMIN(X, 11) ; SMIN(SMIN(X, 92), 11) -> SMIN(X, 11)
define i32 @test72(i32 %x) { define i32 @test72(i32 %x) {
; CHECK-LABEL: @test72( ; CHECK-LABEL: @test72(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %x, 11 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], 11
; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 %x, i32 11 ; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 11
; CHECK-NEXT: ret i32 [[RETVAL]] ; CHECK-NEXT: ret i32 [[RETVAL]]
; ;
%cmp = icmp sgt i32 %x, 92 %cmp = icmp sgt i32 %x, 92
%cond = select i1 %cmp, i32 92, i32 %x %cond = select i1 %cmp, i32 92, i32 %x
%cmp3 = icmp sgt i32 %cond, 11 %cmp3 = icmp sgt i32 %cond, 11
%retval = select i1 %cmp3, i32 11, i32 %cond %retval = select i1 %cmp3, i32 11, i32 %cond
ret i32 %retval ret i32 %retval
} }
define <2 x i32> @test72vec(<2 x i32> %x) { define <2 x i32> @test72vec(<2 x i32> %x) {
; CHECK-LABEL: @test72vec( ; CHECK-LABEL: @test72vec(
; CHECK-NEXT: [[TMP2:%.*]] = icmp slt <2 x i32> %x, <i32 11, i32 11> ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt <2 x i32> [[X:%.*]], <i32 11, i32 11>
; CHECK-NEXT: [[RETVAL:%.*]] = select <2 x i1> [[TMP2]], <2 x i32> %x, <2 x i32> <i32 11, i32 11> ; CHECK-NEXT: [[RETVAL:%.*]] = select <2 x i1> [[TMP1]], <2 x i32> [[X]], <2 x i32> <i32 11, i32 11>
; CHECK-NEXT: ret <2 x i32> [[RETVAL]] ; CHECK-NEXT: ret <2 x i32> [[RETVAL]]
; ;
%cmp = icmp sgt <2 x i32> %x, <i32 92, i32 92> %cmp = icmp sgt <2 x i32> %x, <i32 92, i32 92>
%cond = select <2 x i1> %cmp, <2 x i32> <i32 92, i32 92>, <2 x i32> %x %cond = select <2 x i1> %cmp, <2 x i32> <i32 92, i32 92>, <2 x i32> %x
%cmp3 = icmp sgt <2 x i32> %cond, <i32 11, i32 11> %cmp3 = icmp sgt <2 x i32> %cond, <i32 11, i32 11>
%retval = select <2 x i1> %cmp3, <2 x i32> <i32 11, i32 11>, <2 x i32> %cond %retval = select <2 x i1> %cmp3, <2 x i32> <i32 11, i32 11>, <2 x i32> %cond
ret <2 x i32> %retval ret <2 x i32> %retval
} }
; MIN(MIN(X, 83), 24) -> MIN(X, 24) ; MIN(MIN(X, 83), 24) -> MIN(X, 24)
define i32 @test73(i32 %x) { define i32 @test73(i32 %x) {
; CHECK-LABEL: @test73( ; CHECK-LABEL: @test73(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %x, 24 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X:%.*]], 24
; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 %x, i32 24 ; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 24
; CHECK-NEXT: ret i32 [[RETVAL]] ; CHECK-NEXT: ret i32 [[RETVAL]]
; ;
%cmp = icmp ugt i32 %x, 83 %cmp = icmp ugt i32 %x, 83
%cond = select i1 %cmp, i32 83, i32 %x %cond = select i1 %cmp, i32 83, i32 %x
%cmp3 = icmp ugt i32 %cond, 24 %cmp3 = icmp ugt i32 %cond, 24
%retval = select i1 %cmp3, i32 24, i32 %cond %retval = select i1 %cmp3, i32 24, i32 %cond
ret i32 %retval ret i32 %retval
} }
; SMAX(SMAX(X, 36), 75) -> SMAX(X, 75) ; SMAX(SMAX(X, 36), 75) -> SMAX(X, 75)
define i32 @test74(i32 %x) { define i32 @test74(i32 %x) {
; CHECK-LABEL: @test74( ; CHECK-LABEL: @test74(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 %x, 75 ; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[X:%.*]], 75
; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 %x, i32 75 ; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 75
; CHECK-NEXT: ret i32 [[RETVAL]] ; CHECK-NEXT: ret i32 [[RETVAL]]
; ;
%cmp = icmp slt i32 %x, 36 %cmp = icmp slt i32 %x, 36
%cond = select i1 %cmp, i32 36, i32 %x %cond = select i1 %cmp, i32 36, i32 %x
%cmp3 = icmp slt i32 %cond, 75 %cmp3 = icmp slt i32 %cond, 75
%retval = select i1 %cmp3, i32 75, i32 %cond %retval = select i1 %cmp3, i32 75, i32 %cond
ret i32 %retval ret i32 %retval
} }
; MAX(MAX(X, 47), 68) -> MAX(X, 68) ; MAX(MAX(X, 47), 68) -> MAX(X, 68)
define i32 @test75(i32 %x) { define i32 @test75(i32 %x) {
; CHECK-LABEL: @test75( ; CHECK-LABEL: @test75(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 %x, 68 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[X:%.*]], 68
; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 %x, i32 68 ; CHECK-NEXT: [[RETVAL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 68
; CHECK-NEXT: ret i32 [[RETVAL]] ; CHECK-NEXT: ret i32 [[RETVAL]]
; ;
%cmp = icmp ult i32 %x, 47 %cmp = icmp ult i32 %x, 47
%cond = select i1 %cmp, i32 47, i32 %x %cond = select i1 %cmp, i32 47, i32 %x
%cmp3 = icmp ult i32 %cond, 68 %cmp3 = icmp ult i32 %cond, 68
%retval = select i1 %cmp3, i32 68, i32 %cond %retval = select i1 %cmp3, i32 68, i32 %cond
ret i32 %retval ret i32 %retval
} }
; The next 4 tests are value clamping with constants: ; The next 4 tests are value clamping with constants:
; https://llvm.org/bugs/show_bug.cgi?id=31693 ; https://llvm.org/bugs/show_bug.cgi?id=31693
; (X <s C1) ? C1 : SMIN(X, C2) ==> SMAX(SMIN(X, C2), C1) ; (X <s C1) ? C1 : SMIN(X, C2) ==> SMAX(SMIN(X, C2), C1)
define i32 @clamp_signed1(i32 %x) { define i32 @clamp_signed1(i32 %x) {
; CHECK-LABEL: @clamp_signed1( ; CHECK-LABEL: @clamp_signed1(
; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 %x, 255 ; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 [[X:%.*]], 255
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], i32 %x, i32 255 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 255
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[MIN]], 15 ; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[MIN]], 15
; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MIN]], i32 15 ; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MIN]], i32 15
; CHECK-NEXT: ret i32 [[R]] ; CHECK-NEXT: ret i32 [[R]]
; ;
%cmp2 = icmp slt i32 %x, 255 %cmp2 = icmp slt i32 %x, 255
%min = select i1 %cmp2, i32 %x, i32 255 %min = select i1 %cmp2, i32 %x, i32 255
%cmp1 = icmp slt i32 %x, 15 %cmp1 = icmp slt i32 %x, 15
%r = select i1 %cmp1, i32 15, i32 %min %r = select i1 %cmp1, i32 15, i32 %min
ret i32 %r ret i32 %r
} }
; (X >s C1) ? C1 : SMAX(X, C2) ==> SMIN(SMAX(X, C2), C1) ; (X >s C1) ? C1 : SMAX(X, C2) ==> SMIN(SMAX(X, C2), C1)
define i32 @clamp_signed2(i32 %x) { define i32 @clamp_signed2(i32 %x) {
; CHECK-LABEL: @clamp_signed2( ; CHECK-LABEL: @clamp_signed2(
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 %x, 15 ; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[X:%.*]], 15
; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 %x, i32 15 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 15
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[MAX]], 255 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[MAX]], 255
; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MAX]], i32 255 ; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MAX]], i32 255
; CHECK-NEXT: ret i32 [[R]] ; CHECK-NEXT: ret i32 [[R]]
; ;
%cmp2 = icmp sgt i32 %x, 15 %cmp2 = icmp sgt i32 %x, 15
%max = select i1 %cmp2, i32 %x, i32 15 %max = select i1 %cmp2, i32 %x, i32 15
%cmp1 = icmp sgt i32 %x, 255 %cmp1 = icmp sgt i32 %x, 255
%r = select i1 %cmp1, i32 255, i32 %max %r = select i1 %cmp1, i32 255, i32 %max
ret i32 %r ret i32 %r
} }
; (X <u C1) ? C1 : UMIN(X, C2) ==> UMAX(UMIN(X, C2), C1) ; (X <u C1) ? C1 : UMIN(X, C2) ==> UMAX(UMIN(X, C2), C1)
define i32 @clamp_unsigned1(i32 %x) { define i32 @clamp_unsigned1(i32 %x) {
; CHECK-LABEL: @clamp_unsigned1( ; CHECK-LABEL: @clamp_unsigned1(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i32 %x, 255 ; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i32 [[X:%.*]], 255
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], i32 %x, i32 255 ; CHECK-NEXT: [[MIN:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 255
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[MIN]], 15 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[MIN]], 15
; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MIN]], i32 15 ; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MIN]], i32 15
; CHECK-NEXT: ret i32 [[R]] ; CHECK-NEXT: ret i32 [[R]]
; ;
%cmp2 = icmp ult i32 %x, 255 %cmp2 = icmp ult i32 %x, 255
%min = select i1 %cmp2, i32 %x, i32 255 %min = select i1 %cmp2, i32 %x, i32 255
%cmp1 = icmp ult i32 %x, 15 %cmp1 = icmp ult i32 %x, 15
%r = select i1 %cmp1, i32 15, i32 %min %r = select i1 %cmp1, i32 15, i32 %min
ret i32 %r ret i32 %r
} }
; (X >u C1) ? C1 : UMAX(X, C2) ==> UMIN(UMAX(X, C2), C1) ; (X >u C1) ? C1 : UMAX(X, C2) ==> UMIN(UMAX(X, C2), C1)
define i32 @clamp_unsigned2(i32 %x) { define i32 @clamp_unsigned2(i32 %x) {
; CHECK-LABEL: @clamp_unsigned2( ; CHECK-LABEL: @clamp_unsigned2(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 %x, 15 ; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[X:%.*]], 15
; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 %x, i32 15 ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 15
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[MAX]], 255 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[MAX]], 255
; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MAX]], i32 255 ; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i32 [[MAX]], i32 255
; CHECK-NEXT: ret i32 [[R]] ; CHECK-NEXT: ret i32 [[R]]
; ;
%cmp2 = icmp ugt i32 %x, 15 %cmp2 = icmp ugt i32 %x, 15
%max = select i1 %cmp2, i32 %x, i32 15 %max = select i1 %cmp2, i32 %x, i32 15
%cmp1 = icmp ugt i32 %x, 255 %cmp1 = icmp ugt i32 %x, 255
%r = select i1 %cmp1, i32 255, i32 %max %r = select i1 %cmp1, i32 255, i32 %max
ret i32 %r ret i32 %r
} }
; The next 3 min tests should canonicalize to the same form...and not infinite loop. ; The next 3 min tests should canonicalize to the same form...and not infinite loop.
define double @PR31751_umin1(i32 %x) { define double @PR31751_umin1(i32 %x) {
; CHECK-LABEL: @PR31751_umin1( ; CHECK-LABEL: @PR31751_umin1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %x, 2147483647 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X:%.*]], 2147483647
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 %x, i32 2147483647 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 2147483647
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp slt i32 %x, 0 %cmp = icmp slt i32 %x, 0
%sel = select i1 %cmp, i32 2147483647, i32 %x %sel = select i1 %cmp, i32 2147483647, i32 %x
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
define double @PR31751_umin2(i32 %x) { define double @PR31751_umin2(i32 %x) {
; CHECK-LABEL: @PR31751_umin2( ; CHECK-LABEL: @PR31751_umin2(
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 %x, 2147483647 ; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 2147483647
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 %x, i32 2147483647 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[X]], i32 2147483647
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp ult i32 %x, 2147483647 %cmp = icmp ult i32 %x, 2147483647
%sel = select i1 %cmp, i32 %x, i32 2147483647 %sel = select i1 %cmp, i32 %x, i32 2147483647
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
define double @PR31751_umin3(i32 %x) { define double @PR31751_umin3(i32 %x) {
; CHECK-LABEL: @PR31751_umin3( ; CHECK-LABEL: @PR31751_umin3(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %x, 2147483647 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X:%.*]], 2147483647
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 %x, i32 2147483647 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 2147483647
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp ugt i32 %x, 2147483647 %cmp = icmp ugt i32 %x, 2147483647
%sel = select i1 %cmp, i32 2147483647, i32 %x %sel = select i1 %cmp, i32 2147483647, i32 %x
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
; The next 3 max tests should canonicalize to the same form...and not infinite loop. ; The next 3 max tests should canonicalize to the same form...and not infinite loop.
define double @PR31751_umax1(i32 %x) { define double @PR31751_umax1(i32 %x) {
; CHECK-LABEL: @PR31751_umax1( ; CHECK-LABEL: @PR31751_umax1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 %x, -2147483648 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[X:%.*]], -2147483648
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 %x, i32 -2147483648 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 -2147483648
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp sgt i32 %x, -1 %cmp = icmp sgt i32 %x, -1
%sel = select i1 %cmp, i32 2147483648, i32 %x %sel = select i1 %cmp, i32 2147483648, i32 %x
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
define double @PR31751_umax2(i32 %x) { define double @PR31751_umax2(i32 %x) {
; CHECK-LABEL: @PR31751_umax2( ; CHECK-LABEL: @PR31751_umax2(
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 %x, -2147483648 ; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], -2147483648
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 %x, i32 -2147483648 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[X]], i32 -2147483648
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp ugt i32 %x, 2147483648 %cmp = icmp ugt i32 %x, 2147483648
%sel = select i1 %cmp, i32 %x, i32 2147483648 %sel = select i1 %cmp, i32 %x, i32 2147483648
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
define double @PR31751_umax3(i32 %x) { define double @PR31751_umax3(i32 %x) {
; CHECK-LABEL: @PR31751_umax3( ; CHECK-LABEL: @PR31751_umax3(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 %x, -2147483648 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[X:%.*]], -2147483648
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 %x, i32 -2147483648 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 [[X]], i32 -2147483648
; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double ; CHECK-NEXT: [[CONV:%.*]] = sitofp i32 [[SEL]] to double
; CHECK-NEXT: ret double [[CONV]] ; CHECK-NEXT: ret double [[CONV]]
; ;
%cmp = icmp ult i32 %x, 2147483648 %cmp = icmp ult i32 %x, 2147483648
%sel = select i1 %cmp, i32 2147483648, i32 %x %sel = select i1 %cmp, i32 2147483648, i32 %x
%conv = sitofp i32 %sel to double %conv = sitofp i32 %sel to double
ret double %conv ret double %conv
} }
; The icmp/select form a canonical smax, so don't hide that by folding the final bitcast into the select. ; The icmp/select form a canonical smax, so don't hide that by folding the final bitcast into the select.
define float @bitcast_scalar_smax(float %x, float %y) { define float @bitcast_scalar_smax(float %x, float %y) {
; CHECK-LABEL: @bitcast_scalar_smax( ; CHECK-LABEL: @bitcast_scalar_smax(
; CHECK-NEXT: [[BCX:%.*]] = bitcast float %x to i32 ; CHECK-NEXT: [[BCX:%.*]] = bitcast float [[X:%.*]] to i32
; CHECK-NEXT: [[BCY:%.*]] = bitcast float %y to i32 ; CHECK-NEXT: [[BCY:%.*]] = bitcast float [[Y:%.*]] to i32
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[BCX]], [[BCY]] ; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[BCX]], [[BCY]]
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[BCX]], i32 [[BCY]] ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[BCX]], i32 [[BCY]]
; CHECK-NEXT: [[BCS:%.*]] = bitcast i32 [[SEL]] to float ; CHECK-NEXT: [[BCS:%.*]] = bitcast i32 [[SEL]] to float
; CHECK-NEXT: ret float [[BCS]] ; CHECK-NEXT: ret float [[BCS]]
; ;
%bcx = bitcast float %x to i32 %bcx = bitcast float %x to i32
%bcy = bitcast float %y to i32 %bcy = bitcast float %y to i32
%cmp = icmp sgt i32 %bcx, %bcy %cmp = icmp sgt i32 %bcx, %bcy
%sel = select i1 %cmp, i32 %bcx, i32 %bcy %sel = select i1 %cmp, i32 %bcx, i32 %bcy
%bcs = bitcast i32 %sel to float %bcs = bitcast i32 %sel to float
ret float %bcs ret float %bcs
} }
; FIXME: Create a canonical umax by bitcasting the select. ; FIXME: Create a canonical umax by bitcasting the select.
define float @bitcast_scalar_umax(float %x, float %y) { define float @bitcast_scalar_umax(float %x, float %y) {
; CHECK-LABEL: @bitcast_scalar_umax( ; CHECK-LABEL: @bitcast_scalar_umax(
; CHECK-NEXT: [[BCX:%.*]] = bitcast float %x to i32 ; CHECK-NEXT: [[BCX:%.*]] = bitcast float [[X:%.*]] to i32
; CHECK-NEXT: [[BCY:%.*]] = bitcast float %y to i32 ; CHECK-NEXT: [[BCY:%.*]] = bitcast float [[Y:%.*]] to i32
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[BCX]], [[BCY]] ; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[BCX]], [[BCY]]
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], float %x, float %y ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], float [[X]], float [[Y]]
; CHECK-NEXT: ret float [[SEL]] ; CHECK-NEXT: ret float [[SEL]]
; ;
%bcx = bitcast float %x to i32 %bcx = bitcast float %x to i32
%bcy = bitcast float %y to i32 %bcy = bitcast float %y to i32
%cmp = icmp ugt i32 %bcx, %bcy %cmp = icmp ugt i32 %bcx, %bcy
%sel = select i1 %cmp, float %x, float %y %sel = select i1 %cmp, float %x, float %y
ret float %sel ret float %sel
} }
; PR32306 - https://bugs.llvm.org/show_bug.cgi?id=32306 ; PR32306 - https://bugs.llvm.org/show_bug.cgi?id=32306
; The icmp/select form a canonical smin, so don't hide that by folding the final bitcast into the select. ; The icmp/select form a canonical smin, so don't hide that by folding the final bitcast into the select.
define <8 x float> @bitcast_vector_smin(<8 x float> %x, <8 x float> %y) { define <8 x float> @bitcast_vector_smin(<8 x float> %x, <8 x float> %y) {
; CHECK-LABEL: @bitcast_vector_smin( ; CHECK-LABEL: @bitcast_vector_smin(
; CHECK-NEXT: [[BCX:%.*]] = bitcast <8 x float> %x to <8 x i32> ; CHECK-NEXT: [[BCX:%.*]] = bitcast <8 x float> [[X:%.*]] to <8 x i32>
; CHECK-NEXT: [[BCY:%.*]] = bitcast <8 x float> %y to <8 x i32> ; CHECK-NEXT: [[BCY:%.*]] = bitcast <8 x float> [[Y:%.*]] to <8 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <8 x i32> [[BCX]], [[BCY]] ; CHECK-NEXT: [[CMP:%.*]] = icmp slt <8 x i32> [[BCX]], [[BCY]]
; CHECK-NEXT: [[SEL:%.*]] = select <8 x i1> [[CMP]], <8 x i32> [[BCX]], <8 x i32> [[BCY]] ; CHECK-NEXT: [[SEL:%.*]] = select <8 x i1> [[CMP]], <8 x i32> [[BCX]], <8 x i32> [[BCY]]
; CHECK-NEXT: [[BCS:%.*]] = bitcast <8 x i32> [[SEL]] to <8 x float> ; CHECK-NEXT: [[BCS:%.*]] = bitcast <8 x i32> [[SEL]] to <8 x float>
; CHECK-NEXT: ret <8 x float> [[BCS]] ; CHECK-NEXT: ret <8 x float> [[BCS]]
; ;
%bcx = bitcast <8 x float> %x to <8 x i32> %bcx = bitcast <8 x float> %x to <8 x i32>
%bcy = bitcast <8 x float> %y to <8 x i32> %bcy = bitcast <8 x float> %y to <8 x i32>
%cmp = icmp slt <8 x i32> %bcx, %bcy %cmp = icmp slt <8 x i32> %bcx, %bcy
%sel = select <8 x i1> %cmp, <8 x i32> %bcx, <8 x i32> %bcy %sel = select <8 x i1> %cmp, <8 x i32> %bcx, <8 x i32> %bcy
%bcs = bitcast <8 x i32> %sel to <8 x float> %bcs = bitcast <8 x i32> %sel to <8 x float>
ret <8 x float> %bcs ret <8 x float> %bcs
} }
; FIXME: Create a canonical umin by bitcasting the select. ; FIXME: Create a canonical umin by bitcasting the select.
define <8 x float> @bitcast_vector_umin(<8 x float> %x, <8 x float> %y) { define <8 x float> @bitcast_vector_umin(<8 x float> %x, <8 x float> %y) {
; CHECK-LABEL: @bitcast_vector_umin( ; CHECK-LABEL: @bitcast_vector_umin(
; CHECK-NEXT: [[BCX:%.*]] = bitcast <8 x float> %x to <8 x i32> ; CHECK-NEXT: [[BCX:%.*]] = bitcast <8 x float> [[X:%.*]] to <8 x i32>
; CHECK-NEXT: [[BCY:%.*]] = bitcast <8 x float> %y to <8 x i32> ; CHECK-NEXT: [[BCY:%.*]] = bitcast <8 x float> [[Y:%.*]] to <8 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <8 x i32> [[BCX]], [[BCY]] ; CHECK-NEXT: [[CMP:%.*]] = icmp slt <8 x i32> [[BCX]], [[BCY]]
; CHECK-NEXT: [[SEL:%.*]] = select <8 x i1> [[CMP]], <8 x float> %x, <8 x float> %y ; CHECK-NEXT: [[SEL:%.*]] = select <8 x i1> [[CMP]], <8 x float> [[X]], <8 x float> [[Y]]
; CHECK-NEXT: ret <8 x float> [[SEL]] ; CHECK-NEXT: ret <8 x float> [[SEL]]
; ;
%bcx = bitcast <8 x float> %x to <8 x i32> %bcx = bitcast <8 x float> %x to <8 x i32>
%bcy = bitcast <8 x float> %y to <8 x i32> %bcy = bitcast <8 x float> %y to <8 x i32>
%cmp = icmp slt <8 x i32> %bcx, %bcy %cmp = icmp slt <8 x i32> %bcx, %bcy
%sel = select <8 x i1> %cmp, <8 x float> %x, <8 x float> %y %sel = select <8 x i1> %cmp, <8 x float> %x, <8 x float> %y
ret <8 x float> %sel ret <8 x float> %sel
} }

llvm/trunk/test/Transforms/InstCombine/pr27236.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -instcombine < %s | FileCheck %s
define float @test1(i32 %scale) { define float @test1(i32 %scale) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 %scale, 1 ; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[SCALE:%.*]], 1
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %scale, i32 1 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[SCALE]], i32 1
; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[TMP2]] to float ; CHECK-NEXT: [[TMP3:%.*]] = sitofp i32 [[TMP2]] to float
; CHECK-NEXT: [[TMP4:%.*]] = icmp sgt i32 [[TMP2]], 0 ; CHECK-NEXT: [[TMP4:%.*]] = icmp sgt i32 [[TMP2]], 0
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP4]], float [[TMP3]], float 0.000000e+00 ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP4]], float [[TMP3]], float 0.000000e+00
; CHECK-NEXT: ret float [[SEL]] ; CHECK-NEXT: ret float [[SEL]]
; ;
%tmp1 = icmp sgt i32 1, %scale %1 = icmp sgt i32 1, %scale
%tmp2 = select i1 %tmp1, i32 1, i32 %scale %2 = select i1 %1, i32 1, i32 %scale
%tmp3 = sitofp i32 %tmp2 to float %3 = sitofp i32 %2 to float
%tmp4 = icmp sgt i32 %tmp2, 0 %4 = icmp sgt i32 %2, 0
%sel = select i1 %tmp4, float %tmp3, float 0.000000e+00 %sel = select i1 %4, float %3, float 0.000000e+00
ret float %sel ret float %sel
} }