32 lines · plain
1; RUN: opt < %s -passes=dse -S -enable-dse-partial-overwrite-tracking | FileCheck %s2; PR285883 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7; Function Attrs: nounwind8define void @_UPT_destroy(ptr nocapture %ptr) local_unnamed_addr #0 {9entry:10 %edi = getelementptr inbounds i8, ptr %ptr, i64 811 12; CHECK-NOT: tail call void @llvm.memset.p0.i64(ptr align 8 %edi, i8 0, i64 176, i1 false)13; CHECK-NOT: store i32 -1, ptr %addr14 15 tail call void @llvm.memset.p0.i64(ptr align 8 %edi, i8 0, i64 176, i1 false)16 %format4.i = getelementptr inbounds i8, ptr %ptr, i64 14417 store i32 -1, ptr %format4.i, align 818 19; CHECK: tail call void @free20 tail call void @free(ptr nonnull %ptr)21 ret void22}23 24; Function Attrs: nounwind25declare void @free(ptr nocapture allocptr) local_unnamed_addr #026 27; Function Attrs: argmemonly nounwind28declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #129 30attributes #0 = { nounwind allockind("free")}31attributes #1 = { argmemonly nounwind }32