From 58fca75f4ab089d21fc4f4a5bdac71d4b79f899f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 31 Dec 2008 18:37:31 +0000
Subject: [PATCH] Cleanup
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@934 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
powerpc/PrintAsm.ml | 105 --------------------------------------------
1 file changed, 105 deletions(-)
diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index 40d7ac529..a52a90f06 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -171,111 +171,6 @@ let const oc =
module Labelset = Set.Make(struct type t = label let compare = compare end)
-(*
-let _add oc r1 r2 r3 = fprintf oc " add %a, %a, %a\n" ireg r1 ireg r2 ireg r3
-let _addi oc r1 r2 c = fprintf oc " addi %a, %a, %s\n" ireg r1 ireg r2 c
-let _addis oc r1 r2 c = fprintf oc " addis %a, %a, %s\n" ireg r1 ireg r2 c
-let _addze oc r1 r2 = fprintf oc " addze %a, %a\n" ireg r1 ireg r2
-let _and_ oc r1 r2 r3 = fprintf oc " and. %a, %a, %a\n" ireg r1 ireg r2 ireg r3
-let _andc oc r1 r2 r3 = fprintf oc " andc %a, %a, %a\n" ireg r1 ireg r2 ireg r3
-let _andi_ oc r1 r2 c = fprintf oc " andi. %a, %a, %s\n" ireg r1 ireg r2 c
-let _andis_ oc r1 r2 c = fprintf oc " andis. %a, %a, %s\n" ireg r1 ireg r2 c
-let _b oc l = fprintf oc " b %s\n" l
-let _bctr oc = fprintf oc " bctr\n"
-let _bctrl oc = fprintf oc " bctrl\n"
-let _beq oc l = fprintf oc " beq %s\n" l
-let _bf oc b l = fprintf oc " bf %d, %s\n" b l
-let _bl oc l = fprintf oc " bl %s\n" l
-let _blr oc l = fprintf oc " blr %s\n" l
-let _bt oc b l = fprintf oc " bt %d, %s\n" b l
-let _cmplw oc cr r1 r2 = fprintf oc " cmplw %a, %a, %a\n" creg cr ireg r1 ireg r2
-let _cmplwi oc cr r1 c = fprintf oc " cmplwi %a, %a, %s\n" creg cr ireg r1 c
-let _cmpw oc cr r1 r2 = fprintf oc " cmpw %a, %a, %a\n" creg cr ireg r1 ireg r2
-let _cmpwi oc cr r1 c = fprintf oc " cmpwi %a, %a, %s\n" creg cr ireg r1 c
-let _cror oc r1 r2 r3 = fprintf oc " cror %d, %d, %d\n" r1 r2 r3
-
-
-let _divw
-let _divwu
-let _eqv
-let _extsb
-let _extsh
-let _fabs
-let _fadd
-let _fcmp
-let _fcmpu
-let _fctiwz
-let _fdiv
-let _fmadd
-let _fmr
-let _fmsub
-let _fmul
-let _fneg
-let _fsrp
-let _fsub
-let _lbz
-let _lbzx
-let _lfd
-let _lfd
-let _lfdx
-let _lfs
-let _lfsx
-let _lha
-let _lhax
-let _lhz
-let _long
-let _lwz
-let _lwzx
-let _mfcr
-let _mflr
-let _mr
-let _mtctr
-let _mtlr
-let _mulli
-let _mullw
-let _nand
-let _nor
-let _or
-let _orc
-let _ori
-let _oris
-let _rlwinm
-let _slw
-let _sraw
-let _srawi
-let _srw
-let _stb
-let _stbx
-let _stfd
-let _stfdu
-let _stfdx
-let _stfs
-let _stfsx
-let _sth
-let _sthx
-let _stw
-let _stwu
-let _stwx
-let _subfc
-let _subfic
-let _xor
-let _xori
-let _xoris
-
-let _byte
-let _quad
-let _short
-let _space
-
-let _text
-let _const
-let _data
-let _deflabel
-let _startfun
-let _endfun
-let _globvar
-*)
-
let print_instruction oc labels = function
| Padd(r1, r2, r3) ->
fprintf oc " add %a, %a, %a\n" ireg r1 ireg r2 ireg r3
--
GitLab