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