[PATCH] D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 26 00:09:57 PDT 2023

Previous message: [PATCH] D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Next message: [PATCH] D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149202/new/

https://reviews.llvm.org/D149202

Previous message: [PATCH] D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Next message: [PATCH] D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list