Introduce GIROptimizer; Value Cohabitation

silt-lang / silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.

MIT License

240 stars 13 forks source link

Introduce GIROptimizer; Value Cohabitation #151

Closed CodaFi closed 5 years ago

CodaFi commented 5 years ago

Lay the ground work for "value cohabitation" and spare bit pattern computations. Also lay the groundwork for an optimization pipeline for scheduled and unscheduled GraphIR.

A lot of this is WIP, but it's also important to get the build green again.

CodaFi commented 5 years ago

Cool cool, so we crash on 5.0 and the Linux build fails on 5.1. I'm going to XFAIL the linux bots (which is to say, comment out the builder) and fix this in a separate patch. This mega-patch was always a bad idea anyways...