| 1078 | } |
| 1079 | |
| 1080 | void |
| 1081 | Reducer::config_expr_reduction(string cmd) |
| 1082 | { |
| 1083 | if (cmd.find(":") == string::npos) { |
| 1084 | // the reducer treats func_1 as main |
| 1085 | if (cmd == "main") cmd = "func_1"; |
| 1086 | const Function* f = find_function_by_name(cmd); |
| 1087 | assert(f); |
| 1088 | rewrite_calls_inside = f; |
| 1089 | } |
| 1090 | else { |
| 1091 | vector<string> strs; |
| 1092 | StringUtils::split_string(cmd, strs, ":"); |
| 1093 | assert(strs.size() == 2 || strs.size() == 3); |
| 1094 | string assigns = strs.size()==3 ? strs[2] : ""; |
| 1095 | reduce_call_with_assigns(strs[0], strs[1], assigns); |
| 1096 | } |
| 1097 | } |
| 1098 | |
| 1099 | void |
| 1100 | Reducer::config_binary_reduction(string cmd) |
nothing calls this directly
no test coverage detected