Now we allow much more general go to s with the context conditions:
i) labels are distinct in the entire program,
ii) the target label of a go to needs to be defined in the current function or in any function of a frame on the stack. Jumps now go to the topmost occurrence of a function on the stack with the target label.
a) Specify the new semantics.
b) Specify code generation. Attention: generating code for the destruction of frames is quite easy, but the compiled program needs to maintain a data structure with the labels for each frame.
Computation of the repeat signal:
a) an n-bit find-first-one circuit n-F F1 has inputs X [n
Construct such a circuit with cost O(n) and delay O (log(n))
b) for all i compute the interrupt-level signals IL [i] signal ling that the interrupt level equals i:
c) compute re peat (h;eev).
Prove the correctness of the hardware MMU in user mode, i.e., prove that for MIPS + Interrupts configuration sd and hardware configuretions h, if