llvm.org GIT mirror llvm / stable test / CodeGen / PowerPC / convert-rr-to-ri-instrs-kill-flag.mir
stable

Tree @stable (Download .tar.gz)

convert-rr-to-ri-instrs-kill-flag.mir @stableraw · history · blame

# RUN: llc -mtriple=powerpc64le--linux-gnu -stop-after ppc-pre-emit-peephole %s -o - -verify-machineinstrs | FileCheck %s

---
# LI + XFORM -> DFORM, no killed/dead flag fixup.
name: testKillPassUpLI1
#CHECK : name : testKillPassUpLI1
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = LI8 100
    STFSX killed $f1, $x3, $x5
    ; CHECK: STFS killed $f1, 100, $x5
    STD killed $x3, killed $x5, 100
    ; CHECK: STD killed $x3, killed $x5, 100
    BLR8 implicit $lr8, implicit $rm

...
---
# LI + XFORM -> DFORM, fixup killed/dead flag for $x3, find no use, set def as
# dead(LI8 is deleted).
name : testKillPassUpLI2
# CHECK: name: testKillPassUpLI2
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = LI8 100
    ; CHECK-NOT: LI8
    STFSX killed $f1, killed $x3, killed $x5
    ; CHECK: STFS killed $f1, 100, killed $x5
    BLR8 implicit $lr8, implicit $rm

...
---
# LI + XFORM -> DFORM, fixup killed/dead flag for $x3, find last use, set last
# use as killed.
name: testKillPassUpLI3
# CHECK: name: testKillPassUpLI3
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = LI8 100
    STD $x3, $x5, 100
    ; CHECK: STD killed $x3, $x5, 100
    STFSX killed $f1, killed $x3, $x5
    ; CHECK: STFS killed $f1, 100, $x5
    STD killed $x5, $x5, 100
    ; CHECK: STD killed $x5, $x5, 100
    BLR8 implicit $lr8, implicit $rm

...
---
# LI + OP -> LI, fixup killed/dead flag for $x3, find last use, set last use as
# killed.
name: testKillPassUpLI4
# CHECK: name: testKillPassUpLI4
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $x5
    $x3 = LI8 100
    STD $x3, $x5, 100
    ; CHECK: STD killed $x3, killed $x5, 100
    $x5 = ADDI8 killed $x3, 200
    ; CHECK: $x5 = LI8 300
    STD $x5, $x5, 100
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for $x3, find no use, set def as dead
# (ADDI8 is deleted).
name: testKillPassUpADD1
# CHECK: name: testKillPassUpADD1
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = ADDI8 killed $x5, 100
    ; CHECK-NOT: ADDI8
    STFSX killed $f1, $zero8, killed $x3
    ; CHECK: STFS killed $f1, 100, killed $x5
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for $x3, find last use, set last
# use as killed.
name: testKillPassUpADD2
# CHECK: name: testKillPassUpADD2
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = ADDI8 $x5, 100
    STD $x3, $x5, 100
    ; CHECK: STD killed $x3, $x5, 100
    STFSX killed $f1, $zero8, killed $x3
    ; CHECK: STFS killed $f1, 100, $x5
    STD killed $x5, $x5, 100
    ; CHECK: STD killed $x5, $x5, 100
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for register $x5, DFORM
# instruction uses $x5 and no other kill uses, set it as killed in
# DFORM instruction.
name: testKillPassDownADD1
# CHECK: name: testKillPassDownADD1
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = ADDI8 killed $x5, 100
    ; CHECK: $x3 = ADDI8 $x5, 100
    STFSX killed $f1, $zero8, $x3
    ; CHECK: STFS killed $f1, 100, killed $x5
    STD killed $x3, $x3, 100
    ; CHECK: STD killed $x3, $x3, 100
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for register $x5, DFORM
# instruction uses $x5 and there is one kill use, set $x5 as killed in
# DFORM instruction and clear the other kill use killed flag.
name: testKillPassDownADD2
# CHECK: name: testKillPassDownADD2
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = ADDI8 $x5, 100
    STD killed $x5, $x5, 100
    ; CHECK: STD $x5, $x5, 100
    STFSX killed $f1, $zero8, killed $x3
    ; CHECK: STFS killed $f1, 100, killed $x5
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for register $x3, DFORM
# instruction defines $x3, do nothing for killed/dead flag.
name: testKillPassDownADD3
# CHECK: name: testKillPassDownADD3
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $x5
    $x3 = ADDI8 $x5, 100
    $x3 = LDX $zero8, killed $x3
    ; CHECK: $x3 = LD 100, $x5
    STD killed $x5, $x5, 100
    ; CHECK: STD killed $x5, $x5, 100
    STD killed $x3, $x3, 200
    ; CHECK: STD killed $x3, $x3, 200
    BLR8 implicit $lr8, implicit $rm

...
---
# ADD + XFORM -> DFORM, fixup killed/dead flag for both register $x5 and $x3,
# DFORM instruction uses $x5 and there is one kill use, set $x5 as killed in
# DFORM instruction and clear the other kill use killed flag. Find last use for
# $x3, set last use as killed.
name: testKillPassDownADD4
# CHECK: name: testKillPassDownADD4
tracksRegLiveness: true
body: |
  bb.0.entry:
    liveins: $x3, $f1, $x5
    $x3 = ADDI8 $x5, 100
    STD killed $x5, $x5, 100
    ; CHECK: STD $x5, $x5, 100
    STD $x3, $x3, 200
    ; CHECK: STD killed $x3, $x3, 200
    STFSX killed $f1, $zero8, killed $x3
    ; CHECK: STFS killed $f1, 100, killed $x5
    BLR8 implicit $lr8, implicit $rm

...