[PATCH] D147704: [Inliner] Preserve nonnull from callsites during inlining
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 13 01:34:31 PDT 2023
nikic requested changes to this revision.
nikic added inline comments.
This revision now requires changes to proceed.
Herald added a subscriber: StephenFan.
================
Comment at: llvm/test/Transforms/PhaseOrdering/dae-dce.ll:22
+; LTO-LABEL: @capture_and_trap(
+; LTO-NEXT: call void @llvm.assume(i1 true) [ "nonnull"(ptr poison) ]
+; LTO-NEXT: tail call void @llvm.trap()
----------------
aeubanks wrote:
> isn't this now UB?
I checked, and this is also caused by not respecting noundef. The noundef on the call is dropped by the time of inlining.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D147704/new/
https://reviews.llvm.org/D147704
More information about the llvm-commits
mailing list