【CINN】Add pass to fold consecutive IfThenElse.

[liuruyan]

PR Category

CINN

PR Types

Performance

Description

1. Add a method for change div and mod sequence in IndexExpr
2. Fold consecutive IfThenElse stmts if their conditions can be simplified. For example:

 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 case1: All if can be simplified.
 if ((((((256 * j) + ((1024 * i) + k)) / 56) / 56) == 0)) {
   if ((((((256 * j) + ((1024 * i) + k)) / 56) % 56) == 0)) {
     if (((((256 * j) + ((1024 * i) + k)) % 56) == 0)) {
       int32 a = 1
     }
   }
 }
 can be simplified to:
 if (((((i * 1024ll) + k) + (j * 256ll)) == 0)) {
   int32 a = 1
 }
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 case2: All if can be simplified and the inner one has false branch.
 if ((((((256 * j) + ((1024 * i) + k)) / 56) / 56) == 0)) {
   if ((((((256 * j) + ((1024 * i) + k)) / 56) % 56) == 0)) {
     if (((((256 * j) + ((1024 * i) + k)) % 56) == 0)) {
       int32 a = 1
       int32 b = 1
     } else {
       int32 c = 1
     }
   }
 }
 can be simplified to:
 if (((((i * 1024ll) + k) + (j * 256ll)) == 0)) {
   int32 a = 1
   int32 b = 1
 } else {
   int32 c = 1
 }
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 case3: The inner one can not be simplified.
 if ((((((256 * j) + ((1024 * i) + k)) / 56) / 56) == 0)) {
   if ((((((256 * j) + ((1024 * i) + k)) / 56) % 56) == 0)) {
     if (((((256 * j) + ((1024 * i) + k)) % 56) == 0)) {
       if (l <= 0)) {
         int32 a = 1
       }
     }
   }
 }
 can be simplified to:
 if (((((i * 1024ll) + k) + (j * 256ll)) == 0)) {
   if (l <= 0)) {
     int32 a = 1
   }
 }
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""

Pcard-67164

[paddle-bot]

你的PR提交成功，感谢你对开源项目的贡献!
请关注后续CI自动化测试结果，详情请参考Paddle-CI手册。
Your PR has been submitted. Thanks for your contribution!
Please wait for the result of CI firstly. See Paddle CI Manual for details.

[zyfncg]

为什么叫InnerIf？函数实现看上去和inner没有多少关联？

[liuruyan]

函数内部确实没有判断是否为 inner， 只是调用处限制了 inner，命名存在不妥之处，已修改

[zyfncg]

这是调试log吗？

[liuruyan]

是预留的调试信息，之后方便调试

[zyfncg]

if加{}

[liuruyan]

Done

[zyfncg]

加一些注释说明这里处理的原理

[liuruyan]

Done