1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2# RUN: llc -run-pass regallocfast %s -o - | FileCheck %s 3# RUN: llc -passes=regallocfast %s -o - | FileCheck %s 4 5# This test examines register allocation and spilling with Fast Register 6# Allocator. The test uses inline assembler that requests an input variable to 7# be loaded in a high register but at the same time has r12 marked as clobbered. 8# The allocator initially satisfies the load request by selecting r12 but then 9# needs to spill this register when it reaches the INLINEASM instruction and 10# notices its clobber definition. 11# 12# The test checks that the compiler is able to spill a register from the hGPR 13# class in Thumb2 by inserting the t2STRi12/t2LDRi12 instructions. 14 15--- | 16 ; ModuleID = 'test.ll' 17 source_filename = "test.c" 18 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 19 target triple = "thumbv7m-none-unknown-eabi" 20 21 define dso_local void @constraint_h() { 22 entry: 23 %i = alloca i32, align 4 24 %0 = load i32, ptr %i, align 4 25 call void asm sideeffect "@ $0", "h,~{r12}"(i32 %0) 26 ret void 27 } 28 29... 30--- 31name: constraint_h 32tracksRegLiveness: true 33registers: 34 - { id: 0, class: hgpr } 35 - { id: 1, class: tgpr } 36stack: 37 - { id: 0, name: i, size: 4, alignment: 4, stack-id: default, local-offset: -4 } 38body: | 39 bb.0.entry: 40 ; CHECK-LABEL: name: constraint_h 41 ; CHECK: renamable $r0 = tLDRspi %stack.0.i, 0, 14 /* CC::al */, $noreg :: (dereferenceable load (s32) from %ir.i) 42 ; CHECK: renamable $r8 = COPY killed renamable $r0 43 ; CHECK: INLINEASM &"@ $0", 1 /* sideeffect attdialect */, 589833 /* reguse:GPRnopc */, killed renamable $r8, 12 /* clobber */, implicit-def dead early-clobber $r12 44 ; CHECK: tBX_RET 14 /* CC::al */, $noreg 45 %1:tgpr = tLDRspi %stack.0.i, 0, 14, $noreg :: (dereferenceable load (s32) from %ir.i) 46 %0:hgpr = COPY %1 47 INLINEASM &"@ $0", 1, 589833, %0, 12, implicit-def early-clobber $r12 48 tBX_RET 14, $noreg 49 50... 51