[PATCH] D142542: [InstSimplify] Simplify icmp between Left-Shifted VScale Calls

[Sander de Smalen via Phabricator via llvm-commits]

sdesmalen added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:3634
+  ConstantInt *IntLHS, *IntRHS;
+  if (!match(LHS, m_Shl(m_VScale(Q.DL), m_ConstantInt(IntLHS))) ||
+      !match(RHS, m_Shl(m_VScale(Q.DL), m_ConstantInt(IntRHS))) ||
----------------
Does it matter that this is value is `vscale` ?

I would expect that:
* `(X << C1) < (X << C2) == true` for any value `X` for any `C1 < C2`
* `(X << C1) <= (X << C2) == true` for any value `X` for any `C1 <= C2`
* `(X << C1) > (X << C2) == true` for any value `X` for any `C1 > C2`
* ...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142542