He Wei 7d9a783993 [auto-monad] Support side-effects by auto-monad ... The basic idea is: exploits data dependency to control the execution order of side-effect operations, and keep the semantics of ANF unchanged. The ControlDepend primitive is removed and there are two primitives added: 1. UpdateState: ``` a = Assign(para, value) ``` became: ``` a = Assign(para, value, u) u = UpdateState(u, a) ``` 2. Load: ``` x = Add(para, value) ``` became: ``` p = Load(para, u) x = Add(p, value) u = UpdateState(u, p) ```		2021-02-08 09:01:15 +08:00
..
test_keep_order.py	[auto-monad] Support side-effects by auto-monad	2021-02-08 09:01:15 +08:00