Function push_inst_ptr

regex/src/dfa.rs:285–289

Adds ip to data using delta encoding with respect to prev. After completion, `data` will contain `ip` and `prev` will be set to `ip`.

(data: &mut Vec<u8>, prev: &mut InstPtr, ip: InstPtr)

///
/// After completion, `data` will contain `ip` and `prev` will be set to `ip`.
fn push_inst_ptr(data: &mut Vec<u8>, prev: &mut InstPtr, ip: InstPtr) {
    let delta = (ip as i32) - (*prev as i32);
    write_vari32(data, delta);
    *prev = ip;
}

struct InstPtrs<'a> {
    base: usize,