[PATCH] D69868: Allow "callbr" to return non-void values
Bill Wendling via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 7 16:37:36 PST 2019
void marked an inline comment as done.
void added inline comments.
================
Comment at: llvm/docs/LangRef.rst:7159
+<poisonvalues>`. Care should be taken if the '``normal``' block is also listed
+in the '``other``' blocks. The outputs may or may not result in :ref:`poison
+values <poisonvalues>` depending on the behavior of the inline assembly.
----------------
nickdesaulniers wrote:
> I assume that's the WIP part? Otherwise there's nothing else here that explicitly adds poison from what I can tell.
You're able to have the "fallthrough" listed in the "indirect" list as well. I'm just pointing out that if the value hasn't been calculated and shoved into the output object (register, etc.) then using that value in the fallthrough branch causes a poisoned value.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D69868/new/
https://reviews.llvm.org/D69868
More information about the llvm-commits
mailing list