1*532dc62bSNikita Popov// RUN: %clang_cc1 -no-opaque-pointers %s -cl-std=CL1.2 -emit-llvm -triple x86_64-unknown-unknown -o - | FileCheck %s
218834dcaSNikita Popov
318834dcaSNikita Popov// Test that pointer arguments to kernels are assumed to be ABI aligned.
418834dcaSNikita Popov
518834dcaSNikita Popovstruct __attribute__((packed, aligned(1))) packed {
618834dcaSNikita Popov  int i32;
718834dcaSNikita Popov};
818834dcaSNikita Popov
918834dcaSNikita Popovtypedef __attribute__((ext_vector_type(4))) int int4;
1018834dcaSNikita Popovtypedef __attribute__((ext_vector_type(2))) float float2;
1118834dcaSNikita Popov
1218834dcaSNikita Popovkernel void test(
1318834dcaSNikita Popov    global int *i32,
1418834dcaSNikita Popov    global long *i64,
1518834dcaSNikita Popov    global int4 *v4i32,
1618834dcaSNikita Popov    global float2 *v2f32,
1718834dcaSNikita Popov    global void *v,
1818834dcaSNikita Popov    global struct packed *p) {
1918834dcaSNikita Popov// CHECK-LABEL: spir_kernel void @test(
2018834dcaSNikita Popov// CHECK-SAME: i32* nocapture noundef align 4 %i32,
2118834dcaSNikita Popov// CHECK-SAME: i64* nocapture noundef align 8 %i64,
2218834dcaSNikita Popov// CHECK-SAME: <4 x i32>* nocapture noundef align 16 %v4i32,
2318834dcaSNikita Popov// CHECK-SAME: <2 x float>* nocapture noundef align 8 %v2f32,
2418834dcaSNikita Popov// CHECK-SAME: i8* nocapture noundef %v,
2518834dcaSNikita Popov// CHECK-SAME: %struct.packed* nocapture noundef align 1 %p)
2618834dcaSNikita Popov}
27