1# RUN: llc -mtriple=aarch64--- -run-pass=machine-outliner \ 2# RUN: -verify-machineinstrs %s -o - | FileCheck %s 3 4# Ensure that we can outline candidates with compatible call/frame classes. 5# 6# - Save/restores that don't impact the stack can be outlined together. 7# - Save/restores that impact the stack if the outlined sequence doesn't use 8# the stack. 9 10--- | 11 define void @no-save1() #0 { ret void } 12 define void @no-save2() #0 { ret void } 13 define void @reg-save() #0 { ret void } 14 define void @stack-save() #0 { ret void } 15 attributes #0 = { minsize noinline noredzone "frame-pointer"="all" } 16... 17--- 18 19name: no-save1 20tracksRegLiveness: true 21body: | 22 bb.0: 23 liveins: $lr 24 $lr = ORRXri $xzr, 1 25 bb.1: 26 ; CHECK-LABEL: name: no-save1 27 ; CHECK: BL [[FN:@OUTLINED_FUNCTION_[0-9]+]] 28 ; CHECK-NOT: STRXpre 29 ; CHECK-NOT: $lr = 30 ; CHECK-NOT: ORRXrs 31 $w11 = ORRWri $wzr, 1 32 $w11 = ORRWri $wzr, 1 33 $w11 = ORRWri $wzr, 1 34 $w11 = ORRWri $wzr, 1 35 bb.2: 36 RET undef $lr 37 38... 39--- 40 41name: no-save2 42tracksRegLiveness: true 43body: | 44 bb.0: 45 liveins: $lr 46 $lr = ORRXri $xzr, 1 47 bb.1: 48 ; CHECK-LABEL: name: no-save2 49 ; CHECK: BL [[FN]] 50 ; CHECK-NOT: STRXpre 51 ; CHECK-NOT: $lr = 52 ; CHECK-NOT: ORRXrs 53 $w11 = ORRWri $wzr, 1 54 $w11 = ORRWri $wzr, 1 55 $w11 = ORRWri $wzr, 1 56 $w11 = ORRWri $wzr, 1 57 bb.2: 58 RET undef $lr 59... 60--- 61 62name: reg-save 63tracksRegLiveness: true 64body: | 65 bb.0: 66 liveins: $lr 67 $lr = ORRXri $xzr, 1 68 bb.1: 69 liveins: $lr 70 ; CHECK-LABEL: name: reg-save 71 ; CHECK: $[[REG:x[0-9]+]] = ORRXrs $xzr, $lr, 0 72 ; CHECK-NEXT: BL [[FN]] 73 ; CHECK-NEXT: $lr = ORRXrs $xzr, $[[REG]], 0 74 $w11 = ORRWri $wzr, 1 75 $w11 = ORRWri $wzr, 1 76 $w11 = ORRWri $wzr, 1 77 $w11 = ORRWri $wzr, 1 78 bb.2: 79 liveins: $lr 80 RET undef $lr 81 82... 83--- 84 85name: stack-save 86tracksRegLiveness: true 87body: | 88 bb.0: 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, $fp 90 $lr = ORRXri $xzr, 1 91 bb.1: 92 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, $fp 93 ; CHECK-LABEL: name: stack-save 94 ; CHECK: $sp = STRXpre $lr, $sp, -16 95 ; CHECK-NEXT: BL [[FN]] 96 ; CHECK-NEXT: $sp, $lr = LDRXpost $sp, 16 97 $w11 = ORRWri $wzr, 1 98 $w11 = ORRWri $wzr, 1 99 $w11 = ORRWri $wzr, 1 100 $w11 = ORRWri $wzr, 1 101 bb.2: 102 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, $fp 103 RET undef $lr 104