This is an archive of the discontinued LLVM Phabricator instance.

Differential D105627

[NewPM] Consistently use 'simplifycfg' rather than 'simplify-cfg'
ClosedPublic

Authored by bjope on Jul 8 2021, 6:23 AM.

Details

Reviewers
ychen
aeubanks
Commits
rG472462c47239: [NewPM] Consistently use 'simplifycfg' rather than 'simplify-cfg'
Summary

There was an alias between 'simplifycfg' and 'simplify-cfg' in the
PassRegistry. That was the original reason for this patch, which
effectively removes the alias.

This patch also replaces all occurrances of 'simplify-cfg'
by 'simplifycfg'. Reason for choosing that form for the name is
that it matches the DEBUG_TYPE for the pass, and the legacy PM name
and also how it is spelled out in other passes such as
'loop-simplifycfg', and in other options such as
'simplifycfg-merge-cond-stores'.

I for some reason the name should be changed to 'simplify-cfg' in
the future, then I think such a renaming should be more widely done
and not only impacting the PassRegistry.

Diff Detail

Event Timeline

bjope created this revision.Jul 8 2021, 6:23 AM
Herald added subscribers: ormris, wenlei, lxfind and 6 others. · View Herald TranscriptJul 8 2021, 6:23 AM
bjope requested review of this revision.Jul 8 2021, 6:23 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 8 2021, 6:23 AM
Harbormaster completed remote builds in B112973: Diff 357205.Jul 8 2021, 6:24 AM
aeubanks accepted this revision.Jul 8 2021, 8:48 AM
This revision is now accepted and ready to land.Jul 8 2021, 8:48 AM
This revision was landed with ongoing or failed builds.Jul 9 2021, 12:59 AM
Closed by commit rG472462c47239: [NewPM] Consistently use 'simplifycfg' rather than 'simplify-cfg' (authored by bjope). · Explain Why
This revision was automatically updated to reflect the committed changes.
bjope added a commit: rG472462c47239: [NewPM] Consistently use 'simplifycfg' rather than 'simplify-cfg'.
Herald added a subscriber: qcolombet. · View Herald TranscriptJul 9 2021, 12:59 AM

Revision Contents

PathSize
llvm/
lib/
Analysis/
2 lines
FuzzMutate/
2 lines
Passes/
4 lines
3 lines
Transforms/
IPO/
2 lines
Scalar/
8 lines
test/
Analysis/
MemorySSA/
2 lines
Other/
2 lines
4 lines
2 lines
4 lines
Transforms/
Coroutines/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
Inline/
2 lines
InstCombine/
2 lines
LoopUnroll/
2 lines
4 lines
PGOProfile/
2 lines
PruneEH/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
SimplifyCFG/
2 lines
ARM/
10 lines
4 lines
X86/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
6 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
tools/
bugpoint/
2 lines

Diff 357429

llvm/lib/Analysis/InlineCost.cpp

Show First 20 Lines • Show All 2,205 Lines • ▼ Show 20 Linesbool CallAnalyzer::visitSwitchInst(SwitchInst &SI) {
// Assume the most general case where the switch is lowered into // Assume the most general case where the switch is lowered into
// either a jump table, bit test, or a balanced binary tree consisting of // either a jump table, bit test, or a balanced binary tree consisting of
// case clusters without merging adjacent clusters with the same // case clusters without merging adjacent clusters with the same
// destination. We do not consider the switches that are lowered with a mix // destination. We do not consider the switches that are lowered with a mix
// of jump table/bit test/binary search tree. The cost of the switch is // of jump table/bit test/binary search tree. The cost of the switch is
// proportional to the size of the tree or the size of jump table range. // proportional to the size of the tree or the size of jump table range.
// //
// NB: We convert large switches which are just used to initialize large phi // NB: We convert large switches which are just used to initialize large phi
// nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent // nodes to lookup tables instead in simplifycfg, so this shouldn't prevent
// inlining those. It will prevent inlining in cases where the optimization // inlining those. It will prevent inlining in cases where the optimization
// does not (yet) fire. // does not (yet) fire.
unsigned JumpTableSize = 0; unsigned JumpTableSize = 0;
BlockFrequencyInfo *BFI = GetBFI ? &(GetBFI(F)) : nullptr; BlockFrequencyInfo *BFI = GetBFI ? &(GetBFI(F)) : nullptr;
unsigned NumCaseCluster = unsigned NumCaseCluster =
TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize, PSI, BFI); TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize, PSI, BFI);
▲ Show 20 Lines • Show All 803 Lines • Show Last 20 Lines

llvm/lib/FuzzMutate/FuzzerCLI.cpp

