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---
15name:            f1
16tracksRegLiveness: true
17body:             |
18  bb.0:
19    successors: %bb.2(0x7fffffff), %bb.1(0x00000001)
20    liveins:
21
22    renamable $r1d = LGRL @b :: (load 4 from got, align 8)
23    renamable $r1l = LH killed renamable $r1d, 0, $noreg, implicit-def $r1d :: (dereferenceable load 1 from @b)
24    renamable $r2l = LHI 0
25    renamable $r3d = LGRL @d :: (load 4 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 1 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 1 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
58