Convert an owned VecNestedBufItem to the corresponding RVec value.
(builder: LowLevelIRBuilder, item: Value, vec_type: RVec)
| 379 | |
| 380 | |
| 381 | def convert_from_t_ext_item(builder: LowLevelIRBuilder, item: Value, vec_type: RVec) -> Value: |
| 382 | """Convert an owned VecNestedBufItem to the corresponding RVec value.""" |
| 383 | vec_len = builder.add(GetElement(item, "len")) |
| 384 | vec_items = builder.add(GetElement(item, "items")) |
| 385 | temp = builder.add(SetElement(Undef(vec_type), "len", vec_len)) |
| 386 | return builder.add(SetElement(temp, "items", vec_items)) |
| 387 | |
| 388 | |
| 389 | def vec_item_type(builder: LowLevelIRBuilder, item_type: RType, line: int) -> Value: |
no test coverage detected
searching dependent graphs…