srishti-pm added a comment.

> So far you explained "what is canonicalization and why are we 
> canonicalizing", the same rationale applies to "push constant to the right" 
> that we do already in canonicalization, and this is exactly why I asked 
> before whether we could do what you're doing as a canonicalization.

You are right. And the answer is yes, we could do this as a canonicalization. 
In fact, it is a canonicalization because we are converting various forms of an 
IR to a specific canonicalized form. It just hasn't been added to any op's 
canonicalizer here.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124750

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to