DSA Studio

Lowering: AST to Stack Bytecode 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. Which instruction represents identifier count in the expression-only Lower task?

Select one answer.

2. Which sequence lowers 15-(2*5)?

Select one answer.

3. For choose(1+2,3*4,5), what arity is stored in CALL? Enter only the requested integer.
4. A lowered binary expression has produced its two operand values. What net stack effect does its arithmetic opcode have?

Select one answer.

5. Which operation is most useful for exposing a left/right operand reversal hidden by addition tests?

Select one answer.

Join Discord