[PATCH] D101722: [SCEV] Don't require ControlsExit for gt/lt NoWrap

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed May 5 21:18:07 PDT 2021


aqjune added a comment.

In D101722#2739929 <https://reviews.llvm.org/D101722#2739929>, @reames wrote:

> One thing we need to be careful of is that we've been inconsistent about treating branch on poison as full UB.  I know @aqjune has been working on that, but we might not be ready to be much more aggressive here yet.  I'll let him comment.

The full fix isn't done yet (we have a few places in SimplifyCFG and loop opts where freeze is needed), but I believe it is those that should be fixed if there is any issue.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101722



More information about the llvm-commits mailing list