1# RUN: llc -mtriple=aarch64--- -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s 2# RUN: llc -mtriple=aarch64--- -outliner-benefit-threshold=10 -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s -check-prefix=THRESHOLD 3--- | 4 5 define void @baz() #0 { 6 ret void 7 } 8 9 define void @bar(i32 %a) #0 { 10 ret void 11 } 12 13 attributes #0 = { noredzone } 14... 15--- 16# Check that two we outline two different sequences, one from bb1 and one from 17# bb2 when the threshold is 1. 18# CHECK-LABEL: bb.1: 19# CHECK: BL @OUTLINED_FUNCTION_[[F0:[0-9]+]], implicit-def $lr, implicit $sp 20# CHECK-NEXT: $w11 = ORRWri $wzr, 1 21# CHECK-NEXT: $w11 = ORRWri $wzr, 1 22# CHECK-NEXT: $w11 = ORRWri $wzr, 2 23# CHECK-NEXT: BL @baz, implicit-def dead $lr, implicit $sp 24# CHECK-NEXT: BL @OUTLINED_FUNCTION_[[F0]], implicit-def $lr, implicit $sp 25# CHECK-NEXT: $w11 = ORRWri $wzr, 1 26# CHECK-NEXT: $w11 = ORRWri $wzr, 1 27# CHECK-NEXT: $w8 = ORRWri $wzr, 0 28# CHECK-NOT: $w11 = KILL renamable $w11, implicit killed $w11 29 30# CHECK-LABEL: bb.2: 31# CHECK: BL @OUTLINED_FUNCTION_[[F1:[0-9]+]], implicit-def $lr, implicit $sp 32# CHECK-NEXT: $w9 = ORRWri $wzr, 0 33# CHECK-NEXT: BL @OUTLINED_FUNCTION_[[F1]], implicit-def $lr, implicit $sp 34# CHECK-NEXT: $w8 = ORRWri $wzr, 0 35# CHECK-NOT: $w11 = KILL renamable $w11, implicit killed $w11 36 37# Check that the sequences in bb.2 don't get outlined with a threshold of 10 but 38# the sequences in bb.1 do. 39# THRESHOLD-LABEL: bb.1: 40# THRESHOLD: BL @OUTLINED_FUNCTION_[[F0:[0-9]+]], implicit-def $lr, implicit $sp 41# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 1 42# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 1 43# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 2 44# THRESHOLD-NEXT: BL @baz, implicit-def dead $lr, implicit $sp 45# THRESHOLD-NEXT: BL @OUTLINED_FUNCTION_[[F0]], implicit-def $lr, implicit $sp 46# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 1 47# THRESHOLD-NEXT: $w11 = ORRWri $wzr, 1 48# THRESHOLD-NEXT: $w8 = ORRWri $wzr, 0 49# THRESHOLD-NOT: $w11 = KILL renamable $w11, implicit killed $w11 50 51# THRESHOLD-LABEL: bb.2: 52# THRESHOLD-NOT: BL @OUTLINED_FUNCTION 53name: bar 54tracksRegLiveness: true 55body: | 56 bb.0: 57 liveins: $w0, $lr, $w8 58 $sp = frame-setup SUBXri $sp, 32, 0 59 $fp = frame-setup ADDXri $sp, 16, 0 60 61 bb.1: 62 BL @baz, implicit-def dead $lr, implicit $sp 63 $w11 = ORRWri $wzr, 1 64 $w11 = ORRWri $wzr, 1 65 $w11 = KILL renamable $w11, implicit killed $w11 66 $w11 = ORRWri $wzr, 1 67 $w11 = ORRWri $wzr, 1 68 BL @baz, implicit-def dead $lr, implicit $sp 69 $w11 = ORRWri $wzr, 1 70 $w11 = ORRWri $wzr, 1 71 $w11 = ORRWri $wzr, 2 72 BL @baz, implicit-def dead $lr, implicit $sp 73 $w11 = ORRWri $wzr, 1 74 $w11 = ORRWri $wzr, 1 75 $w11 = ORRWri $wzr, 1 76 $w11 = ORRWri $wzr, 1 77 BL @baz, implicit-def dead $lr, implicit $sp 78 $w11 = ORRWri $wzr, 1 79 $w11 = ORRWri $wzr, 1 80 $w8 = ORRWri $wzr, 0 81 82 bb.2: 83 $w15 = ORRWri $wzr, 1 84 $w15 = ORRWri $wzr, 1 85 $w15 = ORRWri $wzr, 1 86 $w15 = ORRWri $wzr, 1 87 $x15 = ADDXri $sp, 48, 0; 88 $w9 = ORRWri $wzr, 0 89 $w15 = ORRWri $wzr, 1 90 $w15 = ORRWri $wzr, 1 91 $w15 = ORRWri $wzr, 1 92 $w15 = ORRWri $wzr, 1 93 $x15 = ADDXri $sp, 48, 0; 94 $w8 = ORRWri $wzr, 0 95 96 bb.3: 97 $fp, $lr = LDPXi $sp, 2 98 $sp = ADDXri $sp, 32, 0 99 RET undef $lr 100 101... 102--- 103name: baz 104tracksRegLiveness: true 105body: | 106 bb.0: 107 liveins: $w0, $lr, $w8 108 RET undef $lr 109 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