llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-cfi.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 ;; Function a's outlining candidate contains a sp modifying add without a
   7 ;; corresponsing sub, so we shouldn't outline it.
   8 define void @a() "sign-return-address"="all" "sign-return-address-key"="b_key" {
   9 ; CHECK-LABEL:         a:                     // @a
  10 ; CHECK:               // %bb.0:
  11 ; CHECK-NEXT:          .cfi_b_key_frame
  12 ; V8A-NEXT:            hint #27
  13 ; V83A-NEXT:           pacibsp
  14 ; CHECK-NEXT:          .cfi_negate_ra_state
  15   %1 = alloca i32, align 4
  16   %2 = alloca i32, align 4
  17   %3 = alloca i32, align 4
  18   %4 = alloca i32, align 4
  19   %5 = alloca i32, align 4
  20   %6 = alloca i32, align 4
  21   store i32 1, ptr %1, align 4
  22   store i32 2, ptr %2, align 4
  23   store i32 3, ptr %3, align 4
  24   store i32 4, ptr %4, align 4
  25   store i32 5, ptr %5, align 4
  26   store i32 6, ptr %6, align 4
  27 ; CHECK-NOT:          bl OUTLINED_FUNCTION_{{[0-9]+}}
  28 ; V8A:                hint #31
  29 ; V8A-NEXT:           ret
  30 ; V83A:               retab
  31   ret void
  32 }
  33
  34 define void @b() "sign-return-address"="all" "sign-return-address-key"="b_key" nounwind {
  35 ; CHECK-LABEL:      b:                                     // @b
  36 ; CHECK-NEXT:       // %bb.0:
  37 ; V8A-NEXT:         hint #27
  38 ; V83A-NEXT:        pacibsp
  39   %1 = alloca i32, align 4
  40   %2 = alloca i32, align 4
  41   %3 = alloca i32, align 4
  42   %4 = alloca i32, align 4
  43   %5 = alloca i32, align 4
  44   %6 = alloca i32, align 4
  45   store i32 1, ptr %1, align 4
  46   store i32 2, ptr %2, align 4
  47   store i32 3, ptr %3, align 4
  48   store i32 4, ptr %4, align 4
  49   store i32 5, ptr %5, align 4
  50   store i32 6, ptr %6, align 4
  51 ; CHECK:                bl [[OUTLINED_FUNC:OUTLINED_FUNCTION_[0-9]+]]
  52 ; V8A:                  hint #31
  53 ; V8A-NEXT:             ret
  54 ; V83A:                 retab
  55   ret void
  56 }
  57
  58 define void @c() "sign-return-address"="all" "sign-return-address-key"="b_key" nounwind {
  59 ; CHECK-LABEL:      c:                                     // @c
  60 ; CHECK-NEXT:       // %bb.0:
  61 ; V8A-NEXT:         hint #27
  62 ; V83A-NEXT:        pacibsp
  63   %1 = alloca i32, align 4
  64   %2 = alloca i32, align 4
  65   %3 = alloca i32, align 4
  66   %4 = alloca i32, align 4
  67   %5 = alloca i32, align 4
  68   %6 = alloca i32, align 4
  69   store i32 1, ptr %1, align 4
  70   store i32 2, ptr %2, align 4
  71   store i32 3, ptr %3, align 4
  72   store i32 4, ptr %4, align 4
  73   store i32 5, ptr %5, align 4
  74   store i32 6, ptr %6, align 4
  75 ; CHECK:                bl [[OUTLINED_FUNC]]
  76 ; V8A:                  hint #31
  77 ; V8A-NEXT:             ret
  78 ; V83A:                 retab
  79   ret void
  80 }
  81
  82 ; CHECK:            [[OUTLINED_FUNC]]
  83 ; CHECK:            // %bb.0:
  84 ; V8A-NEXT:             hint #27
  85 ; V83A-NEXT:            pacibsp
  86 ; V8A:                  hint #31
  87 ; V8A-NEXT:             ret
  88 ; V83A:                 retab