diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-02-21 16:05:30 -0600 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-03-06 13:28:04 -0600 |
| commit | 946ea4e3ca4c908bfa7c196b982795f5c390b923 (patch) | |
| tree | 85329b94b297e77a4bf191b432e8c026c9dc5cc7 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 0f5849eeeebc410e420ee11b7e59b4dd28c65318 (diff) | |
| download | llvm-946ea4e3ca4c908bfa7c196b982795f5c390b923.zip llvm-946ea4e3ca4c908bfa7c196b982795f5c390b923.tar.gz llvm-946ea4e3ca4c908bfa7c196b982795f5c390b923.tar.bz2 | |
[InstCombine] Add folds for `(fp_binop ({s|u}itofp x), ({s|u}itofp y))`
The full fold is one of the following:
1) `(fp_binop ({s|u}itofp x), ({s|u}itofp y))`
-> `({s|u}itofp (int_binop x, y))`
2) `(fp_binop ({s|u}itofp x), FpC)`
-> `({s|u}itofp (int_binop x, (fpto{s|u}i FpC)))`
And support the following binops:
`fmul` -> `mul`
`fadd` -> `add`
`fsub` -> `sub`
Proofs: https://alive2.llvm.org/ce/z/zuacA8
The proofs timeout, so they must be reproduced locally.
Closes #82555
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions