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--- 16name: f1 17tracksRegLiveness: true 18body: | 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... 72