qbe

commit 06899861874b50f9abb3a59ed5b56af98f451111
parent eebbb69291369c3188064d6c3cb779bc47e09bbe
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Thu, 23 Feb 2017 11:19:11 -0500

propagate aliasing information through copies

Diffstat:
M
alias.c
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/alias.c b/alias.c
@@ -130,6 +130,10 @@ fillalias(Fn *fn)
 				a->base = i->to;
 				a->offset = 0;
 			}
+			if (i->op == Ocopy) {
+				assert(a);
+				getalias(a, i->arg[0], fn);
+			}
 			if (i->op == Oadd) {
 				getalias(&a0, i->arg[0], fn);
 				getalias(&a1, i->arg[1], fn);