diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-17 09:45:44 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-17 09:45:44 +0200 |
| commit | c9d01df3577a23e20abbe934f6f36f17dbbb82cd (patch) | |
| tree | 3347d5103efbdd6f0ca445b648763389097d3833 /arm/Asmexpand.ml | |
| parent | e5d8d8d2d67daed762f6e0cc8f486b2c1b37bb20 (diff) | |
| download | compcert-c9d01df3577a23e20abbe934f6f36f17dbbb82cd.tar.gz compcert-c9d01df3577a23e20abbe934f6f36f17dbbb82cd.zip | |
ARM: Generate Pcfi_rel_offset directives directly from Asmgen
This is what we do for PowerPC and is more resilient to changes in code generation. We need to give Pcfi_rel_offset a dynamic semantics, but that's just a no-op.
Diffstat (limited to 'arm/Asmexpand.ml')
| -rw-r--r-- | arm/Asmexpand.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml index fbe2e0bb..c4e7e77d 100644 --- a/arm/Asmexpand.ml +++ b/arm/Asmexpand.ml @@ -451,8 +451,7 @@ let expand_instruction instr = emit (Pstr (IR14,IR13,SOimm _0)); expand_subimm IR13 IR13 ofs end else - emit (Pstr (IR14,IR13,SOimm ofs)); - emit (Pcfi_rel_offset ofs) + emit (Pstr (IR14,IR13,SOimm ofs)) | Pbuiltin (ef,args,res) -> begin match ef with | EF_builtin (name,sg) -> |