phi_regress1.js

/**
 * Copyright (c) Meta Platforms, Inc. and 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 --target=HBC -O %s | %FileCheck %s --match-full-lines
// RUN: %hermes --target=HBC -O -dump-ra %s | %FileCheckOrRegen %s --check-prefix=CHKRA --match-full-lines

// Using a Phi in a successor of a Phi predecessor block:
// B0:
//   ...
// B1:
//   %p = PhiInst %a, B0, %b, B2
//   ...
// B2:
//   CondBranchInst ..., B1, B3
// B3:
//   Use %p

var glob = null;

function bad(param1, param2) {
    for (;;) {
        if (param2)
            param2.foo = 0;
        if (!param2) {
            glob = param1;
            return null;
        }
        param1 = param2;
    }
    return null;
}

bad("foo", null);
print("phi");
//CHECK: phi
print(glob);
//CHECK-NEXT: foo

// Auto-generated content below. Please do not modify manually.

// CHKRA:function global#0()#1
// CHKRA-NEXT:globals = [glob, bad]
// CHKRA-NEXT:S{global#0()#1} = []
// CHKRA-NEXT:%BB0:
// CHKRA-NEXT:  $Reg0 @0 [1...2) 	%0 = HBCCreateEnvironmentInst %S{global#0()#1}
// CHKRA-NEXT:  $Reg1 @1 [2...4) 	%1 = HBCCreateFunctionInst %bad#0#1()#2 : null, %0
// CHKRA-NEXT:  $Reg0 @2 [3...15) 	%2 = HBCGetGlobalObjectInst
// CHKRA-NEXT:  $Reg1 @3 [empty]	%3 = StorePropertyInst %1 : closure, %2 : object, "bad" : string
// CHKRA-NEXT:  $Reg4 @4 [5...10) 	%4 = HBCLoadConstInst null : null
// CHKRA-NEXT:  $Reg1 @5 [empty]	%5 = StorePropertyInst %4 : null, %2 : object, "glob" : string
// CHKRA-NEXT:  $Reg3 @6 [7...10) 	%6 = LoadPropertyInst %2 : object, "bad" : string
// CHKRA-NEXT:  $Reg2 @7 [8...16) 	%7 = HBCLoadConstInst undefined : undefined
// CHKRA-NEXT:  $Reg1 @8 [9...10) 	%8 = HBCLoadConstInst "foo" : string
// CHKRA-NEXT:  $Reg1 @9 [empty]	%9 = HBCCallNInst %6, undefined : undefined, %7 : undefined, %8 : string, %4 : null
// CHKRA-NEXT:  $Reg3 @10 [11...13) 	%10 = TryLoadGlobalPropertyInst %2 : object, "print" : string
// CHKRA-NEXT:  $Reg1 @11 [12...13) 	%11 = HBCLoadConstInst "phi" : string
// CHKRA-NEXT:  $Reg1 @12 [empty]	%12 = HBCCallNInst %10, undefined : undefined, %7 : undefined, %11 : string
// CHKRA-NEXT:  $Reg1 @13 [14...16) 	%13 = TryLoadGlobalPropertyInst %2 : object, "print" : string
// CHKRA-NEXT:  $Reg0 @14 [15...16) 	%14 = LoadPropertyInst %2 : object, "glob" : string
// CHKRA-NEXT:  $Reg0 @15 [16...17) 	%15 = HBCCallNInst %13, undefined : undefined, %7 : undefined, %14
// CHKRA-NEXT:  $Reg0 @16 [empty]	%16 = ReturnInst %15
// CHKRA-NEXT:function_end

// CHKRA:function bad#0#1(param1, param2)#2 : null
// CHKRA-NEXT:S{bad#0#1()#2} = []
// CHKRA-NEXT:%BB0:
// CHKRA-NEXT:  $Reg3 @0 [1...4) 	%0 = HBCLoadParamInst 1 : number
// CHKRA-NEXT:  $Reg2 @1 [2...12) 	%1 = HBCLoadParamInst 2 : number
// CHKRA-NEXT:  $Reg0 @2 [3...12) 	%2 = HBCLoadConstInst 0 : number
// CHKRA-NEXT:  $Reg3 @3 [4...6) 	%3 = MovInst %0
// CHKRA-NEXT:  $Reg1 @4 [empty]	%4 = BranchInst %BB1
// CHKRA-NEXT:%BB1:
// CHKRA-NEXT:  $Reg3 @5 [1...7) [11...12) 	%5 = PhiInst %3, %BB0, %10, %BB2
// CHKRA-NEXT:  $Reg1 @6 [7...14) 	%6 = MovInst %5
// CHKRA-NEXT:  $Reg4 @7 [empty]	%7 = CondBranchInst %1, %BB3, %BB2
// CHKRA-NEXT:%BB3:
// CHKRA-NEXT:  $Reg4 @8 [empty]	%8 = StorePropertyInst %2 : number, %1, "foo" : string
// CHKRA-NEXT:  $Reg4 @9 [empty]	%9 = BranchInst %BB2
// CHKRA-NEXT:%BB2:
// CHKRA-NEXT:  $Reg3 @10 [11...12) 	%10 = MovInst %1
// CHKRA-NEXT:  $Reg0 @11 [empty]	%11 = CondBranchInst %10, %BB1, %BB4
// CHKRA-NEXT:%BB4:
// CHKRA-NEXT:  $Reg0 @12 [13...14) 	%12 = HBCGetGlobalObjectInst
// CHKRA-NEXT:  $Reg0 @13 [empty]	%13 = StorePropertyInst %6, %12 : object, "glob" : string
// CHKRA-NEXT:  $Reg0 @14 [15...16) 	%14 = HBCLoadConstInst null : null
// CHKRA-NEXT:  $Reg0 @15 [empty]	%15 = ReturnInst %14 : null
// CHKRA-NEXT:function_end