Add tests for generating noalias parameter attribute from __restrict qualified function parameters. C++ tests are currently XFAILing see PR1582.

llvm-svn: 40583

3 files changed, 22 insertions, 0 deletions

diff --git a/llvm/test/C++Frontend/2007-07-29-RestrictPtrArg.cpp b/llvm/test/C++Frontend/2007-07-29-RestrictPtrArg.cpp
new file mode 100644
index 00000000000..e45eda07847
--- /dev/null
+++ b/llvm/test/C++Frontend/2007-07-29-RestrictPtrArg.cpp
@@ -0,0 +1,8 @@
+// RUN: %llvmgxx -c -emit-llvm %s -o - | llvm-dis | grep noalias
+// XFAIL: i[1-9]86|alpha|ia64|arm|x86_64|amd64
+// NOTE: This should be un-XFAILed when the C++ type qualifiers are fixed
+
+void foo(int * __restrict myptr1, int * myptr2) {
+  myptr1[0] = 0;
+  myptr2[0] = 0;
+}
diff --git a/llvm/test/C++Frontend/2007-07-29-RestrictRefArg.cpp b/llvm/test/C++Frontend/2007-07-29-RestrictRefArg.cpp
new file mode 100644
index 00000000000..e1b5cd60e11
--- /dev/null
+++ b/llvm/test/C++Frontend/2007-07-29-RestrictRefArg.cpp
@@ -0,0 +1,8 @@
+// RUN: %llvmgxx -c -emit-llvm %s -o - | llvm-dis | grep noalias
+// XFAIL: i[1-9]86|alpha|ia64|arm|x86_64|amd64
+// NOTE: This should be un-XFAILed when the C++ type qualifiers are fixed
+
+void foo(int & __restrict myptr1, int & myptr2) {
+  myptr1 = 0;
+  myptr2 = 0;
+}
diff --git a/llvm/test/CFrontend/2007-07-29-RestrictPtrArg.c b/llvm/test/CFrontend/2007-07-29-RestrictPtrArg.c
new file mode 100644
index 00000000000..be09108b345
--- /dev/null
+++ b/llvm/test/CFrontend/2007-07-29-RestrictPtrArg.c
@@ -0,0 +1,6 @@
+// RUN: %llvmgxx -c -emit-llvm %s -o - | llvm-dis | grep noalias
+
+void foo(int * __restrict myptr1, int * myptr2) {
+  myptr1[0] = 0;
+  myptr2[0] = 0;
+}
\ No newline at end of file