MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / parse_extractelement

Function parse_extractelement

tools/alive_parser.cpp:1172–1180  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1170}
1171
1172static unique_ptr<Instr> parse_extractelement(string_view name) {
1173 // %p = extractelement vty %v, ty %idx
1174 auto &ty_a = parse_type();
1175 auto &a = parse_operand(ty_a);
1176 parse_comma();
1177 auto &ty_idx = parse_type();
1178 auto &idx = parse_operand(ty_idx);
1179 return make_unique<ExtractElement>(get_sym_type(), string(name), a, idx);
1180}
1181
1182static unique_ptr<Instr> parse_insertelement(string_view name) {
1183 // %p = insertelement vty %v, ty %n, ty %idx

Callers 1

parse_instrFunction · 0.85

Calls 1

parse_commaFunction · 0.85

Tested by

no test coverage detected