| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # 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: default, callee-saved-register: '', callee-saved-restored: true, |
| local-offset: -4, debug-info-variable: '', debug-info-expression: '', |
| debug-info-location: '' } |
| body: | |
| ; CHECK-LABEL: name: test_addir_frameindex |
| ; CHECK: bb.0: |
| ; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| ; CHECK: [[COPY:%[0-9]+]]:rgpr = COPY $r0 |
| ; CHECK: [[t2ADDri:%[0-9]+]]:rgpr = t2ADDri %stack.0.f, 0, 14 /* CC::al */, $noreg, $noreg |
| ; CHECK: t2CMPrr [[t2ADDri]], [[COPY]], 14 /* CC::al */, $noreg, implicit-def $cpsr |
| ; CHECK: t2Bcc %bb.2, 3 /* CC::lo */, $cpsr |
| ; CHECK: t2B %bb.1, 14 /* CC::al */, $noreg |
| ; CHECK: bb.1: |
| ; CHECK: $r0 = COPY [[t2ADDri]] |
| ; CHECK: tBX_RET 14 /* CC::al */, $noreg |
| ; CHECK: bb.2: |
| ; CHECK: $r0 = COPY [[COPY]] |
| ; CHECK: tBX_RET 14 /* CC::al */, $noreg |
| bb.0: |
| successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| liveins: $r0 |
| |
| %0:rgpr = COPY $r0 |
| %1:rgpr = 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 |
| |
| ... |
