1Test loop formation heuristics and code generation. Basically the problem to 2catch here is to make sure that some never-exercised code blocks are included 3in the loop region, and the JIT compiler won't choke on unresolved fields. 4