diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-12-14 22:40:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-14 22:40:57 +0100 |
commit | cdf6681b3450baa1489c6a62e1903a450c0e2c3f (patch) | |
tree | 51298359f36359384df42747fad9d5325d86ed4a /arm/Asmexpand.ml | |
parent | a753f08de8382141aec2b4517fb87ad4e5fcc512 (diff) | |
download | compcert-cdf6681b3450baa1489c6a62e1903a450c0e2c3f.tar.gz compcert-cdf6681b3450baa1489c6a62e1903a450c0e2c3f.zip |
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.
Diffstat (limited to 'arm/Asmexpand.ml')
-rw-r--r-- | arm/Asmexpand.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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)) |