diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 17:00:18 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 17:00:18 +0200 |
commit | 707741859e747221af46daa982752b61a8076647 (patch) | |
tree | 28352d957a28c3d2f546d79c6b13c1adf1e1ed6e | |
parent | 296a95911bebae79f7bcc54ab9c05b1614bb8e9b (diff) | |
download | compcert-707741859e747221af46daa982752b61a8076647.tar.gz compcert-707741859e747221af46daa982752b61a8076647.zip |
Added json printing of Pbctr.
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 2c1c65b5..c86dad4e 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -158,7 +158,7 @@ let p_instruction oc ic = | Pandi_ (ir1,ir2,c) -> fprintf oc "{\"Instruction Name\":\"Pandi_\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_constant c | Pandis_ (ir1,ir2,c) -> fprintf oc "{\"Instruction Name\":\"Pandis_\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_constant c | Pb l -> fprintf oc "{\"Instruction Name\":\"Pb\",\"Args\":[%a]}" p_label l - | Pbctr s -> assert false (* Should not occur *) + | Pbctr s -> fprintf oc "{\"Instruction Name\":\"Pbctr\",\"Args\":[]}" | Pbctrl s -> fprintf oc "{\"Instruction Name\":\"Pbctrl\",\"Args\":[]}" | Pbdnz l -> fprintf oc "{\"Instruction Name\":\"Pbdnz\",\"Args\":[%a]}" p_label l | Pbf (c,l) -> fprintf oc "{\"Instruction Name\":\"Pbf\",\"Args\":[%a,%a]}" p_crbit c p_label l |