[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