HomePhabricator

Teach LoopUnswitch not to perform non-trivial unswitching on loops containing…

Description

Teach LoopUnswitch not to perform non-trivial unswitching on loops containing convergent operations.

Doing so could cause the post-unswitching convergent ops to be
control-dependent on the unswitch condition where they were not before.
This check could be refined to allow unswitching where the convergent
operation was already control-dependent on the unswitch condition.

Details

Committed
resistorOct 9 2015, 11:40 AM
Parents
rL249873: Add iterator ranges for blocks in a Loop.
Branches
Unknown
Tags
Unknown