| 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 %{{.*}}) |
|---|
| 6 | void test0(int *x, int y) { |
|---|
| 7 | } |
|---|
| 8 | |
|---|
| 9 | // CHECK: define void @test1(i32* noalias %{{.*}}, i32 %{{.*}}) |
|---|
| 10 | void test1(int * restrict x, int y) { |
|---|
| 11 | } |
|---|
| 12 | |
|---|
| 13 | // CHECK: define void @test2(i32* %{{.*}}, i32* noalias %{{.*}}) |
|---|
| 14 | void test2(int *x, int * restrict y) { |
|---|
| 15 | } |
|---|
| 16 | |
|---|
| 17 | typedef int * restrict rp; |
|---|
| 18 | |
|---|
| 19 | // CHECK: define void @test3(i32* noalias %{{.*}}, i32 %{{.*}}) |
|---|
| 20 | void test3(rp x, int y) { |
|---|
| 21 | } |
|---|
| 22 | |
|---|
| 23 | // CHECK: define void @test4(i32* %{{.*}}, i32* noalias %{{.*}}) |
|---|
| 24 | void test4(int *x, rp y) { |
|---|
| 25 | } |
|---|
| 26 | |
|---|
| 27 | |
|---|