Skip to content

Commit 6013b52

Browse files
committed
display enodes
1 parent af9c4aa commit 6013b52

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

src/core/egg-herbie.rkt

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1194,6 +1194,24 @@
11941194
(match cmd
11951195
[`(single . ,extractor) ; single expression extraction
11961196
(define regraph (make-regraph egg-graph))
1197+
(define nodenumber 0)
1198+
(displayln "%%%%%%%%%%%%%%%%%%%%%%%%%%%%")
1199+
(define eclasses (regraph-eclasses regraph))
1200+
(define n (vector-length eclasses))
1201+
(for ([id (in-range n)])
1202+
(displayln "___________________")
1203+
1204+
(define eclass (vector-ref eclasses id))
1205+
(for ([enode eclass])
1206+
(display nodenumber)
1207+
(display ": ")
1208+
(displayln enode)
1209+
(set! nodenumber (+ nodenumber 1))
1210+
;(displayln "___________________")
1211+
)
1212+
)
1213+
1214+
(displayln "%%%%%%%%%%%%%%%%%%%%%%%%%%%%")
11971215
(define extract-id (extractor regraph))
11981216
(define reprs (egg-runner-reprs runner))
11991217
(for/list ([id (in-list root-ids)]

0 commit comments

Comments
 (0)