mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
12f309496c
This patch fixes a crash caused by an incorrect folding of an ordered comparison between a packed floating point vector and a splat vector of NaN. An ordered comparison between a vector and a constant vector of NaN, should always be folded into a constant vector where each element is i1 false. Since revision 266175, SimplifyFCmpInst folds the ordered fcmp into a scalar 'false'. Later on, this would cause an assertion failure, since the value type of the folded value doesn't match the expected value type of the uses of the original instruction: "Assertion failed: New->getType() == getType() && "replaceAllUses of value with new value of different type!". This patch fixes the issue and adds a test case to the already existing test InstSimplify/floating-point-compares.ll. Differential Revision: https://reviews.llvm.org/D24143 llvm-svn: 280488
134 lines
3.7 KiB
LLVM
134 lines
3.7 KiB
LLVM
; NOTE: Assertions have been autogenerated by update_test_checks.py
|
|
; RUN: opt < %s -instsimplify -S | FileCheck %s
|
|
|
|
; These tests choose arbitrarily between float and double,
|
|
; and between uge and olt, to give reasonble coverage
|
|
; without combinatorial explosion.
|
|
|
|
declare float @llvm.fabs.f32(float)
|
|
declare float @llvm.sqrt.f32(float)
|
|
declare double @llvm.powi.f64(double,i32)
|
|
declare float @llvm.exp.f32(float)
|
|
declare float @llvm.minnum.f32(float, float)
|
|
declare float @llvm.maxnum.f32(float, float)
|
|
declare double @llvm.exp2.f64(double)
|
|
declare float @llvm.fma.f32(float,float,float)
|
|
|
|
declare void @expect_equal(i1,i1)
|
|
|
|
define i1 @orderedLessZeroTree(float,float,float,float) {
|
|
; CHECK-LABEL: @orderedLessZeroTree(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%square = fmul float %0, %0
|
|
%abs = call float @llvm.fabs.f32(float %1)
|
|
%sqrt = call float @llvm.sqrt.f32(float %2)
|
|
%fma = call float @llvm.fma.f32(float %3, float %3, float %sqrt)
|
|
%div = fdiv float %square, %abs
|
|
%rem = frem float %sqrt, %fma
|
|
%add = fadd float %div, %rem
|
|
%uge = fcmp uge float %add, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @orderedLessZeroExpExt(float) {
|
|
; CHECK-LABEL: @orderedLessZeroExpExt(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%a = call float @llvm.exp.f32(float %0)
|
|
%b = fpext float %a to double
|
|
%uge = fcmp uge double %b, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @orderedLessZeroExp2Trunc(double) {
|
|
; CHECK-LABEL: @orderedLessZeroExp2Trunc(
|
|
; CHECK: ret i1 false
|
|
;
|
|
%a = call double @llvm.exp2.f64(double %0)
|
|
%b = fptrunc double %a to float
|
|
%olt = fcmp olt float %b, 0.000000e+00
|
|
ret i1 %olt
|
|
}
|
|
|
|
define i1 @orderedLessZeroPowi(double,double) {
|
|
; CHECK-LABEL: @orderedLessZeroPowi(
|
|
; CHECK: ret i1 false
|
|
;
|
|
; Even constant exponent
|
|
%a = call double @llvm.powi.f64(double %0, i32 2)
|
|
%square = fmul double %1, %1
|
|
; Odd constant exponent with provably non-negative base
|
|
%b = call double @llvm.powi.f64(double %square, i32 3)
|
|
%c = fadd double %a, %b
|
|
%olt = fcmp olt double %b, 0.000000e+00
|
|
ret i1 %olt
|
|
}
|
|
|
|
define i1 @orderedLessZeroUIToFP(i32) {
|
|
; CHECK-LABEL: @orderedLessZeroUIToFP(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%a = uitofp i32 %0 to float
|
|
%uge = fcmp uge float %a, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @orderedLessZeroSelect(float, float) {
|
|
; CHECK-LABEL: @orderedLessZeroSelect(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%a = call float @llvm.exp.f32(float %0)
|
|
%b = call float @llvm.fabs.f32(float %1)
|
|
%c = fcmp olt float %0, %1
|
|
%d = select i1 %c, float %a, float %b
|
|
%e = fadd float %d, 1.0
|
|
%uge = fcmp uge float %e, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @orderedLessZeroMinNum(float, float) {
|
|
; CHECK-LABEL: @orderedLessZeroMinNum(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%a = call float @llvm.exp.f32(float %0)
|
|
%b = call float @llvm.fabs.f32(float %1)
|
|
%c = call float @llvm.minnum.f32(float %a, float %b)
|
|
%uge = fcmp uge float %c, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @orderedLessZeroMaxNum(float, float) {
|
|
; CHECK-LABEL: @orderedLessZeroMaxNum(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%a = call float @llvm.exp.f32(float %0)
|
|
%b = call float @llvm.maxnum.f32(float %a, float %1)
|
|
%uge = fcmp uge float %b, 0.000000e+00
|
|
ret i1 %uge
|
|
}
|
|
|
|
define i1 @nonans1(double %in1, double %in2) {
|
|
; CHECK-LABEL: @nonans1(
|
|
; CHECK: ret i1 false
|
|
;
|
|
%cmp = fcmp nnan uno double %in1, %in2
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define i1 @nonans2(double %in1, double %in2) {
|
|
; CHECK-LABEL: @nonans2(
|
|
; CHECK: ret i1 true
|
|
;
|
|
%cmp = fcmp nnan ord double %in1, %in2
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define <2 x i1> @orderedCompareWithNaNVector(<2 x double> %A) {
|
|
; CHECK-LABEL: @orderedCompareWithNaNVector(
|
|
; CHECK: ret <2 x i1> zeroinitializer
|
|
%cmp = fcmp olt <2 x double> %A, <double 0xFFFFFFFFFFFFFFFF, double 0xFFFFFFFFFFFFFFFF>
|
|
ret <2 x i1> %cmp
|
|
}
|
|
|