Adding a pass - RewritePNaClLibraryCalls, that replaces known library calls with stable bitcode int…

test/Transforms/NaCl/rewrite-setlongjmp-calls.ll

Index: test/Transforms/NaCl/rewrite-setlongjmp-calls.ll
diff --git a/test/Transforms/NaCl/rewrite-setlongjmp-calls.ll b/test/Transforms/NaCl/rewrite-setlongjmp-calls.ll
new file mode 100644
index 0000000000000000000000000000000000000000..6ce32942442f598bb97554c854bcdf42eba252d7
--- /dev/null
+++ b/test/Transforms/NaCl/rewrite-setlongjmp-calls.ll
@@ -0,0 +1,72 @@
+; RUN: opt < %s -rewrite-pnacl-library-calls -S | FileCheck %s
+; Test the RewritePNaClLibraryCalls pass
+
+declare i32 @setjmp(i64*)
+declare void @longjmp(i64*, i32)
+
+; Since the address of longjmp is being taken here, a body is generated
+; for it, which does a cast and calls an intrinsic
+
+; CHECK: define internal void @longjmp(i64* %env, i32 %val) {
+; CHECK: entry:
+; CHECK:   %jmp_buf_i8 = bitcast i64* %env to i8*
+; CHECK:   call void @llvm.nacl.longjmp(i8* %jmp_buf_i8, i32 %val)
+; CHECK:   unreachable
+; CHECK: }
+
+define i32 @call_setjmp(i64* %arg) {
+; CHECK-NOT: call i32 @setjmp
+; CHECK: %jmp_buf_i8 = bitcast i64* %arg to i8*
+; CHECK-NEXT: %val = call i32 @llvm.nacl.setjmp(i8* %jmp_buf_i8)
+  %val = call i32 @setjmp(i64* %arg)
+  ret i32 %val
+}
+
+define void @call_longjmp(i64* %arg, i32 %num) {

[Mark Seaborn, 2013/05/13 23:39:58]

Seems to duplicate @call_longjmp() in rewrite-longjmp-no-store.ll.  Maybe remove
one or the other?  It's confusing if there's multiple tests covering the same
case.

[eliben, 2013/05/14 17:38:58]

rewrite-longjmp-no-store.ll is targeted specifically at the case where there are
no uses other calls, no body is generated. I've clarified the comment.

+; CHECK-NOT: call void @longjmp
+; CHECK: %jmp_buf_i8 = bitcast i64* %arg to i8*
+; CHECK-NEXT: call void @llvm.nacl.longjmp(i8* %jmp_buf_i8, i32 %num)
+  call void @longjmp(i64* %arg, i32 %num)
+  ret void
+}
+
+define i32 @takeaddr_longjmp(i64* %arg, i32 %num) {
+  %fp = alloca void (i64*, i32)*, align 8
+; CHECK: store void (i64*, i32)* @longjmp, void (i64*, i32)** %fp
+  store void (i64*, i32)* @longjmp, void (i64*, i32)** %fp, align 8
+  ret i32 7
+}
+
+; A more complex example with a number of calls in several BBs
+define void @multiple_calls(i64* %arg, i32 %num) {
+entryblock:
+; CHECK: entryblock
+; CHECK: bitcast
+; CHECK-NEXT: call void @llvm.nacl.longjmp
+  call void @longjmp(i64* %arg, i32 %num)
+  br label %block1
+block1:
+; CHECK: block1
+; CHECK: bitcast
+; CHECK-NEXT: call void @llvm.nacl.longjmp
+  call void @longjmp(i64* %arg, i32 %num)
+; CHECK: call i32 @llvm.nacl.setjmp
+  %val = call i32 @setjmp(i64* %arg)
+  %num2 = add i32 %val, %num
+; CHECK: bitcast
+; CHECK-NEXT: call void @llvm.nacl.longjmp
+  call void @longjmp(i64* %arg, i32 %num2)
+  br label %exitblock
+exitblock:
+  %num3 = add i32 %num, %num
+  call void @longjmp(i64* %arg, i32 %num3)
+  %num4 = add i32 %num, %num3
+; CHECK: bitcast
+; CHECK-NEXT: call void @llvm.nacl.longjmp
+  call void @longjmp(i64* %arg, i32 %num4)
+  ret void
+}
+
+; CHECK: declare i32 @llvm.nacl.setjmp(i8*)
+; CHECK: declare void @llvm.nacl.longjmp(i8*, i32)
+