13af6ab5fSopenharmony_ci/*
23af6ab5fSopenharmony_ci * Copyright (c) 2024 Huawei Device Co., Ltd.
33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License.
53af6ab5fSopenharmony_ci * You may obtain a copy of the License at
63af6ab5fSopenharmony_ci *
73af6ab5fSopenharmony_ci *     http://www.apache.org/licenses/LICENSE-2.0
83af6ab5fSopenharmony_ci *
93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software
103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and
133af6ab5fSopenharmony_ci * limitations under the License.
143af6ab5fSopenharmony_ci */
153af6ab5fSopenharmony_ci
163af6ab5fSopenharmony_cilet globalCond = true;
173af6ab5fSopenharmony_cifunction testCatchPhiDataflow() {
183af6ab5fSopenharmony_ci    let a = '0';
193af6ab5fSopenharmony_ci    try {
203af6ab5fSopenharmony_ci        if (globalCond) {
213af6ab5fSopenharmony_ci            a = '1';
223af6ab5fSopenharmony_ci            throw a;
233af6ab5fSopenharmony_ci        } else {
243af6ab5fSopenharmony_ci            a = '2';
253af6ab5fSopenharmony_ci        }
263af6ab5fSopenharmony_ci    } catch (e) {
273af6ab5fSopenharmony_ci        a = e;
283af6ab5fSopenharmony_ci    }
293af6ab5fSopenharmony_ci    print(a);
303af6ab5fSopenharmony_ci}
313af6ab5fSopenharmony_ci
323af6ab5fSopenharmony_cifunction testTryWithAccCatchPhi() {
333af6ab5fSopenharmony_ci    let a = 1;
343af6ab5fSopenharmony_ci    try {
353af6ab5fSopenharmony_ci        throw a;
363af6ab5fSopenharmony_ci    } catch (e) {
373af6ab5fSopenharmony_ci        print(e);
383af6ab5fSopenharmony_ci    }
393af6ab5fSopenharmony_ci}
403af6ab5fSopenharmony_ci
413af6ab5fSopenharmony_cifunction testTryWithMoveConstants() {
423af6ab5fSopenharmony_ci    let a = 1;
433af6ab5fSopenharmony_ci    try {
443af6ab5fSopenharmony_ci        a = 2;
453af6ab5fSopenharmony_ci        throw a;
463af6ab5fSopenharmony_ci    } catch (e) {
473af6ab5fSopenharmony_ci        print(a === 2);
483af6ab5fSopenharmony_ci    }
493af6ab5fSopenharmony_ci    try {
503af6ab5fSopenharmony_ci        a = 3;
513af6ab5fSopenharmony_ci        throw a;
523af6ab5fSopenharmony_ci    } catch (e) {
533af6ab5fSopenharmony_ci        print(a === 3);
543af6ab5fSopenharmony_ci    }
553af6ab5fSopenharmony_ci}
563af6ab5fSopenharmony_ci
573af6ab5fSopenharmony_cifunction testTryWithRegAccAlloc() {
583af6ab5fSopenharmony_ci    let a = 's1';
593af6ab5fSopenharmony_ci    let b = 's2';
603af6ab5fSopenharmony_ci    let c = a + b;
613af6ab5fSopenharmony_ci    print(c);
623af6ab5fSopenharmony_ci    try {
633af6ab5fSopenharmony_ci        a = 's1';
643af6ab5fSopenharmony_ci        b = 's2';
653af6ab5fSopenharmony_ci        throw 1;
663af6ab5fSopenharmony_ci    } catch (e) {
673af6ab5fSopenharmony_ci        c = a + b;
683af6ab5fSopenharmony_ci        print(c);
693af6ab5fSopenharmony_ci    }
703af6ab5fSopenharmony_ci    c = a + b;
713af6ab5fSopenharmony_ci    print(c);
723af6ab5fSopenharmony_ci}
733af6ab5fSopenharmony_ci
743af6ab5fSopenharmony_citestCatchPhiDataflow();
753af6ab5fSopenharmony_citestTryWithAccCatchPhi();
763af6ab5fSopenharmony_citestTryWithMoveConstants();
773af6ab5fSopenharmony_citestTryWithRegAccAlloc();
78