diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 21:12:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 21:12:48 +0200 |
commit | 3e070cae6a316b7e3363c8159096c3bbc4bf21b2 (patch) | |
tree | 18de89977f0b89d18922d54f3c600d09092d580b /powerpc | |
parent | aff813685455559f6d6a88158dd3d605893ba3a3 (diff) | |
download | compcert-3e070cae6a316b7e3363c8159096c3bbc4bf21b2.tar.gz compcert-3e070cae6a316b7e3363c8159096c3bbc4bf21b2.zip |
Added translation of the range lists to location entries.
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index d44f709e..b40a9e53 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -683,7 +683,7 @@ let expand_instruction id l = let lbl = get_lbl lbl in let scopes' = List.map (function BA_int x -> Int32.to_int (camlint_of_coqint x) | _ -> assert false) args in expand_scope id lbl scopes scopes'; - emit i;aux (Some lbl) scopes' rest + aux (Some lbl) scopes' rest | _ -> emit i; aux None scopes rest end |