# RUN: llc -run-pass=peephole-opt -verify-machineinstrs -o - %s | FileCheck %s
--- |
  target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
  target triple = "thumbv7m-none-none-eabi"

  define i32 @test_addir_frameindex(i32 %a) {
    %f = alloca i32
    ret i32 %a
  }
...
---
name:            test_addir_frameindex
liveins:
  - { reg: '$r0', virtual-reg: '%0' }
stack:
  - { id: 0, name: f, type: default, offset: 0, size: 1, alignment: 4,
      stack-id: 0, callee-saved-register: '', callee-saved-restored: true,
      local-offset: -4, debug-info-variable: '', debug-info-expression: '',
      debug-info-location: '' }
body:             |
  bb.0:
    successors: %bb.2(0x40000000), %bb.1(0x40000000)
    liveins: $r0

    %0:rgpr = COPY $r0
    %1:gprnopc = t2ADDri %stack.0.f, 0, 14, $noreg, $noreg
    t2CMPrr %1, %0, 14, $noreg, implicit-def $cpsr
    t2Bcc %bb.2, 3, $cpsr
    t2B %bb.1, 14, $noreg

  bb.1:
    $r0 = COPY %1
    tBX_RET 14, $noreg

  bb.2:
    $r0 = COPY %0
    tBX_RET 14, $noreg

# CHECK-LABEL: name: test_addir_frameindex
# CHECK:      %1:gprnopc = t2ADDri %stack.0.f, 0, 14, $noreg, $noreg
# CHECK-NEXT: t2CMPrr %1, %0, 14, $noreg, implicit-def $cpsr
# CHECK-NEXT: t2Bcc %bb.2, 3, $cpsr
...