diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-01 17:31:14 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-01 17:31:14 +0200 |
commit | a2064197c9dc5578e6f0155b8d0cc9cb3eecef90 (patch) | |
tree | f28544d73980053c7fe096110885abe7bc369622 | |
parent | 3939a1ccfdb86795e9fdf5953489ddfee238152c (diff) | |
download | compcert-a2064197c9dc5578e6f0155b8d0cc9cb3eecef90.tar.gz compcert-a2064197c9dc5578e6f0155b8d0cc9cb3eecef90.zip |
Added Pldi to instr_size.
Since Pldi generates two instructions instr_size of Pldi should
return 2.
Bug 24218
-rw-r--r-- | powerpc/TargetPrinter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index a7245c19..3e11406c 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -879,6 +879,7 @@ module Target (System : SYSTEM):TARGET = | Pbf(bit, lbl) -> 2 | Pbt(bit, lbl) -> 2 | Pbtbl(r, tbl) -> 5 + | Pldi (r1,c) -> 2 | Plfi(r1, c) -> 2 | Plfis(r1, c) -> 2 | Plabel lbl -> 0 |