Function isPointerPlusAcc

optimizer/sum_range.go:71–102

isPointerPlusAcc checks if the node represents `# + #acc` pattern

(node Node)

// isPointerPlusAcc checks if the node represents `# + #acc` pattern
func isPointerPlusAcc(node Node) bool {
	predicate, ok := node.(*PredicateNode)
	if !ok {
		return false
	}

	binary, ok := predicate.Node.(*BinaryNode)
	if !ok {
		return false
	}

	if binary.Operator != "+" {
		return false
	}

	// Check for # + #acc (pointer + accumulator)
	leftPointer, leftIsPointer := binary.Left.(*PointerNode)
	rightPointer, rightIsPointer := binary.Right.(*PointerNode)

	if leftIsPointer && rightIsPointer {
		// # + #acc: Left is pointer (Name=""), Right is acc (Name="acc")
		if leftPointer.Name == "" && rightPointer.Name == "acc" {
			return true
		}
		// #acc + #: Left is acc (Name="acc"), Right is pointer (Name="")
		if leftPointer.Name == "acc" && rightPointer.Name == "" {
			return true
		}
	}

	return false
}

// applySumPredicate tries to compute the result of sum(m..n, predicate) at compile time.
// Returns (result, true) if optimization is possible, (0, false) otherwise.