Florian Hahn 0bb1b68330

[Local] Only intersect tbaa metadata if instr moves. (#116682) ...

Preserve tbaa metadata on the replacement instruction, if it does not
move. In that case, the program would be UB, if the aliasing property
encoded in the metadata does not hold.

This makes use of the clarification re tbaa metadata implying UB if the
property does not hold: https://github.com/llvm/llvm-project/pull/116220

Same as https://github.com/llvm/llvm-project/pull/115868, but for !tbaa

PR: https://github.com/llvm/llvm-project/pull/116682

2024-11-20 19:31:16 +00:00

..

2008-11-27-EntryMunge.ll

…

2010-08-26-and.ll

…

2011-04-02-SimplifyDeadBlock.ll

…

2011-04-14-InfLoop.ll

…

2012-07-19-NoSuccessorIndirectBr.ll

…

aa-crash-phi-no-args.ll

…

and-and-cond.ll

…

and-cond.ll

…

assume-edge-dom.ll

…

assume.ll

…

basic.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

bb-unreachable-from-entry.ll

…

branch-debug-info2.ll

…

branch-debug-info.ll

[DebugInfo][RemoveDIs] Make debugify pass convert to/from RemoveDIs mode (#73251)

2023-11-29 13:19:50 +00:00

branch-no-const.ll

…

callbr-edge-split.ll

…

callbr.ll

[IR] Treat callbr as special terminator (PR64215)

2023-08-25 09:20:18 +02:00

codesize-loop.ll

[SimplifyCFG] Reland transform for redirecting phis between unmergeable BB and SuccBB (#68473)

2023-10-28 17:10:20 +08:00

combine-metadata.ll

…

compare.ll

…

conservative-lvi.ll

…

constant-fold-status.ll

Reapply [IR] Avoid creating icmp/fcmp constant expressions (#92885)

2024-05-31 08:55:59 +02:00

crash.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

ddt-crash2.ll

…

ddt-crash3.ll

…

ddt-crash4.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

ddt-crash.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

degenerate-phi.ll

…

divergent-target-test.ll

TTI: Pass function to hasBranchDivergence in a few passes

2023-07-07 09:49:38 -04:00

domtree-updates.ll

…

fold-not-thread.ll

…

free_instructions.ll

Fix typos (#88565)

2024-04-12 14:33:35 -07:00

freeze-impliescond.ll

…

freeze-lvi-edgevaluelocal.ll

…

freeze.ll

…

guard-split-debuginfo.ll

[RemoveDIs] Print IR with debug records by default (#91724)

2024-06-14 15:07:27 +01:00

guards.ll

…

header-succ.ll

…

implied-cond.ll

…

indirectbr-cast-int-op.ll

…

indirectbr-in-predpred.ll

…

indirectbr.ll

…

induction.ll

…

insert-placeholder-to-prevent-infinite-recursion.ll

…

invalidate-lvi.ll

[JumpThreading] Invalidate LVI after combineMetadataForCSE.

2023-09-04 11:50:14 +08:00

is_constant.ll

…

landing-pad.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

loop-phi.ll

[JumpThreading] Regenerate test checks (NFC)

2024-01-09 15:09:17 +01:00

lvi-load.ll

…

lvi-tristate.ll

…

ne-undef.ll

…

no-irreducible-loops.ll

…

noalias-scope-decl.ll

…

nonnull-gep-out-of-bounds.ll

…

or-undef.ll

…

phi-copy-to-pred.ll

…

phi-eq.ll

…

phi-known.ll

[ValueTracking] Use predicates for incoming phi-edges to deduce non-zero

2023-08-22 10:59:02 -05:00

phi-xor-branch.ll

…

pr9331.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

pr15851_hang.ll

…

pr22086.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

pr27840.ll

…

pr33605.ll

…

pr33917.ll

…

pr36133.ll

…

pr40992-indirectbr-folding.ll

…

pr43276.ll

…

pr62908.ll

[ValueTracking] Check for known bits conflict for shl nsw (PR62908)

2023-05-24 10:54:10 +02:00

pr63013.ll

[MemoryBuiltins] Handle phi nodes without operands (PR63013)

2023-05-31 10:47:15 +02:00

pr70651.ll

[JumpThreading] Don't phi translate past loop phi (#70664)

2023-10-31 10:20:07 +01:00

pr79175.ll

Revert "[JumpThreading] Thread over BB with only an unconditional branch" (#88907)

2024-04-16 22:52:19 +08:00

PR33357-lvi-recursion.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

PR37745.ll

…

PR44611-across-header-hang.ll

…

pre-load.ll

…

preserving-debugloc-bitcast.ll

[DebugInfo][JumpThreading] Fix missing debug location updates (#91581)

2024-05-11 16:10:00 +01:00

preserving-debugloc-br.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

preserving-debugloc-fold-select.ll

[DebugInfo][JumpThreading] Fix missing debug location updates (#91581)

2024-05-11 16:10:00 +01:00

range-compare.ll

…

redundant-dbg-info.ll

[RemoveDIs] Print IR with debug records by default (#91724)

2024-06-14 15:07:27 +01:00

removed-use.ll

…

select-unfold-msan.ll

…

select.ll

Revert "[JumpThreading] Thread over BB with only an unconditional branch" (#88907)

2024-04-16 22:52:19 +08:00

simplify-fcmp-inst-no-context-literal-nan.ll

InstSimplify: Handle folding fcmp with literal nans without a context instruction

2023-09-02 10:22:09 -04:00

stale-loop-info-after-unfold-select.ll

…

static-profile.ll

…

thread-cmp.ll

…

thread-debug-info.ll

Fix typo "instrinsic" (#112899)

2024-10-18 15:58:33 +01:00

thread-loads.ll

[Local] Only intersect tbaa metadata if instr moves. (#116682)

2024-11-20 19:31:16 +00:00

thread-prob-1.ll

…

thread-prob-2.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

thread-prob-3.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

thread-prob-4.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

thread-prob-5.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

thread-prob-6.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

thread-prob-7.ll

Revert "[JumpThreading] Thread over BB with only an unconditional branch" (#88907)

2024-04-16 22:52:19 +08:00

thread-two-bbs-cuda.ll

…

thread-two-bbs-msvc.ll

…

thread-two-bbs-threshold.ll

…

thread-two-bbs.ll

Replace uses of ConstantExpr::getCompare. (#91558)

2024-05-09 16:50:01 -07:00

threadable-edge-cast.ll

…

threading_prof1.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

threading_prof2.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

threading_prof3.ll

[JT][CT] Preserve exisiting BPI/BFI during JumpThreading

2023-02-16 16:08:34 +07:00

unreachable-loops.ll

[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)

2024-11-19 08:12:25 +00:00

update-edge-weight.ll

BlockFrequencyInfoImpl: Avoid big numbers, increase precision for small spreads

2023-10-24 20:27:39 -07:00