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

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