[PATCH] D52707: Switch optimization in IR for known maximum switch values

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/Transforms/Utils/SimplifyCFG.cpp:4859
+         ValueWidth)
+    MaxSwitchValue = (1 << Known.countMaxTrailingOnes()) - 1;
+
----------------
ayonam wrote:
> efriedma wrote:
> > Can this shift overflow?
> countMaxTrailingOnes will not exceed the number of bits in the switch expression type (local variable ValueWidth above).  But then the '1' should probably be '1LL' and MaxSwitchValue should be of type 'long long' to ensure that all possible value widths are taken care of.
The LLVM IR "switch" instruction allows the operand to be any width.  (And even in C, you can write a switch using __uint128_t.)  You probably want to use APInt here.

And actually, I'm not sure why you're shifting here in the first place; the maximum possible value is exactly "~Known.Zero".


Repository:
  rL LLVM

https://reviews.llvm.org/D52707