1 ; RUN: llc %s -march arm64 -o - | FileCheck %s
2 ; <rdar://problem/14199482> ARM64: Calls to bzero() replaced with calls to memset()
5 ; For small size (<= 256), we do not change memset to bzero.
7 define void @fct1(i8* nocapture %ptr) {
9 tail call void @llvm.memset.p0i8.i64(i8* %ptr, i8 0, i64 256, i32 1, i1 false)
13 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1)
16 ; When the size is bigger than 256, change into bzero.
18 define void @fct2(i8* nocapture %ptr) {
20 tail call void @llvm.memset.p0i8.i64(i8* %ptr, i8 0, i64 257, i32 1, i1 false)
25 ; For unknown size, change to bzero.
27 define void @fct3(i8* nocapture %ptr, i32 %unknown) {
29 %conv = sext i32 %unknown to i64
30 tail call void @llvm.memset.p0i8.i64(i8* %ptr, i8 0, i64 %conv, i32 1, i1 false)
35 ; Size <= 256, no change.
37 define void @fct4(i8* %ptr) {
39 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
40 %call = tail call i8* @__memset_chk(i8* %ptr, i32 0, i64 256, i64 %tmp)
44 declare i8* @__memset_chk(i8*, i32, i64, i64)
46 declare i64 @llvm.objectsize.i64(i8*, i1)
51 define void @fct5(i8* %ptr) {
53 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
54 %call = tail call i8* @__memset_chk(i8* %ptr, i32 0, i64 257, i64 %tmp)
59 ; Size = unknown, change.
61 define void @fct6(i8* %ptr, i32 %unknown) {
63 %conv = sext i32 %unknown to i64
64 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
65 %call = tail call i8* @__memset_chk(i8* %ptr, i32 0, i64 %conv, i64 %tmp)
69 ; Next functions check that memset is not turned into bzero
70 ; when the set constant is non-zero, whatever the given size.
73 ; memset with something that is not a zero, no change.
75 define void @fct7(i8* %ptr) {
77 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
78 %call = tail call i8* @__memset_chk(i8* %ptr, i32 1, i64 256, i64 %tmp)
83 ; memset with something that is not a zero, no change.
85 define void @fct8(i8* %ptr) {
87 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
88 %call = tail call i8* @__memset_chk(i8* %ptr, i32 1, i64 257, i64 %tmp)
93 ; memset with something that is not a zero, no change.
95 define void @fct9(i8* %ptr, i32 %unknown) {
97 %conv = sext i32 %unknown to i64
98 %tmp = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false)
99 %call = tail call i8* @__memset_chk(i8* %ptr, i32 1, i64 %conv, i64 %tmp)