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).
134 lines
5.4 KiB
YAML
134 lines
5.4 KiB
YAML
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
|
# RUN: llc -mtriple=arm-- -run-pass=machine-outliner -verify-machineinstrs \
|
|
# RUN: %s -o - | FileCheck %s
|
|
|
|
--- |
|
|
define void @outline_default_arm() #0 { ret void }
|
|
define void @outline_default_thumb() #1 { ret void }
|
|
declare void @bar()
|
|
|
|
attributes #0 = { minsize optsize }
|
|
attributes #1 = { minsize optsize "target-features"="+armv7-a,+thumb-mode" }
|
|
...
|
|
---
|
|
|
|
name: outline_default_arm
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: outline_default_arm
|
|
; CHECK: bb.0:
|
|
; CHECK: liveins: $lr
|
|
; CHECK: early-clobber $sp = frame-setup STR_PRE_IMM killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: BL @OUTLINED_FUNCTION_1
|
|
; CHECK: $lr, $sp = frame-destroy LDR_POST_IMM $sp, $noreg, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.1:
|
|
; CHECK: liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: early-clobber $sp = frame-setup STR_PRE_IMM killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: BL @OUTLINED_FUNCTION_1
|
|
; CHECK: $lr, $sp = frame-destroy LDR_POST_IMM $sp, $noreg, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.2:
|
|
; CHECK: liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: early-clobber $sp = frame-setup STR_PRE_IMM killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: BL @OUTLINED_FUNCTION_1
|
|
; CHECK: $lr, $sp = frame-destroy LDR_POST_IMM $sp, $noreg, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.3:
|
|
; CHECK: liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: $r2 = MOVr $lr, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: BX_RET 14 /* CC::al */, $noreg
|
|
bb.0:
|
|
liveins: $lr
|
|
$r0 = MOVi 1, 14, $noreg, $noreg
|
|
$r1 = MOVi 1, 14, $noreg, $noreg
|
|
$r2 = MOVi 1, 14, $noreg, $noreg
|
|
$r3 = MOVi 1, 14, $noreg, $noreg
|
|
$r4 = MOVi 1, 14, $noreg, $noreg
|
|
$r5 = MOVi 1, 14, $noreg, $noreg
|
|
bb.1:
|
|
liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r0 = MOVi 1, 14, $noreg, $noreg
|
|
$r1 = MOVi 1, 14, $noreg, $noreg
|
|
$r2 = MOVi 1, 14, $noreg, $noreg
|
|
$r3 = MOVi 1, 14, $noreg, $noreg
|
|
$r4 = MOVi 1, 14, $noreg, $noreg
|
|
$r5 = MOVi 1, 14, $noreg, $noreg
|
|
bb.2:
|
|
liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r0 = MOVi 1, 14, $noreg, $noreg
|
|
$r1 = MOVi 1, 14, $noreg, $noreg
|
|
$r2 = MOVi 1, 14, $noreg, $noreg
|
|
$r3 = MOVi 1, 14, $noreg, $noreg
|
|
$r4 = MOVi 1, 14, $noreg, $noreg
|
|
$r5 = MOVi 1, 14, $noreg, $noreg
|
|
bb.3:
|
|
liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r2 = MOVr $lr, 14, $noreg, $noreg
|
|
BX_RET 14, $noreg
|
|
...
|
|
---
|
|
|
|
name: outline_default_thumb
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: outline_default_thumb
|
|
; CHECK: bb.0:
|
|
; CHECK: liveins: $lr
|
|
; CHECK: early-clobber $sp = frame-setup t2STR_PRE killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_0
|
|
; CHECK: $lr, $sp = frame-destroy t2LDR_POST $sp, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.1:
|
|
; CHECK: liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: early-clobber $sp = frame-setup t2STR_PRE killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_0
|
|
; CHECK: $lr, $sp = frame-destroy t2LDR_POST $sp, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.2:
|
|
; CHECK: liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: early-clobber $sp = frame-setup t2STR_PRE killed $lr, $sp, -8, 14 /* CC::al */, $noreg
|
|
; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_0
|
|
; CHECK: $lr, $sp = frame-destroy t2LDR_POST $sp, 8, 14 /* CC::al */, $noreg
|
|
; CHECK: bb.3:
|
|
; CHECK: liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: $r2 = tMOVr $lr, 14 /* CC::al */, $noreg
|
|
; CHECK: tBX_RET 14 /* CC::al */, $noreg
|
|
bb.0:
|
|
liveins: $lr
|
|
$r0 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r1 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r2 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r3 = t2MOVi 1, 14, $noreg, $noreg
|
|
bb.1:
|
|
liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r0 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r1 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r2 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r3 = t2MOVi 1, 14, $noreg, $noreg
|
|
bb.2:
|
|
liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r0 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r1 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r2 = t2MOVi 1, 14, $noreg, $noreg
|
|
$r3 = t2MOVi 1, 14, $noreg, $noreg
|
|
bb.3:
|
|
liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
$r2 = tMOVr $lr, 14, $noreg
|
|
tBX_RET 14, $noreg
|
|
|
|
; CHECK-LABEL: name: OUTLINED_FUNCTION_0
|
|
; CHECK: bb.0:
|
|
; CHECK: liveins: $lr, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r2 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r3 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: tBX_RET 14 /* CC::al */, $noreg
|
|
|
|
; CHECK-LABEL: name: OUTLINED_FUNCTION_1
|
|
; CHECK: bb.0:
|
|
; CHECK: liveins: $lr, $r6, $r7, $r8, $r9, $r10, $r11
|
|
; CHECK: $r0 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r1 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r2 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r3 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r4 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: $r5 = MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
|
; CHECK: MOVPCLR 14 /* CC::al */, $noreg
|