forked from OSchip/llvm-project
162 lines
6.1 KiB
LLVM
162 lines
6.1 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -aa-pipeline=basic-aa -passes='require<memoryssa>,memcpyopt' -verify-memoryssa -S %s | FileCheck %s
|
|
|
|
; REQUIRES: asserts
|
|
|
|
target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-apple-macosx10.15.0"
|
|
|
|
%t = type <{ ptr, [4 x i8], ptr, ptr, i32, [8192 x i8] }>
|
|
|
|
|
|
define i32 @test1(ptr %ptr) {
|
|
; CHECK-LABEL: @test1(
|
|
; CHECK-NEXT: invoke.cont6:
|
|
; CHECK-NEXT: [[P_2:%.*]] = getelementptr inbounds [[T:%.*]], ptr [[PTR:%.*]], i64 0, i32 4
|
|
; CHECK-NEXT: [[P_3:%.*]] = getelementptr inbounds [[T]], ptr [[PTR]], i64 0, i32 5, i64 0
|
|
; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[PTR]], i8 0, i64 20, i1 false)
|
|
; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[P_2]], i8 0, i64 8195, i1 false)
|
|
; CHECK-NEXT: ret i32 0
|
|
;
|
|
invoke.cont6:
|
|
call void @llvm.memset.p0.i64(ptr %ptr, i8 0, i64 20, i1 false)
|
|
store ptr null, ptr %ptr, align 8
|
|
%p.2 = getelementptr inbounds %t, ptr %ptr, i64 0, i32 4
|
|
store i32 0, ptr %p.2, align 8
|
|
%p.3 = getelementptr inbounds %t, ptr %ptr, i64 0, i32 5, i64 0
|
|
call void @llvm.memset.p0.i64(ptr %p.3, i8 0, i64 8191, i1 false)
|
|
ret i32 0
|
|
}
|
|
|
|
declare ptr @get_ptr()
|
|
|
|
define void @test2(ptr noalias %in) {
|
|
; CHECK-LABEL: @test2(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[CALL_I1_I:%.*]] = tail call ptr @get_ptr()
|
|
; CHECK-NEXT: tail call void @llvm.memcpy.p0.p0.i64(ptr [[CALL_I1_I]], ptr [[IN:%.*]], i64 10, i1 false)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
entry:
|
|
%call.i1.i = tail call ptr @get_ptr()
|
|
tail call void @llvm.memset.p0.i64(ptr %call.i1.i, i8 0, i64 10, i1 false)
|
|
tail call void @llvm.memcpy.p0.p0.i64(ptr %call.i1.i, ptr %in, i64 10, i1 false)
|
|
ret void
|
|
}
|
|
|
|
declare ptr @malloc(i64)
|
|
|
|
define i32 @test3(ptr noalias %in) {
|
|
; CHECK-LABEL: @test3(
|
|
; CHECK-NEXT: [[CALL_I_I_I:%.*]] = tail call ptr @malloc(i64 20)
|
|
; CHECK-NEXT: tail call void @llvm.memcpy.p0.p0.i64(ptr [[CALL_I_I_I]], ptr [[IN:%.*]], i64 20, i1 false)
|
|
; CHECK-NEXT: ret i32 10
|
|
;
|
|
%call.i.i.i = tail call ptr @malloc(i64 20)
|
|
tail call void @llvm.memmove.p0.p0.i64(ptr %call.i.i.i, ptr %in, i64 20, i1 false)
|
|
ret i32 10
|
|
}
|
|
|
|
define void @test4(i32 %n, ptr noalias %ptr.0, ptr noalias %ptr.1, ptr %ptr.2) unnamed_addr {
|
|
; CHECK-LABEL: @test4(
|
|
; CHECK-NEXT: [[ELEM_I:%.*]] = getelementptr i8, ptr [[PTR_0:%.*]], i64 8
|
|
; CHECK-NEXT: store i32 [[N:%.*]], ptr [[PTR_2:%.*]], align 8
|
|
; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[ELEM_I]], ptr [[PTR_1:%.*]], i64 10, i1 false)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%elem.i = getelementptr i8, ptr %ptr.0, i64 8
|
|
call void @llvm.memset.p0.i64(ptr %elem.i, i8 0, i64 10, i1 false)
|
|
store i32 %n, ptr %ptr.2, align 8
|
|
call void @llvm.memcpy.p0.p0.i64(ptr %elem.i, ptr %ptr.1, i64 10, i1 false)
|
|
ret void
|
|
}
|
|
|
|
declare void @decompose(ptr nocapture)
|
|
|
|
define void @test5(ptr %ptr) {
|
|
; CHECK-LABEL: @test5(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[EARLY_DATA:%.*]] = alloca [128 x i8], align 8
|
|
; CHECK-NEXT: [[TMP:%.*]] = alloca [[T:%.*]], align 8
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 32, ptr [[EARLY_DATA]])
|
|
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[PTR:%.*]], align 8
|
|
; CHECK-NEXT: call fastcc void @decompose(ptr [[TMP]])
|
|
; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[EARLY_DATA]], ptr [[TMP]], i64 32, i1 false)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
entry:
|
|
%early_data = alloca [128 x i8], align 8
|
|
%tmp = alloca %t, align 8
|
|
call void @llvm.lifetime.start.p0(i64 32, ptr %early_data)
|
|
%0 = load i32, ptr %ptr, align 8
|
|
call fastcc void @decompose(ptr %tmp)
|
|
call void @llvm.memcpy.p0.p0.i64(ptr %early_data, ptr %tmp, i64 32, i1 false)
|
|
ret void
|
|
}
|
|
|
|
define i8 @test6(ptr %ptr, ptr noalias %ptr.1) {
|
|
; CHECK-LABEL: @test6(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 24, ptr [[PTR:%.*]])
|
|
; CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr [[PTR]], align 8
|
|
; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[PTR]], ptr [[PTR_1:%.*]], i64 24, i1 false)
|
|
; CHECK-NEXT: ret i8 [[TMP0]]
|
|
;
|
|
entry:
|
|
call void @llvm.lifetime.start.p0(i64 24, ptr %ptr)
|
|
%0 = load i8, ptr %ptr, align 8
|
|
call void @llvm.memmove.p0.p0.i64(ptr %ptr, ptr %ptr.1, i64 24, i1 false)
|
|
ret i8 %0
|
|
}
|
|
|
|
define void @test7(ptr %ptr) {
|
|
; CHECK-LABEL: @test7(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds [4 x i32], ptr [[PTR:%.*]], i64 0, i32 1
|
|
; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [4 x i32], ptr [[PTR]], i64 0, i32 2
|
|
; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds [4 x i32], ptr [[PTR]], i64 0, i32 3
|
|
; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[PTR]], i8 0, i64 16, i1 false)
|
|
; CHECK-NEXT: call void @clobber()
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
entry:
|
|
store i32 0, ptr %ptr, align 1
|
|
%0 = getelementptr inbounds [4 x i32], ptr %ptr, i64 0, i32 1
|
|
store i32 0, ptr %0, align 1
|
|
%1 = getelementptr inbounds [4 x i32], ptr %ptr, i64 0, i32 2
|
|
store i32 0, ptr %1, align 1
|
|
%2 = getelementptr inbounds [4 x i32], ptr %ptr, i64 0, i32 3
|
|
store i32 0, ptr %2, align 1
|
|
call void @clobber()
|
|
ret void
|
|
}
|
|
|
|
define void @test8(ptr noalias %src, ptr %dst) {
|
|
; CHECK-LABEL: @test8(
|
|
; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[DST:%.*]], ptr align 1 [[SRC:%.*]], i64 8224, i1 false)
|
|
; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[SRC]], i8 0, i64 8224, i1 false)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%1 = load %t, ptr %src
|
|
store %t zeroinitializer, ptr %src
|
|
store %t %1, ptr %dst
|
|
ret void
|
|
}
|
|
|
|
declare void @clobber()
|
|
|
|
; Function Attrs: argmemonly nounwind willreturn
|
|
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0
|
|
|
|
; Function Attrs: argmemonly nounwind willreturn
|
|
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #0
|
|
|
|
; Function Attrs: argmemonly nounwind willreturn writeonly
|
|
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1
|
|
|
|
; Function Attrs: argmemonly nounwind willreturn
|
|
declare void @llvm.memmove.p0.p0.i64(ptr nocapture, ptr nocapture readonly, i64, i1 immarg) #0
|
|
|
|
attributes #0 = { argmemonly nounwind willreturn }
|
|
attributes #1 = { argmemonly nounwind willreturn writeonly }
|