From f4e106d4fc1cce484678b5cdd86ab57d7a43076a Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 27 Jul 2014 07:35:49 +0000 Subject: ARM port: add support for Thumb2. To be tested. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2549 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- driver/Compopts.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'driver/Compopts.v') diff --git a/driver/Compopts.v b/driver/Compopts.v index 205f768a..01109f52 100644 --- a/driver/Compopts.v +++ b/driver/Compopts.v @@ -30,4 +30,5 @@ Parameter va_strict: unit -> bool. (** Flag -ftailcalls. For tail call optimization. *) Parameter eliminate_tailcalls: unit -> bool. - +(** Flag -fthumb. For the ARM back-end. *) +Parameter thumb: unit -> bool. -- cgit