Loop.if vs cmpf/select during canonicalization

[muellch]

Several questions:

• Are loop.ifs with the same condition fused during canonicalization?
• Are loop.ifs with dependent conditions (if a and b are true, c must be true, can delete the else branch in the if.c) fused during canonicalization?
• If one mixes loop.if and select does the fusion still happen during canonicalization?

[gysit]

a solution could be to start the code always using select and then only after inlining introduce if / else. That way cse may work better. Something to discuss with Alex&Co