This is an archive of the discontinued LLVM Phabricator instance.

Differential D136466

[StrictFP][IPSCCP] Constant fold constrained intrinsics
ClosedPublic

Authored by kpn on Oct 21 2022, 9:42 AM.

Details

Reviewers
nikic
fhahn
davide
efriedma
Commits
rGcfb88ee3ba70: [StrictFP][IPSCCP] Constant fold intrinsics with metadata arguments
Summary

This teaches the SCCP Solver how to constant fold the constrained intrinsics. Constant folding appears to be just as good as D115737 but much, much lower in code change impact as suggested by nikic.

Diff Detail

Event Timeline

kpn created this revision.Oct 21 2022, 9:42 AM
Herald added a project: Restricted Project. · View Herald TranscriptOct 21 2022, 9:42 AM
Herald added a subscriber: hiraditya. · View Herald Transcript
kpn requested review of this revision.Oct 21 2022, 9:42 AM
Herald added a project: Restricted Project. · View Herald TranscriptOct 21 2022, 9:42 AM
Herald added a subscriber: llvm-commits. · View Herald Transcript
Harbormaster completed remote builds in B193566: Diff 469661.Oct 21 2022, 11:02 AM
nikic added inline comments.Oct 21 2022, 11:24 AM
llvm/lib/Transforms/Utils/SCCPSolver.cpp
1195

I don't think we need to check for constrained intrinsics here, we can always skip these, as also done here: https://github.com/llvm/llvm-project/blob/de1e911f02a0b4369287c7d056efc94c3f5dc0cd/llvm/lib/Analysis/InstructionSimplify.cpp#L6299

kpn updated this revision to Diff 470166.Oct 24 2022, 8:17 AM

Update for review comments: allow folding for more than constrained intrinsics.

I left the check for metadata in the same style as the check for struct types two lines up. To my eyes is reads nicer that way, but that's just one person's opinion.

nikic accepted this revision.Oct 24 2022, 8:24 AM

LGTM

This revision is now accepted and ready to land.Oct 24 2022, 8:24 AM
This revision was landed with ongoing or failed builds.Oct 24 2022, 8:43 AM
Closed by commit rGcfb88ee3ba70: [StrictFP][IPSCCP] Constant fold intrinsics with metadata arguments (authored by kpn). · Explain Why
This revision was automatically updated to reflect the committed changes.
kpn added a commit: rGcfb88ee3ba70: [StrictFP][IPSCCP] Constant fold intrinsics with metadata arguments.
kpn mentioned this in D115737: [IPSCCP] Partial support for constrained intrinsics.Oct 24 2022, 8:45 AM
Harbormaster completed remote builds in B193949: Diff 470166.Oct 24 2022, 10:15 AM

Revision Contents

PathSize
llvm/
lib/
Transforms/
Utils/
2 lines
test/
Transforms/
SCCP/
18 lines
18 lines

Diff 470172

llvm/lib/Transforms/Utils/SCCPSolver.cpp

