[PATCH] DAGCombiner: fold (xor (shl 1, x), -1) -> (rotl -2, x)

[Sean Silva]

Maybe a z3 proof in the commit message would make people feel a bit more at home with this also?


http://reviews.llvm.org/D8350

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/