(w: &mut dyn Write, dfg: &DataFlowGraph, inst: Inst)
| 588 | } |
| 589 | |
| 590 | fn write_user_stack_map_entries(w: &mut dyn Write, dfg: &DataFlowGraph, inst: Inst) -> fmt::Result { |
| 591 | let entries = match dfg.user_stack_map_entries(inst) { |
| 592 | None => return Ok(()), |
| 593 | Some(es) => es, |
| 594 | }; |
| 595 | write!(w, ", stack_map=[")?; |
| 596 | let mut need_comma = false; |
| 597 | for entry in entries { |
| 598 | if need_comma { |
| 599 | write!(w, ", ")?; |
| 600 | } |
| 601 | write!(w, "{} @ {}+{}", entry.ty, entry.slot, entry.offset)?; |
| 602 | need_comma = true; |
| 603 | } |
| 604 | write!(w, "]")?; |
| 605 | Ok(()) |
| 606 | } |
| 607 | |
| 608 | /// Displayable slice of values. |
| 609 | struct DisplayValues<'a>(&'a [Value]); |
no test coverage detected