diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-25 13:47:49 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-26 23:48:17 -0500 |
| commit | 9b3c865d32d84f13a19fe3b45cc66fcef910a368 (patch) | |
| tree | 7bee8c6ebafe57c3d5928cd327accbd1a7617558 /llvm/lib/CodeGen | |
| parent | 73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1 (diff) | |
| download | llvm-9b3c865d32d84f13a19fe3b45cc66fcef910a368.zip llvm-9b3c865d32d84f13a19fe3b45cc66fcef910a368.tar.gz llvm-9b3c865d32d84f13a19fe3b45cc66fcef910a368.tar.bz2 | |
[ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Alive2 Link:
https://alive2.llvm.org/ce/z/TAFcjF
Differential Revision: https://reviews.llvm.org/D149202
Diffstat (limited to 'llvm/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions