1// RUN: %clang_cc1 %s -cl-std=CL1.2 -emit-llvm -triple x86_64-unknown-unknown -o - | FileCheck %s 2 3// Test that pointer arguments to kernels are assumed to be ABI aligned. 4 5struct __attribute__((packed, aligned(1))) packed { 6 int i32; 7}; 8 9typedef __attribute__((ext_vector_type(4))) int int4; 10typedef __attribute__((ext_vector_type(2))) float float2; 11 12kernel void test( 13 global int *i32, 14 global long *i64, 15 global int4 *v4i32, 16 global float2 *v2f32, 17 global void *v, 18 global struct packed *p) { 19// CHECK-LABEL: spir_kernel void @test( 20// CHECK-SAME: ptr noundef readnone align 4 captures(none) %i32, 21// CHECK-SAME: ptr noundef readnone align 8 captures(none) %i64, 22// CHECK-SAME: ptr noundef readnone align 16 captures(none) %v4i32, 23// CHECK-SAME: ptr noundef readnone align 8 captures(none) %v2f32, 24// CHECK-SAME: ptr noundef readnone captures(none) %v, 25// CHECK-SAME: ptr noundef readnone align 1 captures(none) %p) 26} 27