1f46b0e6dSSergei Barannikov // RUN: %clang_cc1 -triple spir64 -fsycl-is-device -disable-llvm-passes -emit-llvm %s -o - | FileCheck %s 242ae7eb5SErich Keane 39114ac67SAlex Richardson // CHECK: [[ANNOT:.+]] = private unnamed_addr addrspace(1) constant {{.*}}c"my_annotation\00" 442ae7eb5SErich Keane 542ae7eb5SErich Keane struct HasField { 642ae7eb5SErich Keane // This caused an assertion on creating a bitcast here, 742ae7eb5SErich Keane // since the address space didn't match. 842ae7eb5SErich Keane [[clang::annotate("my_annotation")]] 942ae7eb5SErich Keane int *a; 1042ae7eb5SErich Keane }; 1142ae7eb5SErich Keane 1242ae7eb5SErich Keane void foo(int *b) { 1342ae7eb5SErich Keane struct HasField f; 14*94473f4dSHari Limaye // CHECK: %[[A:.+]] = getelementptr inbounds nuw %struct.HasField, ptr addrspace(4) %{{.+}} 15f46b0e6dSSergei Barannikov // CHECK: %[[CALL:.+]] = call ptr addrspace(4) @llvm.ptr.annotation.p4.p1(ptr addrspace(4) %[[A]], ptr addrspace(1) [[ANNOT]] 16f46b0e6dSSergei Barannikov // CHECK: store ptr addrspace(4) %{{[0-9]+}}, ptr addrspace(4) %[[CALL]] 1742ae7eb5SErich Keane f.a = b; 1842ae7eb5SErich Keane } 19