Add call instructions to Subzero's bitcode reader.

tests_lit/reader_tests/call.ll

Index: tests_lit/reader_tests/call.ll
diff --git a/tests_lit/reader_tests/call.ll b/tests_lit/reader_tests/call.ll
new file mode 100644
index 0000000000000000000000000000000000000000..f70c44ad631b6612c9de802f67090942bd9c4d74
--- /dev/null
+++ b/tests_lit/reader_tests/call.ll
@@ -0,0 +1,112 @@
+; Test handling of call instructions.
+
+; RUN: llvm-as < %s | pnacl-freeze -allow-local-symbol-tables \
+; RUN:              | %llvm2ice -notranslate -verbose=inst -build-on-read \
+; RUN:                -allow-pnacl-reader-error-recovery \
+; RUN:                -allow-local-symbol-tables \
+; RUN:              | FileCheck %s
+
+define i32 @fib(i32 %n) {
+entry:
+  %cmp = icmp slt i32 %n, 2
+  br i1 %cmp, label %return, label %if.end
+
+if.end:                                           ; preds = %entry
+  %sub = add i32 %n, -1
+  %call = tail call i32 @fib(i32 %sub)
+  %sub1 = add i32 %n, -2
+  %call2 = tail call i32 @fib(i32 %sub1)
+  %add = add i32 %call2, %call
+  ret i32 %add
+
+return:                                           ; preds = %entry
+  ret i32 %n
+}
+
+; CHECK:      define i32 @fib(i32 %n) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT:   %cmp = icmp slt i32 %n, 2
+; CHECK-NEXT:   br i1 %cmp, label %return, label %if.end
+; CHECK-NEXT: if.end:
+; CHECK-NEXT:   %sub = add i32 %n, -1
+; CHECK-NEXT:   %call = call i32 @fib(i32 %sub)
+; CHECK-NEXT:   %sub1 = add i32 %n, -2
+; CHECK-NEXT:   %call2 = call i32 @fib(i32 %sub1)
+; CHECK-NEXT:   %add = add i32 %call2, %call
+; CHECK-NEXT:   ret i32 %add
+; CHECK-NEXT: return:
+; CHECK-NEXT:   ret i32 %n
+; CHECK-NEXT: }
+
+define i32 @fact(i32 %n) {
+entry:
+  %cmp = icmp slt i32 %n, 2
+  br i1 %cmp, label %return, label %if.end
+
+if.end:                                           ; preds = %entry
+  %sub = add i32 %n, -1
+  %call = tail call i32 @fact(i32 %sub)
+  %mul = mul i32 %call, %n
+  ret i32 %mul
+
+return:                                           ; preds = %entry
+  ret i32 %n
+}
+
+; CHECK-NEXT: define i32 @fact(i32 %n) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT:   %cmp = icmp slt i32 %n, 2
+; CHECK-NEXT:   br i1 %cmp, label %return, label %if.end
+; CHECK-NEXT: if.end:
+; CHECK-NEXT:   %sub = add i32 %n, -1
+; CHECK-NEXT:   %call = call i32 @fact(i32 %sub)
+; CHECK-NEXT:   %mul = mul i32 %call, %n
+; CHECK-NEXT:   ret i32 %mul
+; CHECK-NEXT: return:
+; CHECK-NEXT:   ret i32 %n
+; CHECK-NEXT: }
+
+define i32 @redirect(i32 %n) {
+entry:
+  %call = tail call i32 @redirect_target(i32 %n)
+  ret i32 %call
+}
+
+; CHECK-NEXT: define i32 @redirect(i32 %n) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT:   %call = call i32 @redirect_target(i32 %n)
+; CHECK-NEXT:   ret i32 %call
+; CHECK-NEXT: }
+
+declare i32 @redirect_target(i32)
+
+define void @call_void(i32 %n) {
+entry:
+  %cmp2 = icmp sgt i32 %n, 0
+  br i1 %cmp2, label %if.then, label %if.end
+
+if.then:                                          ; preds = %entry, %if.then
+  %n.tr3 = phi i32 [ %call.i, %if.then ], [ %n, %entry ]
+  %sub = add i32 %n.tr3, -1
+  %call.i = tail call i32 @redirect_target(i32 %sub)
+  %cmp = icmp sgt i32 %call.i, 0
+  br i1 %cmp, label %if.then, label %if.end
+
+if.end:                                           ; preds = %if.then, %entry
+  ret void
+}
+
+; CHECK-NEXT: define void @call_void(i32 %n) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT:   %cmp2 = icmp sgt i32 %n, 0
+; CHECK-NEXT:   br i1 %cmp2, label %if.then, label %if.end
+; CHECK-NEXT: if.then:
+; CHECK-NEXT:   %n.tr3 = phi i32 [ %call.i, %if.then ], [ %n, %entry ]
+; CHECK-NEXT:   %sub = add i32 %n.tr3, -1
+; CHECK-NEXT:   %call.i = call i32 @redirect_target(i32 %sub)
+; CHECK-NEXT:   %cmp = icmp sgt i32 %call.i, 0
+; CHECK-NEXT:   br i1 %cmp, label %if.then, label %if.end
+; CHECK-NEXT: if.end:
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+