[llvm-branch-commits] [llvm] InstCombine: Add fptrunc SimplifyDemandedFPClass baseline tests (PR #175420)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Sun Jan 11 01:23:32 PST 2026
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-analysis
Author: Matt Arsenault (arsenm)
<details>
<summary>Changes</summary>
Also llvm.fptrunc.round, which should be the same.
---
Patch is 51.39 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/175420.diff
2 Files Affected:
- (added) llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc-round.ll (+533)
- (added) llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc.ll (+533)
``````````diff
diff --git a/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc-round.ll b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc-round.ll
new file mode 100644
index 0000000000000..1997da17e18e0
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-fptrunc-round.ll
@@ -0,0 +1,533 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt -S -passes=instcombine < %s | FileCheck %s
+
+declare nofpclass(inf norm sub zero) float @returns_nan_f32()
+declare nofpclass(nan ninf norm sub zero) float @returns_pinf_f32()
+declare nofpclass(nan pinf norm sub zero) float @returns_ninf_f32()
+declare nofpclass(nan norm sub zero) float @returns_inf_f32()
+declare nofpclass(norm sub zero) float @returns_inf_or_nan_f32()
+
+declare nofpclass(inf nan norm psub zero) float @returns_nsub_f32()
+declare nofpclass(inf nan norm nsub zero) float @returns_psub_f32()
+declare nofpclass(inf nan norm zero) float @returns_sub_f32()
+
+declare nofpclass(nan pinf pnorm psub pzero) float @returns_negative_f32()
+declare nofpclass(pinf pnorm psub pzero) float @returns_negative_or_nan_f32()
+
+declare nofpclass(nan ninf nnorm nsub nzero) float @returns_positive_f32()
+declare nofpclass(ninf nnorm nsub nzero) float @returns_positive_or_nan_f32()
+
+declare nofpclass(nan inf norm sub) float @returns_zero_f32()
+declare nofpclass(nan inf norm sub nzero) float @returns_pzero_f32()
+declare nofpclass(nan inf norm sub pzero) float @returns_nzero_f32()
+declare nofpclass(inf norm sub) float @returns_zero_or_nan_f32()
+
+declare nofpclass(nan inf sub zero) float @returns_norm_f32()
+declare nofpclass(nan inf nnorm sub zero) float @returns_pnorm_f32()
+declare nofpclass(nan inf pnorm sub zero) float @returns_nnorm_f32()
+
+
+define nofpclass(inf norm sub zero qnan) half @ret_only_snan__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(qnan inf zero sub norm) half @ret_only_snan__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf norm sub zero snan) half @ret_only_qnan__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(snan inf zero sub norm) half @ret_only_qnan__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf norm sub zero) half @ret_only_nan__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(inf zero sub norm) half @ret_only_nan__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(nan norm sub zero) half @ret_only_inf__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan zero sub norm) half @ret_only_inf__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(nan pinf norm sub zero) half @ret_only_ninf__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan pinf zero sub norm) half @ret_only_ninf__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: ret half 0xHFC00
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(nan ninf norm sub zero) half @ret_only_pinf__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan ninf zero sub norm) half @ret_only_pinf__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: ret half 0xH7C00
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf nan norm sub) half @ret_only_zero__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan inf sub norm) half @ret_only_zero__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf nan norm sub nzero) half @ret_only_pzero__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan inf nzero sub norm) half @ret_only_pzero__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: ret half 0xH0000
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf nan norm sub pzero) half @ret_only_nzero__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan inf pzero sub norm) half @ret_only_nzero__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: ret half 0xH8000
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+; Fold out select
+define nofpclass(nan) half @ret_no_nan__fptrunc__select_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(nan) half @ret_no_nan__fptrunc__select_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NAN:%.*]] = call float @returns_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %nan = call float @returns_nan_f32()
+ %select = select i1 %cond, float %nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Fold out select
+define nofpclass(pinf) half @ret_no_pinf__fptrunc__select_pinf_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(pinf) half @ret_no_pinf__fptrunc__select_pinf_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[PINF:%.*]] = call float @returns_pinf_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[PINF]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %pinf = call float @returns_pinf_f32()
+ %select = select i1 %cond, float %pinf, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Fold out select
+define nofpclass(ninf) half @ret_no_ninf__fptrunc__select_ninf_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(ninf) half @ret_no_ninf__fptrunc__select_ninf_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NINF:%.*]] = call float @returns_ninf_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NINF]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %ninf = call float @returns_ninf_f32()
+ %select = select i1 %cond, float %ninf, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Fold out select
+define nofpclass(inf) half @ret_no_inf__fptrunc__select_inf_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(inf) half @ret_no_inf__fptrunc__select_inf_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[INF:%.*]] = call float @returns_inf_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[INF]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %inf = call float @returns_inf_f32()
+ %select = select i1 %cond, float %inf, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Fold out select
+define nofpclass(nan inf) half @ret_no_inf_no_nan__fptrunc__select_inf_or_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(nan inf) half @ret_no_inf_no_nan__fptrunc__select_inf_or_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[INF_OR_NAN:%.*]] = call float @returns_inf_or_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[INF_OR_NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %inf.or.nan = call float @returns_inf_or_nan_f32()
+ %select = select i1 %cond, float %inf.or.nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(nsub) half @ret_no_nsub__fptrunc__select_nsub_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(nsub) half @ret_no_nsub__fptrunc__select_nsub_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NSUB:%.*]] = call float @returns_nsub_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NSUB]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %nsub = call float @returns_nsub_f32()
+ %select = select i1 %cond, float %nsub, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(psub) half @ret_no_psub__fptrunc__select_psub_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(psub) half @ret_no_psub__fptrunc__select_psub_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[PSUB:%.*]] = call float @returns_psub_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[PSUB]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %psub = call float @returns_psub_f32()
+ %select = select i1 %cond, float %psub, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(sub) half @ret_no_sub__fptrunc__select_sub_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(sub) half @ret_no_sub__fptrunc__select_sub_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[SUB:%.*]] = call float @returns_sub_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[SUB]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %sub = call float @returns_sub_f32()
+ %select = select i1 %cond, float %sub, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Remove select
+define nofpclass(pinf pnorm psub pzero) half @ret_no_positive__fptrunc__select_positive_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(pinf pzero psub pnorm) half @ret_no_positive__fptrunc__select_positive_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[POSITIVE:%.*]] = call float @returns_positive_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[POSITIVE]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %positive = call float @returns_positive_f32()
+ %select = select i1 %cond, float %positive, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; No remove select
+define nofpclass(pinf pnorm psub pzero) half @ret_no_positive__fptrunc__select_positive_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(pinf pzero psub pnorm) half @ret_no_positive__fptrunc__select_positive_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[POSITIVE_OR_NAN:%.*]] = call float @returns_positive_or_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[POSITIVE_OR_NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %positive.or.nan = call float @returns_positive_or_nan_f32()
+ %select = select i1 %cond, float %positive.or.nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Remove select
+define nofpclass(nan pinf pnorm psub pzero) half @ret_no_positive_no_nan__fptrunc__select_positive_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(nan pinf pzero psub pnorm) half @ret_no_positive_no_nan__fptrunc__select_positive_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[POSITIVE_OR_NAN:%.*]] = call float @returns_positive_or_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[POSITIVE_OR_NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %positive.or.nan = call float @returns_positive_or_nan_f32()
+ %select = select i1 %cond, float %positive.or.nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Remove select
+define nofpclass(ninf nnorm nsub nzero) half @ret_no_negative__fptrunc__select_negative_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) half @ret_no_negative__fptrunc__select_negative_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NEGATIVE:%.*]] = call float @returns_negative_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NEGATIVE]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %negative = call float @returns_negative_f32()
+ %select = select i1 %cond, float %negative, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; No remove select
+define nofpclass(ninf nnorm nsub nzero) half @ret_no_negative__fptrunc__select_negative_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) half @ret_no_negative__fptrunc__select_negative_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NEGATIVE_OR_NAN:%.*]] = call float @returns_negative_or_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NEGATIVE_OR_NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %negative.or.nan = call float @returns_negative_or_nan_f32()
+ %select = select i1 %cond, float %negative.or.nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+; Remove select
+define nofpclass(nan ninf nnorm nsub nzero) half @ret_no_negative_no_nan__fptrunc__select_negative_nan_or_unknown(i1 %cond, float %unknown) {
+; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) half @ret_no_negative_no_nan__fptrunc__select_negative_nan_or_unknown(
+; CHECK-SAME: i1 [[COND:%.*]], float [[UNKNOWN:%.*]]) {
+; CHECK-NEXT: [[NEGATIVE_OR_NAN:%.*]] = call float @returns_negative_or_nan_f32()
+; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[COND]], float [[NEGATIVE_OR_NAN]], float [[UNKNOWN]]
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[SELECT]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %negative.or.nan = call float @returns_negative_or_nan_f32()
+ %select = select i1 %cond, float %negative.or.nan, float %unknown
+ %result = call half @llvm.fptrunc.round.f16.f32(float %select, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(snan) half @ret_no_snan__fptrunc__always_zero() {
+; CHECK-LABEL: define nofpclass(snan) half @ret_no_snan__fptrunc__always_zero() {
+; CHECK-NEXT: [[ZERO:%.*]] = call float @returns_zero_f32()
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[ZERO]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %zero = call float @returns_zero_f32()
+ %result = call half @llvm.fptrunc.round.f16.f32(float %zero, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(snan) half @ret_no_snan__fptrunc__always_zero_or_nan() {
+; CHECK-LABEL: define nofpclass(snan) half @ret_no_snan__fptrunc__always_zero_or_nan() {
+; CHECK-NEXT: [[ZERO_OR_NAN:%.*]] = call float @returns_zero_or_nan_f32()
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[ZERO_OR_NAN]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %zero.or.nan = call float @returns_zero_or_nan_f32()
+ %result = call half @llvm.fptrunc.round.f16.f32(float %zero.or.nan, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(snan) half @ret_no_snan__fptrunc__always_inf() {
+; CHECK-LABEL: define nofpclass(snan) half @ret_no_snan__fptrunc__always_inf() {
+; CHECK-NEXT: [[INF:%.*]] = call float @returns_inf_f32()
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[INF]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %inf = call float @returns_inf_f32()
+ %result = call half @llvm.fptrunc.round.f16.f32(float %inf, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(snan) half @ret_no_snan__fptrunc__always_inf_or_nan() {
+; CHECK-LABEL: define nofpclass(snan) half @ret_no_snan__fptrunc__always_inf_or_nan() {
+; CHECK-NEXT: [[INF_OR_NAN:%.*]] = call float @returns_inf_or_nan_f32()
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[INF_OR_NAN]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %inf.or.nan = call float @returns_inf_or_nan_f32()
+ %result = call half @llvm.fptrunc.round.f16.f32(float %inf.or.nan, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf nan norm zero) half @ret_only_sub__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan inf zero norm) half @ret_only_sub__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: ret half [[RESULT]]
+;
+ %result = call half @llvm.fptrunc.round.f16.f32(float %x, metadata !"round.downward")
+ ret half %result
+}
+
+define nofpclass(inf nan norm zero nsub) half @ret_only_psub__fptrunc(float %x) {
+; CHECK-LABEL: define nofpclass(nan inf zero nsub norm) half @ret_only_psub__fptrunc(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[RESULT:%.*]] = call half @llvm.fptrunc.round.f16.f32(float [[X]], metadata !"round.downward")
+; CHECK-NEXT: r...
[truncated]
``````````
</details>
https://github.com/llvm/llvm-project/pull/175420
More information about the llvm-branch-commits
mailing list