diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2021-06-23 11:51:36 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2021-06-23 11:53:48 +0700 |
| commit | 842b4c83cb751d5f371ba27881fc92fdbd38d850 (patch) | |
| tree | 9ae108785e9467ecefcb7cbca5be90a8f7863e51 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | f681fd927e883301658dcac9a78109ee0aba12a8 (diff) | |
| download | llvm-842b4c83cb751d5f371ba27881fc92fdbd38d850.zip llvm-842b4c83cb751d5f371ba27881fc92fdbd38d850.tar.gz llvm-842b4c83cb751d5f371ba27881fc92fdbd38d850.tar.bz2 | |
[LoopDeletion] Exploit undef Phi inputs when symbolically executing 1st iteration
Follow-up on Roman's idea expressed in D103959.
- If a Phi has undefined inputs from live blocks:
- and no other inputs, assume it is undef itself;
- and exactly one non-undef input, we can assume that all undefs are equal to this input.
Differential Revision: https://reviews.llvm.org/D104618
Reviewed By: lebedev.ri, nikic
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions