shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/lib/Transforms/Utils
History
DianQK 7be55b0076
[SimplifyCFG] Check if the return instruction causes undefined behavior 
This should fix https://github.com/rust-lang/rust/issues/107681.

Return undefined to a noundef return value is undefined.

Example:

```
define noundef i32 @test_ret_noundef(i1 %cond) {
entry:
  br i1 %cond, label %bb1, label %bb2
bb1:
  br label %bb2
bb2:
  %r = phi i32 [ undef, %entry ], [ 1, %bb1 ]
  ret i32 %r
}
```

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D144319
2023-02-18 23:31:57 +08:00
..
AddDiscriminators.cpp
[NFC] Removed call to getInstList() from range loops on BBs.
2022-11-29 17:33:10 -08:00
AMDGPUEmitPrintf.cpp
…
ASanStackFrameLayout.cpp
…
AssumeBundleBuilder.cpp
[NFC] Use TypeSize::getKnownMinValue() instead of TypeSize::getKnownMinSize()
2023-01-11 16:36:39 +00:00
BasicBlockUtils.cpp
Recommit "[LoopUnroll] Directly update DT instead of DTU."
2023-01-20 16:33:40 +00:00
BreakCriticalEdges.cpp
[NFC] Rename Function::insertBasicBlockAt() to Function::insert().
2022-12-15 10:03:37 -08:00
BuildLibCalls.cpp
[BuildLibCalls][RISCV] Sign extend return value of bcmp on riscv64.
2022-12-20 11:47:04 -08:00
BypassSlowDivision.cpp
Don't include Optional.h
2022-12-14 21:16:22 -08:00
CallGraphUpdater.cpp
Use PoisonValue instead of UndefValue when RAUWing unreachable code [NFC]
2022-09-10 14:28:01 +01:00
CallPromotionUtils.cpp
[PGO][indirect-call-promotion] Add extra parameter check for musttail callsite
2022-12-02 10:50:55 -08:00
CanonicalizeAliases.cpp
[llvm] Fix comment typos (NFC)
2022-08-07 00:16:14 -07:00
CanonicalizeFreezeInLoops.cpp
…
CloneFunction.cpp
[Cloning] Pass blocks as ArrayRef to remapInstructions (NFC).
2023-02-03 20:03:16 +00:00
CloneModule.cpp
CloneModule: Handling cloning ifuncs
2022-11-23 12:22:06 -05:00
CMakeLists.txt
[CGSCC] Add pass which counts the max number of times we visit a function
2023-01-30 10:06:53 -08:00
CodeExtractor.cpp
CodeExtractor: Fix creating addrspacecasts for lifetime markers
2023-02-17 22:27:29 -04:00
CodeLayout.cpp
Move global namespace cl::opt inside llvm::
2023-02-14 00:09:44 -08:00
CodeMoverUtils.cpp
Don't include Optional.h
2022-12-14 21:16:22 -08:00
CountVisits.cpp
[CGSCC] Add pass which counts the max number of times we visit a function
2023-01-30 10:06:53 -08:00
CtorUtils.cpp
Recommit: [NFC][IR] Make Module::getGlobalList() private
2023-02-14 15:12:51 -08:00
Debugify.cpp
[DebugInfo][NFC] Rename is/setUndef to is/setKilllocation
2023-01-06 09:15:02 +00:00
DemoteRegToStack.cpp
[IR] Fix bug in DemoteRegToStack where DenseMap is not used
2023-02-07 15:15:15 +08:00
EntryExitInstrumenter.cpp
[NFC][TargetParser] Remove llvm/ADT/Triple.h
2023-02-07 12:39:46 +00:00
EscapeEnumerator.cpp
[NFC][TargetParser] Remove llvm/ADT/Triple.h
2023-02-07 12:39:46 +00:00
Evaluator.cpp
[IR] llvm::Optional => std::optional
2022-12-05 04:13:11 +00:00
FixIrreducible.cpp
[Transforms] Qualify auto in range-based for loops (NFC)
2022-08-27 21:21:02 -07:00
FlattenCFG.cpp
[NFC] Cleanup: Replaces BB->getInstList().splice() with BB->splice().
2022-12-01 15:37:51 -08:00
FunctionComparator.cpp
[FuncitonComparator] Clamp StringRef compare output to [-1,1]
2023-01-16 01:44:55 +01:00
FunctionImportUtils.cpp
[Transforms] Qualify auto in range-based for loops (NFC)
2022-08-14 12:51:58 -07:00
GlobalStatus.cpp
[GlobalOpt] Perform store->dominated load forwarding for stored once globals
2022-06-24 09:09:26 -07:00
GuardUtils.cpp
…
HelloWorld.cpp
…
InjectTLIMappings.cpp
…
InlineFunction.cpp
Lift EHPersonalities from Analysis to IR (NFC)
2023-01-27 18:05:13 +01:00
InstructionNamer.cpp
…
IntegerDivision.cpp
[IntegerDivision][AMDGPU] Use CreateLogicalOr to block poison propagation.
2022-09-15 09:38:02 -07:00
LCSSA.cpp
[LCSSA] Update unreachable uses with poison.
2022-09-04 22:26:18 +01:00
LibCallsShrinkWrap.cpp
[NFC] Rename Instruction::insertAt() to Instruction::insertInto(), to be consistent with BasicBlock::insertInto()
2022-12-15 12:27:45 -08:00
Local.cpp
[TLS]: Clamp the alignment of TLS global variables if required by the target
2023-02-08 10:34:56 -08:00
LoopPeel.cpp
[LoopPeel] Expose ValueMap of last peeled iteration. NFC
2022-12-19 09:55:29 -05:00
LoopRotationUtils.cpp
[LoopRotate] Clear block and loop dispo cache when merging blocks.
2022-12-15 22:22:22 +00:00
LoopSimplify.cpp
[NFC] Cleanup: Replace Function::getBasicBlockList().splice() with Function::splice()
2022-12-14 15:34:19 -08:00
LoopUnroll.cpp
[loop unroll] Fix branch-weights for unrolled loop.
2023-02-14 12:00:53 -08:00
LoopUnrollAndJam.cpp
[LoopUnrollAndJam] Visit phi operand dependencies in post-order
2023-01-05 00:05:49 -08:00
LoopUnrollRuntime.cpp
[Transforms,InstCombine] std::optional::value => operator*/operator->
2022-12-16 22:57:56 +00:00
LoopUtils.cpp
[DebugInfo][NFC] Rename is/setUndef to is/setKilllocation
2023-01-06 09:15:02 +00:00
LoopVersioning.cpp
[LoopVersioning] Remove legacy pass
2023-02-14 16:12:00 -08:00
LowerAtomic.cpp
IR: Add atomicrmw uinc_wrap and udec_wrap
2023-01-24 17:55:11 -04:00
LowerGlobalDtors.cpp
[Transforms] Qualify auto in range-based for loops (NFC)
2022-08-27 21:21:02 -07:00
LowerIFunc.cpp
Utils: Add utility pass to lower ifuncs
2023-01-17 22:33:56 -05:00
LowerInvoke.cpp
[NFC] Replaced BB->getInstList().{erase(),pop_front(),pop_back()} with eraseFromParent().
2022-11-23 22:47:46 -08:00
LowerMemIntrinsics.cpp
TargetTransformInfo: convert Optional to std::optional
2022-12-02 11:42:15 -08:00
LowerSwitch.cpp
[Transform] Rewrite LowerSwitch using APInt
2023-01-24 20:22:06 -08:00
MatrixUtils.cpp
[Matrix] Refactor tiled loops in a struct. NFC
2022-07-26 11:02:22 -07:00
Mem2Reg.cpp
[WebAssembly] Initial support for reference type externref in clang
2023-02-17 18:48:48 -08:00
MemoryOpRemark.cpp
[NFC] Use TypeSize::geFixedValue() instead of TypeSize::getFixedSize()
2023-01-11 16:49:38 +00:00
MemoryTaggingSupport.cpp
[IR] Add AllocaInst::getAllocationSize() (NFC)
2023-01-06 15:36:16 +01:00
MetaRenamer.cpp
[Metarenamer] Use 'inst' as default name for instructions
2023-02-15 15:35:25 +07:00
MisExpect.cpp
[llvm][misexpect] Re-enable MisExpect for SampleProfiling
2022-08-26 20:24:10 +00:00
ModuleUtils.cpp
[SanitizerBinaryMetadata] Declare callbacks extern weak
2023-01-24 12:54:20 +01:00
NameAnonGlobals.cpp
[LegacyPM] Remove NameAnonGlobalLegacyPass
2022-07-17 14:38:29 -07:00
PredicateInfo.cpp
Transforms/Utils: llvm::Optional => std::optional
2022-12-12 08:29:05 +00:00
PromoteMemoryToRegister.cpp
[Assignment Tracking][mem2reg] Remove overly defensive assert
2023-02-10 09:57:05 +00:00
RelLookupTableConverter.cpp
[RelLookupTableConverter] Bail on invalid pointer size (x32)
2022-08-09 09:36:39 +02:00
SampleProfileInference.cpp
[BOLT] using jump weights in profi
2023-01-11 14:34:43 -08:00
SampleProfileLoaderBaseUtil.cpp
[BOLT] introducing profi params
2023-01-09 12:03:28 -08:00
SanitizerStats.cpp
…
ScalarEvolutionExpander.cpp
[NFC][SCEVExpander] CmpSelCost: use the cost of the expression, not operand
2023-01-22 17:48:49 +03:00
SCCPSolver.cpp
Recommit "[SCCP] Support NUW/NSW inference for all overflowing binary operators."
2023-01-30 20:15:28 +00:00
SimplifyCFG.cpp
[SimplifyCFG] Check if the return instruction causes undefined behavior
2023-02-18 23:31:57 +08:00
SimplifyIndVar.cpp
[SimplifyIndVar][NFC] Refactor Binary Operator's flag strengthening
2023-02-10 15:23:16 +07:00
SimplifyLibCalls.cpp
[InstCombine] propagate FMF in exp2->ldexp fold
2023-02-10 10:02:25 -05:00
SizeOpts.cpp
…
SplitModule.cpp
[llvm] Qualify auto in range-based for loops (NFC)
2022-08-13 12:55:42 -07:00
SSAUpdater.cpp
[debug-info] Followup to e0374fb2f4, avoid changing codegen
2023-02-07 12:24:48 +00:00
SSAUpdaterBulk.cpp
[NFC] Missing whitespace in SSAUpdaterBulk debug output.
2023-01-09 10:15:25 +01:00
StripGCRelocates.cpp
…
StripNonLineTableDebugInfo.cpp
Reland [LegacyPM] Remove some legacy passes
2023-02-07 12:56:05 -08:00
SymbolRewriter.cpp
…
UnifyFunctionExitNodes.cpp
[NFC] Rename Instruction::insertAt() to Instruction::insertInto(), to be consistent with BasicBlock::insertInto()
2022-12-15 12:27:45 -08:00
UnifyLoopExits.cpp
[BasicBlockUtils] Add a new way for CreateControlFlowHub()
2022-10-31 08:58:54 -05:00
Utils.cpp
Reland [LegacyPM] Remove some legacy passes
2023-02-07 12:56:05 -08:00
ValueMapper.cpp
Move from llvm::makeArrayRef to ArrayRef deduction guides - llvm/ part
2023-01-05 14:11:08 +01:00
VNCoercion.cpp
Use llvm::bit_ceil (NFC)
2023-01-28 16:13:09 -08:00