From d92740c2cab0e346a4cacb5c0fb30b0699acee0c Mon Sep 17 00:00:00 2001
From: Gandiinaa Gumenjav <35082704+ggumen@users.noreply.github.com>
Date: Wed, 25 Mar 2026 17:06:17 -0700
Subject: [PATCH] reduce_cmd default for tensor_scalar_reduce

Update reduce_cmd default to ZeroAccumulate for `tensor_scalar_reduce` instruction
---
 KLR/Trace/ISA.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/KLR/Trace/ISA.lean b/KLR/Trace/ISA.lean
index dc3b80c8..e7a2d961 100644
--- a/KLR/Trace/ISA.lean
+++ b/KLR/Trace/ISA.lean
@@ -455,7 +455,7 @@ nki builtin.isa.tensor_scalar_reduce
  (reduce_op : AluOp)
  (reduce_res : Access)
  (reverse0 : Bool := false)
- (reduce_cmd : AccumCmd := .Zero)
+ (reduce_cmd : AccumCmd := .ZeroAccumulate)
  (reduce_init : Option Immediate := none)
  (mask : Option Immediate := none)
  (name : Option String := none) := do