Skip to content

Commit f80fb29

Browse files
antoniofrighettoantoniofrighetto
committed
!fixup avoid std::string, tune parent loop size threshold, update tests
1 parent cd42158 commit f80fb29

15 files changed

+352
-515
lines changed

‎llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp‎

Lines changed: 15 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ static cl::opt<bool> EnableNonTrivialUnswitch(
8888
"following the configuration passed into the pass."));
8989

9090
static cl::opt<int>
91-
UnswitchThreshold("unswitch-threshold", cl::init(50), cl::Hidden,
91+
UnswitchThreshold("unswitch-threshold", cl::init(120), cl::Hidden,
9292
cl::desc("The cost threshold for unswitching a loop."));
9393

9494
static cl::opt<bool> EnableUnswitchCostMultiplier(
@@ -98,6 +98,9 @@ static cl::opt<bool> EnableUnswitchCostMultiplier(
9898
static cl::opt<int> UnswitchSiblingsToplevelDiv(
9999
"unswitch-siblings-toplevel-div", cl::init(2), cl::Hidden,
100100
cl::desc("Toplevel siblings divisor for cost multiplier."));
101+
static cl::opt<int> UnswitchParentBlocksDiv(
102+
"unswitch-parent-blocks-div", cl::init(16), cl::Hidden,
103+
cl::desc("Outer loop size divisor for cost multiplier."));
101104
static cl::opt<int> UnswitchNumInitialUnscaledCandidates(
102105
"unswitch-num-initial-unscaled-candidates", cl::init(8), cl::Hidden,
103106
cl::desc("Number of unswitch candidates that are ignored when calculating "
@@ -2142,10 +2145,10 @@ void visitDomSubTree(DominatorTree &DT, BasicBlock *BB, CallableT Callable) {
21422145
void postUnswitch(Loop &L, LPMUpdater &U, StringRef LoopName,
21432146
bool CurrentLoopValid, bool PartiallyInvariant,
21442147
bool InjectedCondition, ArrayRef<Loop *> NewLoops) {
2145-
auto RecordLoopAsUnswitched = [&](Loop *TargetLoop, StringRef Tag) {
2148+
auto RecordLoopAsUnswitched = [&](Loop *TargetLoop, StringRef Tag,
2149+
StringRef DisableTag) {
21462150
auto &Ctx = TargetLoop->getHeader()->getContext();
2147-
const auto &DisableMDName = (Twine(Tag) + ".disable").str();
2148-
MDNode *DisableMD = MDNode::get(Ctx, MDString::get(Ctx, DisableMDName));
2151+
MDNode *DisableMD = MDNode::get(Ctx, MDString::get(Ctx, DisableTag));
21492152
MDNode *NewLoopID = makePostTransformationMetadata(
21502153
Ctx, TargetLoop->getLoopID(), {Tag}, {DisableMD});
21512154
TargetLoop->setLoopID(NewLoopID);
@@ -2155,7 +2158,8 @@ void postUnswitch(Loop &L, LPMUpdater &U, StringRef LoopName,
21552158
// Mark such newly-created loops as visited.
21562159
if (!NewLoops.empty()) {
21572160
for (Loop *NL : NewLoops)
2158-
RecordLoopAsUnswitched(NL, "llvm.loop.unswitch.nontrivial");
2161+
RecordLoopAsUnswitched(NL, "llvm.loop.unswitch.nontrivial",
2162+
"llvm.loop.unswitch.nontrivial.disable");
21592163
U.addSiblingLoops(NewLoops);
21602164
}
21612165

@@ -2165,10 +2169,12 @@ void postUnswitch(Loop &L, LPMUpdater &U, StringRef LoopName,
21652169
if (PartiallyInvariant) {
21662170
// Mark the new loop as partially unswitched, to avoid unswitching on
21672171
// the same condition again.
2168-
RecordLoopAsUnswitched(&L, "llvm.loop.unswitch.partial");
2172+
RecordLoopAsUnswitched(&L, "llvm.loop.unswitch.partial",
2173+
"llvm.loop.unswitch.partial.disable");
21692174
} else if (InjectedCondition) {
21702175
// Do the same for injection of invariant conditions.
2171-
RecordLoopAsUnswitched(&L, "llvm.loop.unswitch.injection");
2176+
RecordLoopAsUnswitched(&L, "llvm.loop.unswitch.injection",
2177+
"llvm.loop.unswitch.injection.disable");
21722178
} else
21732179
U.revisitCurrentLoop();
21742180
} else
@@ -2844,7 +2850,8 @@ static int CalculateUnswitchCostMultiplier(
28442850
auto *ParentL = L.getParentLoop();
28452851
int ParentSizeMultiplier = 1;
28462852
if (ParentL)
2847-
ParentSizeMultiplier = std::max((int)ParentL->getNumBlocks(), 1);
2853+
ParentSizeMultiplier = std::max(
2854+
(int)ParentL->getNumBlocks() / (int)UnswitchParentBlocksDiv, 1);
28482855

28492856
int SiblingsCount = (ParentL ? ParentL->getSubLoopsVector().size()
28502857
: std::distance(LI.begin(), LI.end()));

‎llvm/test/Transforms/LICM/PR116813-memoryssa-outdated.ll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ define i32 @foo(i1 %arg, ptr %arg1) {
1818
; CHECK: [[BB1]]:
1919
; CHECK-NEXT: [[UNSWITCHED_SELECT_US:%.*]] = phi ptr [ [[ARG1]], %[[BB0]] ]
2020
; CHECK-NEXT: [[I3_US:%.*]] = call i32 [[UNSWITCHED_SELECT_US]]()
21-
; CHECK-NEXT: br i1 true, label %[[LOOP_US]], label %[[RET_SPLIT_US:.*]]
21+
; CHECK-NEXT: br i1 true, label %[[LOOP_US]], label %[[RET_SPLIT_US:.*]], !llvm.loop [[LOOP0:![0-9]+]]
2222
; CHECK: [[RET_SPLIT_US]]:
2323
; CHECK-NEXT: [[I3_LCSSA_US:%.*]] = phi i32 [ [[I3_US]], %[[BB1]] ]
2424
; CHECK-NEXT: br label %[[RET:.*]]

‎llvm/test/Transforms/SimpleLoopUnswitch/exponential-nontrivial-unswitch-nested.ll‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -27,15 +27,15 @@
2727
; unswitching.
2828
;
2929
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
30-
; RUN: -unswitch-num-initial-unscaled-candidates=4 -unswitch-siblings-toplevel-div=1 \
30+
; RUN: -unswitch-num-initial-unscaled-candidates=4 -unswitch-siblings-toplevel-div=1 -unswitch-parent-blocks-div=64 \
3131
; RUN: -passes='loop-mssa(licm,simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | \
3232
; RUN: sort -b -k 1 | FileCheck %s --check-prefixes=LOOP-UNSCALE4-DIV1
3333
;
3434
; NB: sort -b is essential here and below, otherwise blanks might lead to different
3535
; order depending on locale.
3636
;
3737
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
38-
; RUN: -unswitch-num-initial-unscaled-candidates=4 -unswitch-siblings-toplevel-div=2 \
38+
; RUN: -unswitch-num-initial-unscaled-candidates=4 -unswitch-siblings-toplevel-div=2 -unswitch-parent-blocks-div=128 \
3939
; RUN: -passes='loop-mssa(licm,simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | \
4040
; RUN: sort -b -k 1 | FileCheck %s --check-prefixes=LOOP-UNSCALE4-DIV2
4141
;
@@ -45,7 +45,7 @@
4545
;
4646
; RUN: opt < %s -enable-unswitch-cost-multiplier=false \
4747
; RUN: -passes='loop-mssa(licm,simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | \
48-
; RUN: sort -b -k 1 | FileCheck %s --check-prefixes=LOOP32
48+
; RUN: sort -b -k 1 | FileCheck %s --check-prefixes=LOOPMAX
4949
;
5050
; Single loop nest, not unswitched
5151
; LOOP1: Loop at depth 1 containing:
@@ -55,23 +55,23 @@
5555
;
5656
; Half unswitched loop nests, with unscaled4 and div1 it gets less depth1 loops unswitched
5757
; since they have more cost.
58-
; LOOP-UNSCALE4-DIV1-COUNT-6: Loop at depth 1 containing:
59-
; LOOP-UNSCALE4-DIV1-COUNT-19: Loop at depth 2 containing:
60-
; LOOP-UNSCALE4-DIV1-COUNT-29: Loop at depth 3 containing:
58+
; LOOP-UNSCALE4-DIV1-COUNT-5: Loop at depth 1 containing:
59+
; LOOP-UNSCALE4-DIV1-COUNT-5: Loop at depth 2 containing:
60+
; LOOP-UNSCALE4-DIV1-COUNT-6: Loop at depth 3 containing:
6161
; LOOP-UNSCALE4-DIV1-NOT: Loop at depth {{[0-9]+}} containing:
6262
;
6363
; Half unswitched loop nests, with unscaled4 and div2 it gets more depth1 loops unswitched
6464
; as div2 kicks in.
65-
; LOOP-UNSCALE4-DIV2-COUNT-11: Loop at depth 1 containing:
66-
; LOOP-UNSCALE4-DIV2-COUNT-22: Loop at depth 2 containing:
67-
; LOOP-UNSCALE4-DIV2-COUNT-29: Loop at depth 3 containing:
65+
; LOOP-UNSCALE4-DIV2-COUNT-6: Loop at depth 1 containing:
66+
; LOOP-UNSCALE4-DIV2-COUNT-6: Loop at depth 2 containing:
67+
; LOOP-UNSCALE4-DIV2-COUNT-6: Loop at depth 3 containing:
6868
; LOOP-UNSCALE4-DIV2-NOT: Loop at depth {{[0-9]+}} containing:
6969
;
70-
; 32 loop nests, fully unswitched
71-
; LOOP32-COUNT-32: Loop at depth 1 containing:
72-
; LOOP32-COUNT-32: Loop at depth 2 containing:
73-
; LOOP32-COUNT-32: Loop at depth 3 containing:
74-
; LOOP32-NOT: Loop at depth {{[0-9]+}} containing:
70+
; 6 loop nests, fully unswitched
71+
; LOOPMAX-COUNT-6: Loop at depth 1 containing:
72+
; LOOPMAX-COUNT-6: Loop at depth 2 containing:
73+
; LOOPMAX-COUNT-6: Loop at depth 3 containing:
74+
; LOOPMAX-NOT: Loop at depth {{[0-9]+}} containing:
7575

7676
declare void @bar()
7777

‎llvm/test/Transforms/SimpleLoopUnswitch/exponential-nontrivial-unswitch-nested2.ll‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@
6060
;
6161
; Half unswitched loop nests, with unscaled3 and div1 it gets less depth1 loops unswitched
6262
; since they have more cost.
63-
; LOOP-UNSCALE3-DIV1-COUNT-4: Loop at depth 1 containing:
63+
; LOOP-UNSCALE3-DIV1-COUNT-2: Loop at depth 1 containing:
6464
; LOOP-UNSCALE3-DIV1-NOT: Loop at depth 1 containing:
6565
; LOOP-UNSCALE3-DIV1-COUNT-1: Loop at depth 2 containing:
6666
; LOOP-UNSCALE3-DIV1-NOT: Loop at depth 2 containing:
@@ -69,15 +69,15 @@
6969
;
7070
; Half unswitched loop nests, with unscaled3 and div2 it gets more depth1 loops unswitched
7171
; as div2 kicks in.
72-
; LOOP-UNSCALE3-DIV2-COUNT-6: Loop at depth 1 containing:
72+
; LOOP-UNSCALE3-DIV2-COUNT-2: Loop at depth 1 containing:
7373
; LOOP-UNSCALE3-DIV2-NOT: Loop at depth 1 containing:
7474
; LOOP-UNSCALE3-DIV2-COUNT-1: Loop at depth 2 containing:
7575
; LOOP-UNSCALE3-DIV2-NOT: Loop at depth 2 containing:
7676
; LOOP-UNSCALE3-DIV2-COUNT-1: Loop at depth 3 containing:
7777
; LOOP-UNSCALE3-DIV2-NOT: Loop at depth 3 containing:
7878
;
7979
; Maximally unswitched (copy of the outer loop per each condition)
80-
; LOOP-MAX-COUNT-6: Loop at depth 1 containing:
80+
; LOOP-MAX-COUNT-2: Loop at depth 1 containing:
8181
; LOOP-MAX-NOT: Loop at depth 1 containing:
8282
; LOOP-MAX-COUNT-1: Loop at depth 2 containing:
8383
; LOOP-MAX-NOT: Loop at depth 2 containing:

‎llvm/test/Transforms/SimpleLoopUnswitch/exponential-nontrivial-unswitch.ll‎

Lines changed: 12 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -25,46 +25,37 @@
2525
;
2626
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
2727
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=1 \
28-
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP5
28+
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP6
2929
;
3030
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
3131
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=1 \
32-
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP5
33-
;
34-
; With relaxed candidates multiplier (unscaled candidates == 8) and with relaxed
35-
; siblings multiplier for top-level loops (toplevel-div == 8) we should get
36-
; 2^(num conds) == 2^5 == 32
37-
; copies of the loop:
32+
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP6
3833
;
3934
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
4035
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=8 \
41-
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP32
36+
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP6
4237
;
4338
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
4439
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=8 \
45-
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP32
46-
;
47-
; Similarly get
48-
; 2^(num conds) == 2^5 == 32
49-
; copies of the loop when cost multiplier is disabled:
40+
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP6
5041
;
5142
; RUN: opt < %s -enable-unswitch-cost-multiplier=false \
52-
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP32
43+
; RUN: -passes='loop(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOPMAX
5344
;
5445
; RUN: opt < %s -enable-unswitch-cost-multiplier=false \
55-
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOP32
46+
; RUN: -passes='loop-mssa(simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | FileCheck %s --check-prefixes=LOOPMAX
5647
;
5748
; Single loop, not unswitched
5849
; LOOP1: Loop at depth 1 containing:
5950
; LOOP1-NOT: Loop at depth 1 containing:
6051

61-
; 5 loops, unswitched 4 times
62-
; LOOP5-COUNT-5: Loop at depth 1 containing:
63-
; LOOP5-NOT: Loop at depth 1 containing:
52+
; 6 loops
53+
; LOOP6-COUNT-6: Loop at depth 1 containing:
54+
; LOOP6-NOT: Loop at depth 1 containing:
6455

65-
; 32 loops, fully unswitched
66-
; LOOP32-COUNT-32: Loop at depth 1 containing:
67-
; LOOP32-NOT: Loop at depth 1 containing:
56+
; 6 loops, fully unswitched
57+
; LOOPMAX-COUNT-6: Loop at depth 1 containing:
58+
; LOOPMAX-NOT: Loop at depth 1 containing:
6859

6960
define void @loop_simple5(ptr %addr, i1 %c1, i1 %c2, i1 %c3, i1 %c4, i1 %c5) {
7061
entry:

‎llvm/test/Transforms/SimpleLoopUnswitch/exponential-switch-unswitch.ll‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -42,11 +42,11 @@
4242
; considerably more copies of the loop (especially top-level ones).
4343
;
4444
; RUN: opt < %s -enable-unswitch-cost-multiplier=true \
45-
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=8 \
45+
; RUN: -unswitch-num-initial-unscaled-candidates=8 -unswitch-siblings-toplevel-div=8 -unswitch-parent-blocks-div=32 \
4646
; RUN: -passes='loop-mssa(licm,simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | \
4747
; RUN: sort -b -k 1 | FileCheck %s --check-prefixes=LOOP-RELAX2
4848
;
49-
; We get hundreds of copies of the loop when cost multiplier is disabled:
49+
; We get several copies of the loop when cost multiplier is disabled:
5050
;
5151
; RUN: opt < %s -enable-unswitch-cost-multiplier=false \
5252
; RUN: -passes='loop-mssa(licm,simple-loop-unswitch<nontrivial>),print<loops>' -disable-output 2>&1 | \
@@ -61,19 +61,19 @@
6161
; Somewhat relaxed restrictions on candidates:
6262
; LOOP-RELAX-COUNT-5: Loop at depth 1 containing:
6363
; LOOP-RELAX-NOT: Loop at depth 1 containing:
64-
; LOOP-RELAX-COUNT-32: Loop at depth 2 containing:
64+
; LOOP-RELAX-COUNT-5: Loop at depth 2 containing:
6565
; LOOP-RELAX-NOT: Loop at depth 2 containing:
6666
;
6767
; Even more relaxed restrictions on candidates and siblings.
68-
; LOOP-RELAX2-COUNT-11: Loop at depth 1 containing:
68+
; LOOP-RELAX2-COUNT-6: Loop at depth 1 containing:
6969
; LOOP-RELAX2-NOT: Loop at depth 1 containing:
70-
; LOOP-RELAX2-COUNT-40: Loop at depth 2 containing:
70+
; LOOP-RELAX2-COUNT-6: Loop at depth 2 containing:
7171
; LOOP-RELAX-NOT: Loop at depth 2 containing:
7272
;
7373
; Unswitched as much as it could (with multiplier disabled).
74-
; LOOP-MAX-COUNT-56: Loop at depth 1 containing:
74+
; LOOP-MAX-COUNT-11: Loop at depth 1 containing:
7575
; LOOP-MAX-NOT: Loop at depth 1 containing:
76-
; LOOP-MAX-COUNT-111: Loop at depth 2 containing:
76+
; LOOP-MAX-COUNT-11: Loop at depth 2 containing:
7777
; LOOP-MAX-NOT: Loop at depth 2 containing:
7878

7979
define i32 @loop_switch(ptr %addr, i32 %c1, i32 %c2) {

‎llvm/test/Transforms/SimpleLoopUnswitch/guards.ll‎

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -38,25 +38,25 @@ exit:
3838
}
3939

4040
define void @test_two_guards(i1 %cond1, i1 %cond2, i32 %N) {
41-
; CHECK-LABEL: @test_two_guards(
41+
; CHECK-LABEL: define void @test_two_guards(i1 %cond1, i1 %cond2, i32 %N) {
4242
; CHECK-NEXT: entry:
43-
; CHECK-NEXT: br i1 [[COND1:%.*]], label [[ENTRY_SPLIT_US:%.*]], label [[ENTRY_SPLIT:%.*]]
43+
; CHECK-NEXT: br i1 %cond1, label %entry.split.us, label %entry.split
4444
; CHECK: entry.split.us:
45-
; CHECK-NEXT: br i1 [[COND2:%.*]], label [[ENTRY_SPLIT_US_SPLIT_US:%.*]], label [[ENTRY_SPLIT_US_SPLIT:%.*]]
46-
; CHECK: entry.split.us.split.us:
47-
; CHECK-NEXT: br label [[LOOP_US_US:%.*]]
48-
; CHECK: loop.us.us:
49-
; CHECK-NEXT: [[IV_US_US:%.*]] = phi i32 [ 0, [[ENTRY_SPLIT_US_SPLIT_US]] ], [ [[IV_NEXT_US_US:%.*]], [[GUARDED_US2:%.*]] ]
50-
; CHECK-NEXT: br label [[GUARDED_US_US:%.*]]
51-
; CHECK: guarded.us.us:
52-
; CHECK-NEXT: br label [[GUARDED_US2]]
53-
; CHECK: guarded.us2:
54-
; CHECK-NEXT: [[IV_NEXT_US_US]] = add i32 [[IV_US_US]], 1
55-
; CHECK-NEXT: [[LOOP_COND_US_US:%.*]] = icmp slt i32 [[IV_NEXT_US_US]], [[N:%.*]]
56-
; CHECK-NEXT: br i1 [[LOOP_COND_US_US]], label [[LOOP_US_US]], label [[EXIT_SPLIT_US_SPLIT_US:%.*]]
57-
; CHECK: deopt1:
58-
; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 false) [ "deopt"() ]
59-
; CHECK-NEXT: unreachable
45+
; CHECK-NEXT: br label %loop.us
46+
; CHECK: loop.us:
47+
; CHECK-NEXT: %iv.us = phi i32 [ 0, %entry.split.us ], [ %iv.next.us, %guarded.us ]
48+
; CHECK-NEXT: br label %guarded.us
49+
; CHECK: guarded.us:
50+
; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %cond2) [ "deopt"() ]
51+
; CHECK-NEXT: %iv.next.us = add i32 %iv.us, 1
52+
; CHECK-NEXT: %loop.cond.us = icmp slt i32 %iv.next.us, %N
53+
; CHECK-NEXT: br i1 %loop.cond.us, label %loop.us, label %exit.split.us, !llvm.loop !2
54+
; CHECK: exit.split.us:
55+
; CHECK-NEXT: br label %exit
56+
; CHECK: entry.split:
57+
; CHECK-NEXT: br label %loop
58+
; CHECK: loop:
59+
; CHECK-NEXT: br label %deopt
6060
; CHECK: deopt:
6161
; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 false) [ "deopt"() ]
6262
; CHECK-NEXT: unreachable

0 commit comments

Comments
 (0)