| # RUN: llc -run-pass=greedy -mtriple=x86_64-apple-macosx -o - %s | FileCheck %s |
| |
| # Make sure we don't assert when we try to reload a value that is just implicitly used. |
| --- |
| # CHECK: name: foo |
| # This test forces a spill of %0. |
| name: foo |
| registers: |
| - { id: 0, class: gr64 } |
| body: | |
| bb.0: |
| ; CHECK: NOOP implicit-def [[VAL:%[0-9]+]] |
| ; VAL should be spilled before csr_noregs, i.e., before we clobber all the registers |
| ; CHECK-NEXT: MOV64mr [[SLOT:%stack.[0-9]+]], 1, $noreg, 0, $noreg, [[VAL]] |
| ; CHECK-NEXT: NOOP csr_noregs |
| ; We need to reload before the (implicit) use. |
| ; CHECK-NEXT: [[RELOADED_VAL:%[0-9]+]]:gr64 = MOV64rm [[SLOT]], 1, $noreg, 0, $noreg |
| ; CHECK-NEXT: NOOP implicit [[RELOADED_VAL]] |
| NOOP implicit-def %0 |
| NOOP csr_noregs |
| NOOP implicit %0 |
| ... |
