switch_dup.js

// Copyright (c) Facebook, Inc. and its affiliates.
//
// This source code is licensed under the MIT license found in the LICENSE
// file in the root directory of this source tree.
//
// RUN: %hermes -dump-ir %s | %FileCheck --match-full-lines %s

function foo1(x) {
    switch (x) {
        case 10: return 1;
        case 10: return 2;
        case 11: return 3;
    }
}
//CHECK-LABEL: function foo1(x)
//CHECK-NEXT: frame = [x]
//CHECK-NEXT: %BB0:
//CHECK-NEXT:   %0 = StoreFrameInst %x, [x]
//CHECK-NEXT:   %1 = LoadFrameInst [x]
//CHECK-NEXT:   %2 = SwitchInst %1, %BB1, 10 : number, %BB2, 11 : number, %BB3
//CHECK-NEXT: %BB1:
//CHECK-NEXT:   %3 = ReturnInst undefined : undefined
//CHECK-NEXT: %BB2:
//CHECK-NEXT:   %4 = ReturnInst 1 : number
//CHECK-NEXT: %BB4:
//CHECK-NEXT:   %5 = BranchInst %BB5
//CHECK-NEXT: %BB5:
//CHECK-NEXT:   %6 = ReturnInst 2 : number
//CHECK-NEXT: %BB6:
//CHECK-NEXT:   %7 = BranchInst %BB3
//CHECK-NEXT: %BB3:
//CHECK-NEXT:   %8 = ReturnInst 3 : number
//CHECK-NEXT: %BB7:
//CHECK-NEXT:   %9 = BranchInst %BB1
//CHECK-NEXT: function_end

function foo2(x) {
    switch (x) {
        case 10: return 1;
        case "10": return 2;
        case "10": return 3;
    }
}
//CHECK-LABEL: function foo2(x)
//CHECK-NEXT: frame = [x]
//CHECK-NEXT: %BB0:
//CHECK-NEXT:   %0 = StoreFrameInst %x, [x]
//CHECK-NEXT:   %1 = LoadFrameInst [x]
//CHECK-NEXT:   %2 = SwitchInst %1, %BB1, 10 : number, %BB2, "10" : string, %BB3
//CHECK-NEXT: %BB1:
//CHECK-NEXT:   %3 = ReturnInst undefined : undefined
//CHECK-NEXT: %BB2:
//CHECK-NEXT:   %4 = ReturnInst 1 : number
//CHECK-NEXT: %BB4:
//CHECK-NEXT:   %5 = BranchInst %BB3
//CHECK-NEXT: %BB3:
//CHECK-NEXT:   %6 = ReturnInst 2 : number
//CHECK-NEXT: %BB5:
//CHECK-NEXT:   %7 = BranchInst %BB6
//CHECK-NEXT: %BB6:
//CHECK-NEXT:   %8 = ReturnInst 3 : number
//CHECK-NEXT: %BB7:
//CHECK-NEXT:   %9 = BranchInst %BB1
//CHECK-NEXT: function_end