diff options
| author | Graydon Hoare <[email protected]> | 2010-08-05 17:44:35 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-08-05 17:44:35 -0700 |
| commit | db561b52fff4466ac4de4fc807ebc0c253c7cd73 (patch) | |
| tree | 8c1a2482f839e5e6b55122a0c0cafb3dfd06471c /src/boot/be/il.ml | |
| parent | Something is wrong with the emitter size cache; disable for now, possibly put... (diff) | |
| download | rust-db561b52fff4466ac4de4fc807ebc0c253c7cd73.tar.xz rust-db561b52fff4466ac4de4fc807ebc0c253c7cd73.zip | |
Degrade emitter size cache to just a flat hashtable with regular flushes (sigh) and re-introduce horrible bounce-off-spill hack for DIV, MUL, etc.
Diffstat (limited to 'src/boot/be/il.ml')
| -rw-r--r-- | src/boot/be/il.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml index 792e83e2..172d8661 100644 --- a/src/boot/be/il.ml +++ b/src/boot/be/il.ml @@ -695,7 +695,7 @@ type emitter = { mutable emit_pc: int; emit_target_specific: (emitter -> quad -> unit); mutable emit_quads: quads; emit_annotations: (int,string) Hashtbl.t; - emit_size_cache: ((size,operand) Hashtbl.t) Stack.t; + emit_size_cache: (size,operand) Hashtbl.t; emit_node: node_id option; } @@ -722,7 +722,7 @@ let new_emitter emit_target_specific = emit_target_specific; emit_quads = Array.create 4 badq; emit_annotations = Hashtbl.create 0; - emit_size_cache = Stack.create (); + emit_size_cache = Hashtbl.create 0; emit_node = node; } ;; |