1 files changed, 21 insertions, 0 deletions
diff --git a/test/alias1.ssa b/test/alias1.ssa
new file mode 100644
index 0000000..a064fac
--- /dev/null
+++ b/test/alias1.ssa
@@ -0,0 +1,21 @@
+export function w $main() {
+@start
+	%a =l alloc4 4
+	%b =l alloc4 4
+	storew 4, %a
+	storew 5, %b
+
+@loop
+	# %mem will be %a and %b successively,
+	# but we do not know it when processing
+	# the phi because %b goes through a cpy
+	%mem =l phi @start %a, @loop %bcpy
+
+	%w =w load %mem
+	%eq5 =w ceqw %w, 5
+	%bcpy =l copy %b
+	jnz %eq5, @exit, @loop
+
+@exit
+	ret 0
+}