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