Nikita Popov
89905ff214
Unlike Attributor, FunctionAttrs currently only supports inferring nofree on functions. This PR adds support for inferring it on arguments as well. I've chosen to integrate this with the inference for readnone/readonly/writeonly attributes, as the core logic for these is the same. There is a lot of test fallout. The only significant changes are in llvm/lib/Transforms/IPO/FunctionAttrs.cpp and llvm/test/Transforms/FunctionAttrs/nofree.ll.
27 lines
970 B
Common Lisp
27 lines
970 B
Common Lisp
// RUN: %clang_cc1 %s -cl-std=CL1.2 -emit-llvm -triple x86_64-unknown-unknown -o - | FileCheck %s
|
|
|
|
// Test that pointer arguments to kernels are assumed to be ABI aligned.
|
|
|
|
struct __attribute__((packed, aligned(1))) packed {
|
|
int i32;
|
|
};
|
|
|
|
typedef __attribute__((ext_vector_type(4))) int int4;
|
|
typedef __attribute__((ext_vector_type(2))) float float2;
|
|
|
|
kernel void test(
|
|
global int *i32,
|
|
global long *i64,
|
|
global int4 *v4i32,
|
|
global float2 *v2f32,
|
|
global void *v,
|
|
global struct packed *p) {
|
|
// CHECK-LABEL: void @test(
|
|
// CHECK-SAME: ptr nofree noundef readnone align 4 captures(none) %i32,
|
|
// CHECK-SAME: ptr nofree noundef readnone align 8 captures(none) %i64,
|
|
// CHECK-SAME: ptr nofree noundef readnone align 16 captures(none) %v4i32,
|
|
// CHECK-SAME: ptr nofree noundef readnone align 8 captures(none) %v2f32,
|
|
// CHECK-SAME: ptr nofree noundef readnone captures(none) %v,
|
|
// CHECK-SAME: ptr nofree noundef readnone align 1 captures(none) %p)
|
|
}
|