diff options
| author | Juneyoung Lee <aqjune@gmail.com> | 2020-02-29 15:45:04 +0900 |
|---|---|---|
| committer | Juneyoung Lee <aqjune@gmail.com> | 2020-03-04 11:43:31 +0900 |
| commit | 952ad4701cf0d8da79789f6b83ddaa386c60d535 (patch) | |
| tree | be74109ed2e1e52e23140dcfefd696e1cd10dc49 /clang/lib/CodeGen/CodeGenModule.h | |
| parent | e91e1df6ab74006e96b0cca94192e935542705a4 (diff) | |
| download | llvm-952ad4701cf0d8da79789f6b83ddaa386c60d535.zip llvm-952ad4701cf0d8da79789f6b83ddaa386c60d535.tar.gz llvm-952ad4701cf0d8da79789f6b83ddaa386c60d535.tar.bz2 | |
[ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into branch conditions of dominating blocks' terminators
Summary:
```
br i1 c, BB1, BB2:
BB1:
use1(c)
BB2:
use2(c)
```
In BB1 and BB2, c is never undef or poison because otherwise the branch would have triggered UB.
Checked with Alive2
Reviewers: xbolva00, spatel, lebedev.ri, reames, jdoerfert, nlopes, sanjoy
Reviewed By: reames
Subscribers: jdoerfert, hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D75401
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.h')
0 files changed, 0 insertions, 0 deletions