From 769589fb4f72edf46c16a396de6777d8e2fbb9bf Mon Sep 17 00:00:00 2001 From: xleroy 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 +1. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2555 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- runtime/arm/i64_dtou.S | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/arm/i64_dtou.S') diff --git a/runtime/arm/i64_dtou.S b/runtime/arm/i64_dtou.S index 1c632d2..5764190 100644 --- a/runtime/arm/i64_dtou.S +++ b/runtime/arm/i64_dtou.S @@ -39,7 +39,7 @@ @@@ Conversion from double float to unsigned 64-bit integer FUNCTION(__i64_dtou) -#ifndef VARIANT_eabi +#ifndef ABI_eabi vmov r0, r1, d0 #endif cmp r1, #0 @ is double < 0 ? -- cgit v1.2.3