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_utof.S | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/arm/i64_utof.S') diff --git a/runtime/arm/i64_utof.S b/runtime/arm/i64_utof.S index 711cda0..fbd325c 100644 --- a/runtime/arm/i64_utof.S +++ b/runtime/arm/i64_utof.S @@ -62,7 +62,7 @@ FUNCTION(__i64_utof) vmla.f64 d0, d1, d2 @ d0 = d0 + d1 * d2 = double value of int64 @ Round to single vcvt.f32.f64 s0, d0 -#ifdef VARIANT_eabi +#ifdef ABI_eabi @ Return result in r0 vmov r0, s0 #endif -- cgit v1.2.3