1 ; RUN: llc -march=bpfel -mcpu=v4 < %s | FileCheck %s
3 ; Generated from the following C code:
5 ; __attribute__((address_space(1))) char a[2] = {1,2};
6 ; __attribute__((address_space(2))) char b[2] = {3,4};
8 ; Using the following command:
10 ; clang --target=bpf -O2 -S -emit-llvm -o t.ll t.c
12 @a = dso_local local_unnamed_addr addrspace(1) global [2 x i8] [i8 1, i8 2], align 1
13 @b = dso_local local_unnamed_addr addrspace(2) global [2 x i8] [i8 3, i8 4], align 1
15 ; Verify that a,b reside in separate sections
17 ; CHECK: .section .addr_space.1,"aw",@progbits
20 ; CHECK: .ascii "\001\002"
22 ; CHECK: .section .addr_space.2,"aw",@progbits
25 ; CHECK: .ascii "\003\004"