suzanne.soy/whalesong
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

removing more superfluous labels

Browse Source
This commit is contained in:
Danny Yoo 2011-08-07 17:56:38 -04:00
parent 3c06d9a38d
commit 193c526e04
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
compiler/compiler.rkt
View File

@ -371,7 +371,6 @@
empty-instruction-sequence] empty-instruction-sequence]
[else [else
(let* ([linked (make-label 'linked)] (let* ([linked (make-label 'linked)]
[already-loaded (make-label 'alreadyLoaded)]
[on-return-multiple (make-label 'onReturnMultiple)] [on-return-multiple (make-label 'onReturnMultiple)]
[on-return (make-LinkedLabel (make-label 'onReturn) [on-return (make-LinkedLabel (make-label 'onReturn)
on-return-multiple)]) on-return-multiple)])
@ -384,19 +383,18 @@
(make-DebugPrint (make-Const (make-DebugPrint (make-Const
(format "DEBUG: the module ~a hasn't been linked in!!!" (format "DEBUG: the module ~a hasn't been linked in!!!"
(ModuleLocator-name a-module-name)))) (ModuleLocator-name a-module-name))))
(make-GotoStatement (make-Label already-loaded)) (make-GotoStatement (make-Label (LinkedLabel-label on-return)))
linked linked
(make-TestAndJumpStatement (make-TestTrue (make-TestAndJumpStatement (make-TestTrue
(make-IsModuleInvoked a-module-name)) (make-IsModuleInvoked a-module-name))
already-loaded) (LinkedLabel-label on-return))
(make-PushControlFrame/Call on-return) (make-PushControlFrame/Call on-return)
(make-GotoStatement (ModuleEntry a-module-name)) (make-GotoStatement (ModuleEntry a-module-name))
on-return-multiple on-return-multiple
(make-PopEnvironment (make-SubtractArg (make-Reg 'argcount) (make-PopEnvironment (make-SubtractArg (make-Reg 'argcount)
(make-Const 1)) (make-Const 1))
(make-Const 0)) (make-Const 0))
on-return on-return))]))
already-loaded))]))
(: kernel-module-name? (ModuleLocator -> Boolean)) (: kernel-module-name? (ModuleLocator -> Boolean))
@ -599,7 +597,6 @@
(: compile-begin0 ((Listof Expression) CompileTimeEnvironment Target Linkage -> InstructionSequence)) (: compile-begin0 ((Listof Expression) CompileTimeEnvironment Target Linkage -> InstructionSequence))
;; FIXME: this is broken at the moment.
(define (compile-begin0 seq cenv target linkage) (define (compile-begin0 seq cenv target linkage)
(cond (cond
[(empty? seq) [(empty? seq)
@ -1645,7 +1642,6 @@
(cons '? cenv) (cons '? cenv)
(make-EnvLexicalReference 0 #f) (make-EnvLexicalReference 0 #f)
next-linkage/expects-single)] next-linkage/expects-single)]
[after-let1 : Symbol (make-label 'afterLetOne)]
[after-body-code : Symbol (make-label 'afterLetBody)] [after-body-code : Symbol (make-label 'afterLetBody)]
[extended-cenv : CompileTimeEnvironment (cons (extract-static-knowledge (Let1-rhs exp) [extended-cenv : CompileTimeEnvironment (cons (extract-static-knowledge (Let1-rhs exp)
(cons '? cenv)) (cons '? cenv))
@ -1673,8 +1669,7 @@
rhs-code rhs-code
body-code body-code
after-body-code after-body-code
(make-PopEnvironment (make-Const 1) (make-Const 0)) (make-PopEnvironment (make-Const 1) (make-Const 0))))))
after-let1))))