From cdf6681b3450baa1489c6a62e1903a450c0e2c3f Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 14 Dec 2017 22:40:57 +0100 Subject: Moved constant expansion into Asmexpand. (#40) This commit introduces a new pass which is run after the expansion of the builtin functions which performs the expansion and placement of constants inside the function code. --- arm/Asmexpand.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'arm/Asmexpand.ml') diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml index 6c6b4a11..7c18be6b 100644 --- a/arm/Asmexpand.ml +++ b/arm/Asmexpand.ml @@ -669,7 +669,9 @@ let expand_function id fn = expand_debug id 13 preg_to_dwarf expand_instruction fn.fn_code else List.iter expand_instruction fn.fn_code; - Errors.OK (get_current_function ()) + let fn = get_current_function () in + let fn = Constantexpand.expand_constants fn in + Errors.OK fn with Error s -> Errors.Error (Errors.msg (coqstring_of_camlstring s)) -- cgit