From a2064197c9dc5578e6f0155b8d0cc9cb3eecef90 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 1 Aug 2018 17:31:14 +0200
Subject: Added Pldi to instr_size.

Since Pldi generates two instructions instr_size of Pldi should
return 2.
Bug 24218
---
 powerpc/TargetPrinter.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'powerpc/TargetPrinter.ml')

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
-- 
cgit