a1710eb3cd
The LIT test cases were migrated with the script provided by Nikita Popov. No manual changes were made. Committed without review since no functional changes, after consultation with uweigand.
101 lines
2.9 KiB
LLVM
101 lines
2.9 KiB
LLVM
; 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)
|