| Mads Ager | 16e5289 | 2017-07-14 13:11:37 +0200 | [diff] [blame] | 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] | ||||