[PATCH] D46706: [PM/LoopUnswitch] Support partial trivial unswitching.

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

Actually now that I think of it, I wonder if looking back through the condition expression tree to find all loop invariant values is necessary -- if we see these kinds of cases `(loop_varying & loop_invariant0) & loop_invariant1)` then perhaps we should teach LICM et. al. to reassociate and hoist the `loop_invariant0 & loop_invariant1` bit instead of worrying about them in loop unswitch?


Repository:
  rL LLVM

https://reviews.llvm.org/D46706