llvm.org GIT mirror llvm / release_70 test / CodeGen / X86 / fixup-bw-copy.mir
release_70

Tree @release_70 (Download .tar.gz)

fixup-bw-copy.mir @release_70

3d35f0d
4c690f3
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
 
 
 
 
 
1076969
4c690f3
 
1076969
4c690f3
1076969
 
 
4c690f3
 
# RUN: llc -run-pass x86-fixup-bw-insts -mtriple=x86_64-- -o - %s | FileCheck %s

# Verify that we correctly deal with the flag edge cases when replacing
# copies by bigger copies, which is a pretty unusual transform.

--- |
  target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

  define i8 @test_movb_killed(i8 %a0) {
    ret i8 %a0
  }

  define i8 @test_movb_impuse(i8 %a0) {
    ret i8 %a0
  }

  define i8 @test_movb_impdef_gr64(i8 %a0) {
    ret i8 %a0
  }

  define i8 @test_movb_impdef_gr32(i8 %a0) {
    ret i8 %a0
  }

  define i8 @test_movb_impdef_gr16(i8 %a0) {
    ret i8 %a0
  }

  define i16 @test_movw_impdef_gr32(i16 %a0) {
    ret i16 %a0
  }

  define i16 @test_movw_impdef_gr64(i16 %a0) {
    ret i16 %a0
  }

...

---
name:            test_movb_killed
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $dil
    $al = MOV8rr killed $dil
    RETQ killed $al

...

---
name:            test_movb_impuse
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $dil
    $al = MOV8rr $dil, implicit $edi
    RETQ killed $al

...

---
name:            test_movb_impdef_gr64
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $dil, implicit-def $rax
    $al = MOV8rr $dil, implicit-def $rax
    RETQ killed $al

...

---
name:            test_movb_impdef_gr32
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $dil
    $al = MOV8rr $dil, implicit-def $eax
    RETQ killed $al

...

---
name:            test_movb_impdef_gr16
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $dil
    $al = MOV8rr $dil, implicit-def $ax
    RETQ killed $al

...

---
name:            test_movw_impdef_gr32
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $di
    $ax = MOV16rr $di, implicit-def $eax
    RETQ killed $ax

...

---
name:            test_movw_impdef_gr64
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
body:             |
  bb.0 (%ir-block.0):
    liveins: $edi

    ; CHECK: $eax = MOV32rr undef $edi, implicit $di, implicit-def $rax
    $ax = MOV16rr $di, implicit-def $rax
    RETQ killed $ax

...