From 769589fb4f72edf46c16a396de6777d8e2fbb9bf Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Jul 2014 13:42:11 +0000
Subject: configure: distinguish between ABI and processor model. ARM: various
 tweaks, incl. support for SDIV and UDIV insns when available.
 test/regression/funptr2.c: Thumb does weird things with <function ptr>+1.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2555 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 runtime/arm/i64_dtos.S | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime/arm/i64_dtos.S')

diff --git a/runtime/arm/i64_dtos.S b/runtime/arm/i64_dtos.S
index 638a5ff..4557eea 100644
--- a/runtime/arm/i64_dtos.S
+++ b/runtime/arm/i64_dtos.S
@@ -39,7 +39,7 @@
 @@@ Conversion from double float to signed 64-bit integer
 	
 FUNCTION(__i64_dtos)
-#ifndef VARIANT_eabi
+#ifndef ABI_eabi
 	vmov r0, r1, d0
 #endif	
         ASR r12, r1, #31       @ save sign of result in r12
-- 
cgit v1.2.3