[llvm] 94df66b - InstCombine: Add some baseline is.fpclass combine tests
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Mon Apr 24 11:25:21 PDT 2023
Author: Matt Arsenault
Date: 2023-04-24T14:25:07-04:00
New Revision: 94df66b7bf48d365623c576f02b8ecb9b140a0a4
URL: https://github.com/llvm/llvm-project/commit/94df66b7bf48d365623c576f02b8ecb9b140a0a4
DIFF: https://github.com/llvm/llvm-project/commit/94df66b7bf48d365623c576f02b8ecb9b140a0a4.diff
LOG: InstCombine: Add some baseline is.fpclass combine tests
Add tests for converting is.fpclass > or < 0 to fcmp with 0.
Added:
Modified:
llvm/test/Transforms/InstCombine/is_fpclass.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/is_fpclass.ll b/llvm/test/Transforms/InstCombine/is_fpclass.ll
index 12d6373d20f4a..a7e78615bfbcc 100644
--- a/llvm/test/Transforms/InstCombine/is_fpclass.ll
+++ b/llvm/test/Transforms/InstCombine/is_fpclass.ll
@@ -2761,9 +2761,1186 @@ define i1 @test_class_is_nan_assume_not_eq_pinf(float %x) {
ret i1 %class
}
+
+; --------------------------------------------------------------------
+; fcmp ogt/oge/olt/ole 0 ieee
+; --------------------------------------------------------------------
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 961)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 961)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 962)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 962)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 963)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 963)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 896)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 896)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 897)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 897)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 898)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 898)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 899)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 899)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 768)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 768)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 704)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 704)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 707)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 707)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 992)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 992)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 993)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 993)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 994)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 994)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 995)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 995)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1017)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1017)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1009)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1009)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1010)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1010)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1011)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1011)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 928)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 928)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_nsub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_nzero_nsub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 816)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 816)
+ ret i1 %class
+}
+
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 63)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 63)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 62)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 62)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 61)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 61)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 127)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 127)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 126)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 126)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 125)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 125)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 124)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 124)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 255)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 255)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 319)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 319)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 316)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 316)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 22)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 22)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 30)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 30)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 29)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 29)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 28)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 28)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 6)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 6)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 14)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 14)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 13)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 13)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 12)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 12)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_psub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_psub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 95)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 95)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_nsub_pnorm_pinf__ieee(float %arg) #0 {
+; CHECK-LABEL: @test_class_is_not_nzero_nsub_pnorm_pinf__ieee(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 207)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 207)
+ ret i1 %class
+}
+
+; --------------------------------------------------------------------
+; fcmp ogt/oge/olt/ole 0 daz
+; --------------------------------------------------------------------
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 961)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 961)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 962)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 962)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 963)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 963)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 896)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 896)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 897)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 897)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 898)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 898)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 899)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 899)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 768)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 768)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 704)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 704)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 707)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 707)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 992)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 992)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 993)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 993)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 994)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 994)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 995)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 995)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1017)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1017)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1009)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1009)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1010)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1010)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1011)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1011)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 928)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 928)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_nsub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_nzero_nsub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 816)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 816)
+ ret i1 %class
+}
+
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 63)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 63)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 62)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 62)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 61)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 61)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 127)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 127)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 126)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 126)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 125)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 125)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 124)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 124)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 255)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 255)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 319)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 319)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 316)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 316)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 22)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 22)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 30)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 30)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 29)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 29)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 28)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 28)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 6)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 6)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 14)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 14)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 13)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 13)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 12)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 12)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_psub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_psub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 95)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 95)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_nsub_pnorm_pinf__daz(float %arg) #1 {
+; CHECK-LABEL: @test_class_is_not_nzero_nsub_pnorm_pinf__daz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 207)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 207)
+ ret i1 %class
+}
+
+; --------------------------------------------------------------------
+; fcmp ogt/oge/olt/ole 0 dapz
+; --------------------------------------------------------------------
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 961)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 961)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 962)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 962)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 963)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 963)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 896)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 896)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 897)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 897)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 898)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 898)
+ ret i1 %class
+}
+
+define i1 @test_class_is_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 899)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 899)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 768)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 768)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 704)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 704)
+ ret i1 %class
+}
+
+define i1 @test_class_is_pzero_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_pzero_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 707)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 707)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 992)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 992)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 993)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 993)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 994)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 994)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 995)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 995)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1017)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1017)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1009)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1009)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1010)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1010)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nsub_nzero_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 1011)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 1011)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 928)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 928)
+ ret i1 %class
+}
+
+define i1 @test_class_is_nzero_nsub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_nzero_nsub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 816)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 816)
+ ret i1 %class
+}
+
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 63)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 63)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 62)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 62)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 61)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 61)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 960)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 960)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 127)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 127)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 126)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 126)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 125)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 125)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 124)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 124)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 255)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 255)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 319)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 319)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_pzero_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_pzero_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 316)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 316)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 22)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 22)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 30)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 30)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 29)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 29)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 28)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 28)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 6)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 6)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_snan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 14)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 14)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_qnan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 13)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 13)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nsub_nzero_pzero_psub_pnorm_pinf_nan__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 12)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 12)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_psub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_psub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 95)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 95)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_nzero_nsub_pnorm_pinf__dapz(float %arg) #2 {
+; CHECK-LABEL: @test_class_is_not_nzero_nsub_pnorm_pinf__dapz(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 207)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 207)
+ ret i1 %class
+}
+
+; --------------------------------------------------------------------
+; fcmp ogt/oge/olt/ole 0 dynamic
+; --------------------------------------------------------------------
+
+define i1 @test_class_is_psub_pnorm_pinf__dynamic(float %arg) #3 {
+; CHECK-LABEL: @test_class_is_psub_pnorm_pinf__dynamic(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 896)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 896)
+ ret i1 %class
+}
+
+define i1 @test_class_is_not_psub_pnorm_pinf__dynamic(float %arg) #3 {
+; CHECK-LABEL: @test_class_is_not_psub_pnorm_pinf__dynamic(
+; CHECK-NEXT: [[CLASS:%.*]] = call i1 @llvm.is.fpclass.f32(float [[ARG:%.*]], i32 127)
+; CHECK-NEXT: ret i1 [[CLASS]]
+;
+ %class = call i1 @llvm.is.fpclass.f32(float %arg, i32 127)
+ ret i1 %class
+}
+
declare i1 @llvm.is.fpclass.f32(float, i32 immarg)
declare i1 @llvm.is.fpclass.f64(double, i32 immarg)
declare <2 x i1> @llvm.is.fpclass.v2f32(<2 x float>, i32 immarg)
declare float @llvm.fabs.f32(float)
declare <2 x float> @llvm.fabs.v2f32(<2 x float>)
declare void @llvm.assume(i1 noundef)
+
+attributes #0 = { "denormal-fp-math"="dynamic,ieee" }
+attributes #1 = { "denormal-fp-math"="dynamic,preserve-sign" }
+attributes #2 = { "denormal-fp-math"="dynamic,positive-zero" }
+attributes #3 = { "denormal-fp-math"="dynamic,dynamic" }
More information about the llvm-commits
mailing list