diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-14 14:44:25 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-14 14:44:25 +0100 |
commit | 41ed905f57ec62162aac5be5bd5551b7b753e88d (patch) | |
tree | de865e0f9093c03fc764f2194a7f4476c160256f /powerpc/AsmToJSON.ml | |
parent | 680444f180c750078a77b0591cd5c19e632612d6 (diff) | |
download | compcert-41ed905f57ec62162aac5be5bd5551b7b753e88d.tar.gz compcert-41ed905f57ec62162aac5be5bd5551b7b753e88d.zip |
Added warning for inline asm in sdump. Bug 20593
Diffstat (limited to 'powerpc/AsmToJSON.ml')
-rw-r--r-- | powerpc/AsmToJSON.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index f0000035..5304b967 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -264,7 +264,12 @@ let p_instruction oc ic = | Pxori (ir1,ir2,c) ->instruction "Pxori" [Ireg ir1; Ireg ir2; Constant c] | Pxoris (ir1,ir2,c) -> instruction "Pxoris" [Ireg ir1; Ireg ir2; Constant c] | Plabel l -> instruction "Plabel" [ALabel l] - | Pbuiltin _ -> () + | Pbuiltin (ef,_,_) -> + begin match ef with + | EF_inline_asm _ -> + Cerrors.warning ("",-10) Cerrors.Inline_asm_sdump "inline assembler is not supported in sdump" + | _ -> () + end | Pcfi_adjust _ (* Only debug relevant *) | Pcfi_rel_offset _ -> () (* Only debug relevant *) in List.iter instruction ic |