@Override
	protected T evaluatePtrAdd(Program program, PcodeOp op, Map<Varnode, T> already) {
		Varnode baseVar = op.getInput(0);
		Varnode indexVar = op.getInput(1);
		int size = getIntConst(op.getInput(2));
		Varnode outVar = op.getOutput();
		T base = evaluateVarnode(program, baseVar, already);
		T index = evaluateVarnode(program, indexVar, already);
		return arithmetic.ptrAdd(outVar.getSize(), baseVar.getSize(), base, indexVar.getSize(),
			index, size);
	}
Construct an evaluator

@param arithmetic the arithmetic for computing p-code op outputs
Ghidra/Debug/ProposedUtils/src/main/java/ghidra/pcode/eval/ArithmeticVarnodeEvaluator.java