https://llvm.org/bugs/show_bug.cgi?id=26718
Michael Kruse <l...@meinersbur.de> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |INVALID
--- Comment #12 from Michael Kruse <l...@meinersbur.de> ---
"Fixed" as the verifier now rejects such IR since
http://reviews.llvm.org/D18443 (r264528)
During the review Sanjoy mentioned that InstsInThisBlock is just a performance
optimization to quickly accept instructions that were just seen in the
BasicBlock. This means it should behave the same as if only DT.dominates(Op, U)
decides whether it the domination is correct, which rejects such IR.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
