Hi Jeff, thanks for looking into this.
> What if the condition has a side effect? Doesn't this drop the side > effect by converting the conditional move into a simple move? Hmm, good point, if the condition does more than a CC compare, it might get tricky as we are not canonicalizing here (on purpose). Is there an easy way out like checking something like side_effects_p ()? Maybe we should drop this altogether and let the backend deal with it? It would probably not know what to do and FAIL. Regards Robin