projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cfa32a) | patch
[Mem2Reg] Consistently preserve nonnull assume for uninit load
authorNikita Popov <npopov@redhat.com>
Tue, 12 Jul 2022 10:38:52 +0000 (12:38 +0200)
committerNikita Popov <npopov@redhat.com>
Tue, 12 Jul 2022 10:53:08 +0000 (12:53 +0200)
commit3d475dfeb990df5c112535ecc4ec6ffc8f18d4b1
treecdea18cc51a538a3cd2f94dab9356a541d58b4dftree | snapshot
parent3cfa32a71ecfbc1bf993358e32b916cf3483299fcommit | diff
[Mem2Reg] Consistently preserve nonnull assume for uninit load

When performing a !nonnull load from uninitialized memory, we
should preserve the nonnull assume just like in all other cases.
We already do this correctly in the generic mem2reg code, but
don't handle this case when using the optimized single-block
implementation.

Make sure that the optimized implementation exhibits the same
behavior as the generic implementation.
llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp diff | blob | history
llvm/test/Transforms/Mem2Reg/preserve-nonnull-load-metadata.ll diff | blob | history
Domain: System / Toolchain;