| ; RUN: llc < %s -mtriple=thumbv6m-none-eabi -relocation-model=static | FileCheck %s -check-prefixes=CHECK |
| |
| define void @fn() #0 { |
| entry: |
| ; CHECK-LABEL: fn: |
| ; CHECK: ldr [[REG:r[0-9]+]], [[LABEL:[^\s]+]] |
| ; CHECK-NEXT: blx [[REG]] |
| ; CHECK: [[LABEL]]: |
| ; CHECK-NEXT: .long bar |
| call void @bar() |
| ret void |
| } |
| |
| define void @execute_only_fn() #1 { |
| ; CHECK-LABEL: execute_only_fn: |
| ; CHECK: movs [[REG0:r[0-9]+]], :upper8_15:bar |
| ; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 |
| ; CHECK-NEXT: adds [[REG0]], :upper0_7:bar |
| ; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 |
| ; CHECK-NEXT: adds [[REG0]], :lower8_15:bar |
| ; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 |
| ; CHECK-NEXT: adds [[REG0]], :lower0_7:bar |
| ; CHECK-NEXT: blx [[REG0]] |
| ; CHECK-NOT: ldr |
| |
| entry: |
| call void @bar() |
| ret void |
| } |
| |
| attributes #0 = { noinline optnone "target-features"="+thumb-mode,+long-calls" } |
| attributes #1 = { noinline optnone "target-features"="+execute-only,+thumb-mode,+long-calls" } |
| |
| declare dso_local void @bar() |