[llvm] r340850 - AMDGPU: Remove nan tests in class if src is nnan
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 28 11:10:02 PDT 2018
Author: arsenm
Date: Tue Aug 28 11:10:02 2018
New Revision: 340850
URL: http://llvm.org/viewvc/llvm-project?rev=340850&view=rev
Log:
AMDGPU: Remove nan tests in class if src is nnan
Modified:
llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp
llvm/trunk/test/Transforms/InstCombine/AMDGPU/amdgcn-intrinsics.ll
Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp?rev=340850&r1=340849&r2=340850&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp Tue Aug 28 11:10:02 2018
@@ -3282,6 +3282,13 @@ Instruction *InstCombiner::visitCallInst
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))
Modified: llvm/trunk/test/Transforms/InstCombine/AMDGPU/amdgcn-intrinsics.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/AMDGPU/amdgcn-intrinsics.ll?rev=340850&r1=340849&r2=340850&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/AMDGPU/amdgcn-intrinsics.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/AMDGPU/amdgcn-intrinsics.ll Tue Aug 28 11:10:02 2018
@@ -625,6 +625,39 @@ define i1 @test_constant_class_snan_test
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
; --------------------------------------------------------------------
More information about the llvm-commits
mailing list