From d1eb3b4dbb9de12ccc8b8f840149d7794245e784 Mon Sep 17 00:00:00 2001
From: Russel Arbore <russel.jma@gmail.com>
Date: Mon, 17 Feb 2025 14:20:26 -0600
Subject: [PATCH] loop canon bounds doesn't work for test2 in fork_join_tests
---
juno_samples/fork_join_tests/src/cpu.sch | 6 ++++++
juno_samples/fork_join_tests/src/fork_join_tests.jn | 2 +-
2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/juno_samples/fork_join_tests/src/cpu.sch b/juno_samples/fork_join_tests/src/cpu.sch
index 7c416e90..115cf171 100644
--- a/juno_samples/fork_join_tests/src/cpu.sch
+++ b/juno_samples/fork_join_tests/src/cpu.sch
@@ -25,6 +25,12 @@ gvn(*);
phi-elim(*);
dce(*);
+xdot[true](auto.test2);
+lift-dc-math(auto.test2);
+xdot[true](auto.test2);
+loop-bound-canon(auto.test2);
+xdot[true](auto.test2);
+
fixpoint panic after 20 {
forkify(*);
fork-guard-elim(*);
diff --git a/juno_samples/fork_join_tests/src/fork_join_tests.jn b/juno_samples/fork_join_tests/src/fork_join_tests.jn
index 8f569cfb..51115f15 100644
--- a/juno_samples/fork_join_tests/src/fork_join_tests.jn
+++ b/juno_samples/fork_join_tests/src/fork_join_tests.jn
@@ -12,7 +12,7 @@ fn test1(input : i32) -> i32[4, 4] {
#[entry]
fn test2(input : i32) -> i32[4, 5] {
let arr : i32[4, 5];
- @loop1 for i = 0 to 8 {
+ @loop1 for i = 1 to 9 {
@loop2 for k = 0 to 5 {
@loop3 for j = 0 to 4 {
arr[j, k] += input;
--
GitLab