116             ProgramPoint::Inst(inst) => self.insts[inst].seq,  in pp_cmp()
120             ProgramPoint::Inst(inst) => self.insts[inst].seq,  in pp_cmp()
133             Some(prev_inst) => self.insts[prev_inst].seq,  in assign_inst_seq()
139             self.insts[next_inst].seq  in assign_inst_seq()
142             self.insts[inst].seq = prev_seq + MAJOR_STRIDE;  in assign_inst_seq()
147         if let Some(seq) = midpoint(prev_seq, next_seq) {  in assign_inst_seq()
148             self.insts[inst].seq = seq;  in assign_inst_seq()
159     fn renumber_insts(&mut self, inst: Inst, seq: SequenceNumber, limit: SequenceNumber) {  in renumber_insts()
161         let mut seq = seq;  in renumber_insts()  localVariable
164             self.insts[inst].seq = seq;  in renumber_insts()
172             if seq < self.insts[inst].seq {  in renumber_insts()
177             if seq > limit {  in renumber_insts()
187             seq += MINOR_STRIDE;  in renumber_insts()
198         let mut seq = MAJOR_STRIDE;  in full_block_renumber()  localVariable
201             self.insts[inst].seq = seq;  in full_block_renumber()
202             seq += MAJOR_STRIDE;  in full_block_renumber()
206         trace!("Renumbered {} program points", seq / MAJOR_STRIDE);  in full_block_renumber()
597     seq: SequenceNumber,  field
688             let mut seq = serializer.serialize_seq(Some(size))?;  in serialize()  localVariable
690                 seq.serialize_element(&block)?;  in serialize()
691                 seq.serialize_element(&self.blocks[block].cold)?;  in serialize()
692                 seq.serialize_element(&u32::try_from(self.block_insts(block).count()).unwrap())?;  in serialize()
694                     seq.serialize_element(&inst)?;  in serialize()
697             seq.end()  in serialize()
828                 let mut seq = 0;  in verify()  localVariable
833                     assert!(layout.insts[inst].seq > seq);  in verify()
834                     seq = layout.insts[inst].seq;  in verify()