1*a5865c3cSYingwei Zheng; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2*a5865c3cSYingwei Zheng; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3*a5865c3cSYingwei Zheng 4*a5865c3cSYingwei Zhengdefine float @pr80941(float %arg) { 5*a5865c3cSYingwei Zheng; CHECK-LABEL: define float @pr80941( 6*a5865c3cSYingwei Zheng; CHECK-SAME: float [[ARG:%.*]]) { 7*a5865c3cSYingwei Zheng; CHECK-NEXT: entry: 8*a5865c3cSYingwei Zheng; CHECK-NEXT: [[COND:%.*]] = tail call i1 @llvm.is.fpclass.f32(float [[ARG]], i32 144) 9*a5865c3cSYingwei Zheng; CHECK-NEXT: br i1 [[COND]], label [[IF_THEN:%.*]], label [[IF_EXIT:%.*]] 10*a5865c3cSYingwei Zheng; CHECK: if.then: 11*a5865c3cSYingwei Zheng; CHECK-NEXT: [[FPEXT:%.*]] = fpext float [[ARG]] to double 12*a5865c3cSYingwei Zheng; CHECK-NEXT: [[SIGN:%.*]] = call double @llvm.copysign.f64(double 0.000000e+00, double [[FPEXT]]) 13*a5865c3cSYingwei Zheng; CHECK-NEXT: [[FPTRUNC:%.*]] = fptrunc double [[SIGN]] to float 14*a5865c3cSYingwei Zheng; CHECK-NEXT: br label [[IF_EXIT]] 15*a5865c3cSYingwei Zheng; CHECK: if.exit: 16*a5865c3cSYingwei Zheng; CHECK-NEXT: [[RET:%.*]] = phi float [ [[FPTRUNC]], [[IF_THEN]] ], [ [[ARG]], [[ENTRY:%.*]] ] 17*a5865c3cSYingwei Zheng; CHECK-NEXT: ret float [[RET]] 18*a5865c3cSYingwei Zheng; 19*a5865c3cSYingwei Zhengentry: 20*a5865c3cSYingwei Zheng %cond = tail call i1 @llvm.is.fpclass.f32(float %arg, i32 144) 21*a5865c3cSYingwei Zheng br i1 %cond, label %if.then, label %if.exit 22*a5865c3cSYingwei Zheng 23*a5865c3cSYingwei Zhengif.then: 24*a5865c3cSYingwei Zheng %fpext = fpext float %arg to double 25*a5865c3cSYingwei Zheng %sign = call double @llvm.copysign.f64(double 0.000000e+00, double %fpext) 26*a5865c3cSYingwei Zheng %fptrunc = fptrunc double %sign to float 27*a5865c3cSYingwei Zheng br label %if.exit 28*a5865c3cSYingwei Zheng 29*a5865c3cSYingwei Zhengif.exit: 30*a5865c3cSYingwei Zheng %ret = phi float [ %fptrunc, %if.then ], [ %arg, %entry ] 31*a5865c3cSYingwei Zheng ret float %ret 32*a5865c3cSYingwei Zheng} 33