diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-02-23 12:18:50 -0600 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-02-26 15:35:38 -0600 |
| commit | 15a7de697ae5ad88fd96ef7dc39ac479cc6e2eaf (patch) | |
| tree | d028a18e7f449e7fec589809949c760dce5b0fed /llvm/lib/ProfileData/Coverage/CoverageMapping.cpp | |
| parent | e9cdd165d7bce695d13f10df3480f9f66fd28b21 (diff) | |
| download | llvm-15a7de697ae5ad88fd96ef7dc39ac479cc6e2eaf.zip llvm-15a7de697ae5ad88fd96ef7dc39ac479cc6e2eaf.tar.gz llvm-15a7de697ae5ad88fd96ef7dc39ac479cc6e2eaf.tar.bz2 | |
[SelectionDAG] Support sign tracking through `{S|U}INT_TO_FP`
Just a minimal amount of easily provable tracking.
Proofs: https://alive2.llvm.org/ce/z/RQYbdw
Closes #82808
Alive2 to has an issue with `(sitofp i1)`, but it can
be verified by hand: https://godbolt.org/z/qKr7hT7s9
Diffstat (limited to 'llvm/lib/ProfileData/Coverage/CoverageMapping.cpp')
0 files changed, 0 insertions, 0 deletions