Jim Grosbach cbf676b3ba float comparison to double 'zero' constant can just be a float 'zero.' ... InstCombine was incorrectly considering the conversion of the constant zero to be unsafe. We want to transform: define float @bar(float %x) nounwind readnone optsize ssp { %conv = fpext float %x to double %cmp = fcmp olt double %conv, 0.000000e+00 %conv1 = zext i1 %cmp to i32 %conv2 = sitofp i32 %conv1 to float ret float %conv2 } Into: define float @bar(float %x) nounwind readnone optsize ssp { %cmp = fcmp olt float %x, 0.000000e+00 ; <---- This %conv1 = zext i1 %cmp to i32 %conv2 = sitofp i32 %conv1 to float ret float %conv2 } rdar://10215914 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@140869 91177308-0d34-0410-b5e6-96231b3b80d8		2011-09-30 18:45:50 +00:00
..
Hello
InstCombine	float comparison to double 'zero' constant can just be a float 'zero.'	2011-09-30 18:45:50 +00:00
Instrumentation
IPO
Scalar	Fold two identical set lookups into one. No functionality change.	2011-09-29 23:40:12 +00:00
Utils
CMakeLists.txt
Makefile