[PATCH] D152646: [ValueTracking] More unsigned binary op implied conditions

Sun Jun 11 00:36:23 PDT 2023

caojoshua added a comment.

In D152646#4411887 <https://reviews.llvm.org/D152646#4411887>, @nikic wrote:

> I predicted this is going to happen in https://reviews.llvm.org/D149510#4315073, and now it is happening. You are reimplementing InstSimplify comparison folding in isTruePredicate().

Oops. I thought this was a draft.

I can give an attempt at using SimplifyICmpInst as you mentioned, and see how much compile time is impacted.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152646