[PATCH] D104618: [LoopDeletion] Exploit undef when symbolically executing 1st iteration

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 21 05:45:01 PDT 2021


aqjune added a comment.

Hi,
I'm afraid that fixes on `br i1 undef` are still ongoing. I have one GSoC student who will work on fixing them.
Currently the list of buggy transformations are tracked at https://llvm.org/pr46144 .
Would it be a good idea to mark only one of edges live (line 344) and leave comment at pr46144 about this?


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

https://reviews.llvm.org/D104618



More information about the llvm-commits mailing list