| # REQUIRES: loongarch |
| # RUN: rm -rf %t && split-file %s %t |
| |
| # RUN: llvm-mc --filetype=obj --triple=loongarch32 %t/a.s -o %t/a.la32.o |
| # RUN: llvm-mc --filetype=obj --triple=loongarch64 %t/a.s -o %t/a.la64.o |
| # RUN: llvm-mc --filetype=obj --triple=loongarch64 %t/extreme.s -o %t/extreme.o |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x11000 --section-start=.text=0x11ffc -o %t/case1.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x11000 --section-start=.text=0x11ffc -o %t/case1.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case1.la32 | FileCheck %s --check-prefix=CASE1 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case1.la64 | FileCheck %s --check-prefix=CASE1 |
| # CASE1: pcalau12i $a0, 0 |
| # CASE1-NEXT: ld.w $a0, $a0, 0 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x11000 --section-start=.text=0x12000 -o %t/case2.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x11000 --section-start=.text=0x12000 -o %t/case2.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case2.la32 | FileCheck %s --check-prefix=CASE2 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case2.la64 | FileCheck %s --check-prefix=CASE2 |
| # CASE2: pcalau12i $a0, -1 |
| # CASE2-NEXT: ld.w $a0, $a0, 0 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x117ff --section-start=.text=0x12000 -o %t/case3.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x117ff --section-start=.text=0x12000 -o %t/case3.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case3.la32 | FileCheck %s --check-prefix=CASE3 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case3.la64 | FileCheck %s --check-prefix=CASE3 |
| # CASE3: pcalau12i $a0, -1 |
| # CASE3-NEXT: ld.w $a0, $a0, 2047 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x11800 --section-start=.text=0x12000 -o %t/case4.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x11800 --section-start=.text=0x12000 -o %t/case4.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case4.la32 | FileCheck %s --check-prefix=CASE4 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case4.la64 | FileCheck %s --check-prefix=CASE4 |
| # CASE4: pcalau12i $a0, 0 |
| # CASE4-NEXT: ld.w $a0, $a0, -2048 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x12004 --section-start=.text=0x11ffc -o %t/case5.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x12004 --section-start=.text=0x11ffc -o %t/case5.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case5.la32 | FileCheck %s --check-prefix=CASE5 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case5.la64 | FileCheck %s --check-prefix=CASE5 |
| # CASE5: pcalau12i $a0, 1 |
| # CASE5-NEXT: ld.w $a0, $a0, 4 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x12800 --section-start=.text=0x11ffc -o %t/case6.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x12800 --section-start=.text=0x11ffc -o %t/case6.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case6.la32 | FileCheck %s --check-prefix=CASE6 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case6.la64 | FileCheck %s --check-prefix=CASE6 |
| # CASE6: pcalau12i $a0, 2 |
| # CASE6-NEXT: ld.w $a0, $a0, -2048 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x7ffff123 --section-start=.text=0x0 -o %t/case7.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x7ffff123 --section-start=.text=0x0 -o %t/case7.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case7.la32 | FileCheck %s --check-prefix=CASE7 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case7.la64 | FileCheck %s --check-prefix=CASE7 |
| # CASE7: pcalau12i $a0, 524287 |
| # CASE7-NEXT: ld.w $a0, $a0, 291 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x7ffffabc --section-start=.text=0x0 -o %t/case8.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x7ffffabc --section-start=.text=0x0 -o %t/case8.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case8.la32 | FileCheck %s --check-prefix=CASE8 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case8.la64 | FileCheck %s --check-prefix=CASE8 |
| # CASE8: pcalau12i $a0, -524288 |
| # CASE8-NEXT: ld.w $a0, $a0, -1348 |
| |
| # RUN: ld.lld %t/a.la32.o --section-start=.rodata=0x10123 --section-start=.text=0x80010000 -o %t/case9.la32 |
| # RUN: ld.lld %t/a.la64.o --section-start=.rodata=0x10123 --section-start=.text=0x80010000 -o %t/case9.la64 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case9.la32 | FileCheck %s --check-prefix=CASE9 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/case9.la64 | FileCheck %s --check-prefix=CASE9 |
| # CASE9: pcalau12i $a0, -524288 |
| # CASE9-NEXT: ld.w $a0, $a0, 291 |
| |
| ## page delta = 0x4443333322222000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x22222 = 139810 |
| ## %pc64_lo20 = 0x33333 = 209715 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x4443333334567111 --section-start=.text=0x0000000012345678 -o %t/extreme0 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme0 | FileCheck %s --check-prefix=EXTREME0 |
| # EXTREME0: pcalau12i $t1, 139810 |
| # EXTREME0-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME0-NEXT: lu32i.d $t0, 209715 |
| # EXTREME0-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x4443333222223000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x22223 = 139811 |
| ## %pc64_lo20 = 0x33332 = 209714 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x4443333334567888 --section-start=.text=0x0000000012345678 -o %t/extreme1 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme1 | FileCheck %s --check-prefix=EXTREME1 |
| # EXTREME1: pcalau12i $t1, 139811 |
| # EXTREME1-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME1-NEXT: lu32i.d $t0, 209714 |
| # EXTREME1-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x4443333499999000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x99999 = -419431 |
| ## %pc64_lo20 = 0x33334 = 209716 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x44433333abcde111 --section-start=.text=0x0000000012345678 -o %t/extreme2 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme2 | FileCheck %s --check-prefix=EXTREME2 |
| # EXTREME2: pcalau12i $t1, -419431 |
| # EXTREME2-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME2-NEXT: lu32i.d $t0, 209716 |
| # EXTREME2-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x444333339999a000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x9999a = -419430 |
| ## %pc64_lo20 = 0x33333 = 209715 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x44433333abcde888 --section-start=.text=0x0000000012345678 -o %t/extreme3 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme3 | FileCheck %s --check-prefix=EXTREME3 |
| # EXTREME3: pcalau12i $t1, -419430 |
| # EXTREME3-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME3-NEXT: lu32i.d $t0, 209715 |
| # EXTREME3-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x444aaaaa22222000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x22222 = 139810 |
| ## %pc64_lo20 = 0xaaaaa = -349526 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x444aaaaa34567111 --section-start=.text=0x0000000012345678 -o %t/extreme4 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme4 | FileCheck %s --check-prefix=EXTREME4 |
| # EXTREME4: pcalau12i $t1, 139810 |
| # EXTREME4-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME4-NEXT: lu32i.d $t0, -349526 |
| # EXTREME4-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x444aaaa922223000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x22223 = 139811 |
| ## %pc64_lo20 = 0xaaaa9 = -349527 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x444aaaaa34567888 --section-start=.text=0x0000000012345678 -o %t/extreme5 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme5 | FileCheck %s --check-prefix=EXTREME5 |
| # EXTREME5: pcalau12i $t1, 139811 |
| # EXTREME5-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME5-NEXT: lu32i.d $t0, -349527 |
| # EXTREME5-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x444aaaab99999000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x99999 = -419431 |
| ## %pc64_lo20 = 0xaaaab = -349525 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x444aaaaaabcde111 --section-start=.text=0x0000000012345678 -o %t/extreme6 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme6 | FileCheck %s --check-prefix=EXTREME6 |
| # EXTREME6: pcalau12i $t1, -419431 |
| # EXTREME6-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME6-NEXT: lu32i.d $t0, -349525 |
| # EXTREME6-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0x444aaaaa9999a000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x9999a = -419430 |
| ## %pc64_lo20 = 0xaaaaa = -349526 |
| ## %pc64_hi12 = 0x444 = 1092 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x444aaaaaabcde888 --section-start=.text=0x0000000012345678 -o %t/extreme7 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme7 | FileCheck %s --check-prefix=EXTREME7 |
| # EXTREME7: pcalau12i $t1, -419430 |
| # EXTREME7-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME7-NEXT: lu32i.d $t0, -349526 |
| # EXTREME7-NEXT: lu52i.d $t0, $t0, 1092 |
| |
| ## page delta = 0xbbb3333322222000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x22222 = 139810 |
| ## %pc64_lo20 = 0x33333 = 209715 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbb3333334567111 --section-start=.text=0x0000000012345678 -o %t/extreme8 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme8 | FileCheck %s --check-prefix=EXTREME8 |
| # EXTREME8: pcalau12i $t1, 139810 |
| # EXTREME8-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME8-NEXT: lu32i.d $t0, 209715 |
| # EXTREME8-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbb3333222223000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x22223 = 139811 |
| ## %pc64_lo20 = 0x33332 = 209714 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbb3333334567888 --section-start=.text=0x0000000012345678 -o %t/extreme9 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme9 | FileCheck %s --check-prefix=EXTREME9 |
| # EXTREME9: pcalau12i $t1, 139811 |
| # EXTREME9-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME9-NEXT: lu32i.d $t0, 209714 |
| # EXTREME9-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbb3333499999000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x99999 = -419431 |
| ## %pc64_lo20 = 0x33334 = 209716 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbb33333abcde111 --section-start=.text=0x0000000012345678 -o %t/extreme10 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme10 | FileCheck %s --check-prefix=EXTREME10 |
| # EXTREME10: pcalau12i $t1, -419431 |
| # EXTREME10-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME10-NEXT: lu32i.d $t0, 209716 |
| # EXTREME10-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbb333339999a000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x9999a = -419430 |
| ## %pc64_lo20 = 0x33333 = 209715 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbb33333abcde888 --section-start=.text=0x0000000012345678 -o %t/extreme11 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme11 | FileCheck %s --check-prefix=EXTREME11 |
| # EXTREME11: pcalau12i $t1, -419430 |
| # EXTREME11-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME11-NEXT: lu32i.d $t0, 209715 |
| # EXTREME11-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbbaaaaa22222000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x22222 = 139810 |
| ## %pc64_lo20 = 0xaaaaa = -349526 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbbaaaaa34567111 --section-start=.text=0x0000000012345678 -o %t/extreme12 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme12 | FileCheck %s --check-prefix=EXTREME12 |
| # EXTREME12: pcalau12i $t1, 139810 |
| # EXTREME12-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME12-NEXT: lu32i.d $t0, -349526 |
| # EXTREME12-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbbaaaa922223000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x22223 = 139811 |
| ## %pc64_lo20 = 0xaaaa9 = -349527 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbbaaaaa34567888 --section-start=.text=0x0000000012345678 -o %t/extreme13 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme13 | FileCheck %s --check-prefix=EXTREME13 |
| # EXTREME13: pcalau12i $t1, 139811 |
| # EXTREME13-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME13-NEXT: lu32i.d $t0, -349527 |
| # EXTREME13-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbbaaaab99999000, page offset = 0x111 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x99999 = -419431 |
| ## %pc64_lo20 = 0xaaaab = -349525 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbbaaaaaabcde111 --section-start=.text=0x0000000012345678 -o %t/extreme14 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme14 | FileCheck %s --check-prefix=EXTREME14 |
| # EXTREME14: pcalau12i $t1, -419431 |
| # EXTREME14-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME14-NEXT: lu32i.d $t0, -349525 |
| # EXTREME14-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xbbbaaaaa9999a000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x9999a = -419430 |
| ## %pc64_lo20 = 0xaaaaa = -349526 |
| ## %pc64_hi12 = 0xbbb = -1093 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0xbbbaaaaaabcde888 --section-start=.text=0x0000000012345678 -o %t/extreme15 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme15 | FileCheck %s --check-prefix=EXTREME15 |
| # EXTREME15: pcalau12i $t1, -419430 |
| # EXTREME15-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME15-NEXT: lu32i.d $t0, -349526 |
| # EXTREME15-NEXT: lu52i.d $t0, $t0, -1093 |
| |
| ## page delta = 0xffffffff00000000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x00000 = 0 |
| ## %pc64_lo20 = 0xfffff = -1 |
| ## %pc64_hi12 = 0xfff = -1 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x0000000012344888 --section-start=.text=0x0000000012345678 -o %t/extreme16 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme16 | FileCheck %s --check-prefix=EXTREME16 |
| # EXTREME16: pcalau12i $t1, 0 |
| # EXTREME16-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME16-NEXT: lu32i.d $t0, -1 |
| # EXTREME16-NEXT: lu52i.d $t0, $t0, -1 |
| |
| ## page delta = 0x0000000080000000, page offset = 0x888 |
| ## %pc_lo12 = 0x888 = -1912 |
| ## %pc_hi20 = 0x80000 = -524288 |
| ## %pc64_lo20 = 0xfffff = 0 |
| ## %pc64_hi12 = 0xfff = 0 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x000071238ffff888 --section-start=.text=0x0000712310000678 -o %t/extreme17 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme17 | FileCheck %s --check-prefix=EXTREME17 |
| # EXTREME17: pcalau12i $t1, -524288 |
| # EXTREME17-NEXT: addi.d $t0, $zero, -1912 |
| # EXTREME17-NEXT: lu32i.d $t0, 0 |
| # EXTREME17-NEXT: lu52i.d $t0, $t0, 0 |
| |
| ## A case that pcalau12i, lu32i.d and lu52i.d are in different pages. |
| ## page delta = 0x0000000080000000, page offset = 0x123 |
| ## %pc_lo12 = 0x111 = 273 |
| ## %pc_hi20 = 0x80000 = -524288 |
| ## %pc64_lo20 = 0x00001 = 1 |
| ## %pc64_hi12 = 0x000 = 0 |
| # RUN: ld.lld %t/extreme.o --section-start=.rodata=0x80000111 --section-start=.text=0xff8 -o %t/extreme18 |
| # RUN: llvm-objdump -d --no-show-raw-insn %t/extreme18 | FileCheck %s --check-prefix=EXTREME18 |
| # EXTREME18: pcalau12i $t1, -524288 |
| # EXTREME18-NEXT: addi.d $t0, $zero, 273 |
| # EXTREME18-NEXT: lu32i.d $t0, 1 |
| # EXTREME18-NEXT: lu52i.d $t0, $t0, 0 |
| |
| #--- a.s |
| .rodata |
| x: |
| .word 10 |
| .text |
| .global _start |
| _start: |
| pcalau12i $a0, %pc_hi20(x) |
| ld.w $a0, $a0, %pc_lo12(x) |
| |
| #--- extreme.s |
| .rodata |
| x: |
| .word 10 |
| .text |
| .global _start |
| _start: |
| pcalau12i $t1, %pc_hi20(x) |
| addi.d $t0, $zero, %pc_lo12(x) |
| lu32i.d $t0, %pc64_lo20(x) |
| lu52i.d $t0, $t0, %pc64_hi12(x) |
