| Index: src/trusted/validator_arm/testdata/test_stores.S
|
| ===================================================================
|
| --- src/trusted/validator_arm/testdata/test_stores.S (revision 6972)
|
| +++ src/trusted/validator_arm/testdata/test_stores.S (working copy)
|
| @@ -55,6 +55,12 @@
|
| nop @ Don't mask, and
|
| str r1, [r0], r2 @ use it in register post-index store: ERROR.
|
|
|
| +bundle6:
|
| + str r1, [sp], #1024 @ post-indexing sp by a constant is OK
|
| + str r1, [sp], r2 @ post-indexing sp by a register is an ERROR
|
| + bic r0, r0, #0xC0000000 @ Mask a register, and
|
| + str r1, [r0, r2] @ use it in register pre-index store: ERROR
|
| +
|
| conditional_sandbox:
|
| tst r0, #0xC0000000 @ Set Z if the top two bits are clear, and
|
| streq r1, [r0] @ store: should work.
|
|
|