| Index: runtime/vm/assembler_arm64_test.cc
|
| diff --git a/runtime/vm/assembler_arm64_test.cc b/runtime/vm/assembler_arm64_test.cc
|
| index f7fde66df8e8aa54e2d3ad6a2df169ffe0788cad..1096506fc9fb053ec95e5f06a26e19814f3c786a 100644
|
| --- a/runtime/vm/assembler_arm64_test.cc
|
| +++ b/runtime/vm/assembler_arm64_test.cc
|
| @@ -607,6 +607,68 @@ ASSEMBLER_TEST_RUN(FailedSemaphore, test) {
|
| }
|
|
|
|
|
| +ASSEMBLER_TEST_GENERATE(Semaphore32, assembler) {
|
| + __ SetupDartSP();
|
| + __ movz(R0, Immediate(40), 0);
|
| + __ add(R0, R0, Operand(R0, LSL, 32));
|
| + __ Push(R0);
|
| +
|
| + __ movz(R0, Immediate(40), 0);
|
| + __ movz(R1, Immediate(42), 0);
|
| +
|
| + Label retry;
|
| + __ Bind(&retry);
|
| + __ ldxr(R0, SP, kWord);
|
| + // 32 bit operation should ignore the high word of R0 that was pushed on the
|
| + // stack.
|
| + __ stxr(TMP, R1, SP, kWord); // IP == 0, success
|
| + __ cmp(TMP, Operand(0));
|
| + __ b(&retry, NE); // NE if context switch occurred between ldrex and strex.
|
| + __ Pop(R0); // 42 + 42 * 2**32
|
| + __ RestoreCSP();
|
| + __ ret();
|
| +}
|
| +
|
| +
|
| +ASSEMBLER_TEST_RUN(Semaphore32, test) {
|
| + EXPECT(test != NULL);
|
| + typedef int (*Semaphore32)() DART_UNUSED;
|
| + // Lower word has been atomically switched from 40 to 42k, whereas upper word
|
| + // is unchanged at 40.
|
| + EXPECT_EQ(42 + (40l << 32),
|
| + EXECUTE_TEST_CODE_INT64(Semaphore32, test->entry()));
|
| +}
|
| +
|
| +
|
| +ASSEMBLER_TEST_GENERATE(FailedSemaphore32, assembler) {
|
| + __ SetupDartSP();
|
| + __ movz(R0, Immediate(40), 0);
|
| + __ add(R0, R0, Operand(R0, LSL, 32));
|
| + __ Push(R0);
|
| +
|
| + __ movz(R0, Immediate(40), 0);
|
| + __ movz(R1, Immediate(42), 0);
|
| +
|
| + __ ldxr(R0, SP, kWord);
|
| + __ clrex(); // Simulate a context switch.
|
| + __ stxr(TMP, R1, SP, kWord); // IP == 1, failure
|
| + __ Pop(R0); // 40
|
| + __ add(R0, R0, Operand(TMP));
|
| + __ RestoreCSP();
|
| + __ ret();
|
| +}
|
| +
|
| +
|
| +ASSEMBLER_TEST_RUN(FailedSemaphore32, test) {
|
| + EXPECT(test != NULL);
|
| + typedef int (*FailedSemaphore32)() DART_UNUSED;
|
| + // Lower word has had the failure code (1) added to it. Upper word is
|
| + // unchanged at 40.
|
| + EXPECT_EQ(41 + (40l << 32),
|
| + EXECUTE_TEST_CODE_INT64(FailedSemaphore32, test->entry()));
|
| +}
|
| +
|
| +
|
| // Logical register operations.
|
| ASSEMBLER_TEST_GENERATE(AndRegs, assembler) {
|
| __ movz(R1, Immediate(43), 0);
|
|
|