|
1 // This test case is made to be run with --ion-eager. |
|
2 |
|
3 function ret2() { |
|
4 return 2; |
|
5 } |
|
6 |
|
7 // Check with default case in the middle. |
|
8 function test0(x) { |
|
9 var res = 0; |
|
10 switch (x) { |
|
11 case (res |= 0x40, 1): // x === 1 |
|
12 res |= 0x1; |
|
13 default: // otherwise |
|
14 res |= 0x2; |
|
15 case (res |= 0x80, ret2()): // x === 2 |
|
16 res |= 0x4; |
|
17 case (res |= 0x100, 1 + ret2()): // x === 3 |
|
18 res |= 0x8; |
|
19 break; |
|
20 case (res |= 0x200, 0): // x === 0 |
|
21 res |= 0x10; |
|
22 } |
|
23 res |= 0x20; |
|
24 return res; |
|
25 } |
|
26 |
|
27 assertEq(test0(0), 0x40 | 0x80 | 0x100 | 0x200 | 0x10 | 0x20); |
|
28 assertEq(test0(1), 0x40 | 0x1 | 0x2 | 0x4 | 0x8 | 0x20); |
|
29 assertEq(test0(2), 0x40 | 0x80 | 0x4 | 0x8 | 0x20); |
|
30 assertEq(test0(3), 0x40 | 0x80 | 0x100 | 0x8 | 0x20); |
|
31 assertEq(test0(4), 0x40 | 0x80 | 0x100 | 0x200 | 0x2 | 0x4 | 0x8 | 0x20); |
|
32 |
|
33 // Check with no default and only one case. |
|
34 function test1(x) { |
|
35 var res = 0; |
|
36 switch (x) { |
|
37 case (res |= 0x1, ret2()): // x === 2 |
|
38 res |= 0x2; |
|
39 } |
|
40 res |= 0x4; |
|
41 return res; |
|
42 } |
|
43 |
|
44 assertEq(test1(1), 0x1 | 0x4); // default. |
|
45 assertEq(test1(2), 0x1 | 0x2 | 0x4); // case. |
|
46 |
|
47 // Check with default case identical to a case. |
|
48 function test2(x) { |
|
49 var res = 0; |
|
50 switch (x) { |
|
51 case (res |= 0x1, 0): |
|
52 res |= 0x10; |
|
53 break; |
|
54 default: |
|
55 case (res |= 0x2, 1): |
|
56 res |= 0x20; |
|
57 break; |
|
58 case (res |= 0x4, ret2()): // x === 2 |
|
59 res |= 0x40; |
|
60 } |
|
61 res |= 0x100; |
|
62 return res; |
|
63 } |
|
64 |
|
65 assertEq(test2(0), 0x1 | 0x10 | 0x100); |
|
66 assertEq(test2(1), 0x1 | 0x2 | 0x20 | 0x100); |
|
67 assertEq(test2(2), 0x1 | 0x2 | 0x4 | 0x40 | 0x100); |
|
68 assertEq(test2(3), 0x1 | 0x2 | 0x4 | 0x20 | 0x100); |
|
69 |
|
70 // Check a non-break, non-empty default at the end. |
|
71 function test3(x) { |
|
72 var res = 0; |
|
73 switch (x) { |
|
74 case (res |= 0x1, 1): |
|
75 res |= 0x10; |
|
76 case (res |= 0x2, ret2()): // x === 2 |
|
77 res |= 0x20; |
|
78 default: |
|
79 res |= 0x40; |
|
80 } |
|
81 res |= 0x100; |
|
82 return res; |
|
83 } |
|
84 |
|
85 assertEq(test3(1), 0x1 | 0x10 | 0x20 | 0x40 | 0x100); |
|
86 assertEq(test3(2), 0x1 | 0x2 | 0x20 | 0x40 | 0x100); |
|
87 assertEq(test3(3), 0x1 | 0x2 | 0x40 | 0x100); |
|
88 |
|
89 // Check cfg in condition of non-last case with no break. (reverse post order failure ?) |
|
90 function test4(x) { |
|
91 var res = 0; |
|
92 switch (x) { |
|
93 case (res |= 0x1, (x ? 1 : 0)): |
|
94 res |= 0x10; |
|
95 case (res |= 0x2, ret2()): // x === 2 |
|
96 res |= 0x20; |
|
97 } |
|
98 res |= 0x100; |
|
99 return res; |
|
100 } |
|
101 |
|
102 assertEq(test4(0), 0x1 | 0x10 | 0x20 | 0x100); |
|
103 assertEq(test4(1), 0x1 | 0x10 | 0x20 | 0x100); |
|
104 assertEq(test4(2), 0x1 | 0x2 | 0x20 | 0x100); |