Commit ab1f10a2 authored by David Monniaux's avatar David Monniaux
Browse files

fix open AST

parent cd9f4d1e
Pipeline #67047 failed with stage
......@@ -12,9 +12,10 @@
(** Auxiliary functions on machine registers *)
open AST
let is_scratch_register s = s = "R14" || s = "r14"
let class_of_type = function
| Tint | Tlong | Tany32 -> 0
| Tfloat | Tsingle | Tany64 -> 1
......@@ -12,6 +12,8 @@
(** Auxiliary functions on machine registers *)
open AST
let is_scratch_register r = false
let class_of_type = function
......
......@@ -11,7 +11,8 @@
(* *********************************************************************)
(** Auxiliary functions on machine registers *)
open AST
let is_scratch_register r = false
let class_of_type = function
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment