| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4 |
| # RUN: llc %s -mtriple=riscv64 -run-pass=greedy,virtregrewriter,stack-slot-coloring -o - | FileCheck %s |
| |
| --- |
| name: foo |
| alignment: 4 |
| tracksRegLiveness: true |
| frameInfo: |
| maxAlignment: 4 |
| localFrameSize: 4 |
| stack: |
| - { id: 0, size: 1, alignment: 4, local-offset: -4 } |
| machineFunctionInfo: |
| varArgsFrameIndex: 0 |
| varArgsSaveSize: 0 |
| body: | |
| bb.0.entry: |
| ; To trick stack-slot-colouring to run its dead-store-elimination phase, |
| ; which is at fault, we need the register allocator to run, and spill in two |
| ; places that can have their slots merged. Achieve this by volatile-loading |
| ; data into all allocatable GPRs except $x31. Then, volatile storing them |
| ; later, leaving regalloc only $x31 to play with in the middle. |
| $x1 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x5 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x6 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x7 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x8 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x9 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x10 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x11 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x12 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x13 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x14 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x15 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x16 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x17 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x18 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x19 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x20 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x21 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x22 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x23 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x24 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x25 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x26 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x27 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x28 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x29 = LW %stack.0, 0 :: (volatile load (s32)) |
| $x30 = LW %stack.0, 0 :: (volatile load (s32)) |
| |
| ; Force the first spill. |
| %0:gpr = LW %stack.0, 0 :: (volatile load (s32)) |
| %1:gpr = LW %stack.0, 0 :: (volatile load (s32)) |
| SW %1, %stack.0, 0 :: (volatile store (s32)) |
| SW %0, %stack.0, 0 :: (volatile store (s32)) |
| |
| ; CHECK: renamable $x31 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; CHECK-NEXT: SD killed renamable $x31, %stack.1, 0 :: (store (s64) into %stack.1) |
| ; CHECK-NEXT: renamable $x31 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; CHECK-NEXT: SW killed renamable $x31, %stack.0, 0 :: (volatile store (s32)) |
| ; CHECK-NEXT: renamable $x31 = LD %stack.1, 0 :: (load (s64) from %stack.1) |
| ; CHECK-NEXT: SW killed renamable $x31, %stack.0, 0 :: (volatile store (s32)) |
| |
| ; stack-slot-coloring doesn't know that a write to $x0 is discarded. |
| dead $x0 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; This stores 0 rather than the result of the preceding load since $x0 |
| ; is special. |
| ; We don't want this store to be deleted. |
| SW $x0, %stack.0, 0 :: (volatile store (s32)) |
| |
| ; CHECK-NEXT: dead $x0 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; CHECK-NEXT: SW $x0, %stack.0, 0 :: (volatile store (s32)) |
| |
| ; Force a second spill |
| %2:gpr = LW %stack.0, 0 :: (volatile load (s32)) |
| %3:gpr = LW %stack.0, 0 :: (volatile load (s32)) |
| SW %3, %stack.0, 0 :: (volatile store (s32)) |
| SW %2, %stack.0, 0 :: (volatile store (s32)) |
| |
| ; CHECK-NEXT: renamable $x31 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; CHECK-NEXT: SD killed renamable $x31, %stack.1, 0 :: (store (s64) into %stack.1) |
| ; CHECK-NEXT: renamable $x31 = LW %stack.0, 0 :: (volatile load (s32)) |
| ; CHECK-NEXT: SW killed renamable $x31, %stack.0, 0 :: (volatile store (s32)) |
| ; CHECK-NEXT: renamable $x31 = LD %stack.1, 0 :: (load (s64) from %stack.1) |
| ; CHECK-NEXT: SW killed renamable $x31, %stack.0, 0 :: (volatile store (s32)) |
| |
| SW $x1, %stack.0, 0 :: (volatile store (s32)) |
| SW $x5, %stack.0, 0 :: (volatile store (s32)) |
| SW $x6, %stack.0, 0 :: (volatile store (s32)) |
| SW $x7, %stack.0, 0 :: (volatile store (s32)) |
| SW $x8, %stack.0, 0 :: (volatile store (s32)) |
| SW $x9, %stack.0, 0 :: (volatile store (s32)) |
| SW $x10, %stack.0, 0 :: (volatile store (s32)) |
| SW $x11, %stack.0, 0 :: (volatile store (s32)) |
| SW $x12, %stack.0, 0 :: (volatile store (s32)) |
| SW $x13, %stack.0, 0 :: (volatile store (s32)) |
| SW $x14, %stack.0, 0 :: (volatile store (s32)) |
| SW $x15, %stack.0, 0 :: (volatile store (s32)) |
| SW $x16, %stack.0, 0 :: (volatile store (s32)) |
| SW $x17, %stack.0, 0 :: (volatile store (s32)) |
| SW $x18, %stack.0, 0 :: (volatile store (s32)) |
| SW $x19, %stack.0, 0 :: (volatile store (s32)) |
| SW $x20, %stack.0, 0 :: (volatile store (s32)) |
| SW $x21, %stack.0, 0 :: (volatile store (s32)) |
| SW $x22, %stack.0, 0 :: (volatile store (s32)) |
| SW $x23, %stack.0, 0 :: (volatile store (s32)) |
| SW $x24, %stack.0, 0 :: (volatile store (s32)) |
| SW $x25, %stack.0, 0 :: (volatile store (s32)) |
| SW $x26, %stack.0, 0 :: (volatile store (s32)) |
| SW $x27, %stack.0, 0 :: (volatile store (s32)) |
| SW $x28, %stack.0, 0 :: (volatile store (s32)) |
| SW $x29, %stack.0, 0 :: (volatile store (s32)) |
| SW $x30, %stack.0, 0 :: (volatile store (s32)) |
| PseudoRET |
| |
| ... |
