1 Test for select generation for conditional returns. 2 3 Tests the rewriting from: 4 5 If [ Condition ] 6 / \ 7 false branch true branch 8 return FalseValue return TrueValue 9 10 to: 11 12 true branch 13 false branch 14 return Select [FalseValue, TrueValue, Condition] 15
