diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 1 | ||||
| -rw-r--r-- | src/boot/be/x86.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 4d2a90cd..1a432086 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -145,6 +145,7 @@ type abi = abi_activate: (Il.emitter -> unit); abi_yield: (Il.emitter -> unit); abi_unwind: (Il.emitter -> Common.nabi -> Common.fixup -> unit); + abi_gc: (Il.emitter -> unit); abi_get_next_pc_thunk: ((Il.reg (* output *) * Common.fixup (* thunk in objfile *) diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index aa0ec2c7..57382c88 100644 --- a/src/boot/be/x86.ml +++ b/src/boot/be/x86.ml @@ -1627,6 +1627,7 @@ let (abi:Abi.abi) = Abi.abi_activate = activate_glue; Abi.abi_yield = yield_glue; Abi.abi_unwind = unwind_glue; + Abi.abi_gc = gc_glue; Abi.abi_get_next_pc_thunk = Some get_next_pc_thunk; Abi.abi_sp_reg = (Il.Hreg esp); |