| ; RUN: llc -mtriple=aarch64-none-linux-gnu -relocation-model=pic -o - %s | FileCheck %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -relocation-model=pic -filetype=obj -o - %s |
| |
| ; LLVM gives well-defined semantics to this horrible construct (though C says |
| ; it's undefined). Regardless, we shouldn't crash. The important feature here is |
| ; that in general the only way to access a GOT symbol is via a 64-bit |
| ; load. Neither of these alternatives has the ELF relocations required to |
| ; support it: |
| ; + ldr wD, [xN, #:got_lo12:func] |
| ; + add xD, xN, #:got_lo12:func |
| |
| declare void @consume(i32) |
| declare void @func() |
| |
| define void @foo() nounwind { |
| ; CHECK-LABEL: foo: |
| entry: |
| call void @consume(i32 ptrtoint (void ()* @func to i32)) |
| ; CHECK: adrp x[[ADDRHI:[0-9]+]], :got:func |
| ; CHECK: ldr {{x[0-9]+}}, [x[[ADDRHI]], {{#?}}:got_lo12:func] |
| ret void |
| } |
| |
