1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100
|
; Test memset in cases where a loop is used.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) nounwind
declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind
; Constant length: 6 iterations and 2 bytes remainder.
define void @f1(ptr %dest, i8 %val) {
; CHECK-LABEL: f1:
; CHECK: lghi [[COUNT:%r[0-5]]], 6
; CHECK: [[LABEL:\.L[^:]*]]:
; CHECK: pfd 2, 768(%r2)
; CHECK: stc %r3, 0(%r2)
; CHECK: mvc 1(255,%r2), 0(%r2)
; CHECK: la %r2, 256(%r2)
; CHECK: brctg [[COUNT]], [[LABEL]]
; CHECK: stc %r3, 0(%r2)
; CHECK-NEXT: mvc 1(1,%r2), 0(%r2)
; CHECK-NEXT: br %r14
call void @llvm.memset.p0.i64(ptr %dest, i8 %val, i64 1538, i1 false)
ret void
}
; Constant length: 6 iterations and 255 bytes remainder.
define void @f2(ptr %dest) {
; CHECK-LABEL: f2:
; CHECK: lghi [[COUNT:%r[0-5]]], 6
; CHECK: [[LABEL:\.L[^:]*]]:
; CHECK: pfd 2, 768(%r2)
; CHECK: mvi 0(%r2), 1
; CHECK: mvc 1(255,%r2), 0(%r2)
; CHECK: la %r2, 256(%r2)
; CHECK: brctg [[COUNT]], [[LABEL]]
; CHECK: mvi 0(%r2), 1
; CHECK-NEXT: mvc 1(254,%r2), 0(%r2)
; CHECK-NEXT: br %r14
call void @llvm.memset.p0.i32(ptr %dest, i8 1, i32 1791, i1 false)
ret void
}
; Variable length, byte in register.
define void @f3(ptr %dest, i8 %val, i64 %Len) {
; CHECK-LABEL: f3:
; CHECK: # %bb.0:
; CHECK-NEXT: aghi %r4, -2
; CHECK-NEXT: cgibe %r4, -2, 0(%r14)
; CHECK-NEXT: .LBB2_1:
; CHECK-NEXT: cgije %r4, -1, .LBB2_5
; CHECK-NEXT:# %bb.2:
; CHECK-NEXT: srlg %r0, %r4, 8
; CHECK-NEXT: cgije %r0, 0, .LBB2_4
; CHECK-NEXT:.LBB2_3: # =>This Inner Loop Header: Depth=1
; CHECK-NEXT: pfd 2, 768(%r2)
; CHECK-NEXT: stc %r3, 0(%r2)
; CHECK-NEXT: mvc 1(255,%r2), 0(%r2)
; CHECK-NEXT: la %r2, 256(%r2)
; CHECK-NEXT: brctg %r0, .LBB2_3
; CHECK-NEXT:.LBB2_4:
; CHECK-NEXT: stc %r3, 0(%r2)
; CHECK-NEXT: exrl %r4, .Ltmp0
; CHECK-NEXT: br %r14
; CHECK-NEXT:.LBB2_5:
; CHECK-NEXT: stc %r3, 0(%r2)
; CHECK-NEXT: br %r14
call void @llvm.memset.p0.i64(ptr %dest, i8 %val, i64 %Len, i1 false)
ret void
}
; Variable length, immediate byte.
define void @f4(ptr %dest, i32 %Len) {
; CHECK-LABEL: f4:
; CHECK: # %bb.0:
; CHECK-NEXT: llgfr %r1, %r3
; CHECK-NEXT: aghi %r1, -2
; CHECK-NEXT: cgibe %r1, -2, 0(%r14)
; CHECK-NEXT:.LBB3_1:
; CHECK-NEXT: cgije %r1, -1, .LBB3_5
; CHECK-NEXT:# %bb.2:
; CHECK-NEXT: srlg %r0, %r1, 8
; CHECK-NEXT: cgije %r0, 0, .LBB3_4
; CHECK-NEXT:.LBB3_3: # =>This Inner Loop Header: Depth=1
; CHECK-NEXT: pfd 2, 768(%r2)
; CHECK-NEXT: mvi 0(%r2), 1
; CHECK-NEXT: mvc 1(255,%r2), 0(%r2)
; CHECK-NEXT: la %r2, 256(%r2)
; CHECK-NEXT: brctg %r0, .LBB3_3
; CHECK-NEXT:.LBB3_4:
; CHECK-NEXT: mvi 0(%r2), 1
; CHECK-NEXT: exrl %r1, .Ltmp0
; CHECK-NEXT: br %r14
; CHECK-NEXT:.LBB3_5:
; CHECK-NEXT: mvi 0(%r2), 1
; CHECK-NEXT: br %r14
call void @llvm.memset.p0.i32(ptr %dest, i8 1, i32 %Len, i1 false)
ret void
}
; CHECK: .Ltmp0:
; CHECK-NEXT: mvc 1(1,%r2), 0(%r2)
|