Fusion des modifications faites sur les branches "tailcalls" et "smallstep".

En particulier:
- Semantiques small-step depuis RTL jusqu'a PPC
- Cminor independant du processeur
- Ajout passes Selection et Reload
- Ajout des langages intermediaires CminorSel et LTLin correspondants
- Ajout des tailcalls depuis Cminor jusqu'a PPC


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@384 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 3 insertions, 0 deletions

diff --git a/caml/CMlexer.mll b/caml/CMlexer.mll
index 49d0dbd..ae71e0c 100644
--- a/caml/CMlexer.mll
+++ b/caml/CMlexer.mll
@@ -30,8 +30,10 @@ rule token = parse
   | "|"     { BAR }
   | "||"    { BARBAR }
   | "^"     { CARET }
+  | "case"  { CASE }
   | ":"    { COLON }
   | ","    { COMMA }
+  | "default" { DEFAULT }
   | "$"    { DOLLAR }
   | "else"    { ELSE }
   | "="    { EQUAL }
@@ -75,6 +77,7 @@ rule token = parse
   | "let"     { LET }
   | "loop"    { LOOP }
   | "("    { LPAREN }
+  | "match" { MATCH }
   | "-"    { MINUS }
   | "->"    { MINUSGREATER }
   | "-f"    { MINUSF }