From 0cd92d2735eaaa7af3153ee56e07c1d2ac717516 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Fri, 17 Apr 1987 10:53:25 +0000 Subject: [PATCH] Initial revision --- v7/src/compiler/rtlopt/rcompr.scm | 95 +++++++++++++++++++++++++++++++ v7/src/compiler/rtlopt/rdebug.scm | 88 ++++++++++++++++++++++++++++ 2 files changed, 183 insertions(+) create mode 100644 v7/src/compiler/rtlopt/rcompr.scm create mode 100644 v7/src/compiler/rtlopt/rdebug.scm diff --git a/v7/src/compiler/rtlopt/rcompr.scm b/v7/src/compiler/rtlopt/rcompr.scm new file mode 100644 index 000000000..502b88572 --- /dev/null +++ b/v7/src/compiler/rtlopt/rcompr.scm @@ -0,0 +1,95 @@ +#| -*-Scheme-*- + +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/rtlopt/rcompr.scm,v 1.1 1987/04/17 10:53:11 cph Exp $ + +Copyright (c) 1987 Massachusetts Institute of Technology + +This material was developed by the Scheme project at the Massachusetts +Institute of Technology, Department of Electrical Engineering and +Computer Science. Permission to copy this software, to redistribute +it, and to use it for any purpose is granted, subject to the following +restrictions and understandings. + +1. Any copy made of this software must include this copyright notice +in full. + +2. Users of this software agree to make their best efforts (a) to +return to the MIT Scheme project any improvements or extensions that +they make, so that these may be included in future releases; and (b) +to inform MIT of noteworthy uses of this software. + +3. All materials developed as a consequence of the use of this +software shall duly acknowledge such use, in accordance with the usual +standards of acknowledging credit in academic research. + +4. MIT has made no warrantee or representation that the operation of +this software will be error-free, and MIT is under no obligation to +provide any services, by way of maintenance, update, or otherwise. + +5. In conjunction with products arising from the use of this material, +there shall be no use of the name of the Massachusetts Institute of +Technology nor of any adaptation thereof in any advertising, +promotional, or sales literature without prior written consent from +MIT in each case. |# + +;;;; RTL Dead Code Elimination +;;; Based on the GNU C Compiler + +(declare (usual-integrations)) + +(define (dead-code-elimination bblocks) + (for-each (lambda (bblock) + (if (not (eq? (bblock-entry bblock) (bblock-exit bblock))) + (let ((live (regset-copy (bblock-live-at-entry bblock))) + (births (make-regset *n-registers*))) + (bblock-walk-forward bblock + (lambda (rnode next) + (if next + (begin (optimize-rtl live rnode next) + (regset-clear! births) + (mark-set-registers! live + births + (rnode-rtl rnode) + false) + (for-each (lambda (register) + (regset-delete! live register)) + (rnode-dead-registers rnode)) + (regset-union! live births)))))))) + bblocks)) + +(define (optimize-rtl live rnode next) + (let ((rtl (rnode-rtl rnode))) + (if (rtl:assign? rtl) + (let ((address (rtl:assign-address rtl))) + (if (rtl:register? address) + (let ((register (rtl:register-number address))) + (if (and (pseudo-register? register) + (= 2 (register-n-refs register)) + (rnode-dead-register? next register) + (rtl:any-subexpression? (rnode-rtl next) + (lambda (expression) + (and (rtl:register? expression) + (= (rtl:register-number expression) + register))))) + (begin + (let ((dead (rnode-dead-registers rnode))) + (for-each increment-register-live-length! dead) + (set-rnode-dead-registers! + next + (eqv-set-union dead + (delv! register + (rnode-dead-registers next))))) + (for-each-regset-member live + decrement-register-live-length!) + (rtl:modify-subexpressions (rnode-rtl next) + (lambda (expression set-expression!) + (if (and (rtl:register? expression) + (= (rtl:register-number expression) + register)) + (set-expression! (rtl:assign-expression rtl))))) + (snode-delete! rnode) + (reset-register-n-refs! register) + (reset-register-n-deaths! register) + (reset-register-live-length! register) + (set-register-next-use! register false) + (set-register-bblock! register false))))))))) \ No newline at end of file diff --git a/v7/src/compiler/rtlopt/rdebug.scm b/v7/src/compiler/rtlopt/rdebug.scm new file mode 100644 index 000000000..f84e63e19 --- /dev/null +++ b/v7/src/compiler/rtlopt/rdebug.scm @@ -0,0 +1,88 @@ +#| -*-Scheme-*- + +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/rtlopt/rdebug.scm,v 1.1 1987/04/17 10:53:25 cph Exp $ + +Copyright (c) 1987 Massachusetts Institute of Technology + +This material was developed by the Scheme project at the Massachusetts +Institute of Technology, Department of Electrical Engineering and +Computer Science. Permission to copy this software, to redistribute +it, and to use it for any purpose is granted, subject to the following +restrictions and understandings. + +1. Any copy made of this software must include this copyright notice +in full. + +2. Users of this software agree to make their best efforts (a) to +return to the MIT Scheme project any improvements or extensions that +they make, so that these may be included in future releases; and (b) +to inform MIT of noteworthy uses of this software. + +3. All materials developed as a consequence of the use of this +software shall duly acknowledge such use, in accordance with the usual +standards of acknowledging credit in academic research. + +4. MIT has made no warrantee or representation that the operation of +this software will be error-free, and MIT is under no obligation to +provide any services, by way of maintenance, update, or otherwise. + +5. In conjunction with products arising from the use of this material, +there shall be no use of the name of the Massachusetts Institute of +Technology nor of any adaptation thereof in any advertising, +promotional, or sales literature without prior written consent from +MIT in each case. |# + +;;;; RTL Optimizer Debugging Output + +(declare (usual-integrations)) + +(define (dump-register-info) + (for-each-pseudo-register + (lambda (register) + (if (positive? (register-n-refs register)) + (begin (newline) + (write register) + (write-string ": renumber ") + (write (register-renumber register)) + (write-string "; nrefs ") + (write (register-n-refs register)) + (write-string "; length ") + (write (register-live-length register)) + (write-string "; ndeaths ") + (write (register-n-deaths register)) + (let ((bblock (register-bblock register))) + (cond ((eq? bblock 'NON-LOCAL) + (if (register-crosses-call? register) + (write-string "; crosses calls") + (write-string "; multiple blocks"))) + (bblock + (write-string "; block ") + (write (unhash bblock))) + (else + (write-string "; no block!"))))))))) + +(define (dump-block-info bblocks) + (let ((null-set (make-regset *n-registers*)) + (machine-regs (make-regset *n-registers*))) + (for-each-machine-register + (lambda (register) + (regset-adjoin! machine-regs register))) + (for-each (lambda (bblock) + (newline) + (newline) + (write bblock) + (let ((exit (bblock-exit bblock))) + (let loop ((rnode (bblock-entry bblock))) + (pp (rnode-rtl rnode)) + (if (not (eq? rnode exit)) + (loop (snode-next rnode))))) + (let ((live-at-exit (bblock-live-at-exit bblock))) + (regset-difference! live-at-exit machine-regs) + (if (not (regset=? null-set live-at-exit)) + (begin (newline) + (write-string "Registers live at end:") + (for-each-regset-member live-at-exit + (lambda (register) + (write-string " ") + (write register))))))) + (reverse bblocks)))) \ No newline at end of file -- 2.25.1