376     let pool = &dfg.value_lists;  in write_operands()  localVariable
415                 write!(w, " {}", DisplayValues(args.as_slice(pool)))  in write_operands()
437             write!(w, " {}", destination.display(pool))  in write_operands()
444             write!(w, " {}, {}", arg, block_then.display(pool))?;  in write_operands()
445             write!(w, ", {}", block_else.display(pool))  in write_operands()
448             write!(w, " {}, {}", arg, jump_tables[table].display(pool))  in write_operands()
453             write!(w, " {}({})", func_ref, DisplayValues(args.as_slice(pool)))?;  in write_operands()
459             let args = args.as_slice(pool);  in write_operands()
479                 DisplayValues(args.as_slice(pool)),  in write_operands()
480                 exception_tables[exception].display(pool),  in write_operands()
489             let args = args.as_slice(pool);  in write_operands()
495                 exception_tables[exception].display(pool),  in write_operands()