3b16630c26
This PR depends on https://github.com/llvm/llvm-project/pull/90260 We changed the order in which functions are outlined in Machine Outliner. The formula for priority is found via a black-box Bayesian optimization toolbox. Using this formula for sorting consistently reduces the uncompressed size of large real-world mobile apps. We also ran a few benchmarks using LLVM test suites, and showed that sorting by priority consistently reduces the text segment size. |run (CTMark/) |baseline (1)|priority (2)|diff (1 -> 2)| |----------------|------------|------------|-------------| |lencod |349624 |349264 |-0.1030% | |SPASS |219672 |219480 |-0.0874% | |kc |271956 |251200 |-7.6321% | |sqlite3 |223920 |223708 |-0.0947% | |7zip-benchmark |405364 |402624 |-0.6759% | |bullet |139820 |139500 |-0.2289% | |consumer-typeset|295684 |290196 |-1.8560% | |pairlocalalign |72236 |72092 |-0.1993% | |tramp3d-v4 |189572 |189292 |-0.1477% | This is part of an enhanced version of machine outliner -- see [RFC](https://discourse.llvm.org/t/rfc-enhanced-machine-outliner-part-1-fulllto-part-2-thinlto-nolto-to-come/78732).
212 lines
7.8 KiB
YAML
212 lines
7.8 KiB
YAML
# RUN: llc -mtriple=thumbv7-- -run-pass=prologepilog \
|
|
# RUN: -run-pass=machine-outliner %s -o - | FileCheck %s
|
|
|
|
--- |
|
|
define void @CheckAddrModeT2_i12() { ret void }
|
|
define void @CheckAddrModeT2_i8() { ret void }
|
|
define void @CheckAddrModeT2_i8s4() { ret void }
|
|
define void @CheckAddrModeT2_ldrex() { ret void }
|
|
define void @CheckAddrModeT1_s() { ret void }
|
|
define void @foo() { ret void }
|
|
|
|
...
|
|
---
|
|
|
|
name: CheckAddrModeT2_i12
|
|
tracksRegLiveness: true
|
|
|
|
body: |
|
|
bb.0:
|
|
liveins: $r1
|
|
;CHECK-LABEL: name: CheckAddrModeT2_i12
|
|
;CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[SHARED:[0-9+]]]
|
|
;CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[I12:[0-9]+]]
|
|
;CHECK-NEXT: $r0 = t2LDRi12 $sp, 4088, 14 /* CC::al */, $noreg
|
|
$r0 = tMOVr killed $r1, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r0 = t2LDRi12 $sp, 0, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4086, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4088, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r0 = t2LDRi12 $sp, 0, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4086, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4088, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r0 = t2LDRi12 $sp, 0, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4086, 14, $noreg
|
|
$r0 = t2LDRi12 $sp, 4088, 14, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: CheckAddrModeT2_i8
|
|
tracksRegLiveness: true
|
|
|
|
body: |
|
|
bb.0:
|
|
liveins: $r1
|
|
;CHECK-LABEL: name: CheckAddrModeT2_i8
|
|
;CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[SHARED:[0-9+]]]
|
|
;CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[I8:[0-9]+]]
|
|
;CHECK-NEXT: t2STRHT $r0, $sp, 248, 14 /* CC::al */, $noreg
|
|
$r0 = tMOVr $r1, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRHT $r0, $sp, 0, 14, $noreg
|
|
t2STRHT $r0, $sp, 4, 14, $noreg
|
|
t2STRHT $r0, $sp, 247, 14, $noreg
|
|
t2STRHT $r0, $sp, 248, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRHT $r0, $sp, 0, 14, $noreg
|
|
t2STRHT $r0, $sp, 4, 14, $noreg
|
|
t2STRHT $r0, $sp, 247, 14, $noreg
|
|
t2STRHT $r0, $sp, 248, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRHT $r0, $sp, 0, 14, $noreg
|
|
t2STRHT $r0, $sp, 4, 14, $noreg
|
|
t2STRHT $r0, $sp, 247, 14, $noreg
|
|
t2STRHT $r0, $sp, 248, 14, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: CheckAddrModeT2_i8s4
|
|
tracksRegLiveness: true
|
|
|
|
body: |
|
|
bb.0:
|
|
liveins: $r1
|
|
;CHECK-LABEL: name: CheckAddrModeT2_i8s4
|
|
;CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[SHARED:[0-9+]]]
|
|
;CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[I8S4:[0-9]+]]
|
|
;CHECK-NEXT: t2STRDi8 $r0, $r1, $sp, 1020, 14 /* CC::al */, $noreg
|
|
$r0 = tMOVr $r1, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRDi8 $r0, $r1, $sp, 0, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 8, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1012, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1020, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRDi8 $r0, $r1, $sp, 0, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 8, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1012, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1020, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
t2STRDi8 $r0, $r1, $sp, 0, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 8, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1012, 14, $noreg
|
|
t2STRDi8 $r0, $r1, $sp, 1020, 14, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: CheckAddrModeT2_ldrex
|
|
tracksRegLiveness: true
|
|
|
|
body: |
|
|
bb.0:
|
|
liveins: $r1
|
|
;CHECK-LABEL: name: CheckAddrModeT2_ldrex
|
|
;CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[SHARED:[0-9+]]]
|
|
;CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[LDREX:[0-9]+]]
|
|
;CHECK-NEXT: $r1 = t2LDREX $sp, 254, 14 /* CC::al */, $noreg
|
|
$r0 = tMOVr $r1, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r1 = t2LDREX $sp, 0, 14, $noreg
|
|
$r1 = t2LDREX $sp, 8, 14, $noreg
|
|
$r1 = t2LDREX $sp, 253, 14, $noreg
|
|
$r1 = t2LDREX $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r1 = t2LDREX $sp, 0, 14, $noreg
|
|
$r1 = t2LDREX $sp, 8, 14, $noreg
|
|
$r1 = t2LDREX $sp, 253, 14, $noreg
|
|
$r1 = t2LDREX $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r1 = t2LDREX $sp, 0, 14, $noreg
|
|
$r1 = t2LDREX $sp, 8, 14, $noreg
|
|
$r1 = t2LDREX $sp, 253, 14, $noreg
|
|
$r1 = t2LDREX $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
$r1 = t2LDREX $sp, 0, 14, $noreg
|
|
$r1 = t2LDREX $sp, 8, 14, $noreg
|
|
$r1 = t2LDREX $sp, 253, 14, $noreg
|
|
$r1 = t2LDREX $sp, 254, 14, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: CheckAddrModeT1_s
|
|
tracksRegLiveness: true
|
|
|
|
body: |
|
|
bb.0:
|
|
liveins: $r0, $r1
|
|
;CHECK-LABEL: name: CheckAddrModeT1_s
|
|
;CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_[[SHARED:[0-9+]]]
|
|
;CHECK-NEXT: tSTRspi $r0, $sp, 0, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tSTRspi $r0, $sp, 4, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tSTRspi $r0, $sp, 253, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tSTRspi $r0, $sp, 254, 14 /* CC::al */, $noreg
|
|
$r0 = tMOVr $r1, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
tSTRspi $r0, $sp, 0, 14, $noreg
|
|
tSTRspi $r0, $sp, 4, 14, $noreg
|
|
tSTRspi $r0, $sp, 253, 14, $noreg
|
|
tSTRspi $r0, $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
tSTRspi $r0, $sp, 0, 14, $noreg
|
|
tSTRspi $r0, $sp, 4, 14, $noreg
|
|
tSTRspi $r0, $sp, 253, 14, $noreg
|
|
tSTRspi $r0, $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
tSTRspi $r0, $sp, 0, 14, $noreg
|
|
tSTRspi $r0, $sp, 4, 14, $noreg
|
|
tSTRspi $r0, $sp, 253, 14, $noreg
|
|
tSTRspi $r0, $sp, 254, 14, $noreg
|
|
tBL 14, $noreg, @foo, implicit-def dead $lr, implicit $sp
|
|
tSTRspi $r0, $sp, 0, 14, $noreg
|
|
tSTRspi $r0, $sp, 4, 14, $noreg
|
|
tSTRspi $r0, $sp, 253, 14, $noreg
|
|
tSTRspi $r0, $sp, 254, 14, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: foo
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0:
|
|
liveins: $lr
|
|
|
|
BX_RET 14, $noreg
|
|
|
|
;CHECK: name: OUTLINED_FUNCTION_[[LDREX]]
|
|
;CHECK: $r1 = t2LDREX $sp, 0, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: $r1 = t2LDREX $sp, 8, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: $r1 = t2LDREX $sp, 253, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tBX_RET 14 /* CC::al */, $noreg
|
|
|
|
;CHECK: name: OUTLINED_FUNCTION_[[I8]]
|
|
;CHECK: t2STRHT $r0, $sp, 0, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: t2STRHT $r0, $sp, 4, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: t2STRHT $r0, $sp, 247, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tBX_RET 14 /* CC::al */, $noreg
|
|
|
|
;CHECK: name: OUTLINED_FUNCTION_[[I8S4]]
|
|
;CHECK: t2STRDi8 $r0, $r1, $sp, 0, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: t2STRDi8 $r0, $r1, $sp, 8, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: t2STRDi8 $r0, $r1, $sp, 1012, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tBX_RET 14 /* CC::al */, $nore
|
|
|
|
;CHECK: name: OUTLINED_FUNCTION_[[I12]]
|
|
;CHECK: $r0 = t2LDRi12 $sp, 0, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: $r0 = t2LDRi12 $sp, 4, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: $r0 = t2LDRi12 $sp, 4086, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tBX_RET 14 /* CC::al */, $noreg
|
|
|
|
;CHECK: name: OUTLINED_FUNCTION_[[SHARED]]
|
|
;CHECK: $r0 = tMOVr killed $r1, 14 /* CC::al */, $noreg
|
|
;CHECK-NEXT: tTAILJMPdND @foo, 14 /* CC::al */, $noreg, implicit $sp
|