Searched refs:producerValue (Results 1 – 3 of 3) sorted by relevance
39 private Value producerValue; field in TracedStack72 public void setProducerValue(Value producerValue) in setProducerValue() argument74 this.producerValue = producerValue; in setProducerValue()218 producerStack.push(producerValue); in dup()219 producerStack.push(producerValue); in dup()230 producerStack.push(producerValue); in dup_x1()231 producerStack.push(producerValue); in dup_x1()232 producerStack.push(producerValue); in dup_x1()244 producerStack.push(producerValue); in dup_x2()245 producerStack.push(producerValue); in dup_x2()[all …]
41 private Value producerValue; field in TracedVariables70 public void setProducerValue(Value producerValue) in setProducerValue() argument72 this.producerValue = producerValue; in setProducerValue()149 producerVariables.store(index, producerValue); in store()154 producerVariables.store(index+1, producerValue); in store()190 Value producerValue = producerVariables.getValue(index); in toString() local192 .append(producerValue == null ? "empty:" : producerValue.toString()) in toString()
303 Value producerValue = variables.getProducerValue(index); in correspondingVerificationTypes() local318 producerValue); in correspondingVerificationTypes()376 Value producerValue = stack.getTopProducerValue(index); in correspondingVerificationTypes() local386 producerValue); in correspondingVerificationTypes()410 Value producerValue) in correspondingVerificationType() argument438 InstructionOffsetValue producers = producerValue.instructionOffsetValue(); in correspondingVerificationType()