From 1bc0ce716ff90a5384a70b5f9426108bb6380549 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 22 Mar 2019 10:49:09 +0100
Subject: rm Pdiv / Pdivu

---
 mppa_k1c/TargetPrinter.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'mppa_k1c/TargetPrinter.ml')

diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index d4e2afc9..69824852 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -258,10 +258,6 @@ module Target (*: TARGET*) =
          fprintf oc "	goto	%a\n" symbol s
       | Pigoto(rs) ->
          fprintf oc "	igoto	%a\n" ireg rs
-      | Pdiv ->
-         fprintf oc "	call	__divdi3\n"
-      | Pdivu ->
-         fprintf oc "	call	__udivdi3\n"
       | Pj_l(s) ->
          fprintf oc "	goto	%a\n" print_label s
       | Pcb (bt, r, lbl) | Pcbu (bt, r, lbl) ->
-- 
cgit