115 lines · plain
1# RUN: llc -mtriple=aarch64--- -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s2# RUN: llc -mtriple=aarch64--- -outliner-benefit-threshold=10 -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s -check-prefix=THRESHOLD3--- |4 5 define void @baz() #0 {6 ret void7 }8 9 define void @bar(i32 %a) #0 {10 ret void11 }12 13 attributes #0 = { noredzone }14...15---16# Check that two we outline two different sequences, one from bb1 and one from17# bb2 when the threshold is 1.18# CHECK-LABEL: bb.1:19# CHECK: BL @OUTLINED_FUNCTION_[[F0:[0-9]+]], implicit-def $lr, implicit $sp20# CHECK-NEXT: $w11 = ORRWri $wzr, 121# CHECK-NEXT: $w11 = ORRWri $wzr, 122# CHECK-NEXT: $w11 = ORRWri $wzr, 223# CHECK-NEXT: BL @baz, implicit-def dead $lr, implicit $sp24# CHECK-NEXT: BL @OUTLINED_FUNCTION_[[F0]], implicit-def $lr, implicit $sp25# CHECK-NEXT: $w11 = ORRWri $wzr, 126# CHECK-NEXT: $w11 = ORRWri $wzr, 127# CHECK-NEXT: $w8 = ORRWri $wzr, 028# CHECK-NOT: $w11 = KILL renamable $w11, implicit killed $w1129 30# CHECK-LABEL: bb.2:31# CHECK: BL @OUTLINED_FUNCTION_[[F1:[0-9]+]], implicit-def $lr, implicit $sp32# CHECK-NEXT: $w9 = ORRWri $wzr, 033# CHECK-NEXT: BL @OUTLINED_FUNCTION_[[F1]], implicit-def $lr, implicit $sp34# CHECK-NEXT: $w8 = ORRWri $wzr, 035# CHECK-NOT: $w11 = KILL renamable $w11, implicit killed $w1136 37# Check that the sequences in bb.2 don't get outlined with a threshold of 10 but38# the sequences in bb.1 do.39# THRESHOLD-LABEL: bb.1:40# THRESHOLD: BL @OUTLINED_FUNCTION_[[F0:[0-9]+]], implicit-def $lr, implicit $sp41# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 142# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 143# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 244# THRESHOLD-NEXT: BL @baz, implicit-def dead $lr, implicit $sp45# THRESHOLD-NEXT: BL @OUTLINED_FUNCTION_[[F0]], implicit-def $lr, implicit $sp46# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 147# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 148# THRESHOLD-NEXT: $w8 = ORRWri $wzr, 049# THRESHOLD-NOT: $w11 = KILL renamable $w11, implicit killed $w1150 51# THRESHOLD-LABEL: bb.2:52# THRESHOLD-NOT: BL @OUTLINED_FUNCTION53name: bar54tracksRegLiveness: true55body: |56 bb.0:57 liveins: $w0, $lr, $w858 $sp = frame-setup SUBXri $sp, 32, 059 $fp = frame-setup ADDXri $sp, 16, 060 61 bb.1:62 BL @baz, implicit-def dead $lr, implicit $sp63 $w11 = ORRWri $wzr, 164 $w11 = ORRWri $wzr, 165 $w11 = KILL renamable $w11, implicit killed $w1166 $w11 = ORRWri $wzr, 167 $w11 = ORRWri $wzr, 168 BL @baz, implicit-def dead $lr, implicit $sp69 $w11 = ORRWri $wzr, 170 $w11 = ORRWri $wzr, 171 $w11 = ORRWri $wzr, 272 BL @baz, implicit-def dead $lr, implicit $sp73 $w11 = ORRWri $wzr, 174 $w11 = ORRWri $wzr, 175 $w11 = ORRWri $wzr, 176 $w11 = ORRWri $wzr, 177 BL @baz, implicit-def dead $lr, implicit $sp78 $w11 = ORRWri $wzr, 179 $w11 = ORRWri $wzr, 180 $w8 = ORRWri $wzr, 081 82 bb.2:83 $w15 = ORRWri $wzr, 184 $w15 = ORRWri $wzr, 185 $w15 = ORRWri $wzr, 186 $w15 = ORRWri $wzr, 187 $x15 = ADDXri $sp, 48, 0;88 $w9 = ORRWri $wzr, 089 $w15 = ORRWri $wzr, 190 $w15 = ORRWri $wzr, 191 $w15 = ORRWri $wzr, 192 $w15 = ORRWri $wzr, 193 $x15 = ADDXri $sp, 48, 0;94 $w8 = ORRWri $wzr, 095 96 bb.3:97 $fp, $lr = LDPXi $sp, 298 $sp = ADDXri $sp, 32, 099 RET undef $lr100 101...102---103name: baz104tracksRegLiveness: true105body: |106 bb.0:107 liveins: $w0, $lr, $w8108 RET undef $lr109 110# CHECK-LABEL: name: OUTLINED_FUNCTION_{{[0-9]}}111# CHECK-LABEL: name: OUTLINED_FUNCTION_{{[1-9]}}112 113# THRESHOLD-LABEL: name: OUTLINED_FUNCTION_{{[0-9]}}114# THRESHOLD-NOT: name: OUTLINED_FUNCTION_{{[1-9]}}115