diff options
Diffstat (limited to 'asmcomp/linearize.ml')
| -rw-r--r-- | asmcomp/linearize.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 49095b340a..025890962b 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -72,6 +72,11 @@ let rec end_instr = res = [||]; live = Reg.Set.empty } +(* Cons an instruction (live empty) *) + +let instr_cons d a r n = + { desc = d; next = n; arg = a; res = r; live = Reg.Set.empty } + (* Cons a simple instruction (arg, res, live empty) *) let cons_instr d n = |