From 612a6feac2ffdf1d7fedff9d75b5844962ebde79 Mon Sep 17 00:00:00 2001
From: Max Wash <mbswash@gmail.com>
Date: Sun, 16 Nov 2025 20:09:06 +0000
Subject: [PATCH] doc: sample: add examples of new extensible syntax

---
 doc/sample/for-loop-1.mie | 14 ++++++++++++++
 doc/sample/for-loop-2.mie | 16 ++++++++++++++++
 doc/sample/for-loop-3.mie | 19 +++++++++++++++++++
 doc/sample/for-loop-4.mie | 25 +++++++++++++++++++++++++
 4 files changed, 74 insertions(+)
 create mode 100644 doc/sample/for-loop-1.mie
 create mode 100644 doc/sample/for-loop-2.mie
 create mode 100644 doc/sample/for-loop-3.mie
 create mode 100644 doc/sample/for-loop-4.mie

diff --git a/doc/sample/for-loop-1.mie b/doc/sample/for-loop-1.mie
new file mode 100644
index 0000000..a7674b1
--- /dev/null
+++ b/doc/sample/for-loop-1.mie
@@ -0,0 +1,14 @@
+func.func @reduce(%buffer: memref<1024*f32>, %lb: index, %ub: index, %step: index) -> f32 {
+	; Initial sum set to 0.
+	%sum.0 = arith.constant 0.0 : f32
+	; iter_args binds initial values to the loop's region arguments.
+	%sum = scf.for %iv = %lb to %ub step %step iter-args(%sum.iter = %sum.0) -> (f32) {
+		%t = memref.load %buffer[%iv] : memref<1024*f32>
+		%sum.next = arith.addf %sum.iter, %t : f32
+		; Yield current iteration sum to next iteration %sum.iter or to %sum
+		; if final iteration.
+		scf.yield %sum.next : f32
+	}
+
+	func.return %sum : f32
+}
diff --git a/doc/sample/for-loop-2.mie b/doc/sample/for-loop-2.mie
new file mode 100644
index 0000000..13e78dd
--- /dev/null
+++ b/doc/sample/for-loop-2.mie
@@ -0,0 +1,16 @@
+func.func @reduce(%buffer: memref<1024*f32>, %lb: index, %ub: index, %step: index) -> f32 {
+	; Initial sum set to 0.
+	%sum.0 = *arith.constant() {value = 0.0 : f32} : () -> f32
+
+	; iter_args binds initial values to the loop's region arguments.
+	%sum = scf.for %iv = %lb to %ub step %step iter_args(%sum.iter = %sum.0) -> (f32) {
+		%t = *memref.load(%buffer, %iv) : (memref<1024*f32>, index) -> f32
+		%sum.next = *arith.addf(%sum.iter, %t) : (f32, f32) -> f32
+		; Yield current iteration sum to next iteration %sum.iter or to %sum
+		; if final iteration.
+		*scf.yield(%sum.next) : (f32) -> ()
+
+	}
+
+	*func.return(%sum) : (f32) -> ()
+}
diff --git a/doc/sample/for-loop-3.mie b/doc/sample/for-loop-3.mie
new file mode 100644
index 0000000..5562724
--- /dev/null
+++ b/doc/sample/for-loop-3.mie
@@ -0,0 +1,19 @@
+*func.func(%buffer, %lb, %ub, %step) ({
+	; Initial sum set to 0.
+	%sum.0 = *arith.constant() {value = 0.0 : f32} : () -> f32
+
+	; iter_args binds initial values to the loop's region arguments.
+	%sum = *scf.for(%lb, %ub, %step) -> (f32) {
+	^for.entry(%iv: index, %sum.iter: f32):
+		%t = *memref.load(%buffer, %iv) : (memref<1024*f32>, index) -> f32
+		%sum.next = *arith.addf(%sum.iter, %t) : (f32, f32) -> f32
+		; Yield current iteration sum to next iteration %sum.iter or to %sum
+		; if final iteration.
+		%iv.next = *arith.addi(%iv, %step) : (index, index) -> index
+		%stop = *arith.cmpi(%iv.next, %ub) {predicate = 9 : i64} : (index, index) -> i1
+		*cf.br-cond(%stop) [ ^for.end, ^for.entry:(%iv.next: index, %sum.next: f32) ] : () -> ()
+	}
+^for.end:
+	*func.return(%sum) : (f32) -> ()
+}) {sym_name = "reduce"} : (memref<1024*i32>, index, index, index) -> f32
+
diff --git a/doc/sample/for-loop-4.mie b/doc/sample/for-loop-4.mie
new file mode 100644
index 0000000..e08ab39
--- /dev/null
+++ b/doc/sample/for-loop-4.mie
@@ -0,0 +1,25 @@
+*func.func(%buffer, %lb, %ub, %step) ({
+	; Initial sum set to 0.
+	%sum.0 = *arith.constant() {value = 0.0 : f32} : () -> f32
+
+	; iter_args binds initial values to the loop's region arguments.
+	;%sum = "scf.for"(%lb, %ub, %step) -> (f32) {
+	*cf.br [ ^for.entry(%lb: index, %sum.0: f32) ] : () -> ()
+
+^for.entry(%iv: index, %sum.iter: f32):
+	%t = *memref.load(%buffer, %iv) : (memref<1024*f32>, index) -> f32
+	%sum.next = *arith.addf(%sum.iter, %t) : (f32, f32) -> f32
+
+	*cf.br [ ^for.cond:(%iv: index, %sum.next: f32) ] : () -> ()
+
+^for.cond(%iv: index, %sum.next: f32):
+	; Yield current iteration sum to next iteration %sum.iter or to %sum
+	; if final iteration.
+	%iv.next = *arith.addi(%iv, %step) : (index, index) -> index
+	%stop = *arith.cmpi(%iv.next, %ub) {predicate = 9 : i64} : (index, index) -> i1
+	*cf.br-cond(%stop) [ ^for.end, ^for.entry:(%iv.next: index, %sum.next: f32) ] : () -> ()
+
+^for.end(%sum: f32):
+	*func.return(%sum) : (f32) -> ()
+}) {sym_name = "reduce"} : (memref<1024*f32.abc>, index, index, index) -> f32
+