diff options
Diffstat (limited to 'results/classifier/accel-gemma3:12b/tcg/1204')
| -rw-r--r-- | results/classifier/accel-gemma3:12b/tcg/1204 | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/results/classifier/accel-gemma3:12b/tcg/1204 b/results/classifier/accel-gemma3:12b/tcg/1204 new file mode 100644 index 000000000..ded3f9590 --- /dev/null +++ b/results/classifier/accel-gemma3:12b/tcg/1204 @@ -0,0 +1,30 @@ + +AArch64 unaligned accesses are allowed by QEMU when SCTLR_EL3.A is 0, but SCTLR_EL3.M is also 0 +Description of problem: +As per the ARM ARM, when address translation is disabled and the access is not done from EL1/0 with HCR_EL2.DC set to 1, data accesses receive the 'Device-nGnRnE' memory attribute (D.8.2.10 The effects of disabling an address translation stage - DDi0487I.a, Page D8-5119). +Memory regions marked as Device do not support unaligned access. +Steps to reproduce: +Run the following snippet under EL3, and notice the last load instruction completes successfully (doesn't raise an alignment fault) +``` +.balign 8 +.global first_variable +first_variable: + .word 0x1 +.balign 4 +.global second_variable +second_variable: + .word 0x2 + +no_mmu_sctlr: .dword 0x0000000030C51834 + +.globl reproducer +reproducer: + ldr x1, no_mmu_sctlr // A=0,M=0 + msr sctlr_el3, x1 + dsb sy + isb + + ldr x0, =first_variable + ldr x1, [x0, #0] // Aligned - Success + ldr x1, [x0, #4] // Unaligned - Success??? (Should be failure) +``` |