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

Function parse_insertelement

tools/alive_parser.cpp:1182–1193  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1180}
1181
1182static unique_ptr<Instr> parse_insertelement(string_view name) {
1183 // %p = insertelement vty %v, ty %n, ty %idx
1184 auto &ty_a = parse_type();
1185 auto &a = parse_operand(ty_a);
1186 parse_comma();
1187 auto &ty_e = parse_type();
1188 auto &e = parse_operand(ty_e);
1189 parse_comma();
1190 auto &ty_idx = parse_type();
1191 auto &idx = parse_operand(ty_idx);
1192 return make_unique<InsertElement>(get_sym_type(), string(name), a, e, idx);
1193}
1194
1195static unique_ptr<Instr> parse_shufflevector(string_view name) {
1196 // %p = shufflevector ty %a, ty %b, ty %c

Callers 1

parse_instrFunction · 0.85

Calls 1

parse_commaFunction · 0.85

Tested by

no test coverage detected