diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2023-03-06 15:13:55 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2023-03-06 15:42:57 +0700 |
| commit | 0354463b9e77b909ec54526aa0375750b77c4282 (patch) | |
| tree | 9a965bd375be2165407ef58267db630127445895 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.h | |
| parent | 2fbf18b40026b46bd380fae58575cebbd9801ff4 (diff) | |
| download | llvm-0354463b9e77b909ec54526aa0375750b77c4282.zip llvm-0354463b9e77b909ec54526aa0375750b77c4282.tar.gz llvm-0354463b9e77b909ec54526aa0375750b77c4282.tar.bz2 | |
[SimpleLoopUnswtich] Support zext when injecting invariant conditions
This patch handles the following case: turn
```
if (x <u Invariant1) {
if (zext(x) <u Invariant2) {
...
}
}
```
into
```
if (x <u Invariant1) {
if (zext(Invariant1) <=u Invariant2) { // Unswitch here
// No check needed
} else {
if (zext(x) <u Invariant2) {
...
}
}
}
```
Differential Revision: https://reviews.llvm.org/D138015
Reviewed By: skatkov
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.h')
0 files changed, 0 insertions, 0 deletions