Regarding the hints: without those hints the compiler would also trace the interpreter dispatch loop. If you trace them, too, then your generated code would contain unnecessary branching code. Hence, in a sense, these mechanisms allow the trace recorder to record the sequence of interpreter instructions executed without the interpreter dispatch interfering.