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