diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 13:22:28 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 13:22:28 +0200 |
commit | c74211d87eb53cb310703dec2c504b26d7f24bdf (patch) | |
tree | 02ba6656583426df8fc43bd1d005f57326c7ea32 /powerpc/AsmToJSON.ml | |
parent | 38959ad2b2d35a7d1b3479ef4298a5d754350cd8 (diff) | |
download | compcert-c74211d87eb53cb310703dec2c504b26d7f24bdf.tar.gz compcert-c74211d87eb53cb310703dec2c504b26d7f24bdf.zip |
Added builtin for mbar instruction.
This commit adds a builtin function for the mbar instruction.
Diffstat (limited to 'powerpc/AsmToJSON.ml')
-rw-r--r-- | powerpc/AsmToJSON.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 83d01dc5..3550cd64 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -242,6 +242,7 @@ let p_instruction oc ic = | Plwzx_a (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Plwzx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 | Plwarx (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Plwarx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 | Plwbrx (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Plwbrx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 + | Pmbar c -> fprintf oc "{\"Instruction Name\":\"Pmbar\",\"Args\":[%a]}" p_int_constant c | Pmfcr ir -> fprintf oc "{\"Instruction Name\":\"Pmfcr\",\"Args\":[%a]}" p_ireg ir | Pmfcrbit (ir,crb) -> assert false (* Should not occur *) | Pmflr ir -> fprintf oc "{\"Instruction Name\":\"Pmflr\",\"Args\":[%a]}" p_ireg ir |