llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-diff-scope-same-key.ll

   1 ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple aarch64 %s -o - | \
   2 ; RUN:   FileCheck %s --check-prefixes CHECK,V8A
   3 ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple aarch64 -mattr=+v8.3a %s -o - | \
   4 ; RUN:   FileCheck %s --check-prefixes CHECK,V83A
   5
   6 define void @a() "sign-return-address"="all" {
   7 ; CHECK-LABEL:      a:                                     // @a
   8 ; V8A:              hint #25
   9 ; V83A:             paciasp
  10 ; CHECK:            .cfi_negate_ra_state
  11 ; CHECK-NEXT:       .cfi_def_cfa_offset
  12   %1 = alloca i32, align 4
  13   %2 = alloca i32, align 4
  14   %3 = alloca i32, align 4
  15   %4 = alloca i32, align 4
  16   %5 = alloca i32, align 4
  17   %6 = alloca i32, align 4
  18   store i32 1, ptr %1, align 4
  19   store i32 2, ptr %2, align 4
  20   store i32 3, ptr %3, align 4
  21   store i32 4, ptr %4, align 4
  22   store i32 5, ptr %5, align 4
  23   store i32 6, ptr %6, align 4
  24 ; V8A:            hint #29
  25 ; V83A:           retaa
  26   ret void
  27 ; CHECK:          .cfi_endproc
  28 }
  29
  30 define void @b() "sign-return-address"="non-leaf" {
  31 ; CHECK-LABEL:     b:                                     // @b
  32 ; V8A-NOT:         hint #25
  33 ; V83A-NOT:        paciasp
  34 ; CHECK-NOT:       .cfi_negate_ra_state
  35   %1 = alloca i32, align 4
  36   %2 = alloca i32, align 4
  37   %3 = alloca i32, align 4
  38   %4 = alloca i32, align 4
  39   %5 = alloca i32, align 4
  40   %6 = alloca i32, align 4
  41   store i32 1, ptr %1, align 4
  42   store i32 2, ptr %2, align 4
  43   store i32 3, ptr %3, align 4
  44   store i32 4, ptr %4, align 4
  45   store i32 5, ptr %5, align 4
  46   store i32 6, ptr %6, align 4
  47 ; V8A-NOT:          hint #29
  48 ; V83A-NOT:         autiasp
  49 ; V83A-NOT:         retaa
  50   ret void
  51 ; CHECK:            .cfi_endproc
  52 }
  53
  54 define void @c() "sign-return-address"="all" {
  55 ; CHECK-LABEL:         c:              // @c
  56 ; V8A:                 hint #25
  57 ; V83A:                paciasp
  58 ; CHECK:              .cfi_negate_ra_state
  59 ; CHECK-NEXT:         .cfi_def_cfa_offset
  60   %1 = alloca i32, align 4
  61   %2 = alloca i32, align 4
  62   %3 = alloca i32, align 4
  63   %4 = alloca i32, align 4
  64   %5 = alloca i32, align 4
  65   %6 = alloca i32, align 4
  66   store i32 1, ptr %1, align 4
  67   store i32 2, ptr %2, align 4
  68   store i32 3, ptr %3, align 4
  69   store i32 4, ptr %4, align 4
  70   store i32 5, ptr %5, align 4
  71   store i32 6, ptr %6, align 4
  72 ; V8A:            hint #29
  73 ; V83A:           retaa
  74   ret void
  75 ; CHECK:          .cfi_endproc
  76 }
  77
  78 ; CHECK-NOT:      OUTLINED_FUNCTION_{{[0-9]+}}:
  79 ; CHECK-NOT:      // -- Begin function