1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
; 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()
|
