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

test/Transforms/NaCl/rewrite-setjmp-store-error.ll

Index: test/Transforms/NaCl/rewrite-setjmp-store-error.ll
diff --git a/test/Transforms/NaCl/rewrite-setjmp-store-error.ll b/test/Transforms/NaCl/rewrite-setjmp-store-error.ll
new file mode 100644
index 0000000000000000000000000000000000000000..025698427d21850a6ffb9c30e449cedcfce53865
--- /dev/null
+++ b/test/Transforms/NaCl/rewrite-setjmp-store-error.ll
@@ -0,0 +1,13 @@
+; RUN: opt < %s -rewrite-pnacl-library-calls -S |& FileCheck %s

[Mark Seaborn, 2013/05/16 02:23:38]

This syntax fails on Mac OS X:

/Volumes/data/b/build/slave/nacl-toolchain/build/native_client/pnacl/build/llvm_x86_64/test/Transforms/NaCl/Output/rewrite-setjmp-store-error.ll.script:
line 1: syntax error near unexpected token `&'

(from
http://build.chromium.org/p/tryserver.nacl/builders/nacl-toolchain-mac-pnacl-...)

It seems there are no other tests using the "|&" syntax.  Do you need to use
"2>&1 |" instead?

BTW, I'm now sure how you get 'lit' to ignore the exit status of "opt" for tests
like this.

+; Test that the pass enforces not being able to store the address
+; of setjmp.
+
+declare i32 @setjmp(i64*)
+
+define i32 @takeaddr_setjmp(i64* %arg) {
+  %fp = alloca i32 (i64*)*, align 8
+; CHECK: Taking the address of setjmp is invalid
+  store i32 (i64*)* @setjmp, i32 (i64*)** %fp, align 8
+  ret i32 7
+}
+