| ; RUN: llc < %s -march=pic16 | FileCheck %s | |
| ; XFAIL: vg_leak | |
| @G1 = global i32 4712, section "Address=412" | |
| ; CHECK: @G1.412..user_section.# IDATA 412 | |
| ; CHECK: @G1 | |
| ; CHECK: dl 4712 | |
| @G2 = global i32 0, section "Address=412" | |
| ; CHECK: @G2.412..user_section.# UDATA 412 | |
| ; CHECK: @G2 RES 4 | |
| @G3 = addrspace(1) constant i32 4712, section "Address=412" | |
| ; CHECK: @G3.412..user_section.# ROMDATA 412 | |
| ; CHECK: @G3 | |
| ; CHECK: rom_dl 4712 | |