#include #include #include #include #include #include namespace migraphx { inline namespace MIGRAPHX_INLINE_NS { namespace onnx { struct parse_if : op_parser { std::vector operators() const { return {{"If"}}; } std::vector parse(const op_desc& /*opd*/, onnx_parser& parser, const onnx_parser::node_info& info, std::vector args) const { const auto& then_graph = info.attributes.at("then_branch").g(); const auto& else_graph = info.attributes.at("else_branch").g(); if(args.front()->get_shape().elements() != 1) { MIGRAPHX_THROW("PARSE_IF: condition input can have only one element!"); } migraphx::argument cond_arg = args.front()->eval(); // cond is not constant, need to create sub_modules if(cond_arg.empty()) { std::string then_name = info.name + "_if"; module_ref then_mdl = parser.prog.create_module(then_name); std::string else_name = info.name + "_else"; module_ref else_mdl = parser.prog.create_module(else_name); // parse the then sub_graph parser.parse_graph(then_mdl, then_graph); // parse_the else sub_graph parser.parse_graph(else_mdl, else_graph); auto then_out_shapes = then_mdl->get_output_shapes(); auto else_out_shapes = else_mdl->get_output_shapes(); if(not std::equal(then_out_shapes.begin(), then_out_shapes.end(), else_out_shapes.begin(), else_out_shapes.end())) { MIGRAPHX_THROW("PARSE_IF: then and else sub_grahps must have same output shapes!"); } auto ret = info.add_instruction(make_op("if"), args, {then_mdl, else_mdl}); return {ret}; } else { auto* mod = info.mod; // then branch if(cond_arg.at()) { parser.parse_graph(mod, then_graph); } // else branch else { parser.parse_graph(mod, else_graph); } // inputs of the return instruction are that of the output of the // if instruction instruction_ref ret_ins = std::prev(mod->end()); auto outputs = ret_ins->inputs(); assert(ret_ins->name() == "@return"); mod->remove_instruction(ret_ins); return outputs; } } }; } // namespace onnx } // namespace MIGRAPHX_INLINE_NS } // namespace migraphx