1; RUN: opt -S -passes=asan < %s | FileCheck %s 2 3; Check behavior with a non-0 default program address space. The 4; constructor should be in addrspace(1) and the global_ctors should 5; pass the verifier. 6 7; CHECK: @a = internal addrspace(42) global [1 x i32] zeroinitializer, align 4 8; CHECK: @llvm.used = appending global [1 x ptr] [ptr addrspacecast (ptr addrspace(1) @asan.module_ctor to ptr)], section "llvm.metadata" 9; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr addrspace(1), ptr }] [{ i32, ptr addrspace(1), ptr } { i32 1, ptr addrspace(1) @asan.module_ctor, ptr addrspacecast (ptr addrspace(1) @asan.module_ctor to ptr) }] 10 11; CHECK: define internal void @asan.module_ctor() addrspace(1) #0 comdat { 12 13target datalayout = "P1" 14 15@a = internal addrspace(42) global [1 x i32] zeroinitializer, align 4 16 17define i1 @b(i64 %c) addrspace(1) { 18 %cast = inttoptr i64 %c to ptr addrspace(42) 19 %cmp = icmp ugt ptr addrspace(42) %cast, @a 20 ret i1 %cmp 21} 22 23!llvm.asan.globals = !{!0} 24!0 = !{ptr addrspace(42) @a, null, !"a", i1 false, i1 false} 25