Skip to content

Commit fc97a4b

Browse files
authored
Merge pull request #134 from herbie-fp/baseline-uses-rival-machine
Make the baseline compiler use Rival functions everywhere possible
2 parents 7ae600f + 5e01e4a commit fc97a4b

File tree

5 files changed

+75
-323
lines changed

5 files changed

+75
-323
lines changed

eval/adjust.rkt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,8 @@
77
racket/match)
88

99
(provide backward-pass
10-
make-hint)
10+
make-hint
11+
drop-self-pointer)
1112

1213
; Hint is a vector with len(ivec) elements which
1314
; guides Rival on which instructions should not be executed

eval/run.rkt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@
1414
rival-machine-run
1515
rival-machine-return
1616
rival-machine-adjust
17+
rival-machine-record
1718
apply-instruction) ; for compile.rkt
1819

1920
(define (rival-machine-load machine args)

0 commit comments

Comments
 (0)