llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-non-leaf.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 i64 @a(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" {
   7 ; CHECK-LABEL:      a:                                     // @a
   8 ; CHECK:                .cfi_b_key_frame
   9 ; V8A-NEXT:             hint #27
  10 ; V83A-NEXT:            pacibsp
  11 ; CHECK:                .cfi_negate_ra_state
  12 ; CHECK-NEXT:           .cfi_def_cfa_offset
  13   %1 = alloca i32, align 4
  14   %2 = alloca i32, align 4
  15   %3 = alloca i32, align 4
  16   %4 = alloca i32, align 4
  17   %5 = alloca i32, align 4
  18   %6 = alloca i32, align 4
  19   store i32 1, ptr %1, align 4
  20   store i32 2, ptr %2, align 4
  21   store i32 3, ptr %3, align 4
  22   store i32 4, ptr %4, align 4
  23   store i32 5, ptr %5, align 4
  24   store i32 6, ptr %6, align 4
  25   call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1
  26   ret i64 %x
  27 }
  28
  29 define i64 @b(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" {
  30 ; CHECK-LABEL:      b:                                     // @b
  31 ; CHECK:                .cfi_b_key_frame
  32 ; V8A-NEXT:             hint #27
  33 ; V83A-NEXT:            pacibsp
  34 ; CHECK:                .cfi_negate_ra_state
  35 ; CHECK-NEXT:           .cfi_def_cfa_offset
  36   %1 = alloca i32, align 4
  37   %2 = alloca i32, align 4
  38   %3 = alloca i32, align 4
  39   %4 = alloca i32, align 4
  40   %5 = alloca i32, align 4
  41   %6 = alloca i32, align 4
  42   store i32 1, ptr %1, align 4
  43   store i32 2, ptr %2, align 4
  44   store i32 3, ptr %3, align 4
  45   store i32 4, ptr %4, align 4
  46   store i32 5, ptr %5, align 4
  47   store i32 6, ptr %6, align 4
  48   call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1
  49   ret i64 %x
  50 }
  51
  52 define i64 @c(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" {
  53 ; CHECK-LABEL:      c:                                     // @c
  54 ; CHECK:                .cfi_b_key_frame
  55 ; V8A-NEXT:             hint #27
  56 ; V83A-NEXT:            pacibsp
  57 ; CHECK:                .cfi_negate_ra_state
  58 ; CHECK-NEXT:           .cfi_def_cfa_offset
  59   %1 = alloca i32, align 4
  60   %2 = alloca i32, align 4
  61   %3 = alloca i32, align 4
  62   %4 = alloca i32, align 4
  63   %5 = alloca i32, align 4
  64   %6 = alloca i32, align 4
  65   store i32 1, ptr %1, align 4
  66   store i32 2, ptr %2, align 4
  67   store i32 3, ptr %3, align 4
  68   store i32 4, ptr %4, align 4
  69   store i32 5, ptr %5, align 4
  70   store i32 6, ptr %6, align 4
  71   call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1
  72   ret i64 %x
  73 }
  74
  75 ;; Outlined function is leaf-function => don't sign it
  76 ; CHECK-LABEL:      OUTLINED_FUNCTION_0:
  77 ; CHECK-NOT:            .cfi_b_key_frame
  78 ; CHECK-NOT:            paci{{[a,b]}}sp
  79 ; CHECK-NOT:            hint #2{{[5,7]}}
  80 ; CHECK-NOT:            .cfi_negate_ra_state
  81 ; CHECK-NOT:            auti{{[a,b]}}sp