15 lines
312 B
Plaintext
15 lines
312 B
Plaintext
|
Test for select generation for conditional returns.
|
||
|
|
|
||
|
|
Tests the rewriting from:
|
||
|
|
|
||
|
|
If [ Condition ]
|
||
|
|
/ \
|
||
|
|
false branch true branch
|
||
|
|
return FalseValue return TrueValue
|
||
|
|
|
||
|
|
to:
|
||
|
|
|
||
|
|
true branch
|
||
|
|
false branch
|
||
|
|
return Select [FalseValue, TrueValue, Condition]
|