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