Show First 20 Lines • Show All 82 Lines • ▼ Show 20 Linesvoid llvm::handleExecNameEncodedOptimizerOpts(StringRef ExecName) {
SmallVector<StringRef, 4> Opts; SmallVector<StringRef, 4> Opts;
NameAndArgs.second.split(Opts, '-'); NameAndArgs.second.split(Opts, '-');
for (StringRef Opt : Opts) { for (StringRef Opt : Opts) {
if (Opt == "instcombine") { if (Opt == "instcombine") {
Args.push_back("-passes=instcombine"); Args.push_back("-passes=instcombine");
} else if (Opt == "earlycse") { } else if (Opt == "earlycse") {
Args.push_back("-passes=early-cse"); Args.push_back("-passes=early-cse");
} else if (Opt == "simplifycfg") { } else if (Opt == "simplifycfg") {
Args.push_back("-passes=simplify-cfg"); Args.push_back("-passes=simplifycfg");
} else if (Opt == "gvn") { } else if (Opt == "gvn") {
Args.push_back("-passes=gvn"); Args.push_back("-passes=gvn");
} else if (Opt == "sccp") { } else if (Opt == "sccp") {
Args.push_back("-passes=sccp"); Args.push_back("-passes=sccp");
} else if (Opt == "loop_predication") { } else if (Opt == "loop_predication") {
Args.push_back("-passes=loop-predication"); Args.push_back("-passes=loop-predication");
} else if (Opt == "guard_widening") { } else if (Opt == "guard_widening") {
▲ Show 20 Lines • Show All 110 Lines • Show Last 20 Lines

llvm/lib/Passes/PassBuilder.cpp

Show First 20 Lines • Show All 1,148 Lines • ▼ Show 20 LinesPassBuilder::buildModuleSimplificationPipeline(OptimizationLevel Level,
// they may target at run-time. This should follow IPSCCP. // they may target at run-time. This should follow IPSCCP.
MPM.addPass(CalledValuePropagationPass()); MPM.addPass(CalledValuePropagationPass());
// Optimize globals to try and fold them into constants. // Optimize globals to try and fold them into constants.
MPM.addPass(GlobalOptPass()); MPM.addPass(GlobalOptPass());
// Promote any localized globals to SSA registers. // Promote any localized globals to SSA registers.
// FIXME: Should this instead by a run of SROA? // FIXME: Should this instead by a run of SROA?
// FIXME: We should probably run instcombine and simplify-cfg afterward to // FIXME: We should probably run instcombine and simplifycfg afterward to
// delete control flows that are dead once globals have been folded to // delete control flows that are dead once globals have been folded to
// constants. // constants.
MPM.addPass(createModuleToFunctionPassAdaptor(PromotePass())); MPM.addPass(createModuleToFunctionPassAdaptor(PromotePass()));
// Remove any dead arguments exposed by cleanups and constant folding // Remove any dead arguments exposed by cleanups and constant folding
// globals. // globals.
MPM.addPass(DeadArgumentEliminationPass()); MPM.addPass(DeadArgumentEliminationPass());
▲ Show 20 Lines • Show All 217 Lines • ▼ Show 20 LinesPassBuilder::buildModuleOptimizationPipeline(OptimizationLevel Level,
OptimizePM.addPass(LowerConstantIntrinsicsPass()); OptimizePM.addPass(LowerConstantIntrinsicsPass());
if (EnableMatrix) { if (EnableMatrix) {
OptimizePM.addPass(LowerMatrixIntrinsicsPass()); OptimizePM.addPass(LowerMatrixIntrinsicsPass());
OptimizePM.addPass(EarlyCSEPass()); OptimizePM.addPass(EarlyCSEPass());
} }
// FIXME: We need to run some loop optimizations to re-rotate loops after // FIXME: We need to run some loop optimizations to re-rotate loops after
// simplify-cfg and others undo their rotation. // simplifycfg and others undo their rotation.
// Optimize the loop execution. These passes operate on entire loop nests // Optimize the loop execution. These passes operate on entire loop nests
// rather than on each loop in an inside-out manner, and so they are actually // rather than on each loop in an inside-out manner, and so they are actually
// function passes. // function passes.
for (auto &C : VectorizerStartEPCallbacks) for (auto &C : VectorizerStartEPCallbacks)
C(OptimizePM, Level); C(OptimizePM, Level);
▲ Show 20 Lines • Show All 1,834 Lines • Show Last 20 Lines

llvm/lib/Passes/PassRegistry.def

Show First 20 Lines • Show All 295 Lines • ▼ Show 20 Lines
FUNCTION_PASS("print-memderefs", MemDerefPrinterPass(dbgs())) FUNCTION_PASS("print-memderefs", MemDerefPrinterPass(dbgs()))
FUNCTION_PASS("reassociate", ReassociatePass()) FUNCTION_PASS("reassociate", ReassociatePass())
FUNCTION_PASS("redundant-dbg-inst-elim", RedundantDbgInstEliminationPass()) FUNCTION_PASS("redundant-dbg-inst-elim", RedundantDbgInstEliminationPass())
FUNCTION_PASS("reg2mem", RegToMemPass()) FUNCTION_PASS("reg2mem", RegToMemPass())
FUNCTION_PASS("scalarize-masked-mem-intrin", ScalarizeMaskedMemIntrinPass()) FUNCTION_PASS("scalarize-masked-mem-intrin", ScalarizeMaskedMemIntrinPass())
FUNCTION_PASS("scalarizer", ScalarizerPass()) FUNCTION_PASS("scalarizer", ScalarizerPass())
FUNCTION_PASS("separate-const-offset-from-gep", SeparateConstOffsetFromGEPPass()) FUNCTION_PASS("separate-const-offset-from-gep", SeparateConstOffsetFromGEPPass())
FUNCTION_PASS("sccp", SCCPPass()) FUNCTION_PASS("sccp", SCCPPass())
FUNCTION_PASS("simplifycfg", SimplifyCFGPass())
FUNCTION_PASS("sink", SinkingPass()) FUNCTION_PASS("sink", SinkingPass())
FUNCTION_PASS("slp-vectorizer", SLPVectorizerPass()) FUNCTION_PASS("slp-vectorizer", SLPVectorizerPass())
FUNCTION_PASS("slsr", StraightLineStrengthReducePass()) FUNCTION_PASS("slsr", StraightLineStrengthReducePass())
FUNCTION_PASS("speculative-execution", SpeculativeExecutionPass()) FUNCTION_PASS("speculative-execution", SpeculativeExecutionPass())
FUNCTION_PASS("sroa", SROA()) FUNCTION_PASS("sroa", SROA())
FUNCTION_PASS("strip-gc-relocates", StripGCRelocates()) FUNCTION_PASS("strip-gc-relocates", StripGCRelocates())
FUNCTION_PASS("structurizecfg", StructurizeCFGPass()) FUNCTION_PASS("structurizecfg", StructurizeCFGPass())
FUNCTION_PASS("tailcallelim", TailCallElimPass()) FUNCTION_PASS("tailcallelim", TailCallElimPass())
Show All 34 LinesFUNCTION_PASS_WITH_PARAMS("loop-unroll",
"no-upperbound;upperbound") "no-upperbound;upperbound")
FUNCTION_PASS_WITH_PARAMS("msan", FUNCTION_PASS_WITH_PARAMS("msan",
"MemorySanitizerPass", "MemorySanitizerPass",
[](MemorySanitizerOptions Opts) { [](MemorySanitizerOptions Opts) {
return MemorySanitizerPass(Opts); return MemorySanitizerPass(Opts);
}, },
parseMSanPassOptions, parseMSanPassOptions,
"recover;kernel;track-origins=N") "recover;kernel;track-origins=N")
FUNCTION_PASS_WITH_PARAMS("simplify-cfg", FUNCTION_PASS_WITH_PARAMS("simplifycfg",
"SimplifyCFGPass", "SimplifyCFGPass",
[](SimplifyCFGOptions Opts) { [](SimplifyCFGOptions Opts) {
return SimplifyCFGPass(Opts); return SimplifyCFGPass(Opts);
}, },
parseSimplifyCFGOptions, parseSimplifyCFGOptions,
"no-forward-switch-cond;forward-switch-cond;" "no-forward-switch-cond;forward-switch-cond;"
"no-switch-to-lookup;switch-to-lookup;" "no-switch-to-lookup;switch-to-lookup;"
"no-keep-loops;keep-loops;" "no-keep-loops;keep-loops;"
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/lib/Transforms/IPO/PassManagerBuilder.cpp

Show First 20 Lines • Show All 448 Lines • ▼ Show 20 Linesvoid PassManagerBuilder::addFunctionSimplificationPasses(
MPM.add(createLoopRotatePass(SizeLevel == 2 ? 0 : -1, PrepareForLTO)); MPM.add(createLoopRotatePass(SizeLevel == 2 ? 0 : -1, PrepareForLTO));
// TODO: Investigate promotion cap for O1. // TODO: Investigate promotion cap for O1.
MPM.add(createLICMPass(LicmMssaOptCap, LicmMssaNoAccForPromotionCap)); MPM.add(createLICMPass(LicmMssaOptCap, LicmMssaNoAccForPromotionCap));
if (EnableSimpleLoopUnswitch) if (EnableSimpleLoopUnswitch)
MPM.add(createSimpleLoopUnswitchLegacyPass()); MPM.add(createSimpleLoopUnswitchLegacyPass());
else else
MPM.add(createLoopUnswitchPass(SizeLevel || OptLevel < 3, DivergentTarget)); MPM.add(createLoopUnswitchPass(SizeLevel || OptLevel < 3, DivergentTarget));
// FIXME: We break the loop pass pipeline here in order to do full // FIXME: We break the loop pass pipeline here in order to do full
// simplify-cfg. Eventually loop-simplifycfg should be enhanced to replace the // simplifycfg. Eventually loop-simplifycfg should be enhanced to replace the
// need for this. // need for this.
MPM.add(createCFGSimplificationPass()); MPM.add(createCFGSimplificationPass());
MPM.add(createInstructionCombiningPass()); MPM.add(createInstructionCombiningPass());
// We resume loop passes creating a second loop pipeline here. // We resume loop passes creating a second loop pipeline here.
if (EnableLoopFlatten) { if (EnableLoopFlatten) {
MPM.add(createLoopFlattenPass()); // Flatten loops MPM.add(createLoopFlattenPass()); // Flatten loops
MPM.add(createLoopSimplifyCFGPass()); MPM.add(createLoopSimplifyCFGPass());
} }
▲ Show 20 Lines • Show All 854 Lines • Show Last 20 Lines

llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp

Show First 20 Lines • Show All 414 Lines • ▼ Show 20 Lines
/// allows us to unswitch without duplicating the loop, making it trivial. /// allows us to unswitch without duplicating the loop, making it trivial.
/// ///
/// If this routine fails to unswitch the branch it returns false. /// If this routine fails to unswitch the branch it returns false.
/// ///
/// If the branch can be unswitched, this routine splits the preheader and /// If the branch can be unswitched, this routine splits the preheader and
/// hoists the branch above that split. Preserves loop simplified form /// hoists the branch above that split. Preserves loop simplified form
/// (splitting the exit block as necessary). It simplifies the branch within /// (splitting the exit block as necessary). It simplifies the branch within
/// the loop to an unconditional branch but doesn't remove it entirely. Further /// the loop to an unconditional branch but doesn't remove it entirely. Further
/// cleanup can be done with some simplify-cfg like pass. /// cleanup can be done with some simplifycfg like pass.
/// ///
/// If `SE` is not null, it will be updated based on the potential loop SCEVs /// If `SE` is not null, it will be updated based on the potential loop SCEVs
/// invalidated by this. /// invalidated by this.
static bool unswitchTrivialBranch(Loop &L, BranchInst &BI, DominatorTree &DT, static bool unswitchTrivialBranch(Loop &L, BranchInst &BI, DominatorTree &DT,
LoopInfo &LI, ScalarEvolution *SE, LoopInfo &LI, ScalarEvolution *SE,
MemorySSAUpdater *MSSAU) { MemorySSAUpdater *MSSAU) {
assert(BI.isConditional() && "Can only unswitch a conditional branch!"); assert(BI.isConditional() && "Can only unswitch a conditional branch!");
LLVM_DEBUG(dbgs() << " Trying to unswitch branch: " << BI << "\n"); LLVM_DEBUG(dbgs() << " Trying to unswitch branch: " << BI << "\n");
▲ Show 20 Lines • Show All 211 Lines • ▼ Show 20 Lines
/// and points the default at the preheader. It preserves loop simplified form /// and points the default at the preheader. It preserves loop simplified form
/// (splitting the exit blocks as necessary). It simplifies the switch within /// (splitting the exit blocks as necessary). It simplifies the switch within
/// the loop by removing now-dead cases. If the default case is one of those /// the loop by removing now-dead cases. If the default case is one of those
/// unswitched, it replaces its destination with a new basic block containing /// unswitched, it replaces its destination with a new basic block containing
/// only unreachable. Such basic blocks, while technically loop exits, are not /// only unreachable. Such basic blocks, while technically loop exits, are not
/// considered for unswitching so this is a stable transform and the same /// considered for unswitching so this is a stable transform and the same
/// switch will not be revisited. If after unswitching there is only a single /// switch will not be revisited. If after unswitching there is only a single
/// in-loop successor, the switch is further simplified to an unconditional /// in-loop successor, the switch is further simplified to an unconditional
/// branch. Still more cleanup can be done with some simplify-cfg like pass. /// branch. Still more cleanup can be done with some simplifycfg like pass.
/// ///
/// If `SE` is not null, it will be updated based on the potential loop SCEVs /// If `SE` is not null, it will be updated based on the potential loop SCEVs
/// invalidated by this. /// invalidated by this.
static bool unswitchTrivialSwitch(Loop &L, SwitchInst &SI, DominatorTree &DT, static bool unswitchTrivialSwitch(Loop &L, SwitchInst &SI, DominatorTree &DT,
LoopInfo &LI, ScalarEvolution *SE, LoopInfo &LI, ScalarEvolution *SE,
MemorySSAUpdater *MSSAU) { MemorySSAUpdater *MSSAU) {
LLVM_DEBUG(dbgs() << " Trying to unswitch switch: " << SI << "\n"); LLVM_DEBUG(dbgs() << " Trying to unswitch switch: " << SI << "\n");
Value *LoopCond = SI.getCondition(); Value *LoopCond = SI.getCondition();
▲ Show 20 Lines • Show All 318 Lines • ▼ Show 20 Lines if (llvm::any_of(*CurrentBB,
[](Instruction &I) { return I.mayHaveSideEffects(); })) [](Instruction &I) { return I.mayHaveSideEffects(); }))
return Changed; return Changed;
Instruction *CurrentTerm = CurrentBB->getTerminator(); Instruction *CurrentTerm = CurrentBB->getTerminator();
if (auto *SI = dyn_cast<SwitchInst>(CurrentTerm)) { if (auto *SI = dyn_cast<SwitchInst>(CurrentTerm)) {
// Don't bother trying to unswitch past a switch with a constant // Don't bother trying to unswitch past a switch with a constant
// condition. This should be removed prior to running this pass by // condition. This should be removed prior to running this pass by
// simplify-cfg. // simplifycfg.
if (isa<Constant>(SI->getCondition())) if (isa<Constant>(SI->getCondition()))
return Changed; return Changed;
if (!unswitchTrivialSwitch(L, *SI, DT, LI, SE, MSSAU)) if (!unswitchTrivialSwitch(L, *SI, DT, LI, SE, MSSAU))
// Couldn't unswitch this one so we're done. // Couldn't unswitch this one so we're done.
return Changed; return Changed;
// Mark that we managed to unswitch something. // Mark that we managed to unswitch something.
Show All 12 Lines do {
} }
auto *BI = dyn_cast<BranchInst>(CurrentTerm); auto *BI = dyn_cast<BranchInst>(CurrentTerm);
if (!BI) if (!BI)
// We do not understand other terminator instructions. // We do not understand other terminator instructions.
return Changed; return Changed;
// Don't bother trying to unswitch past an unconditional branch or a branch // Don't bother trying to unswitch past an unconditional branch or a branch
// with a constant value. These should be removed by simplify-cfg prior to // with a constant value. These should be removed by simplifycfg prior to
// running this pass. // running this pass.
if (!BI->isConditional() || isa<Constant>(BI->getCondition())) if (!BI->isConditional() || isa<Constant>(BI->getCondition()))
return Changed; return Changed;
// Found a trivial condition candidate: non-foldable conditional branch. If // Found a trivial condition candidate: non-foldable conditional branch. If
// we fail to unswitch this, we can't do anything else that is trivial. // we fail to unswitch this, we can't do anything else that is trivial.
if (!unswitchTrivialBranch(L, *BI, DT, LI, SE, MSSAU)) if (!unswitchTrivialBranch(L, *BI, DT, LI, SE, MSSAU))
return Changed; return Changed;
▲ Show 20 Lines • Show All 2,188 Lines • Show Last 20 Lines

llvm/test/Analysis/MemorySSA/update-remove-dead-blocks.ll

; RUN: opt -loop-unswitch -loop-reduce -loop-simplifycfg -verify-memoryssa -S %s | FileCheck %s ; RUN: opt -loop-unswitch -loop-reduce -loop-simplifycfg -verify-memoryssa -S %s | FileCheck %s
; TODO: also run with NPM, but currently LSR does not preserve LCSSA, causing a verification failure on the test. ; TODO: also run with NPM, but currently LSR does not preserve LCSSA, causing a verification failure on the test.
; opt -passes='loop-mssa(unswitch<nontrivial>,loop-reduce,simplify-cfg)' -verify-memoryssa -S %s | FileCheck %s ; opt -passes='loop-mssa(unswitch<nontrivial>,loop-reduce,simplifycfg)' -verify-memoryssa -S %s | FileCheck %s
; Test case for PR47557. ; Test case for PR47557.
; REQUIRES: x86-registered-target ; REQUIRES: x86-registered-target
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
Show All 34 Lines

llvm/test/Other/cgscc-disconnected-invalidation.ll

; Test that patterns of transformations which disconnect a region of the call ; Test that patterns of transformations which disconnect a region of the call
; graph mid-traversal and then invalidate it function correctly. ; graph mid-traversal and then invalidate it function correctly.
; ;
; RUN: opt -S -passes='cgscc(inline,function(simplify-cfg))' < %s | FileCheck %s ; RUN: opt -S -passes='cgscc(inline,function(simplifycfg))' < %s | FileCheck %s
define internal void @test_scc_internal(i1 %flag) { define internal void @test_scc_internal(i1 %flag) {
; CHECK-NOT: @test_scc_internal ; CHECK-NOT: @test_scc_internal
entry: entry:
br i1 %flag, label %then, label %else br i1 %flag, label %then, label %else
then: then:
call void @test_scc_internal(i1 false) call void @test_scc_internal(i1 false)
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Other/cgscc-iterate-function-mutation.ll

; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(simplify-cfg))' -S < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(simplifycfg))' -S < %s | FileCheck %s
declare void @readnone() nofree nosync readnone declare void @readnone() nofree nosync readnone
declare void @unknown() declare void @unknown()
declare void @reference_function_pointer(void()*) nofree nosync readnone declare void @reference_function_pointer(void()*) nofree nosync readnone
; The @test1_* set of functions checks that when we mutate functions with ; The @test1_* set of functions checks that when we mutate functions with
; simplify-cfg to delete call edges and this ends up splitting both the SCCs ; simplifycfg to delete call edges and this ends up splitting both the SCCs
; and the RefSCCs that those functions are in, we re-run the CGSCC passes to ; and the RefSCCs that those functions are in, we re-run the CGSCC passes to
; observe the refined call graph structure. ; observe the refined call graph structure.
; CHECK: define void @test1_a() { ; CHECK: define void @test1_a() {
define void @test1_a() { define void @test1_a() {
call void @test1_b1() call void @test1_b1()
call void @test1_b2() call void @test1_b2()
call void @test1_b3() call void @test1_b3()
▲ Show 20 Lines • Show All 325 Lines • Show Last 20 Lines

llvm/test/Other/pass-pipelines.ll

Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
; CHECK-O2-NEXT: OpenMP specific optimizations ; CHECK-O2-NEXT: OpenMP specific optimizations
; CHECK-O2-NEXT: Deduce function attributes ; CHECK-O2-NEXT: Deduce function attributes
; Next up is the main function pass pipeline. It shouldn't be split up and ; Next up is the main function pass pipeline. It shouldn't be split up and
; should contain the main loop pass pipeline as well. ; should contain the main loop pass pipeline as well.
; CHECK-O2-NEXT: FunctionPass Manager ; CHECK-O2-NEXT: FunctionPass Manager
; CHECK-O2-NOT: Manager ; CHECK-O2-NOT: Manager
; CHECK-O2: Loop Pass Manager ; CHECK-O2: Loop Pass Manager
; CHECK-O2-NOT: Manager ; CHECK-O2-NOT: Manager
; FIXME: We shouldn't be pulling out to simplify-cfg and instcombine and ; FIXME: We shouldn't be pulling out to simplifycfg and instcombine and
; causing new loop pass managers. ; causing new loop pass managers.
; CHECK-O2: Simplify the CFG ; CHECK-O2: Simplify the CFG
; CHECK-O2-NOT: Manager ; CHECK-O2-NOT: Manager
; CHECK-O2: Combine redundant instructions ; CHECK-O2: Combine redundant instructions
; CHECK-O2-NOT: Manager ; CHECK-O2-NOT: Manager
; CHECK-O2: Loop Pass Manager ; CHECK-O2: Loop Pass Manager
; CHECK-O2-NOT: Manager ; CHECK-O2-NOT: Manager
; FIXME: It isn't clear that we need yet another loop pass pipeline ; FIXME: It isn't clear that we need yet another loop pass pipeline
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Other/print-module-scope.ll

; This test is checking basic properties of -print-module-scope options: ; This test is checking basic properties of -print-module-scope options:
; - dumps all the module IR at once ; - dumps all the module IR at once
; - all the function attributes are shown, including those of declarations ; - all the function attributes are shown, including those of declarations
; - works on top of -print-after and -filter-print-funcs ; - works on top of -print-after and -filter-print-funcs
; ;
; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \ ; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \
; RUN: -simplifycfg -print-after=simplifycfg -print-module-scope \ ; RUN: -simplifycfg -print-after=simplifycfg -print-module-scope \
; RUN: | FileCheck %s -check-prefix=CFG ; RUN: | FileCheck %s -check-prefix=CFG
; RUN: opt < %s 2>&1 -disable-output \ ; RUN: opt < %s 2>&1 -disable-output \
; RUN: -passes=simplify-cfg -print-after-all -print-module-scope \ ; RUN: -passes=simplifycfg -print-after-all -print-module-scope \
; RUN: | FileCheck %s -check-prefix=CFG ; RUN: | FileCheck %s -check-prefix=CFG
; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \ ; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \
; RUN: -simplifycfg -print-after=simplifycfg -filter-print-funcs=foo -print-module-scope \ ; RUN: -simplifycfg -print-after=simplifycfg -filter-print-funcs=foo -print-module-scope \
; RUN: | FileCheck %s -check-prefix=FOO ; RUN: | FileCheck %s -check-prefix=FOO
; RUN: opt < %s 2>&1 -disable-output \ ; RUN: opt < %s 2>&1 -disable-output \
; RUN: -passes=simplify-cfg -print-after-all -filter-print-funcs=foo -print-module-scope \ ; RUN: -passes=simplifycfg -print-after-all -filter-print-funcs=foo -print-module-scope \
; RUN: | FileCheck %s -check-prefix=FOO ; RUN: | FileCheck %s -check-prefix=FOO
; CFG: IR Dump After {{Simplify the CFG|SimplifyCFGPass}} {{.*}}foo ; CFG: IR Dump After {{Simplify the CFG|SimplifyCFGPass}} {{.*}}foo
; CFG-NEXT: ModuleID = ; CFG-NEXT: ModuleID =
; CFG: define void @foo ; CFG: define void @foo
; CFG: define void @bar ; CFG: define void @bar
; CFG: declare void @baz ; CFG: declare void @baz
; CFG: IR Dump After {{.*}}bar ; CFG: IR Dump After {{.*}}bar
Show All 33 Lines

llvm/test/Transforms/Coroutines/ArgAddr.ll

; Need to move users of allocas that were moved into the coroutine frame after ; Need to move users of allocas that were moved into the coroutine frame after
; coro.begin. ; coro.begin.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define nonnull i8* @f(i32 %n) "coroutine.presplit"="1" { define nonnull i8* @f(i32 %n) "coroutine.presplit"="1" {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[ID:%.*]] = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* bitcast ([3 x void (%f.Frame*)*]* @f.resumers to i8*)) ; CHECK-NEXT: [[ID:%.*]] = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* bitcast ([3 x void (%f.Frame*)*]* @f.resumers to i8*))
; CHECK-NEXT: [[N_ADDR:%.*]] = alloca i32, align 4 ; CHECK-NEXT: [[N_ADDR:%.*]] = alloca i32, align 4
; CHECK-NEXT: store i32 [[N:%.*]], i32* [[N_ADDR]], align 4 ; CHECK-NEXT: store i32 [[N:%.*]], i32* [[N_ADDR]], align 4
; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @malloc(i32 24) ; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @malloc(i32 24)
▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloc-with-param-O0.ll

; Check that we can handle the case when both alloc function and ; Check that we can handle the case when both alloc function and
; the user body consume the same argument. ; the user body consume the same argument.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
; using copy of this (as it would happen under -O0) ; using copy of this (as it would happen under -O0)
define i8* @f_copy(i64 %this_arg) "coroutine.presplit"="1" { define i8* @f_copy(i64 %this_arg) "coroutine.presplit"="1" {
entry: entry:
%this.addr = alloca i64 %this.addr = alloca i64
store i64 %this_arg, i64* %this.addr store i64 %this_arg, i64* %this.addr
%this = load i64, i64* %this.addr %this = load i64, i64* %this.addr
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloc-with-param-O2.ll

; Check that we can handle the case when both alloc function and ; Check that we can handle the case when both alloc function and
; the user body consume the same argument. ; the user body consume the same argument.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
; using this directly (as it would happen under -O2) ; using this directly (as it would happen under -O2)
define i8* @f_direct(i64 %this) "coroutine.presplit"="1" { define i8* @f_direct(i64 %this) "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @myAlloc(i64 %this, i32 %size) %alloc = call i8* @myAlloc(i64 %this, i32 %size)
%hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc) %hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc)
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-01.ll

; Tests that CoroSplit can succesfully determine allocas should live on the frame ; Tests that CoroSplit can succesfully determine allocas should live on the frame
; if their aliases are used across suspension points through PHINode. ; if their aliases are used across suspension points through PHINode.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i1 %n) "coroutine.presplit"="1" { define i8* @f(i1 %n) "coroutine.presplit"="1" {
entry: entry:
%x = alloca i64 %x = alloca i64
%y = alloca i64 %y = alloca i64
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-02.ll

; Tests that if an alloca is escaped through storing the address, ; Tests that if an alloca is escaped through storing the address,
; the alloac will be put on the frame. ; the alloac will be put on the frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%x = alloca i64 %x = alloca i64
%y = alloca i32* %y = alloca i32*
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-03.ll

; Tests that allocas escaped through function calls will live on the frame. ; Tests that allocas escaped through function calls will live on the frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%x = alloca i64 %x = alloca i64
%y = alloca i64 %y = alloca i64
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-04.ll

; Tests that CoroSplit can succesfully determine allocas should live on the frame ; Tests that CoroSplit can succesfully determine allocas should live on the frame
; if their aliases are used across suspension points through PHINode. ; if their aliases are used across suspension points through PHINode.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i1 %n) "coroutine.presplit"="1" { define i8* @f(i1 %n) "coroutine.presplit"="1" {
entry: entry:
%x = alloca i64 %x = alloca i64
br i1 %n, label %flag_true, label %flag_false br i1 %n, label %flag_true, label %flag_false
flag_true: flag_true:
%x.alias1 = bitcast i64* %x to i32* %x.alias1 = bitcast i64* %x to i32*
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-05.ll

; Tests that allocas after coro.begin are properly that do not need to ; Tests that allocas after coro.begin are properly that do not need to
; live on the frame are properly moved to the .resume function. ; live on the frame are properly moved to the .resume function.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
%hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc) %hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc)
%x = alloca i32 %x = alloca i32
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-06.ll

; Test that in some simple cases allocas will not live on the frame even ; Test that in some simple cases allocas will not live on the frame even
; though their pointers are stored. ; though their pointers are stored.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%handle = type { i8* } %handle = type { i8* }
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%0 = alloca %"handle", align 8 %0 = alloca %"handle", align 8
%1 = alloca %"handle"*, align 8 %1 = alloca %"handle"*, align 8
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-07.ll

; Tests that CoroSplit can succesfully determine allocas should live on the frame ; Tests that CoroSplit can succesfully determine allocas should live on the frame
; if their aliases are used across suspension points through PHINode. ; if their aliases are used across suspension points through PHINode.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i1 %n) "coroutine.presplit"="1" { define i8* @f(i1 %n) "coroutine.presplit"="1" {
entry: entry:
%x = alloca i64 %x = alloca i64
%y = alloca i64 %y = alloca i64
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-alloca-08.ll

; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i8* @malloc(i64) declare i8* @malloc(i64)
%i8.array = type { [100 x i8] } %i8.array = type { [100 x i8] }
▲ Show 20 Lines • Show All 73 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-byval-param.ll

; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%promise_type = type { i8 } %promise_type = type { i8 }
%struct.A = type <{ i64, i64, i32, [4 x i8] }> %struct.A = type <{ i64, i64, i32, [4 x i8] }>
; Function Attrs: noinline ssp uwtable mustprogress ; Function Attrs: noinline ssp uwtable mustprogress
define %promise_type* @foo(%struct.A* nocapture readonly byval(%struct.A) align 8 %a1) #0 { define %promise_type* @foo(%struct.A* nocapture readonly byval(%struct.A) align 8 %a1) #0 {
entry: entry:
%__promise = alloca %promise_type, align 1 %__promise = alloca %promise_type, align 1
%a2 = alloca %struct.A, align 8 %a2 = alloca %struct.A, align 8
▲ Show 20 Lines • Show All 118 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-catchswitch-cleanuppad.ll

; Tests the PHI nodes in cleanuppads for catchswitch instructions are correctly ; Tests the PHI nodes in cleanuppads for catchswitch instructions are correctly
; split up. ; split up.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
declare i32 @__CxxFrameHandler3(...) declare i32 @__CxxFrameHandler3(...)
define i8* @f2(i1 %val) "coroutine.presplit"="1" personality i32 (...)* @__CxxFrameHandler3 { define i8* @f2(i1 %val) "coroutine.presplit"="1" personality i32 (...)* @__CxxFrameHandler3 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%valueA = call i32 @f(); %valueA = call i32 @f();
%valueB = call i32 @f(); %valueB = call i32 @f();
%need.alloc = call i1 @llvm.coro.alloc(token %id) %need.alloc = call i1 @llvm.coro.alloc(token %id)
▲ Show 20 Lines • Show All 104 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-catchswitch.ll

; Verifies that we can insert the spill for a PHI preceding the catchswitch ; Verifies that we can insert the spill for a PHI preceding the catchswitch
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
target triple = "i686-pc-windows-msvc" target triple = "i686-pc-windows-msvc"
; CHECK-LABEL: define void @f( ; CHECK-LABEL: define void @f(
define void @f(i1 %cond) "coroutine.presplit"="1" personality i32 0 { define void @f(i1 %cond) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%id = call token @llvm.coro.id(i32 8, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 8, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-debug.ll

; Tests that debug information is sane after coro-split ; Tests that debug information is sane after coro-split
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
source_filename = "simple-repro.c" source_filename = "simple-repro.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; Function Attrs: noinline nounwind ; Function Attrs: noinline nounwind
define i8* @f(i32 %x) #0 !dbg !6 { define i8* @f(i32 %x) #0 !dbg !6 {
entry: entry:
▲ Show 20 Lines • Show All 164 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-eh-aware-edge-split-00.ll

; Check that we can handle edge splits leading into a landingpad ; Check that we can handle edge splits leading into a landingpad
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: define internal fastcc void @f.resume( ; CHECK-LABEL: define internal fastcc void @f.resume(
define void @f(i1 %cond) "coroutine.presplit"="1" personality i32 0 { define void @f(i1 %cond) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 87 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-eh-aware-edge-split-01.ll

; Check that we can handle edge splits leading into a landingpad ; Check that we can handle edge splits leading into a landingpad
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: define internal fastcc void @g.resume( ; CHECK-LABEL: define internal fastcc void @g.resume(
define void @g(i1 %cond, i32 %x, i32 %y) "coroutine.presplit"="1" personality i32 0 { define void @g(i1 %cond, i32 %x, i32 %y) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-eh-aware-edge-split-02.ll

; Check that we can handle edge splits leading into a landingpad ; Check that we can handle edge splits leading into a landingpad
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: define internal fastcc void @h.resume( ; CHECK-LABEL: define internal fastcc void @h.resume(
define void @h(i1 %cond, i32 %x, i32 %y) "coroutine.presplit"="1" personality i32 0 { define void @h(i1 %cond, i32 %x, i32 %y) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 16, i8* null, i8* null, i8* null)
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-arrayalloca.ll

; Check that we can handle spills of array allocas ; Check that we can handle spills of array allocas
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
declare void @consume.double.ptr(double*) declare void @consume.double.ptr(double*)
declare void @consume.i32.ptr(i32*) declare void @consume.i32.ptr(i32*)
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%prefix = alloca double %prefix = alloca double
%data = alloca i32, i32 4 %data = alloca i32, i32 4
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-00.ll

; Check that we can handle spills of array allocas ; Check that we can handle spills of array allocas
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
; Function Attrs: noinline optnone uwtable ; Function Attrs: noinline optnone uwtable
define i8* @f(i1 %cond) "coroutine.presplit"="1" { define i8* @f(i1 %cond) "coroutine.presplit"="1" {
entry: entry:
%data = alloca %struct.big_structure, align 1 %data = alloca %struct.big_structure, align 1
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-01.ll

; Tests that variables in a Corotuine whose lifetime range is not overlapping each other ; Tests that variables in a Corotuine whose lifetime range is not overlapping each other
; re-use the same slot in Coroutine frame. ; re-use the same slot in Coroutine frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s
%"struct.task::promise_type" = type { i8 } %"struct.task::promise_type" = type { i8 }
%struct.awaitable = type { i8 } %struct.awaitable = type { i8 }
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
define void @a(i1 zeroext %cond) "coroutine.presplit"="1" { define void @a(i1 zeroext %cond) "coroutine.presplit"="1" {
entry: entry:
%__promise = alloca %"struct.task::promise_type", align 1 %__promise = alloca %"struct.task::promise_type", align 1
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-02.ll

; Tests that variables of different type in a Corotuine whose lifetime range is not overlapping each other ; Tests that variables of different type in a Corotuine whose lifetime range is not overlapping each other
; re-use the same slot in Coroutine frame. ; re-use the same slot in Coroutine frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s
%"struct.task::promise_type" = type { i8 } %"struct.task::promise_type" = type { i8 }
%struct.awaitable = type { i8 } %struct.awaitable = type { i8 }
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
%struct.big_structure.2 = type { [300 x i8] } %struct.big_structure.2 = type { [300 x i8] }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
declare void @consume.2(%struct.big_structure.2*) declare void @consume.2(%struct.big_structure.2*)
define void @a(i1 zeroext %cond) "coroutine.presplit"="1" { define void @a(i1 zeroext %cond) "coroutine.presplit"="1" {
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-03.ll

; Check that we should not reuse alloca sotrage in O0. ; Check that we should not reuse alloca sotrage in O0.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
; Function Attrs: noinline optnone uwtable ; Function Attrs: noinline optnone uwtable
define i8* @f(i1 %cond) "coroutine.presplit"="1" { define i8* @f(i1 %cond) "coroutine.presplit"="1" {
entry: entry:
%data = alloca %struct.big_structure, align 1 %data = alloca %struct.big_structure, align 1
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-04.ll

; Tests that variables of different type with incompatible alignment in a Corotuine whose lifetime ; Tests that variables of different type with incompatible alignment in a Corotuine whose lifetime
; range is not overlapping each other should not re-use the same slot in Coroutine frame. ; range is not overlapping each other should not re-use the same slot in Coroutine frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s
%"struct.task::promise_type" = type { i8 } %"struct.task::promise_type" = type { i8 }
%struct.awaitable = type { i8 } %struct.awaitable = type { i8 }
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
%struct.big_structure.2 = type { [300 x i8] } %struct.big_structure.2 = type { [300 x i8] }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
declare void @consume.2(%struct.big_structure.2*) declare void @consume.2(%struct.big_structure.2*)
define void @a(i1 zeroext %cond) "coroutine.presplit"="1" { define void @a(i1 zeroext %cond) "coroutine.presplit"="1" {
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-reuse-alloca-05.ll

; Tests that variables of different type with incompatible alignment in a Corotuine whose ; Tests that variables of different type with incompatible alignment in a Corotuine whose
; lifetime range is not overlapping each other re-use the same slot in CorotuineFrame. ; lifetime range is not overlapping each other re-use the same slot in CorotuineFrame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -reuse-storage-in-coroutine-frame -S | FileCheck %s
%"struct.task::promise_type" = type { i8 } %"struct.task::promise_type" = type { i8 }
%struct.awaitable = type { i8 } %struct.awaitable = type { i8 }
%struct.big_structure = type { [500 x i8] } %struct.big_structure = type { [500 x i8] }
%struct.big_structure.2 = type { [400 x i8] } %struct.big_structure.2 = type { [400 x i8] }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @consume(%struct.big_structure*) declare void @consume(%struct.big_structure*)
declare void @consume.2(%struct.big_structure.2*) declare void @consume.2(%struct.big_structure.2*)
define void @a(i1 zeroext %cond) "coroutine.presplit"="1" { define void @a(i1 zeroext %cond) "coroutine.presplit"="1" {
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-frame-unreachable.ll

; Check that coro-split doesn't choke on intrinsics in unreachable blocks ; Check that coro-split doesn't choke on intrinsics in unreachable blocks
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S
define i8* @f(i1 %arg) "coroutine.presplit"="1" personality i32 0 { define i8* @f(i1 %arg) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%arg.addr = alloca i1 %arg.addr = alloca i1
store i1 %arg, i1* %arg.addr store i1 %arg, i1* %arg.addr
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
Show All 40 Lines

llvm/test/Transforms/Coroutines/coro-frame.ll

; Check that we can handle spills of the result of the invoke instruction ; Check that we can handle spills of the result of the invoke instruction
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i64 %this) "coroutine.presplit"="1" personality i32 0 { define i8* @f(i64 %this) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%this.addr = alloca i64 %this.addr = alloca i64
store i64 %this, i64* %this.addr store i64 %this, i64* %this.addr
%this1 = load i64, i64* %this.addr %this1 = load i64, i64* %this.addr
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-heap-elide.ll

; Tests that the dynamic allocation and deallocation of the coroutine frame is ; Tests that the dynamic allocation and deallocation of the coroutine frame is
; elided and any tail calls referencing the coroutine frame has the tail ; elided and any tail calls referencing the coroutine frame has the tail
; call attribute removed. ; call attribute removed.
; RUN: opt < %s -S \ ; RUN: opt < %s -S \
; RUN: -passes='cgscc(inline,function(coro-elide,instsimplify,simplify-cfg))' \ ; RUN: -passes='cgscc(inline,function(coro-elide,instsimplify,simplifycfg))' \
; RUN: -aa-pipeline='basic-aa' | FileCheck %s ; RUN: -aa-pipeline='basic-aa' | FileCheck %s
declare void @print(i32) nounwind declare void @print(i32) nounwind
%f.frame = type {i32} %f.frame = type {i32}
declare void @bar(i8*) declare void @bar(i8*)
▲ Show 20 Lines • Show All 352 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-materialize.ll

; Verifies that we materialize instruction across suspend points ; Verifies that we materialize instruction across suspend points
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i32 %n) "coroutine.presplit"="1" { define i8* @f(i32 %n) "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
%hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc) %hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc)
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-padding.ll

; Check that we will insert the correct padding if natural alignment of the ; Check that we will insert the correct padding if natural alignment of the
; spilled data does not match the alignment specified in alloca instruction. ; spilled data does not match the alignment specified in alloca instruction.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%PackedStruct = type <{ i64 }> %PackedStruct = type <{ i64 }>
declare void @consume(%PackedStruct*) declare void @consume(%PackedStruct*)
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%data = alloca %PackedStruct, align 32 %data = alloca %PackedStruct, align 32
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-param-copy.ll

; Check that we create copy the data from the alloca into the coroutine ; Check that we create copy the data from the alloca into the coroutine
; frame slot if it was written to. ; frame slot if it was written to.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%a.addr = alloca i64 ; read-only before coro.begin %a.addr = alloca i64 ; read-only before coro.begin
%a = load i64, i64* %a.addr ; cannot modify the value, don't need to copy %a = load i64, i64* %a.addr ; cannot modify the value, don't need to copy
%x.addr = alloca i64 %x.addr = alloca i64
call void @use(i64* %x.addr) ; uses %x.addr before coro.begin call void @use(i64* %x.addr) ; uses %x.addr before coro.begin
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-retcon-frame.ll

; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
target datalayout = "p:64:64:64" target datalayout = "p:64:64:64"
declare void @prototype_f(i8*, i1) declare void @prototype_f(i8*, i1)
declare noalias i8* @allocate(i32 %size) declare noalias i8* @allocate(i32 %size)
declare void @deallocate(i8* %ptr) declare void @deallocate(i8* %ptr)
declare void @init(i64 *%ptr) declare void @init(i64 *%ptr)
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-retcon-once-value2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,coro-cleanup' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,coro-cleanup' -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.12.0" target triple = "x86_64-apple-macosx10.12.0"
define {i8*, i32*} @f(i8* %buffer, i32* %ptr) "coroutine.presplit"="1" { define {i8*, i32*} @f(i8* %buffer, i32* %ptr) "coroutine.presplit"="1" {
entry: entry:
%temp = alloca i32, align 4 %temp = alloca i32, align 4
%id = call token @llvm.coro.id.retcon.once(i32 8, i32 8, i8* %buffer, i8* bitcast (void (i8*, i1)* @prototype to i8*), i8* bitcast (i8* (i32)* @allocate to i8*), i8* bitcast (void (i8*)* @deallocate to i8*)) %id = call token @llvm.coro.id.retcon.once(i32 8, i32 8, i8* %buffer, i8* bitcast (void (i8*, i1)* @prototype to i8*), i8* bitcast (i8* (i32)* @allocate to i8*), i8* bitcast (void (i8*)* @deallocate to i8*))
%hdl = call i8* @llvm.coro.begin(token %id, i8* null) %hdl = call i8* @llvm.coro.begin(token %id, i8* null)
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-retcon-resume-values2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg,coro-cleanup' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg,coro-cleanup' -S | FileCheck %s
define i8* @f(i8* %buffer, i32 %n) "coroutine.presplit"="1" { define i8* @f(i8* %buffer, i32 %n) "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id.retcon(i32 8, i32 4, i8* %buffer, i8* bitcast (i8* (i8*, i32)* @prototype to i8*), i8* bitcast (i8* (i32)* @allocate to i8*), i8* bitcast (void (i8*)* @deallocate to i8*)) %id = call token @llvm.coro.id.retcon(i32 8, i32 4, i8* %buffer, i8* bitcast (i8* (i8*, i32)* @prototype to i8*), i8* bitcast (i8* (i32)* @allocate to i8*), i8* bitcast (void (i8*)* @deallocate to i8*))
%hdl = call i8* @llvm.coro.begin(token %id, i8* null) %hdl = call i8* @llvm.coro.begin(token %id, i8* null)
%value0 = call i32 (...) @llvm.coro.suspend.retcon.i32() %value0 = call i32 (...) @llvm.coro.suspend.retcon.i32()
%sum0 = call i32 @add(i32 %n, i32 %value0) %sum0 = call i32 @add(i32 %n, i32 %value0)
%value1 = call i32 (...) @llvm.coro.suspend.retcon.i32() %value1 = call i32 (...) @llvm.coro.suspend.retcon.i32()
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-retcon-unreachable.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='function(coro-early),cgscc(coro-split),function(simplify-cfg,early-cse)' -S | FileCheck %s ; RUN: opt < %s -passes='function(coro-early),cgscc(coro-split),function(simplifycfg,early-cse)' -S | FileCheck %s
target datalayout = "E-p:64:64" target datalayout = "E-p:64:64"
%swift.type = type { i64 } %swift.type = type { i64 }
%swift.opaque = type opaque %swift.opaque = type opaque
%T4red215EmptyCollectionV = type opaque %T4red215EmptyCollectionV = type opaque
%TSi = type <{ i64 }> %TSi = type <{ i64 }>
define hidden swiftcc { i8*, %swift.opaque* } @no_suspends(i8* %buffer, i64 %arg) #1 { define hidden swiftcc { i8*, %swift.opaque* } @no_suspends(i8* %buffer, i64 %arg) #1 {
Show All 39 Lines

llvm/test/Transforms/Coroutines/coro-spill-after-phi.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Verifies that we insert spills of PHI instruction _after) all PHI Nodes ; Verifies that we insert spills of PHI instruction _after) all PHI Nodes
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
; Verifies that the both phis are stored correctly in the coroutine frame ; Verifies that the both phis are stored correctly in the coroutine frame
; CHECK: %f.Frame = type { void (%f.Frame*)*, void (%f.Frame*)*, i32, i32, i1 } ; CHECK: %f.Frame = type { void (%f.Frame*)*, void (%f.Frame*)*, i32, i32, i1 }
define i8* @f(i1 %n) "coroutine.presplit"="1" { define i8* @f(i1 %n) "coroutine.presplit"="1" {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[ID:%.*]] = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* bitcast ([3 x void (%f.Frame*)*]* @f.resumers to i8*)) ; CHECK-NEXT: [[ID:%.*]] = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* bitcast ([3 x void (%f.Frame*)*]* @f.resumers to i8*))
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-spill-corobegin.ll

; Check that we can spills coro.begin from an inlined inner coroutine. ; Check that we can spills coro.begin from an inlined inner coroutine.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%g.Frame = type { void (%g.Frame*)*, void (%g.Frame*)*, i32, i1, i32 } %g.Frame = type { void (%g.Frame*)*, void (%g.Frame*)*, i32, i1, i32 }
@g.resumers = private constant [3 x void (%g.Frame*)*] [void (%g.Frame*)* @g.dummy, void (%g.Frame*)* @g.dummy, void (%g.Frame*)* @g.dummy] @g.resumers = private constant [3 x void (%g.Frame*)*] [void (%g.Frame*)* @g.dummy, void (%g.Frame*)* @g.dummy, void (%g.Frame*)* @g.dummy]
declare void @g.dummy(%g.Frame*) declare void @g.dummy(%g.Frame*)
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-spill-defs-before-corobegin.ll

; Verifies that phi and invoke definitions before CoroBegin are spilled properly. ; Verifies that phi and invoke definitions before CoroBegin are spilled properly.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
define i8* @f(i1 %n) "coroutine.presplit"="1" personality i32 0 { define i8* @f(i1 %n) "coroutine.presplit"="1" personality i32 0 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32() %size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size) %alloc = call i8* @malloc(i32 %size)
%flag = call i1 @check(i8* %alloc) %flag = call i1 @check(i8* %alloc)
br i1 %flag, label %flag_true, label %flag_false br i1 %flag, label %flag_true, label %flag_false
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-spill-promise.ll

; Check that promise object is reloaded from the correct index of the coro frame. ; Check that promise object is reloaded from the correct index of the coro frame.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%"class.task::promise_type" = type { [64 x i8] } %"class.task::promise_type" = type { [64 x i8] }
declare void @consume(i32*) declare void @consume(i32*)
declare void @consume2(%"class.task::promise_type"*) declare void @consume2(%"class.task::promise_type"*)
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-00.ll

; Tests that coro-split pass splits the coroutine into f, f.resume and f.destroy ; Tests that coro-split pass splits the coroutine into f, f.resume and f.destroy
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f() "coroutine.presplit"="1" { define i8* @f() "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%need.alloc = call i1 @llvm.coro.alloc(token %id) %need.alloc = call i1 @llvm.coro.alloc(token %id)
br i1 %need.alloc, label %dyn.alloc, label %begin br i1 %need.alloc, label %dyn.alloc, label %begin
dyn.alloc: dyn.alloc:
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-02.ll

; Tests that coro-split can handle the case when a code after coro.suspend uses ; Tests that coro-split can handle the case when a code after coro.suspend uses
; a value produces between coro.save and coro.suspend (%Result.i19) ; a value produces between coro.save and coro.suspend (%Result.i19)
; and checks whether stray coro.saves are properly removed ; and checks whether stray coro.saves are properly removed
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @print(i32) declare void @print(i32)
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-alloc.ll

; Tests that coro-split passes initialized values to coroutine frame allocator. ; Tests that coro-split passes initialized values to coroutine frame allocator.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i32 %argument) "coroutine.presplit"="1" { define i8* @f(i32 %argument) "coroutine.presplit"="1" {
entry: entry:
%argument.addr = alloca i32, align 4 %argument.addr = alloca i32, align 4
%incremented = add i32 %argument, 1 %incremented = add i32 %argument, 1
store i32 %incremented, i32* %argument.addr, align 4 store i32 %incremented, i32* %argument.addr, align 4
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%need.alloc = call i1 @llvm.coro.alloc(token %id) %need.alloc = call i1 @llvm.coro.alloc(token %id)
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-dbg.ll

; Make sure that coro-split correctly deals with debug information. ; Make sure that coro-split correctly deals with debug information.
; The test here is simply that it does not result in bad IR that will crash opt. ; The test here is simply that it does not result in bad IR that will crash opt.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -disable-output ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -disable-output
source_filename = "coro.c" source_filename = "coro.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
declare void @bar(...) local_unnamed_addr #2 declare void @bar(...) local_unnamed_addr #2
▲ Show 20 Lines • Show All 108 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-eh-00.ll

; Tests that coro-split removes cleanup code after coro.end in resume functions ; Tests that coro-split removes cleanup code after coro.end in resume functions
; and retains it in the start function. ; and retains it in the start function.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f(i1 %val) "coroutine.presplit"="1" personality i32 3 { define i8* @f(i1 %val) "coroutine.presplit"="1" personality i32 3 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%hdl = call i8* @llvm.coro.begin(token %id, i8* null) %hdl = call i8* @llvm.coro.begin(token %id, i8* null)
call void @print(i32 0) call void @print(i32 0)
br i1 %val, label %resume, label %susp br i1 %val, label %resume, label %susp
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-eh-01.ll

; Tests that coro-split removes cleanup code after coro.end in resume functions ; Tests that coro-split removes cleanup code after coro.end in resume functions
; and retains it in the start function. ; and retains it in the start function.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define i8* @f2(i1 %val) "coroutine.presplit"="1" personality i32 4 { define i8* @f2(i1 %val) "coroutine.presplit"="1" personality i32 4 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%hdl = call i8* @llvm.coro.begin(token %id, i8* null) %hdl = call i8* @llvm.coro.begin(token %id, i8* null)
call void @print(i32 0) call void @print(i32 0)
br i1 %val, label %resume, label %susp br i1 %val, label %resume, label %susp
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-hidden.ll

; Tests that coro-split can convert functions with hidden visibility. ; Tests that coro-split can convert functions with hidden visibility.
; These may be generated by a frontend such as Clang, when inlining with ; These may be generated by a frontend such as Clang, when inlining with
; '-fvisibility-inlines-hidden'. ; '-fvisibility-inlines-hidden'.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define hidden i8* @f() "coroutine.presplit"="1" { define hidden i8* @f() "coroutine.presplit"="1" {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%need.alloc = call i1 @llvm.coro.alloc(token %id) %need.alloc = call i1 @llvm.coro.alloc(token %id)
br i1 %need.alloc, label %dyn.alloc, label %begin br i1 %need.alloc, label %dyn.alloc, label %begin
dyn.alloc: dyn.alloc:
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-musttail.ll

; Tests that coro-split will convert coro.resume followed by a suspend to a ; Tests that coro-split will convert coro.resume followed by a suspend to a
; musttail call. ; musttail call.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define void @f() #0 { define void @f() #0 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%alloc = call i8* @malloc(i64 16) #3 %alloc = call i8* @malloc(i64 16) #3
%vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc) %vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc)
%save = call token @llvm.coro.save(i8* null) %save = call token @llvm.coro.save(i8* null)
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-musttail1.ll

; Tests that coro-split will convert coro.resume followed by a suspend to a ; Tests that coro-split will convert coro.resume followed by a suspend to a
; musttail call. ; musttail call.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define void @f() #0 { define void @f() #0 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%alloc = call i8* @malloc(i64 16) #3 %alloc = call i8* @malloc(i64 16) #3
%vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc) %vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc)
%save = call token @llvm.coro.save(i8* null) %save = call token @llvm.coro.save(i8* null)
▲ Show 20 Lines • Show All 93 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-musttail2.ll

; Tests that coro-split will convert coro.resume followed by a suspend to a ; Tests that coro-split will convert coro.resume followed by a suspend to a
; musttail call. ; musttail call.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define void @fakeresume1(i8*) { define void @fakeresume1(i8*) {
entry: entry:
ret void; ret void;
} }
define void @fakeresume2(i64* align 8) { define void @fakeresume2(i64* align 8) {
entry: entry:
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-musttail3.ll

; Tests that coro-split will convert coro.resume followed by a suspend to a ; Tests that coro-split will convert coro.resume followed by a suspend to a
; musttail call. ; musttail call.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
define void @f() #0 { define void @f() #0 {
entry: entry:
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%alloc = call i8* @malloc(i64 16) #3 %alloc = call i8* @malloc(i64 16) #3
%vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc) %vFrame = call noalias nonnull i8* @llvm.coro.begin(token %id, i8* %alloc)
%save = call token @llvm.coro.save(i8* null) %save = call token @llvm.coro.save(i8* null)
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-sink-lifetime-01.ll

; Tests that coro-split will optimize the lifetime.start maker of each local variable, ; Tests that coro-split will optimize the lifetime.start maker of each local variable,
; sink them to the places after the suspend block. ; sink them to the places after the suspend block.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @print(i32) declare void @print(i32)
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-sink-lifetime-02.ll

; Tests that coro-split will optimize the lifetime.start maker of each local variable, ; Tests that coro-split will optimize the lifetime.start maker of each local variable,
; sink them to the places after the suspend block. ; sink them to the places after the suspend block.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i1 @getcond() declare i1 @getcond()
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @print(i32) declare void @print(i32)
▲ Show 20 Lines • Show All 64 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-sink-lifetime-03.ll

; Corresponding to coro-split-sink-lifetime-01.ll. This file tests that whether the CoroFrame ; Corresponding to coro-split-sink-lifetime-01.ll. This file tests that whether the CoroFrame
; pass knows the operand of lifetime.start intrinsic may be GEP as well. ; pass knows the operand of lifetime.start intrinsic may be GEP as well.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @print(i32) declare void @print(i32)
▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-split-sink-lifetime-04.ll

; Tests that coro-split will optimize the lifetime.start maker of each local variable, ; Tests that coro-split will optimize the lifetime.start maker of each local variable,
; sink them to the places after the suspend block. ; sink them to the places after the suspend block.
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
%"struct.std::coroutine_handle" = type { i8* } %"struct.std::coroutine_handle" = type { i8* }
%"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" } %"struct.std::coroutine_handle.0" = type { %"struct.std::coroutine_handle" }
%"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" } %"struct.lean_future<int>::Awaiter" = type { i32, %"struct.std::coroutine_handle.0" }
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @print(i32) declare void @print(i32)
declare void @consume.i8(i8) declare void @consume.i8(i8)
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/coro-zero-alloca.ll

; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @free(i8*) declare void @free(i8*)
declare void @usePointer(i8*) declare void @usePointer(i8*)
declare void @usePointer2([0 x i8]*) declare void @usePointer2([0 x i8]*)
declare token @llvm.coro.id(i32, i8* readnone, i8* nocapture readonly, i8*) declare token @llvm.coro.id(i32, i8* readnone, i8* nocapture readonly, i8*)
declare i64 @llvm.coro.size.i64() declare i64 @llvm.coro.size.i64()
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/Coroutines/no-suspend.ll

; Test no suspend coroutines ; Test no suspend coroutines
; RUN: opt < %s -passes='cgscc(coro-split),simplify-cfg,early-cse,simplify-cfg' -S | FileCheck %s ; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse,simplifycfg' -S | FileCheck %s
; Coroutine with no-suspends will turn into: ; Coroutine with no-suspends will turn into:
; ;
; CHECK-LABEL: define void @no_suspends( ; CHECK-LABEL: define void @no_suspends(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: alloca ; CHECK-NEXT: alloca
; CHECK-NEXT: bitcast ; CHECK-NEXT: bitcast
; CHECK-NEXT: call void @print(i32 %n) ; CHECK-NEXT: call void @print(i32 %n)
▲ Show 20 Lines • Show All 422 Lines • Show Last 20 Lines

llvm/test/Transforms/Inline/monster_scc.ll

Show All 11 Lines
; ;
; Note that the exact number of calls in each function doesn't really matter. ; Note that the exact number of calls in each function doesn't really matter.
; It is mostly a function of cost thresholds and visit order. Because this is an ; It is mostly a function of cost thresholds and visit order. Because this is an
; SCC there is no "right" or "wrong" answer here as long as no function blows up ; SCC there is no "right" or "wrong" answer here as long as no function blows up
; to be *huge*. The specific concerning pattern is if one or more functions get ; to be *huge*. The specific concerning pattern is if one or more functions get
; more than 16 calls in them. ; more than 16 calls in them.
; ;
; This test is extracted from the following C++ program compiled with Clang. ; This test is extracted from the following C++ program compiled with Clang.
; The IR is simplified with SROA, instcombine, and simplify-cfg. Then C++ ; The IR is simplified with SROA, instcombine, and simplifycfg. Then C++
; linkage stuff, attributes, target specific things, metadata and comments were ; linkage stuff, attributes, target specific things, metadata and comments were
; removed. The order of the fuctions is also made more predictable than Clang's ; removed. The order of the fuctions is also made more predictable than Clang's
; output order. ; output order.
; ;
; void g(int); ; void g(int);
; ;
; template <bool K, int N> void f(bool *B, bool *E) { ; template <bool K, int N> void f(bool *B, bool *E) {
; if (K) ; if (K)
▲ Show 20 Lines • Show All 405 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/assume-align.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=instcombine,simplify-cfg < %s 2>&1 | FileCheck %s ; RUN: opt -S -passes=instcombine,simplifycfg < %s 2>&1 | FileCheck %s
declare void @llvm.assume(i1 noundef) declare void @llvm.assume(i1 noundef)
define void @f1(i8* %a) { define void @f1(i8* %a) {
; CHECK-LABEL: @f1( ; CHECK-LABEL: @f1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[PTR:%.*]] = getelementptr inbounds i8, i8* [[A:%.*]], i64 4 ; CHECK-NEXT: [[PTR:%.*]] = getelementptr inbounds i8, i8* [[A:%.*]], i64 4
; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint i8* [[PTR]] to i64 ; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint i8* [[PTR]] to i64
▲ Show 20 Lines • Show All 80 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnroll/peel-loop-inner.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 -S -passes='require<opt-remark-emit>,loop-unroll<peeling;no-runtime>,simplify-cfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s ; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop-unroll<peeling;no-runtime>,simplifycfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s
define void @basic(i32 %K, i32 %N) { define void @basic(i32 %K, i32 %N) {
; CHECK-LABEL: @basic( ; CHECK-LABEL: @basic(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[OUTER:%.*]] ; CHECK-NEXT: br label [[OUTER:%.*]]
; CHECK: outer: ; CHECK: outer:
; CHECK-NEXT: [[I:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[I_INC:%.*]], [[OUTER_BACKEDGE:%.*]] ] ; CHECK-NEXT: [[I:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[I_INC:%.*]], [[OUTER_BACKEDGE:%.*]] ]
; CHECK-NEXT: [[CMP_INNER_PEEL8:%.*]] = icmp sgt i32 [[K:%.*]], 3 ; CHECK-NEXT: [[CMP_INNER_PEEL8:%.*]] = icmp sgt i32 [[K:%.*]], 3
Show All 36 Lines

llvm/test/Transforms/LoopUnroll/peel-loop.ll

; RUN: opt < %s -S -loop-unroll -unroll-force-peel-count=3 -verify-dom-info -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -instcombine | FileCheck %s ; RUN: opt < %s -S -loop-unroll -unroll-force-peel-count=3 -verify-dom-info -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -instcombine | FileCheck %s
; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop-unroll,simplify-cfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s ; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop-unroll,simplifycfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s
; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop-unroll<peeling;no-runtime>,simplify-cfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s ; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop-unroll<peeling;no-runtime>,simplifycfg,instcombine' -unroll-force-peel-count=3 -verify-dom-info | FileCheck %s
; Basic loop peeling - check that we can peel-off the first 3 loop iterations ; Basic loop peeling - check that we can peel-off the first 3 loop iterations
; when explicitly requested. ; when explicitly requested.
; CHECK-LABEL: @basic ; CHECK-LABEL: @basic
; CHECK: %[[CMP0:.*]] = icmp sgt i32 %k, 0 ; CHECK: %[[CMP0:.*]] = icmp sgt i32 %k, 0
; CHECK: br i1 %[[CMP0]], label %[[NEXT0:.*]], label %for.end ; CHECK: br i1 %[[CMP0]], label %[[NEXT0:.*]], label %for.end
; CHECK: [[NEXT0]]: ; CHECK: [[NEXT0]]:
; CHECK: store i32 0, i32* %p, align 4 ; CHECK: store i32 0, i32* %p, align 4
▲ Show 20 Lines • Show All 104 Lines • Show Last 20 Lines

llvm/test/Transforms/PGOProfile/chr.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 -chr -instcombine -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -enable-new-pm=0 | FileCheck %s ; RUN: opt < %s -chr -instcombine -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -enable-new-pm=0 | FileCheck %s
; RUN: opt < %s -passes='require<profile-summary>,function(chr,instcombine,simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='require<profile-summary>,function(chr,instcombine,simplifycfg)' -S | FileCheck %s
declare void @foo() declare void @foo()
declare void @bar() declare void @bar()
; Simple case. ; Simple case.
; Roughly, ; Roughly,
; t0 = *i ; t0 = *i
; if ((t0 & 1) != 0) // Likely true ; if ((t0 & 1) != 0) // Likely true
▲ Show 20 Lines • Show All 2,663 Lines • Show Last 20 Lines

llvm/test/Transforms/PruneEH/2008-06-02-Weak.ll

; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s ; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
; We should not infer 'nounwind' for/from a weak function, ; We should not infer 'nounwind' for/from a weak function,
; since it can be overriden by throwing implementation. ; since it can be overriden by throwing implementation.
; ;
; CHECK-LABEL: define weak void @f() ; CHECK-LABEL: define weak void @f()
define weak void @f() { define weak void @f() {
entry: entry:
ret void ret void
Show All 10 Lines

llvm/test/Transforms/PruneEH/ipo-nounwind.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 -prune-eh -enable-new-pm=0 < %s | FileCheck --check-prefixes=ALL,OLDPM %s ; RUN: opt -S -prune-eh -enable-new-pm=0 < %s | FileCheck --check-prefixes=ALL,OLDPM %s
; RUN: opt -S -passes='function-attrs,function(simplify-cfg)' < %s | FileCheck --check-prefixes=ALL,NEWPM %s ; RUN: opt -S -passes='function-attrs,function(simplifycfg)' < %s | FileCheck --check-prefixes=ALL,NEWPM %s
declare void @may_throw() declare void @may_throw()
; @callee below may be an optimized form of this function, which can ; @callee below may be an optimized form of this function, which can
; throw at runtime (see r265762 for more details): ; throw at runtime (see r265762 for more details):
; ;
; define linkonce_odr void @callee(i32* %ptr) noinline { ; define linkonce_odr void @callee(i32* %ptr) noinline {
; entry: ; entry:
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/PruneEH/looptest.ll

; RUN: opt < %s -prune-eh -S -enable-new-pm=0 | FileCheck %s ; RUN: opt < %s -prune-eh -S -enable-new-pm=0 | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
declare void @nounwind() nounwind declare void @nounwind() nounwind
define internal void @foo() { define internal void @foo() {
call void @nounwind() call void @nounwind()
ret void ret void
} }
Show All 35 Lines

llvm/test/Transforms/PruneEH/musttail.ll

; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s ; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
declare void @noreturn() declare void @noreturn()
define void @testfn() { define void @testfn() {
; A musttail call must be followed by (optional bitcast then) ret, ; A musttail call must be followed by (optional bitcast then) ret,
; so make sure we don't insert an unreachable ; so make sure we don't insert an unreachable
; CHECK: musttail call void @noreturn ; CHECK: musttail call void @noreturn
; CHECK-NOT: unreachable ; CHECK-NOT: unreachable
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
musttail call void @noreturn() #0 musttail call void @noreturn() #0
ret void ret void
} }
attributes #0 = { noreturn } attributes #0 = { noreturn }

llvm/test/Transforms/PruneEH/operand-bundles.ll

; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s ; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
declare void @nounwind() nounwind declare void @nounwind() nounwind
define internal void @foo() { define internal void @foo() {
call void @nounwind() call void @nounwind()
ret void ret void
} }
Show All 17 Lines

llvm/test/Transforms/PruneEH/pr23971.ll

; RUN: opt -S -prune-eh -enable-new-pm=0 < %s | FileCheck %s ; RUN: opt -S -prune-eh -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -S -passes='function-attrs,function(simplify-cfg)' < %s | FileCheck %s ; RUN: opt -S -passes='function-attrs,function(simplifycfg)' < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define void @f() #0 { define void @f() #0 {
entry: entry:
call void asm sideeffect "ret\0A\09", "~{dirflag},~{fpsr},~{flags}"() call void asm sideeffect "ret\0A\09", "~{dirflag},~{fpsr},~{flags}"()
unreachable unreachable
Show All 12 Lines

llvm/test/Transforms/PruneEH/pr26263.ll

; PruneEH is less powerful than simplify-cfg in terms of cfg simplification, ; PruneEH is less powerful than simplifycfg in terms of cfg simplification,
; so it leaves some of the unreachable stuff hanging around. ; so it leaves some of the unreachable stuff hanging around.
; Checking it with CHECK-OLD. ; Checking it with CHECK-OLD.
; ;
; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-OLD ; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-OLD
; RUN: opt -passes='function-attrs,function(simplify-cfg)' -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NEW ; RUN: opt -passes='function-attrs,function(simplifycfg)' -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NEW
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
target triple = "i386-pc-windows-msvc" target triple = "i386-pc-windows-msvc"
declare void @neverthrows() nounwind declare void @neverthrows() nounwind
define void @test1() personality i32 (...)* @__CxxFrameHandler3 { define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
invoke void @neverthrows() invoke void @neverthrows()
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/PruneEH/recursivetest.ll

; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s ; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
; CHECK-LABEL: define internal i32 @foo() ; CHECK-LABEL: define internal i32 @foo()
define internal i32 @foo() personality i32 (...)* @__gxx_personality_v0 { define internal i32 @foo() personality i32 (...)* @__gxx_personality_v0 {
; CHECK-NOT: invoke i32 @foo() ; CHECK-NOT: invoke i32 @foo()
invoke i32 @foo( ) invoke i32 @foo( )
to label %Normal unwind label %Except ; <i32>:1 [#uses=0] to label %Normal unwind label %Except ; <i32>:1 [#uses=0]
Normal: ; preds = %0 Normal: ; preds = %0
ret i32 12 ret i32 12
Show All 20 Lines

llvm/test/Transforms/PruneEH/seh-nounwind.ll

; RUN: opt -S -prune-eh -enable-new-pm=0 < %s | FileCheck %s ; RUN: opt -S -prune-eh -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -S -passes='function-attrs,function(simplify-cfg)' < %s | FileCheck %s ; RUN: opt -S -passes='function-attrs,function(simplifycfg)' < %s | FileCheck %s
; Don't remove invokes of nounwind functions if the personality handles async ; Don't remove invokes of nounwind functions if the personality handles async
; exceptions. The @div function in this test can fault, even though it can't ; exceptions. The @div function in this test can fault, even though it can't
; throw a synchronous exception. ; throw a synchronous exception.
define i32 @div(i32 %n, i32 %d) nounwind { define i32 @div(i32 %n, i32 %d) nounwind {
entry: entry:
%div = sdiv i32 %n, %d %div = sdiv i32 %n, %d
Show All 22 Lines

llvm/test/Transforms/PruneEH/simpletest.ll

; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s ; RUN: opt < %s -prune-eh -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s ; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
declare void @nounwind() nounwind declare void @nounwind() nounwind
define internal void @foo() { define internal void @foo() {
call void @nounwind() call void @nounwind()
ret void ret void
} }
Show All 16 Lines

llvm/test/Transforms/SimplifyCFG/1elt-ptr-vec-alignment-crash.ll

; RUN: opt -passes=simplify-cfg -S < %s | FileCheck %s ; RUN: opt -passes=simplifycfg -S < %s | FileCheck %s
; Ensure that we do not crash when trying to evaluate alignment of a <1 x ???*>. ; Ensure that we do not crash when trying to evaluate alignment of a <1 x ???*>.
%struct.ap = type { i8 } %struct.ap = type { i8 }
%"struct.z::ai" = type { i32 } %"struct.z::ai" = type { i32 }
@x = external dso_local local_unnamed_addr global i32, align 4 @x = external dso_local local_unnamed_addr global i32, align 4
Show All 17 Lines

llvm/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=static < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=static < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE
; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=pic < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=pic < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE
; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=ropi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=ropi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=ropi-rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -mtriple=arm -relocation-model=ropi-rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' -mtriple=arm -relocation-model=static < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' -mtriple=arm -relocation-model=static < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' -mtriple=arm -relocation-model=pic < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' -mtriple=arm -relocation-model=pic < %s | FileCheck %s --check-prefix=CHECK --check-prefix=ENABLE
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' -mtriple=arm -relocation-model=ropi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' -mtriple=arm -relocation-model=ropi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' -mtriple=arm -relocation-model=rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' -mtriple=arm -relocation-model=rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' -mtriple=arm -relocation-model=ropi-rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' -mtriple=arm -relocation-model=ropi-rwpi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=DISABLE
; CHECK: @{{.*}} = private unnamed_addr constant [3 x i32] [i32 1234, i32 5678, i32 15532] ; CHECK: @{{.*}} = private unnamed_addr constant [3 x i32] [i32 1234, i32 5678, i32 15532]
; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @c1, i32* @c2, i32* @c3] ; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @c1, i32* @c2, i32* @c3]
; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @c1, i32* @c2, i32* @c3] ; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @c1, i32* @c2, i32* @c3]
; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @g1, i32* @g2, i32* @g3] ; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @g1, i32* @g2, i32* @g3]
; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @g1, i32* @g2, i32* @g3] ; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32*] [i32* @g1, i32* @g2, i32* @g3]
; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32 (i32, i32)*] [i32 (i32, i32)* @f1, i32 (i32, i32)* @f2, i32 (i32, i32)* @f3] ; ENABLE: @{{.*}} = private unnamed_addr constant [3 x i32 (i32, i32)*] [i32 (i32, i32)* @f1, i32 (i32, i32)* @f2, i32 (i32, i32)* @f3]
; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32 (i32, i32)*] [i32 (i32, i32)* @f1, i32 (i32, i32)* @f2, i32 (i32, i32)* @f3] ; DISABLE-NOT: @{{.*}} = private unnamed_addr constant [3 x i32 (i32, i32)*] [i32 (i32, i32)* @f1, i32 (i32, i32)* @f2, i32 (i32, i32)* @f3]
▲ Show 20 Lines • Show All 119 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/ForwardSwitchConditionToPHI.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -forward-switch-cond=false -S | FileCheck %s --check-prefix=NO_FWD ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -forward-switch-cond=false -S | FileCheck %s --check-prefix=NO_FWD
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -forward-switch-cond=true -S | FileCheck %s --check-prefix=FWD ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -forward-switch-cond=true -S | FileCheck %s --check-prefix=FWD
; RUN: opt < %s -passes='simplify-cfg<no-forward-switch-cond>' -S | FileCheck %s --check-prefix=NO_FWD ; RUN: opt < %s -passes='simplifycfg<no-forward-switch-cond>' -S | FileCheck %s --check-prefix=NO_FWD
; RUN: opt < %s -passes='simplify-cfg<forward-switch-cond>' -S | FileCheck %s --check-prefix=FWD ; RUN: opt < %s -passes='simplifycfg<forward-switch-cond>' -S | FileCheck %s --check-prefix=FWD
; PR10131 ; PR10131
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
target triple = "i386-pc-linux-gnu" target triple = "i386-pc-linux-gnu"
define i32 @t(i32 %m) nounwind readnone { define i32 @t(i32 %m) nounwind readnone {
; NO_FWD-LABEL: @t( ; NO_FWD-LABEL: @t(
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/X86/CoveredLookupTable.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S %s | FileCheck %s ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S %s | FileCheck %s
; RUN: opt -passes='simplify-cfg<switch-to-lookup>' -S %s | FileCheck %s ; RUN: opt -passes='simplifycfg<switch-to-lookup>' -S %s | FileCheck %s
; rdar://15268442 ; rdar://15268442
target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-apple-darwin12.0.0" target triple = "x86_64-apple-darwin12.0.0"
define i3 @coveredswitch_test(i3 %input) { define i3 @coveredswitch_test(i3 %input) {
; CHECK-LABEL: @coveredswitch_test( ; CHECK-LABEL: @coveredswitch_test(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 39 Lines

llvm/test/Transforms/SimplifyCFG/X86/disable-lookup-table.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
; RUN: opt < %s -passes='simplify-cfg<switch-to-lookup>' -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s ; RUN: opt < %s -passes='simplifycfg<switch-to-lookup>' -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
; In the presence of "-no-jump-tables"="true", simplifycfg should not convert switches to lookup tables. ; In the presence of "-no-jump-tables"="true", simplifycfg should not convert switches to lookup tables.
define i32 @foo(i32 %c) "no-jump-tables"="true" { define i32 @foo(i32 %c) "no-jump-tables"="true" {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: switch i32 [[C:%.*]], label [[SW_DEFAULT:%.*]] [ ; CHECK-NEXT: switch i32 [[C:%.*]], label [[SW_DEFAULT:%.*]] [
; CHECK-NEXT: i32 42, label [[RETURN:%.*]] ; CHECK-NEXT: i32 42, label [[RETURN:%.*]]
▲ Show 20 Lines • Show All 64 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/X86/sink-common-code.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -sink-common-insts -S | FileCheck %s ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -sink-common-insts -S | FileCheck %s
; RUN: opt < %s -passes='simplify-cfg<sink-common-insts>' -S | FileCheck %s ; RUN: opt < %s -passes='simplifycfg<sink-common-insts>' -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-pc-linux-gnu" target triple = "x86_64-pc-linux-gnu"
define zeroext i1 @test1(i1 zeroext %flag, i32 %blksA, i32 %blksB, i32 %nblks) { define zeroext i1 @test1(i1 zeroext %flag, i32 %blksA, i32 %blksB, i32 %nblks) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[NBLKS:%.*]], [[BLKSB:%.*]] ; CHECK-NEXT: [[ADD:%.*]] = add i32 [[NBLKS:%.*]], [[BLKSB:%.*]]
▲ Show 20 Lines • Show All 1,561 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/X86/switch-covered-bug.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s
; rdar://17887153 ; rdar://17887153
target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-apple-darwin12.0.0" target triple = "x86_64-apple-darwin12.0.0"
define i64 @test(i3 %arg) { define i64 @test(i3 %arg) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/X86/switch-table-bug.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s
; RUN: opt -S -passes='simplify-cfg<switch-to-lookup>' < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s ; RUN: opt -S -passes='simplifycfg<switch-to-lookup>' < %s -mtriple=x86_64-apple-darwin12.0.0 | FileCheck %s
; rdar://17735071 ; rdar://17735071
target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-apple-darwin12.0.0" target triple = "x86_64-apple-darwin12.0.0"
define i64 @_TFO6reduce1E5toRawfS0_FT_Si(i2) { define i64 @_TFO6reduce1E5toRawfS0_FT_Si(i2) {
; CHECK-LABEL: @_TFO6reduce1E5toRawfS0_FT_Si( ; CHECK-LABEL: @_TFO6reduce1E5toRawfS0_FT_Si(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 33 Lines

llvm/test/Transforms/SimplifyCFG/X86/switch_to_lookup_table.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 -simplifycfg -switch-to-lookup=true -keep-loops=false -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s ; RUN: opt < %s -simplifycfg -switch-to-lookup=true -keep-loops=false -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
; RUN: opt < %s -passes='simplify-cfg<no-keep-loops;switch-to-lookup>' -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s ; RUN: opt < %s -passes='simplifycfg<no-keep-loops;switch-to-lookup>' -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; The table for @f ; The table for @f
; CHECK: @switch.table.f = private unnamed_addr constant [7 x i32] [i32 55, i32 123, i32 0, i32 -1, i32 27, i32 62, i32 1], align 4 ; CHECK: @switch.table.f = private unnamed_addr constant [7 x i32] [i32 55, i32 123, i32 0, i32 -1, i32 27, i32 62, i32 1], align 4
; The char table for char ; The char table for char
; CHECK: @switch.table.char = private unnamed_addr constant [9 x i8] c"7{\00\FF\1B>\01!T", align 1 ; CHECK: @switch.table.char = private unnamed_addr constant [9 x i8] c"7{\00\FF\1B>\01!T", align 1
▲ Show 20 Lines • Show All 1,656 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/basictest.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test CFG simplify removal of branch instructions. ; Test CFG simplify removal of branch instructions.
; ;
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
; RUN: opt < %s -passes=simplify-cfg -S | FileCheck %s ; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s
define void @test1() { define void @test1() {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
br label %1 br label %1
ret void ret void
} }
▲ Show 20 Lines • Show All 135 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/branch-fold-threshold.ll

; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s --check-prefix=NORMAL ; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s --check-prefix=NORMAL
; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -bonus-inst-threshold=2 | FileCheck %s --check-prefix=AGGRESSIVE ; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -bonus-inst-threshold=2 | FileCheck %s --check-prefix=AGGRESSIVE
; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -bonus-inst-threshold=4 | FileCheck %s --check-prefix=WAYAGGRESSIVE ; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S -bonus-inst-threshold=4 | FileCheck %s --check-prefix=WAYAGGRESSIVE
; RUN: opt %s -passes=simplify-cfg -S | FileCheck %s --check-prefix=NORMAL ; RUN: opt %s -passes=simplifycfg -S | FileCheck %s --check-prefix=NORMAL
; RUN: opt %s -passes='simplify-cfg<bonus-inst-threshold=2>' -S | FileCheck %s --check-prefix=AGGRESSIVE ; RUN: opt %s -passes='simplifycfg<bonus-inst-threshold=2>' -S | FileCheck %s --check-prefix=AGGRESSIVE
; RUN: opt %s -passes='simplify-cfg<bonus-inst-threshold=4>' -S | FileCheck %s --check-prefix=WAYAGGRESSIVE ; RUN: opt %s -passes='simplifycfg<bonus-inst-threshold=4>' -S | FileCheck %s --check-prefix=WAYAGGRESSIVE
define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d, i32* %input) { define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d, i32* %input) {
; NORMAL-LABEL: @foo( ; NORMAL-LABEL: @foo(
; AGGRESSIVE-LABEL: @foo( ; AGGRESSIVE-LABEL: @foo(
entry: entry:
%cmp = icmp sgt i32 %d, 3 %cmp = icmp sgt i32 %d, 3
br i1 %cmp, label %cond.end, label %lor.lhs.false br i1 %cmp, label %cond.end, label %lor.lhs.false
; NORMAL: br i1 ; NORMAL: br i1
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/convergent.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
; RUN: opt -S -passes=simplify-cfg < %s | FileCheck %s ; RUN: opt -S -passes=simplifycfg < %s | FileCheck %s
declare void @foo() convergent declare void @foo() convergent
define i32 @test_01(i32 %a) { define i32 @test_01(i32 %a) {
; CHECK-LABEL: @test_01( ; CHECK-LABEL: @test_01(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[A:%.*]], 0 ; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[A:%.*]], 0
; CHECK-NEXT: br i1 [[COND]], label [[MERGE:%.*]], label [[IF_FALSE:%.*]] ; CHECK-NEXT: br i1 [[COND]], label [[MERGE:%.*]], label [[IF_FALSE:%.*]]
Show All 31 Lines

llvm/test/Transforms/SimplifyCFG/multiple-phis.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops=false -S < %s | FileCheck %s ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops=false -S < %s | FileCheck %s
; RUN: opt -passes='simplify-cfg<no-keep-loops>' -S < %s | FileCheck %s ; RUN: opt -passes='simplifycfg<no-keep-loops>' -S < %s | FileCheck %s
; It's not worthwhile to if-convert one of the phi nodes and leave ; It's not worthwhile to if-convert one of the phi nodes and leave
; the other behind, because that still requires a branch. If ; the other behind, because that still requires a branch. If
; SimplifyCFG if-converts one of the phis, it should do both. ; SimplifyCFG if-converts one of the phis, it should do both.
define i32 @upper_bound(i32* %r, i32 %high, i32 %k) nounwind { define i32 @upper_bound(i32* %r, i32 %high, i32 %k) nounwind {
; CHECK-LABEL: @upper_bound( ; CHECK-LABEL: @upper_bound(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/no-md-sink.ll

; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -sink-common-insts -S | FileCheck %s ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -sink-common-insts -S | FileCheck %s
; RUN: opt < %s -passes='simplify-cfg<sink-common-insts>' -S | FileCheck %s ; RUN: opt < %s -passes='simplifycfg<sink-common-insts>' -S | FileCheck %s
define i1 @test1(i1 zeroext %flag, i8* %y) #0 { define i1 @test1(i1 zeroext %flag, i8* %y) #0 {
entry: entry:
br i1 %flag, label %if.then, label %if.else br i1 %flag, label %if.then, label %if.else
if.then: if.then:
%r = call i1 @llvm.type.test(i8* %y, metadata !0) %r = call i1 @llvm.type.test(i8* %y, metadata !0)
br label %if.end br label %if.end
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/preserve-llvm-loop-metadata.ll

; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops=false -S < %s | FileCheck %s ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops=false -S < %s | FileCheck %s
; RUN: opt -passes='simplify-cfg<no-keep-loops>' -S < %s | FileCheck %s ; RUN: opt -passes='simplifycfg<no-keep-loops>' -S < %s | FileCheck %s
define void @test1(i32 %n) #0 { define void @test1(i32 %n) #0 {
entry: entry:
%n.addr = alloca i32, align 4 %n.addr = alloca i32, align 4
%count = alloca i32, align 4 %count = alloca i32, align 4
store i32 %n, i32* %n.addr, align 4 store i32 %n, i32* %n.addr, align 4
%0 = bitcast i32* %count to i8* %0 = bitcast i32* %count to i8*
store i32 0, i32* %count, align 4 store i32 0, i32* %count, align 4
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/rangereduce.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S | FileCheck %s ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -switch-to-lookup -S | FileCheck %s
; RUN: opt < %s -passes='simplify-cfg<switch-to-lookup>' -S | FileCheck %s ; RUN: opt < %s -passes='simplifycfg<switch-to-lookup>' -S | FileCheck %s
target datalayout = "e-n32" target datalayout = "e-n32"
define i32 @test1(i32 %a) { define i32 @test1(i32 %a) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[TMP1:%.*]] = sub i32 [[A:%.*]], 97 ; CHECK-NEXT: [[TMP1:%.*]] = sub i32 [[A:%.*]], 97
; CHECK-NEXT: [[TMP2:%.*]] = lshr i32 [[TMP1]], 2 ; CHECK-NEXT: [[TMP2:%.*]] = lshr i32 [[TMP1]], 2
; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[TMP1]], 30 ; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[TMP1]], 30
▲ Show 20 Lines • Show All 336 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/switch-dead-default.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 -S -passes='simplify-cfg<switch-to-lookup>' -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s ; RUN: opt %s -S -passes='simplifycfg<switch-to-lookup>' -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
declare void @foo(i32) declare void @foo(i32)
define void @test(i1 %a) { define void @test(i1 %a) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: [[A_OFF:%.*]] = add i1 [[A:%.*]], true ; CHECK-NEXT: [[A_OFF:%.*]] = add i1 [[A:%.*]], true
; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i1 [[A_OFF]], true ; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i1 [[A_OFF]], true
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Linesfalse:
call void @foo(i32 3) call void @foo(i32 3)
ret void ret void
default: default:
call void @foo(i32 2) call void @foo(i32 2)
ret void ret void
} }
; Check that we can eliminate both dead cases and dead defaults ; Check that we can eliminate both dead cases and dead defaults
; within a single run of simplify-cfg ; within a single run of simplifycfg
define void @test7(i8 %a) { define void @test7(i8 %a) {
; CHECK-LABEL: @test7( ; CHECK-LABEL: @test7(
; CHECK-NEXT: [[AND:%.*]] = and i8 [[A:%.*]], -2 ; CHECK-NEXT: [[AND:%.*]] = and i8 [[A:%.*]], -2
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[AND]], -2 ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[AND]], -2
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]])
; CHECK-NEXT: [[A_OFF:%.*]] = add i8 [[A]], 1 ; CHECK-NEXT: [[A_OFF:%.*]] = add i8 [[A]], 1
; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i8 [[A_OFF]], 1 ; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i8 [[A_OFF]], 1
; CHECK-NEXT: br i1 [[SWITCH]], label [[TRUE:%.*]], label [[FALSE:%.*]] ; CHECK-NEXT: br i1 [[SWITCH]], label [[TRUE:%.*]], label [[FALSE:%.*]]
Show All 31 Lines

llvm/test/Transforms/SimplifyCFG/switch_undef.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 -keep-loops=false -switch-to-lookup=true -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s ; RUN: opt %s -keep-loops=false -switch-to-lookup=true -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
; RUN: opt %s -passes='simplify-cfg<no-keep-loops;switch-to-lookup>' -S | FileCheck %s ; RUN: opt %s -passes='simplifycfg<no-keep-loops;switch-to-lookup>' -S | FileCheck %s
define void @f6() #0 { define void @f6() #0 {
; CHECK-LABEL: @f6( ; CHECK-LABEL: @f6(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND_I:%.*]] ; CHECK-NEXT: br label [[FOR_COND_I:%.*]]
; CHECK: for.cond.i: ; CHECK: for.cond.i:
; CHECK-NEXT: [[TOBOOL7_I:%.*]] = icmp ne i16 1, 0 ; CHECK-NEXT: [[TOBOOL7_I:%.*]] = icmp ne i16 1, 0
; CHECK-NEXT: br label [[FOR_COND_I]] ; CHECK-NEXT: br label [[FOR_COND_I]]
Show All 20 Lines

llvm/test/Transforms/SimplifyCFG/unprofitable-pr.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 -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -simplifycfg-max-small-block-size=6 -S < %s | FileCheck %s ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -simplifycfg-max-small-block-size=6 -S < %s | FileCheck %s
; RUN: opt -passes=simplify-cfg -simplifycfg-max-small-block-size=6 -S < %s | FileCheck %s ; RUN: opt -passes=simplifycfg -simplifycfg-max-small-block-size=6 -S < %s | FileCheck %s
target datalayout = "e-p:64:64-p5:32:32-A5" target datalayout = "e-p:64:64-p5:32:32-A5"
declare void @llvm.assume(i1) declare void @llvm.assume(i1)
declare i1 @llvm.type.test(i8*, metadata) nounwind readnone declare i1 @llvm.type.test(i8*, metadata) nounwind readnone
define void @test_01(i1 %c, i64* align 1 %ptr) local_unnamed_addr #0 { define void @test_01(i1 %c, i64* align 1 %ptr) local_unnamed_addr #0 {
; CHECK-LABEL: @test_01( ; CHECK-LABEL: @test_01(
▲ Show 20 Lines • Show All 223 Lines • Show Last 20 Lines

llvm/test/Transforms/SimplifyCFG/wc-widen-block.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 -passes=simplify-cfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s ; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
define i32 @basic(i1 %cond_0, i32* %p) { define i32 @basic(i1 %cond_0, i32* %p) {
; CHECK-LABEL: @basic( ; CHECK-LABEL: @basic(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition()
; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]]
; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof [[PROF0:![0-9]+]] ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof [[PROF0:![0-9]+]]
; CHECK: deopt: ; CHECK: deopt:
▲ Show 20 Lines • Show All 441 Lines • Show Last 20 Lines

llvm/tools/bugpoint/CrashDebugger.cpp

Show First 20 Lines • Show All 419 Lines • ▼ Show 20 Lines for (BasicBlock *Successor : successors(&*BB))
Successor->removePredecessor(&*BB); Successor->removePredecessor(&*BB);
BB->dropAllReferences(); BB->dropAllReferences();
} }
for (auto *BB : Unreachable) for (auto *BB : Unreachable)
BB->eraseFromParent(); BB->eraseFromParent();
} }
/// ReduceCrashingBlocks reducer - This works by setting the terminators of /// ReduceCrashingBlocks reducer - This works by setting the terminators of
/// all terminators except the specified basic blocks to a 'ret' instruction, /// all terminators except the specified basic blocks to a 'ret' instruction,
/// then running the simplify-cfg pass. This has the effect of chopping up /// then running the simplifycfg pass. This has the effect of chopping up
/// the CFG really fast which can reduce large functions quickly. /// the CFG really fast which can reduce large functions quickly.
/// ///
class ReduceCrashingBlocks : public ListReducer<const BasicBlock *> { class ReduceCrashingBlocks : public ListReducer<const BasicBlock *> {
BugDriver &BD; BugDriver &BD;
BugTester TestFn; BugTester TestFn;
public: public:
ReduceCrashingBlocks(BugDriver &BD, BugTester testFn) ReduceCrashingBlocks(BugDriver &BD, BugTester testFn)
▲ Show 20 Lines • Show All 996 Lines • Show Last 20 Lines