llvm/test/CodeGen/SystemZ/branch-folder-hoist-livein.mir

   1 # RUN: llc -verify-machineinstrs -O1 -mtriple=s390x-ibm-linux -o - %s -run-pass=branch-folder | FileCheck %s
   2 --- |
   3   target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-a:8:16-n32:64"
   4   target triple = "s390x-ibm-linux"
   5
   6   @b = external global i16, align 1
   7   @d = external global i16, align 1
   8
   9   define void @f1() {
  10     ret void
  11   }
  12
  13 ...
  14 ---
  15 name:            f1
  16 tracksRegLiveness: true
  17 body:             |
  18   bb.0:
  19     successors: %bb.2(0x7fffffff), %bb.1(0x00000001)
  20     liveins:
  21
  22     renamable $r1d = LGRL @b :: (load (s32) from got, align 8)
  23     renamable $r1l = LH killed renamable $r1d, 0, $noreg, implicit-def $r1d :: (dereferenceable load (s8) from @b)
  24     renamable $r2l = LHI 0
  25     renamable $r3d = LGRL @d :: (load (s32) from got, align 8)
  26     renamable $r4d = LLILL 0, implicit-def $r4q
  27
  28     CHI killed renamable $r2l, 0, implicit-def $cc
  29     BRC 14, 6, %bb.2, implicit killed $cc
  30     J %bb.1
  31
  32   bb.1:
  33     successors:
  34     liveins: $r1l, $r3d, $r4q
  35
  36     renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
  37     STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)
  38
  39   bb.2:
  40     liveins: $r1l, $r3d, $r4q
  41
  42     renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
  43     STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)
  44     Return
  45
  46 ...
  47
  48 # CHECK: renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
  49 # CHECK-NEXT: CHI killed renamable $r2l, 0, implicit-def $cc
  50 # CHECK-NEXT: BRC 14, 6, %bb.2, implicit killed $cc
  51 # CHECK-NEXT: {{^  $}}
  52 # CHECK-NEXT: bb.1:
  53 # CHECK-NEXT: successors:
  54 # CHECK-NEXT: liveins: $r1l, $r3d, $r4d
  55
  56 # CHECK: bb.2:
  57 # CHECK-NEXT: liveins: $r1l, $r3d, $r4d