projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0977894) | patch
[ValueTracking] Treat branch on undef as UB as well
authorNikita Popov <npopov@redhat.com>
Mon, 2 Jan 2023 10:16:09 +0000 (11:16 +0100)
committerNikita Popov <npopov@redhat.com>
Mon, 2 Jan 2023 11:34:23 +0000 (12:34 +0100)
commite44b11d9b6baa0bfc3d864d455a4b5717499f05b
tree95939c0799331196002f1db5737c277c40359260tree | snapshot
parent09778940d1aea0cd3ff99df47cd2dc2fe5b09bb9commit | diff
[ValueTracking] Treat branch on undef as UB as well

We were already treating branch on poison as UB, but branch on
undef is also UB. Move the checks into the correct function.

From LangRef for br:

> If ‘cond’ is poison or undef, this instruction has undefined behavior.

From LangRef for switch:

> If ‘value’ is poison or undef, this instruction has undefined behavior.

There is a minor regression in dont-distribute-phi.ll, apparently
we handle that pattern in logical but not bitwise form.
28 files changed:
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll diff | blob | history
llvm/test/Transforms/Attributor/IPConstantProp/return-argument.ll diff | blob | history
llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll diff | blob | history
llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll diff | blob | history
llvm/test/Transforms/Attributor/IPConstantProp/solve-after-each-resolving-undefs-for-function.ll diff | blob | history
llvm/test/Transforms/Attributor/align.ll diff | blob | history
llvm/test/Transforms/Attributor/dereferenceable-1.ll diff | blob | history
llvm/test/Transforms/Attributor/dereferenceable-2-inseltpoison.ll diff | blob | history
llvm/test/Transforms/Attributor/dereferenceable-2.ll diff | blob | history
llvm/test/Transforms/Attributor/memory_locations.ll diff | blob | history
llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll diff | blob | history
llvm/test/Transforms/Attributor/nocapture-1.ll diff | blob | history
llvm/test/Transforms/Attributor/nonnull.ll diff | blob | history
llvm/test/Transforms/Attributor/norecurse.ll diff | blob | history
llvm/test/Transforms/Attributor/nounwind.ll diff | blob | history
llvm/test/Transforms/Attributor/potential.ll diff | blob | history
llvm/test/Transforms/Attributor/range.ll diff | blob | history
llvm/test/Transforms/Attributor/reduced/crash_ptr2int_cgscc.ll diff | blob | history
llvm/test/Transforms/Attributor/returned.ll diff | blob | history
llvm/test/Transforms/Attributor/undefined_behavior.ll diff | blob | history
llvm/test/Transforms/Attributor/value-simplify-assume.ll diff | blob | history
llvm/test/Transforms/Attributor/value-simplify-instances.ll diff | blob | history
llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll diff | blob | history
llvm/test/Transforms/Attributor/value-simplify-reachability.ll diff | blob | history
llvm/test/Transforms/Attributor/value-simplify.ll diff | blob | history
llvm/test/Transforms/Attributor/willreturn.ll diff | blob | history
llvm/test/Transforms/InstCombine/dont-distribute-phi.ll diff | blob | history
Domain: System / Toolchain;