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