aboutsummaryrefslogtreecommitdiff
path: root/clang/test/CodeGen/restrict.c
blob: 01d4997a4c7daaff4de3b8f101f9365beec664a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
// RUN: %clang_cc1 -triple x86_64-darwin-apple -emit-llvm %s -o - | FileCheck %s

// PR6695

// CHECK: define{{.*}} void @test0(ptr noundef %{{.*}}, i32 noundef %{{.*}})
void test0(int *x, int y) {
}

// CHECK: define{{.*}} void @test1(ptr noalias noundef %{{.*}}, i32 noundef %{{.*}})
void test1(int * restrict x, int y) {
}

// CHECK: define{{.*}} void @test2(ptr noundef %{{.*}}, ptr noalias noundef %{{.*}})
void test2(int *x, int * restrict y) {
}

typedef int * restrict rp;

// CHECK: define{{.*}} void @test3(ptr noalias noundef %{{.*}}, i32 noundef %{{.*}})
void test3(rp x, int y) {
}

// CHECK: define{{.*}} void @test4(ptr noundef %{{.*}}, ptr noalias noundef %{{.*}})
void test4(int *x, rp y) {
}