5.2.2. The Assembler
Exercise 5.8

Modify the extract-labels procedure

The following register-machine code is ambiguous, because the label here is defined more than once:

  (goto (label here))
  (assign a (const 3))
  (goto (label there))
  (assign a (const 4))
  (goto (label there))

With the simulator as written, what will the contents of register a be when control reaches there? Modify the extract-labels procedure so that the assembler will signal an error if the same label name is used to indicate two different locations.

Nobody's finished this exercise yet. You'll be the first!

There are no comments yet.

Authentication required

You must log in to post a comment.