AMDGPU: Remove nan tests in class if src is nnan

llvm-svn: 340850
This commit is contained in:
Matt Arsenault 2018-08-28 18:10:02 +00:00
parent 9873909b42
commit 10de2775bd
2 changed files with 40 additions and 0 deletions

View File

@ -3282,6 +3282,13 @@ Instruction *InstCombiner::visitCallInst(CallInst &CI) {
return replaceInstUsesWith(*II, FCmp);
}
// fp_class (nnan x), qnan|snan|other -> fp_class (nnan x), other
if (((Mask & S_NAN) || (Mask & Q_NAN)) && isKnownNeverNaN(Src0, &TLI)) {
II->setArgOperand(1, ConstantInt::get(Src1->getType(),
Mask & ~(S_NAN | Q_NAN)));
return II;
}
const ConstantFP *CVal = dyn_cast<ConstantFP>(Src0);
if (!CVal) {
if (isa<UndefValue>(Src0))

View File

@ -625,6 +625,39 @@ define i1 @test_constant_class_snan_test_pinf_f64() nounwind {
ret i1 %val
}
; CHECK-LABEL: @test_class_is_snan_nnan_src(
; CHECK-NEXT: ret i1 false
define i1 @test_class_is_snan_nnan_src(float %x) {
%nnan = fadd nnan float %x, 1.0
%class = call i1 @llvm.amdgcn.class.f32(float %nnan, i32 1)
ret i1 %class
}
; CHECK-LABEL: @test_class_is_qnan_nnan_src(
; CHECK-NEXT: ret i1 false
define i1 @test_class_is_qnan_nnan_src(float %x) {
%nnan = fadd nnan float %x, 1.0
%class = call i1 @llvm.amdgcn.class.f32(float %nnan, i32 2)
ret i1 %class
}
; CHECK-LABEL: @test_class_is_nan_nnan_src(
; CHECK-NEXT: ret i1 false
define i1 @test_class_is_nan_nnan_src(float %x) {
%nnan = fadd nnan float %x, 1.0
%class = call i1 @llvm.amdgcn.class.f32(float %nnan, i32 3)
ret i1 %class
}
; CHECK-LABEL: @test_class_is_nan_other_nnan_src(
; CHECK-NEXT: %nnan = fadd nnan float %x, 1.000000e+00
; CHECK-NEXT: %class = call i1 @llvm.amdgcn.class.f32(float %nnan, i32 264)
define i1 @test_class_is_nan_other_nnan_src(float %x) {
%nnan = fadd nnan float %x, 1.0
%class = call i1 @llvm.amdgcn.class.f32(float %nnan, i32 267)
ret i1 %class
}
; --------------------------------------------------------------------
; llvm.amdgcn.cos
; --------------------------------------------------------------------