DSA Studio

v4 Bytecode: lowering control flow Checkpoint

Predict fresh artifacts, diagnose a broken invariant, and test a version boundary. Select one answer per multiple-choice question; numeric responses use the stated integer format. Use review links to revisit the relevant representation, then attempt the independent transfer task.

Get every question correct to pass this checkpoint. You can review feedback, revise your answers, and submit again.

1. At a for continue, the active scopes are initializer, body, and two additional nested blocks. How many EXIT_SCOPE instructions are needed before jumping to post while retaining initializer scope? Enter only the requested integer.
2. Why should emitting cleanup for one break edge not decrement the compiler’s lexical scopeDepth?

Select one answer.

3. Which mapping is correct?

Select one answer.

4. What must every executed path of a compiled && expression leave?

Select one answer.

5. Does this compiler emit valid RHS code for true || effect() when effect is defined?

Select one answer.

Join Discord