llvm/test/CodeGen/AArch64/machine-outliner-threshold.mir

   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
  53 name:            bar
  54 tracksRegLiveness: true
  55 body:             |
  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 ---
 103 name:            baz
 104 tracksRegLiveness: true
 105 body:             |
 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]}}