<div>I'm trying to figure out how does the DFG JIT type checking work?<br></div><div>I'm also interested in the following: if I start DFG JIT without using LICM will the types of variables be checked in the cycle? To make it clear, I'll bring this example</div>
<div>for (var j=0; j<10000; j++)</div><div>{</div><div>        var i = 10;</div><div>        var h = j + i;</div><div>}</div><p>How will the type of variable " i " be checked in that example?</p>