llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-thunk.ll

   1 ; RUN: llc -mtriple aarch64-arm-linux-gnu --enable-machine-outliner \
   2 ; RUN: -verify-machineinstrs %s -o - | FileCheck --check-prefixes CHECK,V8A %s
   3 ; RUN-V83A: llc -mtriple aarch64 -enable-machine-outliner \
   4 ; RUN-V83A: -verify-machineinstrs -mattr=+v8.3a %s -o - > %t
   5 ; RUN-V83A: FileCheck --check-prefixes CHECK,V83A < %t %s
   6
   7 declare i32 @thunk_called_fn(i32, i32, i32, i32)
   8
   9 define i32 @a() #0 {
  10 ; CHECK-LABEL:  a:                                      // @a
  11 ; CHECK:        // %bb.0:                               // %entry
  12 ; V8A-NEXT:         hint #25
  13 ; V83A-NEXT:        paciasp
  14 ; CHECK-NEXT:       .cfi_negate_ra_state
  15 ; V8A:              hint #29
  16 ; V83A:             autiasp
  17 ; CHECK-NEXT:       ret
  18 entry:
  19   %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4)
  20   %cx = add i32 %call, 8
  21   ret i32 %cx
  22 }
  23
  24 define i32 @b() #0 {
  25 ; CHECK-LABEL:  b:                                      // @b
  26 ; CHECK:        // %bb.0:                               // %entry
  27 ; V8A-NEXT:         hint #25
  28 ; V83A-NEXT:        paciasp
  29 ; CHECK-NEXT:       .cfi_negate_ra_state
  30 ; V8A:              hint #29
  31 ; V83A:             autiasp
  32 ; CHECK-NEXT:       ret
  33 entry:
  34   %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4)
  35   %cx = add i32 %call, 88
  36   ret i32 %cx
  37 }
  38
  39 define hidden i32 @c(ptr %fptr) #0 {
  40 ; CHECK-LABEL:  c:                                      // @c
  41 ; CHECK:        // %bb.0:                               // %entry
  42 ; V8A-NEXT:         hint #25
  43 ; V83A-NEXT:        paciasp
  44 ; CHECK-NEXT:       .cfi_negate_ra_state
  45 ; V8A:              hint #29
  46 ; V83A:             autiasp
  47 ; CHECK-NEXT:       ret
  48 entry:
  49   %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4)
  50   %add = add nsw i32 %call, 8
  51   ret i32 %add
  52 }
  53
  54 define hidden i32 @d(ptr %fptr) #0 {
  55 ; CHECK-LABEL:  d:                                      // @d
  56 ; CHECK:        // %bb.0:                               // %entry
  57 ; V8A-NEXT:         hint #25
  58 ; V83A-NEXT:        paciasp
  59 ; CHECK-NEXT:       .cfi_negate_ra_state
  60 ; V8A:              hint #29
  61 ; V83A:             autiasp
  62 ; CHECK-NEXT:       ret
  63 entry:
  64   %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4)
  65   %add = add nsw i32 %call, 88
  66   ret i32 %add
  67 }
  68
  69 attributes #0 = { "sign-return-address"="non-leaf" minsize }
  70
  71 ; CHECK-NOT:        OUTLINED_FUNCTION_{{.*}}
  72 ; CHECK-NOT:         .cfi_b_key_frame
  73 ; CHECK-NOT:         paci{{[a,b]}}sp
  74 ; CHECK-NOT:         hint #2{{[5,7]}}
  75 ; CHECK-NOT:         .cfi_negate_ra_state
  76 ; CHECK-NOT:         auti{{[a,b]}}sp
  77 ; CHECK-NOT:         hint #{{[29,31]}}