Method stack

lineiform/src/lift.rs:217–233

(&self)

    }

    fn stack(&self) -> usize {
        let sp = self.bound.get(&Location::Reg(RegSpec::rsp()));
        match sp {
            Some(JitVariable::Known(JitValue::Ref(base, offset)))
                if let JitValue::Stack = **base =>
            {
                //println!("current stack @ 0x{:x}", offset);
                assert!(offset <= &STACK_TOP);
                *offset
            },
            Some(JitVariable::Known(JitValue::Const(Wrapping(stack)))) => {
                assert!(stack <= &STACK_TOP);
                *stack
            }
            x => unimplemented!("non-concrete stack?? {:?}", x),
        }
    }

    fn dump(&self) {
    }