Cleanup

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@934 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

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