llvm/test/CodeGen/Thumb2/bti-pac-replace-1.mir

   1 # RUN: llc --run-pass=arm-branch-targets %s -o - | FileCheck %s
   2 --- |
   3   target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
   4   target triple = "thumbv8.1m.main-arm-unknown-eabi"
   5
   6   define hidden i32 @_Z1fi(i32 %x) {
   7   entry:
   8     %add = add nsw i32 %x, 1
   9     %call = tail call i32 @_Z1gi(i32 %add)
  10     %sub = add nsw i32 %call, -1
  11     ret i32 %sub
  12   }
  13
  14   declare dso_local i32 @_Z1gi(i32)
  15
  16   !llvm.module.flags = !{!0, !1, !2}
  17
  18   !0 = !{i32 8, !"branch-target-enforcement", i32 1}
  19   !1 = !{i32 8, !"sign-return-address", i32 1}
  20   !2 = !{i32 8, !"sign-return-address-all", i32 0}
  21
  22 ...
  23 ---
  24 name:            _Z1fi
  25 alignment:       4
  26 exposesReturnsTwice: false
  27 legalized:       false
  28 regBankSelected: false
  29 selected:        false
  30 failedISel:      false
  31 tracksRegLiveness: true
  32 hasWinCFI:       false
  33 registers:       []
  34 liveins:
  35   - { reg: '$r0', virtual-reg: '' }
  36 frameInfo:
  37   isFrameAddressTaken: false
  38   isReturnAddressTaken: false
  39   hasStackMap:     false
  40   hasPatchPoint:   false
  41   stackSize:       16
  42   offsetAdjustment: 0
  43   maxAlignment:    4
  44   adjustsStack:    true
  45   hasCalls:        true
  46   stackProtector:  ''
  47   maxCallFrameSize: 0
  48   cvBytesOfCalleeSavedRegisters: 0
  49   hasOpaqueSPAdjustment: false
  50   hasVAStart:      false
  51   hasMustTailInVarArgFunc: false
  52   localFrameSize:  0
  53   savePoint:       ''
  54   restorePoint:    ''
  55 fixedStack:      []
  56 stack:
  57   - { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
  58       stack-id: default, callee-saved-register: '$lr', callee-saved-restored: true,
  59       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  60   - { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
  61       stack-id: default, callee-saved-register: '$r7', callee-saved-restored: true,
  62       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  63   - { id: 2, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
  64       stack-id: default, callee-saved-register: '$r12', callee-saved-restored: true,
  65       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  66 callSites:       []
  67 debugValueSubstitutions: []
  68 constants:       []
  69 machineFunctionInfo: {}
  70 body:             |
  71   bb.0.entry:
  72     liveins: $r0, $r7, $lr, $r12
  73
  74     frame-setup t2PAC implicit-def $r12, implicit $lr, implicit $sp
  75     frame-setup tPUSH 14 /* CC::al */, $noreg, killed $r7, killed $lr, implicit-def $sp, implicit $sp
  76     frame-setup CFI_INSTRUCTION def_cfa_offset 8
  77     frame-setup CFI_INSTRUCTION offset $lr, -4
  78     frame-setup CFI_INSTRUCTION offset $r7, -8
  79     early-clobber $sp = frame-setup t2STR_PRE killed $r12, $sp, -4, 14 /* CC::al */, $noreg
  80     frame-setup CFI_INSTRUCTION def_cfa_offset 12
  81     frame-setup CFI_INSTRUCTION offset $ra_auth_code, -12
  82     $sp = frame-setup tSUBspi $sp, 1, 14 /* CC::al */, $noreg
  83     frame-setup CFI_INSTRUCTION def_cfa_offset 16
  84     renamable $r0, dead $cpsr = nsw tADDi8 killed renamable $r0, 1, 14 /* CC::al */, $noreg
  85     tBL 14 /* CC::al */, $noreg, @_Z1gi, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $r0, implicit-def $sp, implicit-def $r0
  86     renamable $r0, dead $cpsr = nsw tSUBi8 killed renamable $r0, 1, 14 /* CC::al */, $noreg
  87     $sp = frame-destroy tADDspi $sp, 1, 14 /* CC::al */, $noreg
  88     $r12, $sp = frame-destroy t2LDR_POST $sp, 4, 14 /* CC::al */, $noreg
  89     $sp = frame-destroy t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
  90     t2AUT implicit $r12, implicit $lr, implicit $sp
  91     tBX_RET 14 /* CC::al */, $noreg, implicit killed $r0
  92
  93 ...
  94 # Check PAC is replaces with PACBTI and it has the frame-setup flag
  95 # CHECK-LABEL: bb.0.entry:
  96 # CHECK:       frame-setup t2PACBTI