1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-darwin-apple -emit-llvm %s -o - | FileCheck %s
2*f4a2713aSLionel Sambuc
3*f4a2713aSLionel Sambuc // PR6695
4*f4a2713aSLionel Sambuc
5*f4a2713aSLionel Sambuc // CHECK: define void @test0(i32* %{{.*}}, i32 %{{.*}})
test0(int * x,int y)6*f4a2713aSLionel Sambuc void test0(int *x, int y) {
7*f4a2713aSLionel Sambuc }
8*f4a2713aSLionel Sambuc
9*f4a2713aSLionel Sambuc // CHECK: define void @test1(i32* noalias %{{.*}}, i32 %{{.*}})
test1(int * restrict x,int y)10*f4a2713aSLionel Sambuc void test1(int * restrict x, int y) {
11*f4a2713aSLionel Sambuc }
12*f4a2713aSLionel Sambuc
13*f4a2713aSLionel Sambuc // CHECK: define void @test2(i32* %{{.*}}, i32* noalias %{{.*}})
test2(int * x,int * restrict y)14*f4a2713aSLionel Sambuc void test2(int *x, int * restrict y) {
15*f4a2713aSLionel Sambuc }
16*f4a2713aSLionel Sambuc
17*f4a2713aSLionel Sambuc typedef int * restrict rp;
18*f4a2713aSLionel Sambuc
19*f4a2713aSLionel Sambuc // CHECK: define void @test3(i32* noalias %{{.*}}, i32 %{{.*}})
test3(rp x,int y)20*f4a2713aSLionel Sambuc void test3(rp x, int y) {
21*f4a2713aSLionel Sambuc }
22*f4a2713aSLionel Sambuc
23*f4a2713aSLionel Sambuc // CHECK: define void @test4(i32* %{{.*}}, i32* noalias %{{.*}})
test4(int * x,rp y)24*f4a2713aSLionel Sambuc void test4(int *x, rp y) {
25*f4a2713aSLionel Sambuc }
26*f4a2713aSLionel Sambuc
27