[PATCH] D64053: [Verifier] add test case for callbr

Tue Jul 2 14:27:21 PDT 2019

nickdesaulniers abandoned this revision.
nickdesaulniers added a comment.

Good point; while I think this kind of invariant exists from `asm goto` C code that gets generated, I don't think LLVM IR in general requires such an invariant.  This was mostly used to help me debug https://reviews.llvm.org/D64101.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D64053/new/

https://reviews.llvm.org/D64053