Show First 20 Lines • Show All 1,185 Lines • ▼ Show 20 Linesvoid SCCPInstVisitor::handleCallOverdefined(CallBase &CB) {
// Otherwise, if we have a single return value case, and if the function is // Otherwise, if we have a single return value case, and if the function is
// a declaration, maybe we can constant fold it. // a declaration, maybe we can constant fold it.
if (F && F->isDeclaration() && canConstantFoldCallTo(&CB, F)) { if (F && F->isDeclaration() && canConstantFoldCallTo(&CB, F)) {
SmallVector<Constant *, 8> Operands; SmallVector<Constant *, 8> Operands;
for (const Use &A : CB.args()) { for (const Use &A : CB.args()) {
if (A.get()->getType()->isStructTy()) if (A.get()->getType()->isStructTy())
return markOverdefined(&CB); // Can't handle struct args. return markOverdefined(&CB); // Can't handle struct args.
if (A.get()->getType()->isMetadataTy())
continue; // Carried in CB, not allowed in Operands.
nikicUnsubmitted
Not Done
ReplyInline Actions

I don't think we need to check for constrained intrinsics here, we can always skip these, as also done here: https://github.com/llvm/llvm-project/blob/de1e911f02a0b4369287c7d056efc94c3f5dc0cd/llvm/lib/Analysis/InstructionSimplify.cpp#L6299

nikic: I don't think we need to check for constrained intrinsics here, we can always skip these, as…
ValueLatticeElement State = getValueState(A); ValueLatticeElement State = getValueState(A);
if (State.isUnknownOrUndef()) if (State.isUnknownOrUndef())
return; // Operands are not resolved yet. return; // Operands are not resolved yet.
if (isOverdefined(State)) if (isOverdefined(State))
return (void)markOverdefined(&CB); return (void)markOverdefined(&CB);
assert(isConstant(State) && "Unknown state!"); assert(isConstant(State) && "Unknown state!");
Operands.push_back(getConstant(State)); Operands.push_back(getConstant(State));
▲ Show 20 Lines • Show All 419 Lines • Show Last 20 Lines

llvm/test/Transforms/SCCP/strictfp-phis-fcmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=sccp -S | FileCheck %s ; RUN: opt < %s -passes=sccp -S | FileCheck %s
define i1 @float.1.defaultenv(i1 %cmp) #0 { define i1 @float.1.defaultenv(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.defaultenv( ; CHECK-LABEL: @float.1.defaultenv(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.ignore") #[[ATTR0:[0-9]+]] ; CHECK-NEXT: ret i1 true
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true]
%c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.ignore") #0 %c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.ignore") #0
ret i1 %c ret i1 %c
} }
define i1 @float.1.maytrap(i1 %cmp) #0 { define i1 @float.1.maytrap(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.maytrap( ; CHECK-LABEL: @float.1.maytrap(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.maytrap") #[[ATTR0]] ; CHECK-NEXT: ret i1 true
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true]
%c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.maytrap") #0 %c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.maytrap") #0
ret i1 %c ret i1 %c
} }
define i1 @float.1.strict(i1 %cmp) #0 { define i1 @float.1.strict(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.strict( ; CHECK-LABEL: @float.1.strict(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.strict") #[[ATTR0]] ; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.strict") #[[ATTR0:[0-9]+]]
; CHECK-NEXT: ret i1 [[C]] ; CHECK-NEXT: ret i1 true
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
▲ Show 20 Lines • Show All 150 Lines • ▼ Show 20 Lines
define i1 @float.4_unreachable.defaultenv(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.defaultenv(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.defaultenv( ; CHECK-LABEL: @float.4_unreachable.defaultenv(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.ignore") #[[ATTR0]] ; CHECK-NEXT: ret i1 false
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
dead: dead:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true], [ %f, %dead ] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true], [ %f, %dead ]
%c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"une", metadata !"fpexcept.ignore") #0 %c = call i1 @llvm.experimental.constrained.fcmp.i1.f32(float %p, float 1.0, metadata !"une", metadata !"fpexcept.ignore") #0
ret i1 %c ret i1 %c
} }
define i1 @float.4_unreachable.maytrap(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.maytrap(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.maytrap( ; CHECK-LABEL: @float.4_unreachable.maytrap(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.maytrap") #[[ATTR0]] ; CHECK-NEXT: ret i1 false
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
Show All 10 Lines
define i1 @float.4_unreachable.strict(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.strict(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.strict( ; CHECK-LABEL: @float.4_unreachable.strict(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.strict") #[[ATTR0]] ; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.strict") #[[ATTR0]]
; CHECK-NEXT: ret i1 [[C]] ; CHECK-NEXT: ret i1 false
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
Show All 13 Lines

llvm/test/Transforms/SCCP/strictfp-phis-fcmps.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=sccp -S | FileCheck %s ; RUN: opt < %s -passes=sccp -S | FileCheck %s
define i1 @float.1.defaultenv(i1 %cmp) #0 { define i1 @float.1.defaultenv(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.defaultenv( ; CHECK-LABEL: @float.1.defaultenv(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.ignore") #[[ATTR0:[0-9]+]] ; CHECK-NEXT: ret i1 true
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true]
%c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.ignore") #0 %c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.ignore") #0
ret i1 %c ret i1 %c
} }
define i1 @float.1.maytrap(i1 %cmp) #0 { define i1 @float.1.maytrap(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.maytrap( ; CHECK-LABEL: @float.1.maytrap(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.maytrap") #[[ATTR0]] ; CHECK-NEXT: ret i1 true
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true]
%c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.maytrap") #0 %c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"ueq", metadata !"fpexcept.maytrap") #0
ret i1 %c ret i1 %c
} }
define i1 @float.1.strict(i1 %cmp) #0 { define i1 @float.1.strict(i1 %cmp) #0 {
; CHECK-LABEL: @float.1.strict( ; CHECK-LABEL: @float.1.strict(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.strict") #[[ATTR0]] ; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"ueq", metadata !"fpexcept.strict") #[[ATTR0:[0-9]+]]
; CHECK-NEXT: ret i1 [[C]] ; CHECK-NEXT: ret i1 true
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
▲ Show 20 Lines • Show All 150 Lines • ▼ Show 20 Lines
define i1 @float.4_unreachable.defaultenv(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.defaultenv(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.defaultenv( ; CHECK-LABEL: @float.4_unreachable.defaultenv(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.ignore") #[[ATTR0]] ; CHECK-NEXT: ret i1 false
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
dead: dead:
br label %end br label %end
end: end:
%p = phi float [ 1.0, %entry ], [ 1.0, %if.true], [ %f, %dead ] %p = phi float [ 1.0, %entry ], [ 1.0, %if.true], [ %f, %dead ]
%c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"une", metadata !"fpexcept.ignore") #0 %c = call i1 @llvm.experimental.constrained.fcmps.i1.f32(float %p, float 1.0, metadata !"une", metadata !"fpexcept.ignore") #0
ret i1 %c ret i1 %c
} }
define i1 @float.4_unreachable.maytrap(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.maytrap(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.maytrap( ; CHECK-LABEL: @float.4_unreachable.maytrap(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.maytrap") #[[ATTR0]] ; CHECK-NEXT: ret i1 false
; CHECK-NEXT: ret i1 [[C]]
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
Show All 10 Lines
define i1 @float.4_unreachable.strict(float %f, i1 %cmp) #0 { define i1 @float.4_unreachable.strict(float %f, i1 %cmp) #0 {
; CHECK-LABEL: @float.4_unreachable.strict( ; CHECK-LABEL: @float.4_unreachable.strict(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_TRUE:%.*]], label [[END:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
; CHECK: end: ; CHECK: end:
; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.strict") #[[ATTR0]] ; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float 1.000000e+00, float 1.000000e+00, metadata !"une", metadata !"fpexcept.strict") #[[ATTR0]]
; CHECK-NEXT: ret i1 [[C]] ; CHECK-NEXT: ret i1 false
; ;
entry: entry:
br i1 %cmp, label %if.true, label %end br i1 %cmp, label %if.true, label %end
if.true: if.true:
br label %end br label %end
Show All 13 Lines