search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Add context before sending to egglog #421

Closed oflatt closed 5 months ago

oflatt commented 5 months ago

This PR makes the optimizer add context nodes before sending the program to egglog. To ensure linearity of the state edge on the way back, it removes these context nodes again. This is a hack that should be fixed by a linearity-preserving extractor in the future. Right now, eggcc assumes the extracted program uses memory linearly.

oflatt commented 5 months ago

err idk why add if to CICM is in the diff

oflatt commented 5 months ago

Oh it's because this branch is based on oflatt-dag-bug2