477 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -aa-pipeline=basic-aa -passes=inferattrs,dse | FileCheck %s3 4target triple = "x86_64-unknown-linux-gnu"5 6declare ptr @strcpy(ptr %dest, ptr %src) nounwind7define void @test1(ptr %src) {8; CHECK-LABEL: @test1(9; CHECK-NEXT: ret void10;11 %B = alloca [16 x i8]12 %call = call ptr @strcpy(ptr %B, ptr %src)13 ret void14}15 16define void @strcpy_reads_after(ptr noalias %dest, ptr %src) {17; CHECK-LABEL: @strcpy_reads_after(18; CHECK-NEXT: [[SRC_2:%.*]] = getelementptr inbounds i8, ptr [[SRC:%.*]], i64 119; CHECK-NEXT: store i8 99, ptr [[SRC_2]], align 120; CHECK-NEXT: [[SRC_1:%.*]] = getelementptr inbounds i8, ptr [[SRC]], i64 121; CHECK-NEXT: [[CALL:%.*]] = call ptr @strcpy(ptr [[DEST:%.*]], ptr [[SRC_1]])22; CHECK-NEXT: store i8 2, ptr [[SRC]], align 123; CHECK-NEXT: store i8 2, ptr [[SRC_2]], align 124; CHECK-NEXT: ret void25;26 %src.2 = getelementptr inbounds i8, ptr %src, i64 127 store i8 1, ptr %src28 store i8 99, ptr %src.229 %src.1 = getelementptr inbounds i8, ptr %src, i64 130 %call = call ptr @strcpy(ptr %dest, ptr %src.1)31 store i8 2, ptr %src32 store i8 2, ptr %src.233 ret void34}35 36declare ptr @strncpy(ptr %dest, ptr %src, i64 %n) nounwind37define void @test2(ptr %src) {38; CHECK-LABEL: @test2(39; CHECK-NEXT: ret void40;41 %B = alloca [16 x i8]42 %call = call ptr @strncpy(ptr %B, ptr %src, i64 12)43 ret void44}45 46declare ptr @strcat(ptr %B, ptr %src) nounwind47define void @test3(ptr %src) {48; CHECK-LABEL: @test3(49; CHECK-NEXT: ret void50;51 %B = alloca [16 x i8]52 %call = call ptr @strcat(ptr %B, ptr %src)53 ret void54}55 56define void @test_strcat_with_lifetime(ptr %src) {57; CHECK-LABEL: @test_strcat_with_lifetime(58; CHECK-NEXT: [[B:%.*]] = alloca [16 x i8], align 159; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[B]])60; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[B]])61; CHECK-NEXT: ret void62;63 %B = alloca [16 x i8]64 call void @llvm.lifetime.start.p0(ptr nonnull %B)65 %call = call ptr @strcat(ptr %B, ptr %src)66 call void @llvm.lifetime.end.p0(ptr nonnull %B)67 ret void68}69 70declare ptr @strncat(ptr %dest, ptr %src, i64 %n) nounwind71define void @test4(ptr %src) {72; CHECK-LABEL: @test4(73; CHECK-NEXT: ret void74;75 %B = alloca [16 x i8]76 %call = call ptr @strncat(ptr %B, ptr %src, i64 12)77 ret void78}79 80define void @test5(ptr nocapture %src) {81; CHECK-LABEL: @test5(82; CHECK-NEXT: ret void83;84 %dest = alloca [100 x i8], align 1685 %call = call ptr @strcpy(ptr %dest, ptr %src)86 %arrayidx = getelementptr inbounds i8, ptr %call, i64 1087 store i8 97, ptr %arrayidx, align 188 ret void89}90 91declare void @user(ptr %p)92define void @test6(ptr %src) {93; CHECK-LABEL: @test6(94; CHECK-NEXT: [[B:%.*]] = alloca [16 x i8], align 195; CHECK-NEXT: [[CALL:%.*]] = call ptr @strcpy(ptr [[B]], ptr [[SRC:%.*]])96; CHECK-NEXT: call void @user(ptr [[B]])97; CHECK-NEXT: ret void98;99 %B = alloca [16 x i8]100 %call = call ptr @strcpy(ptr %B, ptr %src)101 call void @user(ptr %B)102 ret void103}104 105declare i32 @memcmp(ptr, ptr, i64)106 107define i32 @test_memcmp_const_size(ptr noalias %foo) {108; CHECK-LABEL: @test_memcmp_const_size(109; CHECK-NEXT: entry:110; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1111; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1112; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1113; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1114; CHECK-NEXT: [[RES:%.*]] = call i32 @memcmp(ptr nonnull dereferenceable(2) [[FOO:%.*]], ptr nonnull dereferenceable(2) [[STACK]], i64 2)115; CHECK-NEXT: ret i32 [[RES]]116;117entry:118 %stack = alloca [10 x i8]119 store i8 49, ptr %stack, align 1120 %gep.1 = getelementptr i8, ptr %stack, i64 1121 store i8 50, ptr %gep.1, align 1122 %gep.2 = getelementptr i8, ptr %stack, i64 2123 store i8 51, ptr %gep.2, align 1124 %gep.3 = getelementptr i8, ptr %stack, i64 3125 store i8 52, ptr %gep.3, align 1126 %res = call i32 @memcmp(ptr nonnull dereferenceable(2) %foo, ptr nonnull dereferenceable(2) %stack, i64 2)127 ret i32 %res128}129 130define i32 @test_memcmp_variable_size(ptr noalias %foo, i64 %n) {131; CHECK-LABEL: @test_memcmp_variable_size(132; CHECK-NEXT: entry:133; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1134; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1135; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1136; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1137; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[STACK]], i64 2138; CHECK-NEXT: store i8 51, ptr [[GEP_2]], align 1139; CHECK-NEXT: [[GEP_3:%.*]] = getelementptr i8, ptr [[STACK]], i64 3140; CHECK-NEXT: store i8 52, ptr [[GEP_3]], align 1141; CHECK-NEXT: [[RES:%.*]] = call i32 @memcmp(ptr nonnull [[FOO:%.*]], ptr nonnull [[STACK]], i64 [[N:%.*]])142; CHECK-NEXT: ret i32 [[RES]]143;144entry:145 %stack = alloca [10 x i8]146 store i8 49, ptr %stack, align 1147 %gep.1 = getelementptr i8, ptr %stack, i64 1148 store i8 50, ptr %gep.1, align 1149 %gep.2 = getelementptr i8, ptr %stack, i64 2150 store i8 51, ptr %gep.2, align 1151 %gep.3 = getelementptr i8, ptr %stack, i64 3152 store i8 52, ptr %gep.3, align 1153 %res = call i32 @memcmp(ptr nonnull %foo, ptr nonnull %stack, i64 %n)154 ret i32 %res155}156 157declare i32 @bcmp(ptr, ptr, i64)158 159define i1 @test_bcmp_const_size(ptr noalias %foo) {160; CHECK-LABEL: @test_bcmp_const_size(161; CHECK-NEXT: entry:162; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1163; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1164; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1165; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1166; CHECK-NEXT: [[CALL:%.*]] = call i32 @bcmp(ptr nonnull dereferenceable(2) [[FOO:%.*]], ptr nonnull dereferenceable(2) [[STACK]], i64 2)167; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[CALL]], 0168; CHECK-NEXT: ret i1 [[RES]]169;170entry:171 %stack = alloca [10 x i8]172 store i8 49, ptr %stack, align 1173 %gep.1 = getelementptr i8, ptr %stack, i64 1174 store i8 50, ptr %gep.1, align 1175 %gep.2 = getelementptr i8, ptr %stack, i64 2176 store i8 51, ptr %gep.2, align 1177 %gep.3 = getelementptr i8, ptr %stack, i64 3178 store i8 52, ptr %gep.3, align 1179 %call = call i32 @bcmp(ptr nonnull dereferenceable(2) %foo, ptr nonnull dereferenceable(2) %stack, i64 2)180 %res = icmp eq i32 %call, 0181 ret i1 %res182}183 184define i1 @test_bcmp_variable_size(ptr noalias %foo, i64 %n) {185; CHECK-LABEL: @test_bcmp_variable_size(186; CHECK-NEXT: entry:187; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1188; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1189; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1190; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1191; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[STACK]], i64 2192; CHECK-NEXT: store i8 51, ptr [[GEP_2]], align 1193; CHECK-NEXT: [[GEP_3:%.*]] = getelementptr i8, ptr [[STACK]], i64 3194; CHECK-NEXT: store i8 52, ptr [[GEP_3]], align 1195; CHECK-NEXT: [[CALL:%.*]] = call i32 @bcmp(ptr nonnull [[FOO:%.*]], ptr nonnull [[STACK]], i64 [[N:%.*]])196; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[CALL]], 0197; CHECK-NEXT: ret i1 [[RES]]198;199entry:200 %stack = alloca [10 x i8]201 store i8 49, ptr %stack, align 1202 %gep.1 = getelementptr i8, ptr %stack, i64 1203 store i8 50, ptr %gep.1, align 1204 %gep.2 = getelementptr i8, ptr %stack, i64 2205 store i8 51, ptr %gep.2, align 1206 %gep.3 = getelementptr i8, ptr %stack, i64 3207 store i8 52, ptr %gep.3, align 1208 %call = call i32 @bcmp(ptr nonnull %foo, ptr nonnull %stack, i64 %n)209 %res = icmp eq i32 %call, 0210 ret i1 %res211}212 213declare ptr @memchr(ptr, i32, i64)214 215define ptr @test_memchr_const_size() {216; CHECK-LABEL: @test_memchr_const_size(217; CHECK-NEXT: entry:218; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1219; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1220; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1221; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1222; CHECK-NEXT: [[CALL:%.*]] = call ptr @memchr(ptr [[STACK]], i32 42, i64 2)223; CHECK-NEXT: ret ptr [[CALL]]224;225entry:226 %stack = alloca [10 x i8]227 store i8 49, ptr %stack, align 1228 %gep.1 = getelementptr i8, ptr %stack, i64 1229 store i8 50, ptr %gep.1, align 1230 %gep.2 = getelementptr i8, ptr %stack, i64 2231 store i8 51, ptr %gep.2, align 1232 %gep.3 = getelementptr i8, ptr %stack, i64 3233 store i8 52, ptr %gep.3, align 1234 %call = call ptr @memchr(ptr %stack, i32 42, i64 2)235 ret ptr %call236}237 238define ptr @test_memchr_variable_size(i64 %n) {239; CHECK-LABEL: @test_memchr_variable_size(240; CHECK-NEXT: entry:241; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1242; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1243; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1244; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1245; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[STACK]], i64 2246; CHECK-NEXT: store i8 51, ptr [[GEP_2]], align 1247; CHECK-NEXT: [[GEP:%.*]] = getelementptr i8, ptr [[STACK]], i64 4248; CHECK-NEXT: store i8 52, ptr [[GEP]], align 1249; CHECK-NEXT: [[CALL:%.*]] = call ptr @memchr(ptr [[STACK]], i32 42, i64 [[N:%.*]])250; CHECK-NEXT: ret ptr [[CALL]]251;252entry:253 %stack = alloca [10 x i8]254 store i8 49, ptr %stack, align 1255 %gep.1 = getelementptr i8, ptr %stack, i64 1256 store i8 50, ptr %gep.1, align 1257 %gep.2 = getelementptr i8, ptr %stack, i64 2258 store i8 51, ptr %gep.2, align 1259 %gep = getelementptr i8, ptr %stack, i64 4260 store i8 52, ptr %gep, align 1261 %call = call ptr @memchr(ptr %stack, i32 42, i64 %n)262 ret ptr %call263}264 265declare ptr @memccpy(ptr, ptr, i32, i64)266 267define ptr @test_memccpy_const_size(ptr %foo) {268; CHECK-LABEL: @test_memccpy_const_size(269; CHECK-NEXT: entry:270; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1271; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1272; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1273; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1274; CHECK-NEXT: [[RES:%.*]] = call ptr @memccpy(ptr [[FOO:%.*]], ptr [[STACK]], i32 42, i64 2)275; CHECK-NEXT: ret ptr [[RES]]276;277entry:278 %stack = alloca [10 x i8]279 store i8 49, ptr %stack, align 1280 %gep.1 = getelementptr i8, ptr %stack, i64 1281 store i8 50, ptr %gep.1, align 1282 %gep.2 = getelementptr i8, ptr %stack, i64 2283 store i8 51, ptr %gep.2, align 1284 %gep.3 = getelementptr i8, ptr %stack, i64 3285 store i8 52, ptr %gep.3, align 1286 %res = call ptr @memccpy(ptr %foo, ptr %stack, i32 42, i64 2)287 ret ptr %res288}289 290define ptr @test_memccpy_variable_size(ptr %foo, i64 %n) {291; CHECK-LABEL: @test_memccpy_variable_size(292; CHECK-NEXT: entry:293; CHECK-NEXT: [[STACK:%.*]] = alloca [10 x i8], align 1294; CHECK-NEXT: store i8 49, ptr [[STACK]], align 1295; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[STACK]], i64 1296; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1297; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[STACK]], i64 2298; CHECK-NEXT: store i8 51, ptr [[GEP_2]], align 1299; CHECK-NEXT: [[GEP_3:%.*]] = getelementptr i8, ptr [[STACK]], i64 3300; CHECK-NEXT: store i8 52, ptr [[GEP_3]], align 1301; CHECK-NEXT: [[RES:%.*]] = call ptr @memccpy(ptr [[FOO:%.*]], ptr [[STACK]], i32 42, i64 [[N:%.*]])302; CHECK-NEXT: ret ptr [[RES]]303;304entry:305 %stack = alloca [10 x i8]306 store i8 49, ptr %stack, align 1307 %gep.1 = getelementptr i8, ptr %stack, i64 1308 store i8 50, ptr %gep.1, align 1309 %gep.2 = getelementptr i8, ptr %stack, i64 2310 store i8 51, ptr %gep.2, align 1311 %gep.3 = getelementptr i8, ptr %stack, i64 3312 store i8 52, ptr %gep.3, align 1313 %res = call ptr @memccpy(ptr %foo, ptr %stack, i32 42, i64 %n)314 ret ptr %res315}316 317; Make sure memccpy does not kill any stores, because it is not known how many318; bytes are written.319define ptr @test_memccpy_const_size_does_not_kill_stores(ptr noalias %dest, ptr noalias %foo) {320; CHECK-LABEL: @test_memccpy_const_size_does_not_kill_stores(321; CHECK-NEXT: entry:322; CHECK-NEXT: store i8 49, ptr [[DEST:%.*]], align 1323; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[DEST]], i64 1324; CHECK-NEXT: store i8 50, ptr [[GEP_1]], align 1325; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[DEST]], i64 2326; CHECK-NEXT: store i8 51, ptr [[GEP_2]], align 1327; CHECK-NEXT: [[GEP_3:%.*]] = getelementptr i8, ptr [[DEST]], i64 3328; CHECK-NEXT: store i8 52, ptr [[GEP_3]], align 1329; CHECK-NEXT: [[RES:%.*]] = call ptr @memccpy(ptr [[DEST]], ptr [[FOO:%.*]], i32 42, i64 2)330; CHECK-NEXT: ret ptr [[RES]]331;332entry:333 store i8 49, ptr %dest, align 1334 %gep.1 = getelementptr i8, ptr %dest, i64 1335 store i8 50, ptr %gep.1, align 1336 %gep.2 = getelementptr i8, ptr %dest, i64 2337 store i8 51, ptr %gep.2, align 1338 %gep.3 = getelementptr i8, ptr %dest, i64 3339 store i8 52, ptr %gep.3, align 1340 %res = call ptr @memccpy(ptr %dest, ptr %foo, i32 42, i64 2)341 ret ptr %res342}343 344define void @dse_strcpy(ptr nocapture readonly %src) {345; CHECK-LABEL: @dse_strcpy(346; CHECK-NEXT: [[A:%.*]] = alloca [256 x i8], align 16347; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[A]])348; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[A]])349; CHECK-NEXT: ret void350;351 %a = alloca [256 x i8], align 16352 call void @llvm.lifetime.start.p0(ptr nonnull %a)353 call ptr @strcpy(ptr nonnull %a, ptr nonnull dereferenceable(1) %src)354 call void @llvm.lifetime.end.p0(ptr nonnull %a)355 ret void356}357 358define void @dse_strncpy(ptr nocapture readonly %src) {359; CHECK-LABEL: @dse_strncpy(360; CHECK-NEXT: [[A:%.*]] = alloca [256 x i8], align 16361; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[A]])362; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[A]])363; CHECK-NEXT: ret void364;365 %a = alloca [256 x i8], align 16366 call void @llvm.lifetime.start.p0(ptr nonnull %a)367 call ptr @strncpy(ptr nonnull %a, ptr nonnull dereferenceable(1) %src, i64 6)368 call void @llvm.lifetime.end.p0(ptr nonnull %a)369 ret void370}371 372define void @dse_strcat(ptr nocapture readonly %src) {373; CHECK-LABEL: @dse_strcat(374; CHECK-NEXT: [[A:%.*]] = alloca [256 x i8], align 16375; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[A]])376; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[A]])377; CHECK-NEXT: ret void378;379 %a = alloca [256 x i8], align 16380 call void @llvm.lifetime.start.p0(ptr nonnull %a)381 call ptr @strcat(ptr nonnull %a, ptr nonnull dereferenceable(1) %src)382 call void @llvm.lifetime.end.p0(ptr nonnull %a)383 ret void384}385 386define void @dse_strncat(ptr nocapture readonly %src) {387; CHECK-LABEL: @dse_strncat(388; CHECK-NEXT: [[A:%.*]] = alloca [256 x i8], align 16389; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[A]])390; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[A]])391; CHECK-NEXT: ret void392;393 %a = alloca [256 x i8], align 16394 call void @llvm.lifetime.start.p0(ptr nonnull %a)395 call ptr @strncat(ptr nonnull %a, ptr nonnull dereferenceable(1) %src, i64 6)396 call void @llvm.lifetime.end.p0(ptr nonnull %a)397 ret void398}399 400declare void @llvm.lifetime.start.p0(ptr nocapture)401declare void @llvm.lifetime.end.p0(ptr nocapture)402 403declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind404 405; Test that strncpy/memset overwriting each other is optimized out406 407; strncpy -> memset, full overwrite408define void @dse_strncpy_test1(ptr noalias %out, ptr noalias %in) {409; CHECK-LABEL: @dse_strncpy_test1(410; CHECK-NEXT: tail call void @llvm.memset.p0.i64(ptr [[OUT:%.*]], i8 42, i64 100, i1 false)411; CHECK-NEXT: ret void412;413 %call = tail call ptr @strncpy(ptr %out, ptr %in, i64 100)414 tail call void @llvm.memset.p0.i64(ptr %out, i8 42, i64 100, i1 false)415 ret void416}417 418; strncpy -> memset, partial overwrite419define void @dse_strncpy_test2(ptr noalias %out, ptr noalias %in) {420; CHECK-LABEL: @dse_strncpy_test2(421; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @strncpy(ptr [[OUT:%.*]], ptr [[IN:%.*]], i64 100)422; CHECK-NEXT: tail call void @llvm.memset.p0.i64(ptr [[OUT]], i8 42, i64 99, i1 false)423; CHECK-NEXT: ret void424;425 %call = tail call ptr @strncpy(ptr %out, ptr %in, i64 100)426 tail call void @llvm.memset.p0.i64(ptr %out, i8 42, i64 99, i1 false)427 ret void428}429 430; strncpy -> memset, different destination431define void @dse_strncpy_test3(ptr noalias %out1, ptr noalias %out2, ptr noalias %in) {432; CHECK-LABEL: @dse_strncpy_test3(433; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @strncpy(ptr [[OUT1:%.*]], ptr [[IN:%.*]], i64 100)434; CHECK-NEXT: tail call void @llvm.memset.p0.i64(ptr [[OUT2:%.*]], i8 42, i64 100, i1 false)435; CHECK-NEXT: ret void436;437 %call = tail call ptr @strncpy(ptr %out1, ptr %in, i64 100)438 tail call void @llvm.memset.p0.i64(ptr %out2, i8 42, i64 100, i1 false)439 ret void440}441 442; memset -> strncpy, full overwrite443define void @dse_strncpy_test4(ptr noalias %out, ptr noalias %in) {444; CHECK-LABEL: @dse_strncpy_test4(445; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @strncpy(ptr [[OUT:%.*]], ptr [[IN:%.*]], i64 100)446; CHECK-NEXT: ret void447;448 tail call void @llvm.memset.p0.i64(ptr %out, i8 42, i64 100, i1 false)449 %call = tail call ptr @strncpy(ptr %out, ptr %in, i64 100)450 ret void451}452 453; memset -> strncpy, partial overwrite454define void @dse_strncpy_test5(ptr noalias %out, ptr noalias %in) {455; CHECK-LABEL: @dse_strncpy_test5(456; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, ptr [[OUT:%.*]], i64 99457; CHECK-NEXT: tail call void @llvm.memset.p0.i64(ptr align 1 [[TMP1]], i8 42, i64 1, i1 false)458; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @strncpy(ptr [[OUT]], ptr [[IN:%.*]], i64 99)459; CHECK-NEXT: ret void460;461 tail call void @llvm.memset.p0.i64(ptr %out, i8 42, i64 100, i1 false)462 %call = tail call ptr @strncpy(ptr %out, ptr %in, i64 99)463 ret void464}465 466; memset -> strncpy, different destination467define void @dse_strncpy_test6(ptr noalias %out1, ptr noalias %out2, ptr noalias %in) {468; CHECK-LABEL: @dse_strncpy_test6(469; CHECK-NEXT: tail call void @llvm.memset.p0.i64(ptr [[OUT1:%.*]], i8 42, i64 100, i1 false)470; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @strncpy(ptr [[OUT2:%.*]], ptr [[IN:%.*]], i64 100)471; CHECK-NEXT: ret void472;473 tail call void @llvm.memset.p0.i64(ptr %out1, i8 42, i64 100, i1 false)474 %call = tail call ptr @strncpy(ptr %out2, ptr %in, i64 100)475 ret void476}477