449 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s3 4define void @test1(ptr %ptr) {5; CHECK-LABEL: @test1(6; CHECK-NEXT: [[A:%.*]] = load i8, ptr [[PTR:%.*]], align 17; CHECK-NEXT: br label [[BB:%.*]]8; CHECK: bb:9; CHECK-NEXT: ret void10;11 %A = load i8, ptr %ptr12 br label %bb13bb:14 icmp ne ptr %ptr, null15 ret void16}17 18define void @test1_no_null_opt(ptr %ptr) #0 {19; CHECK-LABEL: @test1_no_null_opt(20; CHECK-NEXT: [[A:%.*]] = load i8, ptr [[PTR:%.*]], align 121; CHECK-NEXT: br label [[BB:%.*]]22; CHECK: bb:23; CHECK-NEXT: [[TMP1:%.*]] = icmp ne ptr [[PTR]], null24; CHECK-NEXT: ret void25;26 %A = load i8, ptr %ptr27 br label %bb28bb:29 icmp ne ptr %ptr, null30 ret void31}32 33define void @test2(ptr %ptr) {34; CHECK-LABEL: @test2(35; CHECK-NEXT: store i8 0, ptr [[PTR:%.*]], align 136; CHECK-NEXT: br label [[BB:%.*]]37; CHECK: bb:38; CHECK-NEXT: ret void39;40 store i8 0, ptr %ptr41 br label %bb42bb:43 icmp ne ptr %ptr, null44 ret void45}46 47define void @test2_no_null_opt(ptr %ptr) #0 {48; CHECK-LABEL: @test2_no_null_opt(49; CHECK-NEXT: store i8 0, ptr [[PTR:%.*]], align 150; CHECK-NEXT: br label [[BB:%.*]]51; CHECK: bb:52; CHECK-NEXT: [[TMP1:%.*]] = icmp ne ptr [[PTR]], null53; CHECK-NEXT: ret void54;55 store i8 0, ptr %ptr56 br label %bb57bb:58 icmp ne ptr %ptr, null59 ret void60}61 62define void @test3() {63; CHECK-LABEL: @test3(64; CHECK-NEXT: [[PTR:%.*]] = alloca i8, align 165; CHECK-NEXT: br label [[BB:%.*]]66; CHECK: bb:67; CHECK-NEXT: ret void68;69 %ptr = alloca i870 br label %bb71bb:72 icmp ne ptr %ptr, null73 ret void74}75 76;; OK to remove icmp here since ptr is coming from alloca.77 78define void @test3_no_null_opt() #0 {79; CHECK-LABEL: @test3_no_null_opt(80; CHECK-NEXT: [[PTR:%.*]] = alloca i8, align 181; CHECK-NEXT: br label [[BB:%.*]]82; CHECK: bb:83; CHECK-NEXT: ret void84;85 %ptr = alloca i886 br label %bb87bb:88 icmp ne ptr %ptr, null89 ret void90}91 92declare void @llvm.memcpy.p0.p0.i32(ptr, ptr, i32, i1)93 94define void @test4(ptr %dest, ptr %src) {95; CHECK-LABEL: @test4(96; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 1, i1 false)97; CHECK-NEXT: br label [[BB:%.*]]98; CHECK: bb:99; CHECK-NEXT: ret void100;101 call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 1, i1 false)102 br label %bb103bb:104 icmp ne ptr %dest, null105 icmp ne ptr %src, null106 ret void107}108 109define void @test4_no_null_opt(ptr %dest, ptr %src) #0 {110; CHECK-LABEL: @test4_no_null_opt(111; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 1, i1 false)112; CHECK-NEXT: br label [[BB:%.*]]113; CHECK: bb:114; CHECK-NEXT: [[TMP1:%.*]] = icmp ne ptr [[DEST]], null115; CHECK-NEXT: [[TMP2:%.*]] = icmp ne ptr [[SRC]], null116; CHECK-NEXT: ret void117;118 call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 1, i1 false)119 br label %bb120bb:121 icmp ne ptr %dest, null122 icmp ne ptr %src, null123 ret void124}125 126declare void @llvm.memmove.p0.p0.i32(ptr, ptr, i32, i1)127define void @test5(ptr %dest, ptr %src) {128; CHECK-LABEL: @test5(129; CHECK-NEXT: call void @llvm.memmove.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 1, i1 false)130; CHECK-NEXT: br label [[BB:%.*]]131; CHECK: bb:132; CHECK-NEXT: ret void133;134 call void @llvm.memmove.p0.p0.i32(ptr %dest, ptr %src, i32 1, i1 false)135 br label %bb136bb:137 icmp ne ptr %dest, null138 icmp ne ptr %src, null139 ret void140}141 142define void @test5_no_null_opt(ptr %dest, ptr %src) #0 {143; CHECK-LABEL: @test5_no_null_opt(144; CHECK-NEXT: call void @llvm.memmove.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 1, i1 false)145; CHECK-NEXT: br label [[BB:%.*]]146; CHECK: bb:147; CHECK-NEXT: [[TMP1:%.*]] = icmp ne ptr [[DEST]], null148; CHECK-NEXT: [[TMP2:%.*]] = icmp ne ptr [[SRC]], null149; CHECK-NEXT: ret void150;151 call void @llvm.memmove.p0.p0.i32(ptr %dest, ptr %src, i32 1, i1 false)152 br label %bb153bb:154 icmp ne ptr %dest, null155 icmp ne ptr %src, null156 ret void157}158 159declare void @llvm.memset.p0.i32(ptr, i8, i32, i1)160define void @test6(ptr %dest) {161; CHECK-LABEL: @test6(162; CHECK-NEXT: call void @llvm.memset.p0.i32(ptr [[DEST:%.*]], i8 -1, i32 1, i1 false)163; CHECK-NEXT: br label [[BB:%.*]]164; CHECK: bb:165; CHECK-NEXT: ret void166;167 call void @llvm.memset.p0.i32(ptr %dest, i8 255, i32 1, i1 false)168 br label %bb169bb:170 icmp ne ptr %dest, null171 ret void172}173 174define void @test6_no_null_opt(ptr %dest) #0 {175; CHECK-LABEL: @test6_no_null_opt(176; CHECK-NEXT: call void @llvm.memset.p0.i32(ptr [[DEST:%.*]], i8 -1, i32 1, i1 false)177; CHECK-NEXT: br label [[BB:%.*]]178; CHECK: bb:179; CHECK-NEXT: [[TMP1:%.*]] = icmp ne ptr [[DEST]], null180; CHECK-NEXT: ret void181;182 call void @llvm.memset.p0.i32(ptr %dest, i8 255, i32 1, i1 false)183 br label %bb184bb:185 icmp ne ptr %dest, null186 ret void187}188 189define void @test7(ptr %dest, ptr %src, i32 %len) {190; CHECK-LABEL: @test7(191; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 [[LEN:%.*]], i1 false)192; CHECK-NEXT: br label [[BB:%.*]]193; CHECK: bb:194; CHECK-NEXT: [[KEEP1:%.*]] = icmp ne ptr [[DEST]], null195; CHECK-NEXT: [[KEEP2:%.*]] = icmp ne ptr [[SRC]], null196; CHECK-NEXT: ret void197;198 call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 %len, i1 false)199 br label %bb200bb:201 %KEEP1 = icmp ne ptr %dest, null202 %KEEP2 = icmp ne ptr %src, null203 ret void204}205 206declare void @llvm.memcpy.p1.p1.i32(ptr addrspace(1), ptr addrspace(1), i32, i1)207define void @test8(ptr addrspace(1) %dest, ptr addrspace(1) %src) {208; CHECK-LABEL: @test8(209; CHECK-NEXT: call void @llvm.memcpy.p1.p1.i32(ptr addrspace(1) [[DEST:%.*]], ptr addrspace(1) [[SRC:%.*]], i32 1, i1 false)210; CHECK-NEXT: br label [[BB:%.*]]211; CHECK: bb:212; CHECK-NEXT: [[KEEP1:%.*]] = icmp ne ptr addrspace(1) [[DEST]], null213; CHECK-NEXT: [[KEEP2:%.*]] = icmp ne ptr addrspace(1) [[SRC]], null214; CHECK-NEXT: ret void215;216 call void @llvm.memcpy.p1.p1.i32(ptr addrspace(1) %dest, ptr addrspace(1) %src, i32 1, i1 false)217 br label %bb218bb:219 %KEEP1 = icmp ne ptr addrspace(1) %dest, null220 %KEEP2 = icmp ne ptr addrspace(1) %src, null221 ret void222}223 224define void @test9(ptr %dest, ptr %src) {225; CHECK-LABEL: @test9(226; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr [[DEST:%.*]], ptr [[SRC:%.*]], i32 1, i1 true)227; CHECK-NEXT: br label [[BB:%.*]]228; CHECK: bb:229; CHECK-NEXT: [[KEEP1:%.*]] = icmp ne ptr [[DEST]], null230; CHECK-NEXT: [[KEEP2:%.*]] = icmp ne ptr [[SRC]], null231; CHECK-NEXT: ret void232;233 call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 1, i1 true)234 br label %bb235bb:236 %KEEP1 = icmp ne ptr %dest, null237 %KEEP2 = icmp ne ptr %src, null238 ret void239}240 241declare void @test10_helper(ptr %arg1, ptr %arg2, i32 %non-pointer-arg)242 243define void @test10(ptr %arg1, ptr %arg2, i32 %non-pointer-arg) {244; CHECK-LABEL: @test10(245; CHECK-NEXT: entry:246; CHECK-NEXT: [[IS_NULL:%.*]] = icmp eq ptr [[ARG1:%.*]], null247; CHECK-NEXT: br i1 [[IS_NULL]], label [[NULL:%.*]], label [[NON_NULL:%.*]]248; CHECK: non_null:249; CHECK-NEXT: call void @test10_helper(ptr nonnull [[ARG1]], ptr [[ARG2:%.*]], i32 [[NON_POINTER_ARG:%.*]])250; CHECK-NEXT: br label [[NULL]]251; CHECK: null:252; CHECK-NEXT: call void @test10_helper(ptr [[ARG1]], ptr [[ARG2]], i32 [[NON_POINTER_ARG]])253; CHECK-NEXT: ret void254;255entry:256 %is_null = icmp eq ptr %arg1, null257 br i1 %is_null, label %null, label %non_null258 259non_null:260 call void @test10_helper(ptr %arg1, ptr %arg2, i32 %non-pointer-arg)261 br label %null262 263null:264 call void @test10_helper(ptr %arg1, ptr %arg2, i32 %non-pointer-arg)265 ret void266}267 268declare void @test11_helper(ptr %arg)269 270define void @test11(ptr %arg1, ptr %arg2) {271; CHECK-LABEL: @test11(272; CHECK-NEXT: entry:273; CHECK-NEXT: [[IS_NULL:%.*]] = icmp eq ptr [[ARG1:%.*]], null274; CHECK-NEXT: br i1 [[IS_NULL]], label [[NULL:%.*]], label [[NON_NULL:%.*]]275; CHECK: non_null:276; CHECK-NEXT: br label [[MERGE:%.*]]277; CHECK: null:278; CHECK-NEXT: [[ANOTHER_ARG:%.*]] = alloca i8, align 1279; CHECK-NEXT: br label [[MERGE]]280; CHECK: merge:281; CHECK-NEXT: [[MERGED_ARG:%.*]] = phi ptr [ [[ANOTHER_ARG]], [[NULL]] ], [ [[ARG1]], [[NON_NULL]] ]282; CHECK-NEXT: call void @test11_helper(ptr nonnull [[MERGED_ARG]])283; CHECK-NEXT: ret void284;285entry:286 %is_null = icmp eq ptr %arg1, null287 br i1 %is_null, label %null, label %non_null288 289non_null:290 br label %merge291 292null:293 %another_arg = alloca i8294 br label %merge295 296merge:297 %merged_arg = phi ptr [%another_arg, %null], [%arg1, %non_null]298 call void @test11_helper(ptr %merged_arg)299 ret void300}301 302declare void @test12_helper(ptr %arg)303 304define void @test12(ptr %arg1, ptr %arg2) {305; CHECK-LABEL: @test12(306; CHECK-NEXT: entry:307; CHECK-NEXT: [[IS_NULL:%.*]] = icmp eq ptr [[ARG1:%.*]], null308; CHECK-NEXT: br i1 [[IS_NULL]], label [[NULL:%.*]], label [[NON_NULL:%.*]]309; CHECK: non_null:310; CHECK-NEXT: br label [[MERGE:%.*]]311; CHECK: null:312; CHECK-NEXT: [[ANOTHER_ARG:%.*]] = load ptr, ptr [[ARG2:%.*]], align 8, !nonnull !0313; CHECK-NEXT: br label [[MERGE]]314; CHECK: merge:315; CHECK-NEXT: [[MERGED_ARG:%.*]] = phi ptr [ [[ANOTHER_ARG]], [[NULL]] ], [ [[ARG1]], [[NON_NULL]] ]316; CHECK-NEXT: call void @test12_helper(ptr nonnull [[MERGED_ARG]])317; CHECK-NEXT: ret void318;319entry:320 %is_null = icmp eq ptr %arg1, null321 br i1 %is_null, label %null, label %non_null322 323non_null:324 br label %merge325 326null:327 %another_arg = load ptr, ptr %arg2, !nonnull !{}328 br label %merge329 330merge:331 %merged_arg = phi ptr [%another_arg, %null], [%arg1, %non_null]332 call void @test12_helper(ptr %merged_arg)333 ret void334}335 336define i1 @test_store_same_block(ptr %arg) {337; CHECK-LABEL: @test_store_same_block(338; CHECK-NEXT: store i8 0, ptr [[ARG:%.*]], align 1339; CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[ARG]], null340; CHECK-NEXT: ret i1 true341;342 store i8 0, ptr %arg343 %cmp = icmp ne ptr %arg, null344 ret i1 %cmp345}346 347 348define i1 @test_known_nonnull_at_callsite(ptr %src) {349; CHECK-LABEL: @test_known_nonnull_at_callsite(350; CHECK-NEXT: entry:351; CHECK-NEXT: call void @callee(ptr noundef nonnull [[SRC:%.*]])352; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null353; CHECK-NEXT: ret i1 false354;355entry:356 call void @callee(ptr noundef nonnull %src)357 %nonnull = icmp eq ptr %src, null358 ret i1 %nonnull359}360 361define i1 @test_known_nonnull_mixed(ptr %src) {362; CHECK-LABEL: @test_known_nonnull_mixed(363; CHECK-NEXT: entry:364; CHECK-NEXT: call void @callee2(ptr nonnull [[SRC:%.*]])365; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null366; CHECK-NEXT: ret i1 false367;368entry:369 call void @callee2(ptr nonnull %src)370 %nonnull = icmp eq ptr %src, null371 ret i1 %nonnull372}373 374define i1 @test_known_nonnull_at_callsite_dereferenceable(ptr %src) {375; CHECK-LABEL: @test_known_nonnull_at_callsite_dereferenceable(376; CHECK-NEXT: entry:377; CHECK-NEXT: call void @callee(ptr dereferenceable(1) [[SRC:%.*]])378; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null379; CHECK-NEXT: ret i1 false380;381entry:382 call void @callee(ptr dereferenceable(1) %src)383 %nonnull = icmp eq ptr %src, null384 ret i1 %nonnull385}386 387define i1 @test_known_nonnull_at_callsite_gep_inbounds(ptr %src, i64 %x) {388; CHECK-LABEL: @test_known_nonnull_at_callsite_gep_inbounds(389; CHECK-NEXT: entry:390; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i8, ptr [[SRC:%.*]], i64 [[X:%.*]]391; CHECK-NEXT: call void @callee(ptr noundef nonnull [[GEP]])392; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null393; CHECK-NEXT: ret i1 false394;395entry:396 %gep = getelementptr inbounds i8, ptr %src, i64 %x397 call void @callee(ptr noundef nonnull %gep)398 %nonnull = icmp eq ptr %src, null399 ret i1 %nonnull400}401 402; Negative tests403 404define i1 @test_known_nonnull_at_callsite_without_noundef(ptr %src) {405; CHECK-LABEL: @test_known_nonnull_at_callsite_without_noundef(406; CHECK-NEXT: entry:407; CHECK-NEXT: call void @callee(ptr nonnull [[SRC:%.*]])408; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null409; CHECK-NEXT: ret i1 [[NONNULL]]410;411entry:412 call void @callee(ptr nonnull %src)413 %nonnull = icmp eq ptr %src, null414 ret i1 %nonnull415}416 417define i1 @test_known_nonnull_at_callsite_dereferenceable_null_is_defined(ptr %src) #0 {418; CHECK-LABEL: @test_known_nonnull_at_callsite_dereferenceable_null_is_defined(419; CHECK-NEXT: entry:420; CHECK-NEXT: call void @callee(ptr dereferenceable(1) [[SRC:%.*]])421; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null422; CHECK-NEXT: ret i1 [[NONNULL]]423;424entry:425 call void @callee(ptr dereferenceable(1) %src)426 %nonnull = icmp eq ptr %src, null427 ret i1 %nonnull428}429 430define i1 @test_known_nonnull_at_callsite_gep_without_inbounds(ptr %src, i64 %x) {431; CHECK-LABEL: @test_known_nonnull_at_callsite_gep_without_inbounds(432; CHECK-NEXT: entry:433; CHECK-NEXT: [[GEP:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 [[X:%.*]]434; CHECK-NEXT: call void @callee(ptr noundef nonnull [[GEP]])435; CHECK-NEXT: [[NONNULL:%.*]] = icmp eq ptr [[SRC]], null436; CHECK-NEXT: ret i1 [[NONNULL]]437;438entry:439 %gep = getelementptr i8, ptr %src, i64 %x440 call void @callee(ptr noundef nonnull %gep)441 %nonnull = icmp eq ptr %src, null442 ret i1 %nonnull443}444 445declare void @callee(ptr)446declare void @callee2(ptr noundef)447 448attributes #0 = { null_pointer_is_valid }449