do some constant folding */
| 166 | |
| 167 | /* do some constant folding */ |
| 168 | bool |
| 169 | FunctionInvocationBinary::equals(int num) const |
| 170 | { |
| 171 | assert(param_value.size() == 2); |
| 172 | if (num == 0) { |
| 173 | if (param_value[0]->equals(0) && |
| 174 | (eFunc==eMul || eFunc==eDiv || eFunc==eMod || eFunc==eLShift || eFunc==eRShift || eFunc==eAnd || eFunc==eBitAnd)) { |
| 175 | return true; |
| 176 | } |
| 177 | if (param_value[1]->equals(0) && (eFunc==eMul || eFunc==eAnd || eFunc==eBitAnd)) { |
| 178 | return true; |
| 179 | } |
| 180 | if (param_value[0] == param_value[1] && (eFunc==eSub || eFunc==eCmpGt || eFunc==eCmpLt || eFunc==eCmpNe)) { |
| 181 | return true; |
| 182 | } |
| 183 | if ((param_value[1]->equals(1) || param_value[1]->equals(-1)) && eFunc==eMod) { |
| 184 | return true; |
| 185 | } |
| 186 | } |
| 187 | return false; |
| 188 | } |
| 189 | |
| 190 | bool |
| 191 | FunctionInvocationBinary::is_0_or_1(void) const |