llvm/test/CodeGen/AArch64/tailcall_misched_graph.ll

   1 ; RUN: llc -mcpu=cyclone -debug-only=machine-scheduler < %s 2>&1 | FileCheck %s --check-prefixes=COMMON,SDAG
   2 ; RUN: llc -mcpu=cyclone -global-isel -debug-only=machine-scheduler < %s 2>&1 | FileCheck %s --check-prefixes=COMMON,GISEL
   3
   4 ; REQUIRES: asserts
   5
   6 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   7 target triple = "arm64-apple-ios7.0.0"
   8
   9 define void @caller2(ptr %a0, ptr %a1, ptr %a2, ptr %a3, ptr %a4, ptr %a5, ptr %a6, ptr %a7, ptr %a8, ptr %a9) {
  10 entry:
  11   tail call void @callee2(ptr %a1, ptr %a2, ptr %a3, ptr %a4, ptr %a5, ptr %a6, ptr %a7, ptr %a8, ptr %a9, ptr %a0)
  12   ret void
  13 }
  14
  15 declare void @callee2(ptr, ptr, ptr, ptr, ptr,
  16                       ptr, ptr, ptr, ptr, ptr)
  17
  18 ; Make sure there is a dependence between the load and store to the same stack
  19 ; location during a tail call. Tail calls clobber the incoming argument area and
  20 ; therefore it is not safe to assume argument locations are invariant.
  21 ; PR23459 has a test case that we where miscompiling because of this at the
  22 ; time.
  23
  24 ; COMMON: Frame Objects
  25 ; COMMON:  fi#-4: {{.*}} fixed, at location [SP+8]
  26 ; COMMON:  fi#-3: {{.*}} fixed, at location [SP]
  27 ; COMMON:  fi#-2: {{.*}} fixed, at location [SP+8]
  28 ; COMMON:  fi#-1: {{.*}} fixed, at location [SP]
  29
  30 ; The order that these appear in differes in GISel than SDAG, but the
  31 ; dependency relationship still holds.
  32 ; COMMON:  [[VRA:%.*]]:gpr64 = LDRXui %fixed-stack.3
  33 ; COMMON:  [[VRB:%.*]]:gpr64 = LDRXui %fixed-stack.2
  34 ; SDAG:  STRXui %{{.*}}, %fixed-stack.0
  35 ; SDAG:  STRXui [[VRB]]{{[^,]*}}, %fixed-stack.1
  36 ; GISEL:  STRXui [[VRB]]{{[^,]*}}, %fixed-stack.1
  37 ; GISEL:  STRXui %{{.*}}, %fixed-stack.0
  38
  39 ; Make sure that there is an dependence edge between fi#-2 and fi#-4.
  40 ; Without this edge the scheduler would be free to move the store accross the load.
  41
  42 ; COMMON: {{^SU(.*)}}:   [[VRB]]:gpr64 = LDRXui %fixed-stack.2
  43 ; COMMON-NOT: {{^SU(.*)}}:
  44 ; COMMON:  Successors:
  45 ; COMMON:   SU([[DEPSTOREB:.*]]): Ord  Latency=0
  46 ; COMMON:   SU([[DEPSTOREA:.*]]): Ord  Latency=0
  47
  48 ; GlobalISel outputs DEPSTOREB before DEPSTOREA, but the dependency relationship
  49 ; still holds.
  50 ; SDAG: SU([[DEPSTOREA]]):   STRXui %{{.*}}, %fixed-stack.0
  51 ; SDAG: SU([[DEPSTOREB]]):   STRXui %{{.*}}, %fixed-stack.1
  52
  53 ; GISEL: SU([[DEPSTOREB]]):   STRXui %{{.*}}, %fixed-stack.0
  54 ; GISEL: SU([[DEPSTOREA]]):   STRXui %{{.*}}, %fixed-stack.1