| ; RUN: opt -S -instcombine < %s | FileCheck %s |
| |
| ; CHECK-LABEL: @t1 |
| ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a |
| ; CHECK-NEXT: fpext float %1 to double |
| define double @t1(float %a) { |
| ; This is the canonical form for a type-changing min/max. |
| %1 = fcmp ult float %a, 5.0 |
| %2 = select i1 %1, float %a, float 5.0 |
| %3 = fpext float %2 to double |
| ret double %3 |
| } |
| |
| ; CHECK-LABEL: @t2 |
| ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a |
| ; CHECK-NEXT: fpext float %1 to double |
| define double @t2(float %a) { |
| ; Check this is converted into canonical form, as above. |
| %1 = fcmp ult float %a, 5.0 |
| %2 = fpext float %a to double |
| %3 = select i1 %1, double %2, double 5.0 |
| ret double %3 |
| } |
| |
| ; CHECK-LABEL: @t4 |
| ; CHECK-NEXT: fcmp oge double %a, 5.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, double 5.000000e+00, double %a |
| ; CHECK-NEXT: fptrunc double %1 to float |
| define float @t4(double %a) { |
| ; Same again, with trunc. |
| %1 = fcmp ult double %a, 5.0 |
| %2 = fptrunc double %a to float |
| %3 = select i1 %1, float %2, float 5.0 |
| ret float %3 |
| } |
| |
| ; CHECK-LABEL: @t5 |
| ; CHECK-NEXT: fcmp ult float %a, 5.000000e+00 |
| ; CHECK-NEXT: fpext float %a to double |
| ; CHECK-NEXT: select i1 %1, double %2, double 5.001 |
| define double @t5(float %a) { |
| ; different values, should not be converted. |
| %1 = fcmp ult float %a, 5.0 |
| %2 = fpext float %a to double |
| %3 = select i1 %1, double %2, double 5.001 |
| ret double %3 |
| } |
| |
| ; CHECK-LABEL: @t6 |
| ; CHECK-NEXT: fcmp ult float %a, -0.0 |
| ; CHECK-NEXT: fpext float %a to double |
| ; CHECK-NEXT: select i1 %1, double %2, double 0.0 |
| define double @t6(float %a) { |
| ; Signed zero, should not be converted |
| %1 = fcmp ult float %a, -0.0 |
| %2 = fpext float %a to double |
| %3 = select i1 %1, double %2, double 0.0 |
| ret double %3 |
| } |
| |
| ; CHECK-LABEL: @t7 |
| ; CHECK-NEXT: fcmp ult float %a, 0.0 |
| ; CHECK-NEXT: fpext float %a to double |
| ; CHECK-NEXT: select i1 %1, double %2, double -0.0 |
| define double @t7(float %a) { |
| ; Signed zero, should not be converted |
| %1 = fcmp ult float %a, 0.0 |
| %2 = fpext float %a to double |
| %3 = select i1 %1, double %2, double -0.0 |
| ret double %3 |
| } |
| |
| ; CHECK-LABEL: @t8 |
| ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a |
| ; CHECK-NEXT: fptoui float %1 to i64 |
| define i64 @t8(float %a) { |
| %1 = fcmp ult float %a, 5.0 |
| %2 = fptoui float %a to i64 |
| %3 = select i1 %1, i64 %2, i64 5 |
| ret i64 %3 |
| } |
| |
| ; CHECK-LABEL: @t9 |
| ; CHECK-NEXT: fcmp oge float %a, 0.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a |
| ; CHECK-NEXT: fptosi float %1 to i8 |
| define i8 @t9(float %a) { |
| %1 = fcmp ult float %a, 0.0 |
| %2 = fptosi float %a to i8 |
| %3 = select i1 %1, i8 %2, i8 0 |
| ret i8 %3 |
| } |
| |
| ; CHECK-LABEL: @t11 |
| ; CHECK-NEXT: fcmp fast oge float %b, %a |
| ; CHECK-NEXT: select i1 %.inv, float %a, float %b |
| ; CHECK-NEXT: fptosi |
| define i8 @t11(float %a, float %b) { |
| ; Either operand could be NaN, but fast modifier applied. |
| %1 = fcmp fast ult float %b, %a |
| %2 = fptosi float %a to i8 |
| %3 = fptosi float %b to i8 |
| %4 = select i1 %1, i8 %3, i8 %2 |
| ret i8 %4 |
| } |
| |
| ; CHECK-LABEL: @t12 |
| ; CHECK-NEXT: fcmp nnan oge float %b, %a |
| ; CHECK-NEXT: select i1 %.inv, float %a, float %b |
| ; CHECK-NEXT: fptosi float %.v to i8 |
| define i8 @t12(float %a, float %b) { |
| ; Either operand could be NaN, but nnan modifier applied. |
| %1 = fcmp nnan ult float %b, %a |
| %2 = fptosi float %a to i8 |
| %3 = fptosi float %b to i8 |
| %4 = select i1 %1, i8 %3, i8 %2 |
| ret i8 %4 |
| } |
| |
| ; CHECK-LABEL: @t13 |
| ; CHECK-NEXT: fcmp ult float %a, 1.500000e+00 |
| ; CHECK-NEXT: fptosi float %a to i8 |
| ; CHECK-NEXT: select i1 %1, i8 %2, i8 1 |
| define i8 @t13(float %a) { |
| ; Float and int values do not match. |
| %1 = fcmp ult float %a, 1.5 |
| %2 = fptosi float %a to i8 |
| %3 = select i1 %1, i8 %2, i8 1 |
| ret i8 %3 |
| } |
| |
| ; CHECK-LABEL: @t14 |
| ; CHECK-NEXT: fcmp ule float %a, 0.000000e+00 |
| ; CHECK-NEXT: fptosi float %a to i8 |
| ; CHECK-NEXT: select i1 %1, i8 %2, i8 0 |
| define i8 @t14(float %a) { |
| ; <= comparison, where %a could be -0.0. Not safe. |
| %1 = fcmp ule float %a, 0.0 |
| %2 = fptosi float %a to i8 |
| %3 = select i1 %1, i8 %2, i8 0 |
| ret i8 %3 |
| } |
| |
| ; CHECK-LABEL: @t15 |
| ; CHECK-NEXT: fcmp nsz oge float %a, 0.000000e+00 |
| ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a |
| ; CHECK-NEXT: fptosi float %1 to i8 |
| define i8 @t15(float %a) { |
| %1 = fcmp nsz ule float %a, 0.0 |
| %2 = fptosi float %a to i8 |
| %3 = select i1 %1, i8 %2, i8 0 |
| ret i8 %3 |
| } |
| |
| ; CHECK-LABEL: @t16 |
| ; CHECK: %[[cmp:.*]] = icmp sgt i32 %x, 0 |
| ; CHECK: %[[cst:.*]] = sitofp i32 %x to double |
| ; CHECK: %[[sel:.*]] = select i1 %[[cmp]], double %[[cst]], double 5.000000e-01 |
| ; CHECK: ret double %[[sel]] |
| define double @t16(i32 %x) { |
| entry: |
| %cmp = icmp sgt i32 %x, 0 |
| %cst = sitofp i32 %x to double |
| %sel = select i1 %cmp, double %cst, double 5.000000e-01 |
| ret double %sel |
| } |
| |
| ; CHECK-LABEL: @t17 |
| ; CHECK: %[[cmp:.*]] = icmp sgt i32 %x, 2 |
| ; CHECK: %[[sel:.*]] = select i1 %[[cmp]], i32 %x, i32 2 |
| ; CHECK: %[[cst:.*]] = sitofp i32 %[[sel]] to double |
| ; CHECK: ret double %[[cst]] |
| define double @t17(i32 %x) { |
| entry: |
| %cmp = icmp sgt i32 %x, 2 |
| %cst = sitofp i32 %x to double |
| %sel = select i1 %cmp, double %cst, double 2.0 |
| ret double %sel |
| } |