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] |