[Dy2stat]remove no_value using var.name for ifelse

[0x45f]

PR types

Bug fixes

PR changes

Others

Describe

使用下面代码对返回结果进行讨论，if分支中有两个变量y, z，else分支中有两个变量c, z

import paddle paddle.set_device('cpu') def func(x, use_cache=False): if use_cache: y = x + 1 z = x + 2 return y,z else: c = x + 1 z = x - 1 # c = x - 1 # d = x - 1 # return c, z return c # return None @paddle.jit.to_static def run(x): out = func(x) # import pdb; pdb.set_trace() return out x = paddle.to_tensor([[1, 2, 3], [4, 5, 6]]) out = run(x) print(run.code) print(out) print(type(out))

对于两个分支的ifelse，可以分为两种情况，一：两个分支有共有变量，二：两个分支无共有变量。下面的讨论中，else分支返回结果是指的动转静后静态图代码return语句的返回结果。

1 两个分支有共有变量，即else分支中有z变量

• else分支没有return语句， else分支返回结果return z

• else分支中return None，else分支返回结果((no_val_0, no_val_1), z)

• else分支有return语句 return c，else分支返回结果((c, no_val_0), z)

• else分支有return语句 return z， else分支返回结果((z, no_val_0), z)

• else分支有return语句 return c, z，else分支返回结果((c, z), z)

2 两个分支无共有变量，即else分支无z变量

• else分支没有return语句，else分支最后只有return，没有返回变量

• else分支return None，else分支返回结果(no_val_0, no_val_1)

• else分支return c，else分支返回结果(c, no_val_0)

• else分支return c, d，else分支返回结果(c, d)

上面的情况需要考虑，删除用于填充的no_val

NOTE：动转静转写时ifelse中对于reutnr (a, b)和return [a, b]动转静处理不同，tuple会被视为为两个变量；list被视为一个变量。

[paddle-bot-old]

Thanks for your contribution!
Please wait for the result of CI firstly. See Paddle CI Manual for details.

[Aurelius84]

LGTM