simplify and correct the logic for falling back to the entry ident when an invalid label id shows up; fixes #1399

1 files changed, 36 insertions, 0 deletions

diff --git a/tests/cases/entry3.ll b/tests/cases/entry3.ll
new file mode 100644
index 00000000..a20c6843
--- /dev/null
+++ b/tests/cases/entry3.ll
@@ -0,0 +1,36 @@
+; ModuleID = '/tmp/tmpKnA2D3/a.out.bc'
+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 [11 x i8] c"getgid=%d\0A\00", align 1
+@.str1 = private unnamed_addr constant [6 x i8] c"f=%d\0A\00", align 1
+
+define internal i32 @_Z1fii(i32, i32) noinline {
+entry:
+  %3 = tail call i32 @getgid()
+  %4 = icmp eq i32 %3, 0
+  br i1 %4, label %cond.b, label %cond.a
+
+cond.a:
+  %6 = tail call i32 @getgid()
+  br label %cond.end
+
+cond.b:
+  br label %cond.end
+
+cond.end:
+  %.0 = phi i32 [ 0, %cond.b ], [ 1, %1 ]
+  ret i32 %.0
+}
+
+declare i32 @getgid()
+
+define i32 @main() {
+  %1 = tail call i32 @getgid()
+  %2 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str, i32 0, i32 0), i32 %1)
+  %3 = tail call i32 @_Z1fii(i32 undef, i32 undef)
+  %4 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), i32 %3)
+  ret i32 0
+}
+
+declare i32 @printf(i8* nocapture, ...) nounwind