[PATCH] D37121: [DivRemHoist] add a pass to move div/rem pairs into the same block (PR31028)

[Justin Lebar via Phabricator via llvm-commits]

jlebar added a comment.

In https://reviews.llvm.org/D37121#1027143, @spatel wrote:

> Are you confident that the problem is limited to cases with a constant div/rem operand and masking of the variable that could be replaced by a trunc?


Actually I'm pretty confident the problem is *not* limited to such cases -- sorry for making a misleading testcase.  In the code I'm interested in, we know the bit-width of the dividend because of a branch on the dividend's value (x < some_constant) or because an llvm.assume tells us so.


Repository:
  rL LLVM

https://reviews.llvm.org/D37121