Introduce IR for generalized program tree

compiler/lib/id.ml

@@ -0,0 +1,39 @@
+(* Js_of_ocaml compiler
+ * http://www.ocsigen.org/js_of_ocaml/
+ * Copyright (C) 2010 Jérôme Vouillon
+ * Laboratoire PPS - CNRS Université Paris Diderot
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, with linking exception;
+ * either version 2.1 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *)
+type identifier = string
+
+type ident_string =
+  { name : identifier
+  ; var : Code.Var.t option
+  ; loc : Loc.t
+  }
+
+type t =
+  | S of ident_string
+  | V of Code.Var.t
+
+let ident =
+  (fun ?(loc = N) ?var name -> (S { name; var; loc } [@explicit_arity])
+    : ?loc:Loc.t -> ?var:Code.Var.t -> identifier -> t)
+
+type property_name =
+  | PNI of identifier
+  | PNS of string
+  | PNN of Num.t

compiler/lib/id.mli

@@ -0,0 +1,37 @@
+(* Js_of_ocaml compiler
+ * http://www.ocsigen.org/js_of_ocaml/
+ * Copyright (C) 2010 Jérôme Vouillon
+ * Laboratoire PPS - CNRS Université Paris Diderot
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, with linking exception;
+ * either version 2.1 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *)
+type identifier = string
+
+type ident_string =
+  { name : identifier
+  ; var : Code.Var.t option
+  ; loc : Loc.t
+  }
+
+type t =
+  | S of ident_string
+  | V of Code.Var.t
+
+val ident : ?loc:Loc.t -> ?var:Code.Var.t -> identifier -> t
+
+type property_name =
+  | PNI of identifier
+  | PNS of string
+  | PNN of Num.t

compiler/lib/ir.ml

@@ -0,0 +1,163 @@
+(* Js_of_ocaml compiler
+ * http://www.ocsigen.org/js_of_ocaml/
+ * Copyright (C) 2010 Jérôme Vouillon
+ * Laboratoire PPS - CNRS Université Paris Diderot
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, with linking exception;
+ * either version 2.1 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *)
+open Stdlib
+
+type array_literal = element_list
+
+and element_list = expression option list
+
+and binop =
+  | Eq
+  | StarEq
+  | SlashEq
+  | ModEq
+  | PlusEq
+  | MinusEq
+  | Or
+  | And
+  | Bor
+  | Bxor
+  | Band
+  | EqEq
+  | NotEq
+  | FloatEqEq
+  | FloatNotEq
+  | EqEqEq
+  | NotEqEq
+  | Lt
+  | Le
+  | Gt
+  | Ge
+  | FloatLt
+  | FloatLe
+  | FloatGt
+  | FloatGe
+  | InstanceOf
+  | Lsl
+  | Lsr
+  | Asr
+  | Plus
+  | FloatPlus
+  | Minus
+  | FloatMinus
+  | Mul
+  | FloatMul
+  | Div
+  | FloatDiv
+  | Mod
+  | FloatMod
+
+and unop =
+  | Not
+  | Neg
+  | FloatNeg
+  | Typeof
+  | IsInt
+  | ToInt
+  | ToBool
+  | IntToString
+  | FloatToInt
+  | IntToFloat
+  | Void
+  | Delete
+  | Bnot
+
+and arguments = expression list
+
+and property_name_and_value_list = (Id.property_name * expression) list
+
+and raw_segment =
+  | RawText of string
+  | RawSubstitution of expression
+
+and expression =
+  | ERaw of raw_segment list
+  (* Raw code to inject, and possible list of $1-n substitutions *)
+  | ESeq of expression * expression
+  | ECond of expression * expression * expression
+  | EBin of binop * expression * expression
+  | EUn of unop * expression
+  | ECall of expression * arguments * Loc.t
+  | ECopy of expression * Loc.t
+  | EVar of Id.t
+  | EFun of function_expression
+  | EArityTest of expression
+  | EStr of string * [ `Bytes | `Utf8 ]
+  | EVectlength of expression
+  | EArrAccess of expression * expression
+  | EArrLen of expression
+  | EArr of array_literal
+  | EStructAccess of expression * int
+  | EStruct of arguments
+  | ETag of int * arguments
+  | EDot of expression * Id.identifier
+  | EAccess of expression * expression
+  | ENew of expression * arguments option
+  | EObj of property_name_and_value_list
+  | EBool of bool
+  | EFloat of float
+  | EInt of int
+  | EQuote of string
+  | ERegexp of string * string option
+  | ERuntime
+
+and statement =
+  | Block of block
+  | Variable_statement of variable_declaration list
+  | Empty_statement
+  | Expression_statement of expression
+  | If_statement of expression * (statement * Loc.t) * (statement * Loc.t) option
+  | Loop_statement of statement * Loc.t
+  | Continue_statement of Javascript.Label.t option
+  | Break_statement of Javascript.Label.t option
+  | Return_statement of expression option
+  | Labelled_statement of Javascript.Label.t * (statement * Loc.t)
+  | Switch_statement of expression * case_clause list * statement_list
+  | Throw_statement of expression
+  | Try_statement of block * (Id.t * block)
+  | Debugger_statement
+
+and block = statement_list
+
+and statement_list = (statement * Loc.t) list
+
+and variable_declaration = Id.t * initialiser option
+
+and case_clause = expression * statement_list
+
+and initialiser = expression * Loc.t
+
+and var_info = (int StringMap.t * int Code.Var.Map.t) option
+
+and function_declaration = Id.t * formal_parameter_list * function_body * Loc.t
+
+and function_expression = Id.t option * formal_parameter_list * function_body * Loc.t
+
+and formal_parameter_list = Id.t list
+
+and function_body = source_elements
+
+and program = source_elements
+
+and source_elements = (source_element * Loc.t) list
+
+and source_element =
+  | Statement of statement
+  | Function_declaration of function_declaration