File: thumb-execute-only-long-calls.ll

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (34 lines) | stat: -rw-r--r-- 1,025 bytes parent folder | download | duplicates (10) 
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()