| Index: src/trusted/validator_arm/testdata/test_stores.S
|
| diff --git a/src/trusted/validator_arm/testdata/test_stores.S b/src/trusted/validator_arm/testdata/test_stores.S
|
| index 2be3ce4c492368f20494abe2ce96b0b639b3b389..40473d45c39e00b654003993277cc94d757345d7 100644
|
| --- a/src/trusted/validator_arm/testdata/test_stores.S
|
| +++ b/src/trusted/validator_arm/testdata/test_stores.S
|
| @@ -59,16 +59,3 @@ bundle6:
|
| 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.
|
| -
|
| - tst r0, #0xC0000000 @ Set Z if the top two bits are clear, and
|
| - str r1, [r0] @ store unconditionally: ERROR.
|
| -
|
| - tst r0, #0xC0000000 @ Set Z if the top two bits are clear, and
|
| - strgt r1, [r0] @ store using wrong predicate: ERROR.
|
| -
|
| - tsteq r0, #0xC0000000 @ Conditionally set Z if the top two bits are clear,
|
| - strgt r1, [r0] @ and store using wrong predicate: ERROR.
|
|
|