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 /powerpc/TargetPrinter.ml | |
| parent | 3939a1ccfdb86795e9fdf5953489ddfee238152c (diff) | |
| download | compcert-kvx-a2064197c9dc5578e6f0155b8d0cc9cb3eecef90.tar.gz compcert-kvx-a2064197c9dc5578e6f0155b8d0cc9cb3eecef90.zip | |
Added Pldi to instr_size.
Since Pldi generates two instructions instr_size of Pldi should
return 2.
Bug 24218
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -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 |