diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2024-12-06 23:15:31 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-06 23:15:31 +0800 |
| commit | 5fa59edfa73a69ab146d7b9cc115de5770d11dca (patch) | |
| tree | e00288585ca75de6b337633544fd5e1693a8ecb4 /lldb/test/Shell/ScriptInterpreter/Python/python.test | |
| parent | bb3eb0ca0cf0fe454f6845d429190cb30e6fa0f5 (diff) | |
| download | llvm-5fa59edfa73a69ab146d7b9cc115de5770d11dca.zip llvm-5fa59edfa73a69ab146d7b9cc115de5770d11dca.tar.gz llvm-5fa59edfa73a69ab146d7b9cc115de5770d11dca.tar.bz2 | |
[ConstraintElim] Add support for `trunc nsw/nuw` (#118745)
Proof for `trunc nsw nneg X -> trunc nuw X`:
https://alive2.llvm.org/ce/z/ooP6Mt
Diffstat (limited to 'lldb/test/Shell/ScriptInterpreter/Python/python.test')
0 files changed, 0 insertions, 0 deletions