From: @zhouneng2
Reviewed-by: @linqingke,@liangchenghui
Signed-off-by: @linqingke

From: @wanyiming
Reviewed-by: 
Signed-off-by:

From: @wanyiming
Reviewed-by: @wuxuejian,@liangchenghui
Signed-off-by: @wuxuejian

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)
```

From: @caojian05
Reviewed-by: @wuxuejian,@liangchenghui
Signed-off-by: @wuxuejian

From: @wtcheng
Reviewed-by: @guoqi1024,@kisnwang
Signed-off-by: @guoqi1024

From: @caojian05
Reviewed-by: @wuxuejian,@oacjiewen,@liangchenghui
Signed-off-by: @liangchenghui

From: @huangbo77
Reviewed-by: 
Signed-off-by:

From: @liangzhibo
Reviewed-by: @ginfung,@zh_qh
Signed-off-by: @zh_qh

From: @wanyiming
Reviewed-by: @wuxuejian,@c_34
Signed-off-by: @wuxuejian

From: @wanyiming
Reviewed-by: 
Signed-off-by:

From: @wanyiming
Reviewed-by: @c_34,@wuxuejian
Signed-off-by: @wuxuejian

From: @lvmingfu
Reviewed-by: @gemini524
Signed-off-by:

From: @zhao_ting_v
Reviewed-by: @wuxuejian,@oacjiewen
Signed-off-by: @wuxuejian

From: @lvmingfu
Reviewed-by: 
Signed-off-by:

From: @wtcheng
Reviewed-by: 
Signed-off-by:

From: @wanyiming
Reviewed-by: 
Signed-off-by:

From: @shuzigood
Reviewed-by: @linqingke,@wuxuejian
Signed-off-by: @linqingke

From: @chenmai1102
Reviewed-by: @oacjiewen,@c_34
Signed-off-by: @c_34

From: @sergeywong
Reviewed-by: 
Signed-off-by:

From: @shuzigood
Reviewed-by: @wuxuejian,@linqingke
Signed-off-by: @linqingke

From: @zhanghuiyao
Reviewed-by: @liangchenghui,@oacjiewen
Signed-off-by: @liangchenghui