diff options
| author | Graydon Hoare <[email protected]> | 2010-09-20 23:56:43 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-09-20 23:56:43 -0700 |
| commit | c5f4789d5b75d3098665b17d318144cb7c54f42a (patch) | |
| tree | 2d0ef3ef0e85aa7f2453d8bae762c89552a99ed9 /src/boot/be | |
| parent | Wrap long lines. (diff) | |
| download | rust-c5f4789d5b75d3098665b17d318144cb7c54f42a.tar.xz rust-c5f4789d5b75d3098665b17d318144cb7c54f42a.zip | |
Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate 0-ary constructors as constants. Rustc loses ~300kb.
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/il.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml index 2a5b643a..0e13b4c0 100644 --- a/src/boot/be/il.ml +++ b/src/boot/be/il.ml @@ -128,7 +128,9 @@ let mem_off (mem:mem) (off:Asm.expr64) : mem = Abs e -> Abs (addto e) | RegIn (r, None) -> RegIn (r, Some off) | RegIn (r, Some e) -> RegIn (r, Some (addto e)) - | Spill _ -> bug () "Adding offset to spill slot" + | Spill _ -> + bug () "Adding offset %s to spill slot" + (Asm.string_of_expr64 off) ;; let mem_off_imm (mem:mem) (imm:int64) : mem = |