[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