| 1181 | } |
| 1182 | |
| 1183 | void |
| 1184 | Reducer::config_var_init_reduction(string cmd) |
| 1185 | { |
| 1186 | vector<string> strs; |
| 1187 | StringUtils::split_string(cmd, strs, ":"); |
| 1188 | assert(strs.size() == 2); |
| 1189 | |
| 1190 | const Variable* v = VariableSelector::find_var_by_name(strs[0]); |
| 1191 | assert(v); |
| 1192 | map_reduced_var_inits[v] = strs[1]; |
| 1193 | } |
| 1194 | |
| 1195 | string |
| 1196 | Reducer::add_artificial_globals(const Type* t, string name) |