diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 17:17:00 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 17:17:00 +0200 |
| commit | cfee340dc514e2cfbc5df910f7aa687e78a54d41 (patch) | |
| tree | 1b6544f0dbbc628ee1b10c191a794c1ef5ab9ab8 /powerpc/AsmToJSON.ml | |
| parent | 30ebbcd0731f680d1d283afb99318fb9d6e9cead (diff) | |
| download | compcert-kvx-cfee340dc514e2cfbc5df910f7aa687e78a54d41.tar.gz compcert-kvx-cfee340dc514e2cfbc5df910f7aa687e78a54d41.zip | |
Added builtin for the icbtls instruction.
This commit adds a builtin for the icbtls 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 ba61b734..8493f168 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -216,6 +216,7 @@ let p_instruction oc ic = | Pfres (fr1,fr2) -> fprintf oc "{\"Instruction Name\":\"Pfres\",\"Args\":[%a,%a]}" p_freg fr1 p_freg fr2 | Pfsel (fr1,fr2,fr3,fr4) -> fprintf oc "{\"Instruction Name\":\"Pfsel\",\"Args\":[%a,%a,%a,%a]}" p_freg fr1 p_freg fr2 p_freg fr3 p_freg fr4 | Picbi (ir1,ir2) -> fprintf oc "{\"Instruction Name\":\"Picbi\",\"Args\":[%a,%a]}" p_ireg ir1 p_ireg ir2 + | Picbtls (n,ir1) -> fprintf oc "{\"Instruction Name\":\"Picbtls\",\"Args\":[%a,%a]}" p_int_constant n p_ireg ir1 | Pisync -> fprintf oc "{\"Instruction Name\":\"Pisync\",\"Args\":[]}" | Plwsync -> fprintf oc "{\"Instruction Name\":\"Plwsync\",\"Args\":[]}" | Plbz (ir1,c,ir2) -> fprintf oc "{\"Instruction Name\":\"Plbz\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_constant c p_ireg ir2 |