35     dbginfo_.Push<dex::u1>(dex::DBG_ADVANCE_PC);  in Visit()
36     dbginfo_.PushULeb128(dbg_annotation->offset - last_address_);  in Visit()
60           dbginfo_.Push<dex::u1>(dex::DBG_ADVANCE_LINE);  in Visit()
61           dbginfo_.PushSLeb128(delta);  in Visit()
66         dbginfo_.Push<dex::u1>(special_opcode);  in Visit()
75       dbginfo_.Push<dex::u1>(dex::DBG_START_LOCAL);  in Visit()
76       dbginfo_.PushULeb128(reg);  in Visit()
77       dbginfo_.PushULeb128(name_index + 1);  in Visit()
78       dbginfo_.PushULeb128(type_index + 1);  in Visit()
86       dbginfo_.Push<dex::u1>(dex::DBG_START_LOCAL_EXTENDED);  in Visit()
87       dbginfo_.PushULeb128(reg);  in Visit()
88       dbginfo_.PushULeb128(name_index + 1);  in Visit()
89       dbginfo_.PushULeb128(type_index + 1);  in Visit()
90       dbginfo_.PushULeb128(sig_index + 1);  in Visit()
96       dbginfo_.Push<dex::u1>(dbg_annotation->dbg_opcode);  in Visit()
97       dbginfo_.PushULeb128(reg);  in Visit()
102       dbginfo_.Push<dex::u1>(dbg_annotation->dbg_opcode);  in Visit()
109         dbginfo_.Push<dex::u1>(dex::DBG_SET_FILE);  in Visit()
110         dbginfo_.PushULeb128(file_name->index + 1);  in Visit()
124   SLICER_CHECK(dbginfo_.empty());  in Encode()
136   dbginfo_.Push<dex::u1>(dex::DBG_END_SEQUENCE);  in Encode()
137   dbginfo_.Seal(1);  in Encode()
139   SLICER_CHECK(!dbginfo_.empty());  in Encode()
143   ir_debug_info->data = slicer::MemView(dbginfo_.data(), dbginfo_.size());  in Encode()
152   dex_ir->AttachBuffer(std::move(dbginfo_));  in Encode()