Add a TODO FIXME w.r.t. D894
authorAustin Seipp <austin@well-typed.com>
Tue, 19 May 2015 09:32:49 +0000 (04:32 -0500)
committerAustin Seipp <austin@well-typed.com>
Tue, 19 May 2015 09:32:52 +0000 (04:32 -0500)
As Reid mentioned in a comment on D894, the case fixed by this revision
likely isn't really correct, because old ARM binaries could run on newer
machines, meaning we need to detect at runtime whether we need a proper
barrier.

But in the mean time, this actually stops the build from failing - which
is better off. So we'll just remember this when we fix it in the future.

Signed-off-by: Austin Seipp <austin@well-typed.com>
includes/stg/SMP.h

index 5460a2b..10ef83e 100644 (file)
@@ -374,6 +374,11 @@ store_load_barrier(void) {
 #elif sparc_HOST_ARCH
     __asm__ __volatile__ ("membar #StoreLoad" : : : "memory");
 #elif arm_HOST_ARCH && defined(arm_HOST_ARCH_PRE_ARMv7)
+    // TODO FIXME: This case probably isn't totally correct - just because we
+    // use a pre-ARMv7 toolchain (e.g. to target an old Android device), doesn't
+    // mean the binary won't run on a newer ARMv7 system - in which case it
+    // needs a proper barrier. So we should rethink this
+    //  - Reid
     __asm__ __volatile__ ("" : : : "memory");
 #elif arm_HOST_ARCH && !defined(arm_HOST_ARCH_PRE_ARMv7)
     __asm__ __volatile__ ("dmb" : : : "memory");