Commit 794a2b0d authored by Mart Lubbers's avatar Mart Lubbers

Merge branch 'patch-1' into 'master'

Fix #2

Closes #2

See merge request mlubbers/ssm!2
parents ec2f4179 3f514270
......@@ -283,12 +283,12 @@ M_post[SP_post - size + 1 .. SP_post] = M_pre[M_pre[SP_pre] + displ .. M_pre[SP_
#### Description
Load Address of Address. Pushes the address of a value relative to the address on top of the stack. This instruction effectively adds a constant to the top of the stack.
Load Address of Address. Add a constant offset to the address on top of the stack.
#### Pre and postconditions
```
SP_post = SP_pre + 1
SP_post = SP_pre
M_post[SP_post] = M_pre[SP_pre] + M_pre[PC_pre+1]
```
......
......@@ -52,8 +52,8 @@ ldma_descr=Load Multiple via Address. Pushes values relative to by the value at
ldma_prepost=displ = M_pre[PC_pre + 1], size = M_pre[PC_pre + 2], SP_post = SP_pre + size - 1, M_post[SP_post - size + 1 .. SP_post] = M_pre[M_pre[SP_pre] + displ .. M_pre[SP_pre] + displ + size - 1]
ldma_example=none
ldaa_descr=Load Address of Address. Pushes the address of a value relative to the address on top of the stack. This instruction effectively adds a constant to the top of the stack.
ldaa_prepost=SP_post = SP_pre + 1, M_post[SP_post] = M_pre[SP_pre] + M_pre[PC_pre+1]
ldaa_descr=Load Address of Address. Add a constant offset to the address on top of the stack.
ldaa_prepost=SP_post = SP_pre, M_post[SP_post] = M_pre[SP_pre] + M_pre[PC_pre+1]
ldaa_example=ldaa -2
sta_descr=Store via Address. Pops 2 values from the stack and stores the second popped value in the location pointed to by the first. The pointer value is offset by a constant offset.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment