diff options
| author | Akshay Deodhar <adeodhar@nvidia.com> | 2024-05-28 11:05:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-28 11:05:38 -0700 |
| commit | 73e22ff3d77db72bb9b6e22342417a5f4fe6afb4 (patch) | |
| tree | 4769938b61978449e9077d65d84f9d6abf6e158b /llvm/lib/Target/WebAssembly/WebAssemblyTargetMachine.cpp | |
| parent | f0899964e4041b1dc70dc66450a7f6b3e3a22262 (diff) | |
| download | llvm-73e22ff3d77db72bb9b6e22342417a5f4fe6afb4.zip llvm-73e22ff3d77db72bb9b6e22342417a5f4fe6afb4.tar.gz llvm-73e22ff3d77db72bb9b6e22342417a5f4fe6afb4.tar.bz2 | |
[Reassociate] Preserve NSW flags after expr tree rewriting (#93105)
We can guarantee NSW on all operands in a reassociated add expression
tree when:
- All adds in an add operator tree are NSW, AND either
- All add operands are guaranteed to be nonnegative, OR
- All adds are also NUW
- Alive2:
- Nonnegative Operands
- 3 operands: https://alive2.llvm.org/ce/z/G4XW6Q
- 4 operands: https://alive2.llvm.org/ce/z/FWcZ6D
- NUW NSW adds: https://alive2.llvm.org/ce/z/vRUxeC
---------
Co-authored-by: Nikita Popov <github@npopov.com>
Diffstat (limited to 'llvm/lib/Target/WebAssembly/WebAssemblyTargetMachine.cpp')
0 files changed, 0 insertions, 0 deletions