119 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=memcpyopt -S -verify-memoryssa | FileCheck %s3 4; performCallSlotOptzn in MemCpy should not exchange the calls to5; @llvm.lifetime.start and @llvm.memcpy.6 7declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture readonly, i64, i1)8declare void @llvm.lifetime.start.p0(ptr nocapture)9declare void @llvm.lifetime.end.p0(ptr nocapture)10 11define void @call_slot(ptr nocapture dereferenceable(16) %arg1) {12; CHECK-LABEL: @call_slot(13; CHECK-NEXT: bb:14; CHECK-NEXT: [[TMP:%.*]] = alloca [8 x i8], align 815; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[TMP]])16; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds i8, ptr [[TMP]], i64 717; CHECK-NEXT: store i8 0, ptr [[TMP10]], align 118; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[TMP]])19; CHECK-NEXT: ret void20;21bb:22 %tmp = alloca [8 x i8], align 823 call void @llvm.lifetime.start.p0(ptr %tmp)24 %tmp10 = getelementptr inbounds i8, ptr %tmp, i64 725 store i8 0, ptr %tmp10, align 126 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %arg1, ptr align 8 %tmp, i64 16, i1 false)27 call void @llvm.lifetime.end.p0(ptr %tmp)28 ret void29}30 31define void @memcpy_memcpy_across_lifetime(ptr noalias %p1, ptr noalias %p2, ptr noalias %p3) {32; CHECK-LABEL: @memcpy_memcpy_across_lifetime(33; CHECK-NEXT: [[A:%.*]] = alloca [16 x i8], align 134; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A]])35; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[A]], ptr [[P1:%.*]], i64 16, i1 false)36; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[P1]], ptr [[P2:%.*]], i64 16, i1 false)37; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[P2]], ptr [[A]], i64 16, i1 false)38; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A]])39; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[P3:%.*]], ptr [[P2]], i64 16, i1 false)40; CHECK-NEXT: ret void41;42 %a = alloca [16 x i8]43 call void @llvm.lifetime.start.p0(ptr %a)44 call void @llvm.memcpy.p0.p0.i64(ptr %a, ptr %p1, i64 16, i1 false)45 call void @llvm.memcpy.p0.p0.i64(ptr %p1, ptr %p2, i64 16, i1 false)46 call void @llvm.memcpy.p0.p0.i64(ptr %p2, ptr %a, i64 16, i1 false)47 call void @llvm.lifetime.end.p0(ptr %a)48 call void @llvm.memcpy.p0.p0.i64(ptr %p3, ptr %p2, i64 16, i1 false)49 ret void50}51 52declare void @call(ptr)53 54define i32 @call_slot_move_lifetime_start() {55; CHECK-LABEL: @call_slot_move_lifetime_start(56; CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 457; CHECK-NEXT: [[DST:%.*]] = alloca i32, align 458; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[DST]])59; CHECK-NEXT: call void @call(ptr [[DST]])60; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[DST]])61; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[DST]], align 462; CHECK-NEXT: ret i32 [[V]]63;64 %tmp = alloca i3265 %dst = alloca i3266 call void @call(ptr %tmp)67 call void @llvm.lifetime.start.p0(ptr %dst)68 call void @llvm.memcpy.p0.p0.i64(ptr align 4 %dst, ptr align 4 %tmp, i64 4, i1 false)69 call void @llvm.lifetime.end.p0(ptr %dst)70 %v = load i32, ptr %dst71 ret i32 %v72}73 74define i32 @call_slot_two_lifetime_starts() {75; CHECK-LABEL: @call_slot_two_lifetime_starts(76; CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 477; CHECK-NEXT: [[DST:%.*]] = alloca i32, align 478; CHECK-NEXT: call void @call(ptr [[TMP]])79; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[DST]])80; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[DST]])81; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[DST]], ptr align 4 [[TMP]], i64 4, i1 false)82; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[DST]])83; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[DST]], align 484; CHECK-NEXT: ret i32 [[V]]85;86 %tmp = alloca i3287 %dst = alloca i3288 call void @call(ptr %tmp)89 call void @llvm.lifetime.start.p0(ptr %dst)90 call void @llvm.lifetime.start.p0(ptr %dst)91 call void @llvm.memcpy.p0.p0.i64(ptr align 4 %dst, ptr align 4 %tmp, i64 4, i1 false)92 call void @llvm.lifetime.end.p0(ptr %dst)93 %v = load i32, ptr %dst94 ret i32 %v95}96 97define i32 @call_slot_clobber_before_lifetime_start() {98; CHECK-LABEL: @call_slot_clobber_before_lifetime_start(99; CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 4100; CHECK-NEXT: [[DST:%.*]] = alloca i32, align 4101; CHECK-NEXT: call void @call(ptr [[TMP]])102; CHECK-NEXT: store i32 0, ptr [[DST]], align 4103; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[DST]])104; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[DST]], ptr align 4 [[TMP]], i64 4, i1 false)105; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[DST]])106; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[DST]], align 4107; CHECK-NEXT: ret i32 [[V]]108;109 %tmp = alloca i32110 %dst = alloca i32111 call void @call(ptr %tmp)112 store i32 0, ptr %dst113 call void @llvm.lifetime.start.p0(ptr %dst)114 call void @llvm.memcpy.p0.p0.i64(ptr align 4 %dst, ptr align 4 %tmp, i64 4, i1 false)115 call void @llvm.lifetime.end.p0(ptr %dst)116 %v = load i32, ptr %dst117 ret i32 %v118}119