// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 2 8 3 Ċ package Ġfoo Ċ Ċ // ĠIn Ġthe ĠIR Ġbackend Ġthe Ġinjected ĠJS Ġcode Ġis Ġoutlined . Ċ // ĠCHECK _ CONTAIN S _ NO _ CALL S : Ġtest ĠTARGET _ BACKEND S = JS Ċ // ĠCHECK _ NOT _ CAL LED _ IN _ SCOPE : Ġfunction = sum Ġscope = test Ċ Ċ internal Ġinline Ġfun Ġsum ( x : ĠInt , Ġy : ĠInt ): ĠInt Ġ= Ġjs (" var Ġa Ġ= Ġx ; Ġa Ġ+ Ġy ") Ċ Ċ // ĠCHECK _ BREAK S _ COUNT : Ġfunction = test Ġcount = 0 ĠTARGET _ BACKEND S = JS _ IR Ċ // ĠCHECK _ LABEL S _ COUNT : Ġfunction = test Ġname =$ l $ block Ġcount = 0 ĠTARGET _ BACKEND S = JS _ IR Ċ internal Ġfun Ġtest ( x : ĠInt , Ġy : ĠInt ): ĠInt Ġ{ ĊĠĠĠ Ġval Ġxx Ġ= Ġsum ( x , Ġx ) ĊĠĠĠ Ġjs (" var Ġa Ġ= Ġ 0 ; ") ĊĠĠĠ Ġval Ġyy Ġ= Ġsum ( y , Ġy ) ĊĊĠĠĠ Ġreturn Ġsum ( xx , Ġyy ) Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ ĠassertEquals ( 4 , Ġtest ( 1 , Ġ 1 )) ĊĠĠĠ ĠassertEquals ( 8 , Ġtest ( 1 , Ġ 3 )) ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }