maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[PrologEpilogInserter][test] Improve SpilledToReg test 

D39386 made CalleeSavedInfo possible to spill a register to another register
(vector register for POWER9) but did not actually test live-in.
This commit is contained in:
Fangrui Song 2020-10-17 20:36:21 -07:00
parent 5d69eecc53
commit 98797a5fc0
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
llvm/test/CodeGen/PowerPC/prolog_vec_spills.mir
View File

@ -16,6 +16,7 @@ body: |
# CHECK-LABEL: name: test1BB # CHECK-LABEL: name: test1BB
# CHECK: body: | # CHECK: body: |
# CHECK: liveins: $x14, $x15, $x16, $v20
# CHECK: $f1 = MTVSRD killed $x14 # CHECK: $f1 = MTVSRD killed $x14
# CHECK-NEXT: $f2 = MTVSRD killed $x15 # CHECK-NEXT: $f2 = MTVSRD killed $x15
# CHECK-NEXT: $f3 = MTVSRD killed $x16 # CHECK-NEXT: $f3 = MTVSRD killed $x16
@ -50,12 +51,19 @@ body: |
bb.3: bb.3:
BLR8 implicit undef $lr8, implicit undef $rm BLR8 implicit undef $lr8, implicit undef $rm
## The spilled-to registers have to be marked as live-in so that they will not be
## clobbered before restored in the epilogue.
# CHECK-LABEL: name: test2BB # CHECK-LABEL: name: test2BB
# CHECK: body: | # CHECK: body: |
# CHECK: $f0 = MTVSRD killed $x14 # CHECK: $f0 = MTVSRD killed $x14
# CHECK-NEXT: $f1 = MTVSRD killed $x15 # CHECK-NEXT: $f1 = MTVSRD killed $x15
# CHECK-NEXT: $f2 = MTVSRD killed $x16 # CHECK-NEXT: $f2 = MTVSRD killed $x16
# CHECK: $x16 = MFVSRD killed $f2 # CHECK: bb.2:
# CHECK-NEXT: $x15 = MFVSRD killed $f1 # CHECK-NEXT: successors: %bb.3
# CHECK-NEXT: $x14 = MFVSRD killed $f0 # CHECK-NEXT: liveins: $f0, $f1, $f2
# CHECK: bb.3:
# CHECK-NEXT: liveins: $f0, $f1, $f2
# CHECK: $x16 = MFVSRD killed $f2
# CHECK-NEXT: $x15 = MFVSRD killed $f1
# CHECK-NEXT: $x14 = MFVSRD killed $f0
... ...