| 1349 | } |
| 1350 | |
| 1351 | static unique_ptr<Instr> parse_assume() { |
| 1352 | tokenizer.ensure(LPAREN); |
| 1353 | auto &val = parse_operand(*int_types[1].get()); |
| 1354 | tokenizer.ensure(RPAREN); |
| 1355 | return make_unique<Assume>(val, Assume::AndNonPoison); |
| 1356 | } |
| 1357 | |
| 1358 | static unique_ptr<Instr> parse_return() { |
| 1359 | auto &type = parse_type(); |