100 lines · plain
1# RUN: llc -mtriple=aarch64--- -run-pass=machine-outliner \2# RUN: -verify-machineinstrs %s -o - | FileCheck %s3 4--- |5 define void @no-save1() #0 { ret void }6 define void @no-save2() #0 { ret void }7 define void @reg-save() #0 { ret void }8 define void @stack-save() #0 { ret void }9 attributes #0 = { minsize noinline noredzone "frame-pointer"="all" }10...11---12 13name: no-save114tracksRegLiveness: true15body: |16 bb.0:17 liveins: $lr18 $lr = ORRXri $xzr, 119 bb.1:20 ; CHECK-LABEL: name: no-save121 ; CHECK: BL [[FN:@OUTLINED_FUNCTION_[0-9]+]]22 ; CHECK-NOT: STRXpre23 ; CHECK-NOT: $lr =24 ; CHECK-NOT: ORRXrs25 $x12 = ADDXri $sp, 48, 0;26 $x12 = ADDXri $sp, 48, 0;27 $x12 = ADDXri $sp, 48, 0;28 $x12 = ADDXri $sp, 48, 0;29 $x12 = ADDXri $sp, 48, 0;30 bb.2:31 RET undef $lr32 33...34---35 36name: no-save237tracksRegLiveness: true38body: |39 bb.0:40 liveins: $lr41 $lr = ORRXri $xzr, 142 bb.1:43 ; CHECK-LABEL: name: no-save244 ; CHECK: BL [[FN]]45 ; CHECK-NOT: STRXpre46 ; CHECK-NOT: $lr =47 ; CHECK-NOT: ORRXrs48 $x12 = ADDXri $sp, 48, 0;49 $x12 = ADDXri $sp, 48, 0;50 $x12 = ADDXri $sp, 48, 0;51 $x12 = ADDXri $sp, 48, 0;52 $x12 = ADDXri $sp, 48, 0;53 bb.2:54 RET undef $lr55...56---57 58name: reg-save59tracksRegLiveness: true60body: |61 bb.0:62 liveins: $lr63 $lr = ORRXri $xzr, 164 bb.1:65 liveins: $lr66 ; CHECK-LABEL: name: reg-save67 ; CHECK: $[[REG:x[0-9]+]] = ORRXrs $xzr, $lr, 068 ; CHECK-NEXT: BL [[FN]]69 ; CHECK-NEXT: $lr = ORRXrs $xzr, $[[REG]], 070 $x12 = ADDXri $sp, 48, 0;71 $x12 = ADDXri $sp, 48, 0;72 $x12 = ADDXri $sp, 48, 0;73 $x12 = ADDXri $sp, 48, 0;74 $x12 = ADDXri $sp, 48, 0;75 bb.2:76 liveins: $lr77 RET undef $lr78 79...80---81 82name: stack-save83tracksRegLiveness: true84body: |85 bb.0:86 liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp87 $lr = ORRXri $xzr, 188 bb.1:89 liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp90 ; CHECK-LABEL: name: stack-save91 ; CHECK-NOT: BL92 $x12 = ADDXri $sp, 48, 0;93 $x12 = ADDXri $sp, 48, 0;94 $x12 = ADDXri $sp, 48, 0;95 $x12 = ADDXri $sp, 48, 0;96 $x12 = ADDXri $sp, 48, 0;97 bb.2:98 liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp99 RET undef $lr100