Update normInputs to use normRefs (#188)

titzer · Jul 26, 2023 · d34a09b · d34a09b
1 parent 7514c6f
commit d34a09b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/aeneas/src/mach/MachLowering.v3 b/aeneas/src/mach/MachLowering.v3
@@ -219,11 +219,8 @@ class SsaGraphNormalizer(context: SsaContext) {
 		return buffer.extract();
 	}
 	def normInputs(oi: SsaInstr) -> SsaInstr {
-		var inputs = oi.inputs;
-		for (j < inputs.length) {
-			var i = inputs[j];
-			i.update(normRef1(i));
-		}
+		var inputs = normRefs(oi.inputs);
+		oi.setInputs(inputs);
 		return oi;
 	}
 	def normType(t: Type) -> TypeNorm;

diff --git a/aeneas/src/main/Version.v3 b/aeneas/src/main/Version.v3
@@ -3,6 +3,6 @@
 
 // Updated by VCS scripts. DO NOT EDIT.
 component Version {
-	def version: string = "III-7.1642";
+	def version: string = "III-7.1643";
 	var buildData: string;
 }