Revision f253d15a3b2681dfa40491451fcb3f21f1dbe412 authored by Sai Praveen Bangaru on 17 February 2023, 17:03:59 UTC, committed by GitHub on 17 February 2023, 17:03:59 UTC
* Halfway to loop inversion

* More progress towards proper loop inversion

* More progress towards inverse insts. Only thing left is adding `counter>=0` at the right place

* More fixes for inversion step.

* Lots more fixes, added primal inst 'hoisting' mechanism as the central method that ensures primal values are placed in the right spot

* Loop inversion is now functional

* Cleaned up commented code

* rename diffCounterVar -> diffCounterParam

* minor update

* removed some comments and commented code

* Switch `IRBuilder(sharedIRBuilder)` to `IRBuilder(moduleInst)`
1 parent 245466d
History
File Mode Size
README.md -rw-r--r-- 1.7 KB
autodiff.md -rw-r--r-- 8.7 KB
capabilities.md -rw-r--r-- 16.0 KB
casting.md -rw-r--r-- 8.3 KB
coding-conventions.md -rw-r--r-- 16.1 KB
decl-refs.md -rw-r--r-- 7.4 KB
existential-types.md -rw-r--r-- 13.5 KB
interfaces.md -rw-r--r-- 23.4 KB
ir.md -rw-r--r-- 25.7 KB
overview.md -rw-r--r-- 21.7 KB
semantic-checking.md -rw-r--r-- 17.6 KB
serialization.md -rw-r--r-- 25.7 KB

README.md

back to top