From cdf83055d96e2af784a97c783c94b83ba2032ae1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 19 Nov 2009 13:31:08 +0000
Subject: Added support for jump tables.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1181 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/Asmgen.v | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'arm/Asmgen.v')

diff --git a/arm/Asmgen.v b/arm/Asmgen.v
index 7e40949a..8e0805fe 100644
--- a/arm/Asmgen.v
+++ b/arm/Asmgen.v
@@ -483,6 +483,9 @@ Definition transl_instr (f: Mach.function) (i: Mach.instruction) (k: code) :=
       Pb lbl :: k
   | Mcond cond args lbl =>
       transl_cond cond args (Pbc (crbit_for_cond cond) lbl :: k)
+  | Mjumptable arg tbl =>
+      Pmov IR14 (SOlslimm (ireg_of arg) (Int.repr 2)) ::
+      Pbtbl IR14 tbl :: k
   | Mreturn =>
       loadind_int IR13 f.(fn_retaddr_ofs) IR14
         (Pfreeframe f.(fn_link_ofs) :: Pbreg IR14 :: k)
-- 
cgit