fix 2 phi bugs with multiple phis and self-refing phis

1 files changed, 69 insertions, 0 deletions

diff --git a/tests/cases/phiself.ll b/tests/cases/phiself.ll
new file mode 100644
index 00000000..81249799
--- /dev/null
+++ b/tests/cases/phiself.ll
@@ -0,0 +1,69 @@
+; ModuleID = '/tmp/emscripten_temp/src.cpp.o'
+target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128"
+target triple = "i386-pc-linux-gnu"
+
+@.str = private unnamed_addr constant [7 x i8] c"cheez\0A\00", align 1
+@.str1 = private unnamed_addr constant [6 x i8] c"*%d*\0A\00", align 1
+
+define i32 @main() {
+entry:
+  %retval = alloca i32, align 4
+  %x = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 0, i32* %retval
+  store i32 5, i32* %x, align 4, !dbg !15
+  store i32 0, i32* %i, align 4, !dbg !19
+  br label %for.cond, !dbg !19
+
+for.cond:                                         ; preds = %for.inc, %entry
+  %xxx = phi i32 [ 43, %entry ], [add (i32 %xxx, i32 3), %for.inc ]        ; [#uses=1 type=i1]
+  %yyy = phi i32 [ 32, %entry ], [add (i32 %yyy, i32 2), %for.inc ]        ; [#uses=1 type=i1]
+  %zzz = phi i32 [ 21, %entry ], [add (i32 %zzz, i32 1), %for.inc ]        ; [#uses=1 type=i1]
+  %0 = load i32* %i, align 4, !dbg !19
+  %cmp = icmp slt i32 %0, 6, !dbg !19
+  br i1 %cmp, label %for.body, label %for.end, !dbg !19
+
+for.body:                                         ; preds = %for.cond
+  %1 = load i32* %x, align 4, !dbg !20
+  %2 = load i32* %i, align 4, !dbg !20
+  %mul = mul nsw i32 %1, %2, !dbg !20
+  %3 = load i32* %x, align 4, !dbg !20
+  %add = add nsw i32 %3, %mul, !dbg !20
+  store i32 %add, i32* %x, align 4, !dbg !20
+  %4 = load i32* %x, align 4, !dbg !22
+  %cmp1 = icmp sgt i32 %4, 1000, !dbg !22
+  br i1 %cmp1, label %if.then, label %if.end4, !dbg !22
+
+if.then:                                          ; preds = %for.body
+  %5 = load i32* %x, align 4, !dbg !23
+  %rem = srem i32 %5, 7, !dbg !23
+  %cmp2 = icmp eq i32 %rem, 0, !dbg !23
+  br i1 %cmp2, label %if.then3, label %if.end, !dbg !23
+
+if.then3:                                         ; preds = %if.then
+  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([7 x i8]* @.str, i32 0, i32 0)), !dbg !25
+  br label %if.end, !dbg !25
+
+if.end:                                           ; preds = %if.then3, %if.then
+  %6 = load i32* %x, align 4, !dbg !26
+  %div = sdiv i32 %6, 2, !dbg !26
+  store i32 %div, i32* %x, align 4, !dbg !26
+  br label %for.end, !dbg !27
+
+if.end4:                                          ; preds = %for.body
+  br label %for.inc, !dbg !28
+
+for.inc:                                          ; preds = %if.end4
+  %7 = load i32* %i, align 4, !dbg !29
+  %inc = add nsw i32 %7, 1, !dbg !29
+  store i32 %inc, i32* %i, align 4, !dbg !29
+  br label %for.cond, !dbg !29
+
+for.end:                                          ; preds = %if.end, %for.cond
+  %8 = load i32* %x, align 4, !dbg !30
+  %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), i32 %zzz), !dbg !30
+  ret i32 0, !dbg !31
+}
+
+declare i32 @printf(i8*, ...)
+