condswitch.js (2559B)
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);