diff --git a/test/libyul/ssa/stackShuffler/loop-fuzzer.stack b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack
new file mode 100644
index 000000000000..49e6cf8192b8
--- /dev/null
+++ b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack
@@ -0,0 +1,41 @@
+initial: [v0, phi0, phi0, lit0, v0, v0]
+targetStackTop: [phi0, v0, v0, JUNK, phi0]
+targetStackTailSet: {v0}
+targetStackSize: 7
+// ----
+//             |      0      1 |      2      3      4      5      6
+//             +-------------- +-----------------------------------
+//    (initial)|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          POP|     v0   phi0 |   phi0   lit0     v0     v0
+//         DUP4|     v0   phi0 |   phi0   lit0     v0     v0   phi0
+//          ...|
+//             +-------------- +-----------------------------------
+//     (target)|          {v0} |   phi0     v0     v0      *   phi0
+// Status: MaxIterationsReached