355 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=dse -enable-dse-initializes-attr-improvement -S | FileCheck %s3 4declare void @p1_write_only(ptr nocapture noundef writeonly initializes((0, 2)) dead_on_unwind)5declare void @p1_write_then_read(ptr nocapture noundef initializes((0, 2)) dead_on_unwind)6declare void @p1_clobber(ptr nocapture noundef)7declare void @p2_same_range(ptr nocapture noundef initializes((0, 2)) dead_on_unwind, ptr nocapture noundef initializes((0, 2)) dead_on_unwind)8declare void @p2_no_init(ptr nocapture noundef initializes((0, 2)) dead_on_unwind, ptr nocapture noundef dead_on_unwind)9declare void @p2_no_dead_on_unwind(ptr nocapture noundef initializes((0, 2)) dead_on_unwind, ptr nocapture noundef initializes((0, 2)))10declare void @p2_no_dead_on_unwind_but_nounwind(ptr nocapture noundef initializes((0, 2)) dead_on_unwind, ptr nocapture noundef initializes((0, 2))) nounwind11 12; Function Attrs: mustprogress nounwind uwtable13define i16 @p1_write_only_caller() {14; CHECK-LABEL: @p1_write_only_caller(15; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 216; CHECK-NEXT: call void @p1_write_only(ptr [[PTR]])17; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 218; CHECK-NEXT: ret i16 [[L]]19;20 %ptr = alloca i1621 store i16 0, ptr %ptr22 call void @p1_write_only(ptr %ptr)23 %l = load i16, ptr %ptr24 ret i16 %l25}26 27; Function Attrs: mustprogress nounwind uwtable28define i16 @p1_write_then_read_caller() {29; CHECK-LABEL: @p1_write_then_read_caller(30; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 231; CHECK-NEXT: call void @p1_write_then_read(ptr [[PTR]])32; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 233; CHECK-NEXT: ret i16 [[L]]34;35 %ptr = alloca i1636 store i16 0, ptr %ptr37 call void @p1_write_then_read(ptr %ptr)38 %l = load i16, ptr %ptr39 ret i16 %l40}41 42declare void @fn_capture(ptr)43define i16 @p1_write_then_read_caller_escape() {44; CHECK-LABEL: @p1_write_then_read_caller_escape(45; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 246; CHECK-NEXT: store i16 0, ptr [[PTR]], align 247; CHECK-NEXT: call void @fn_capture(ptr [[PTR]])48; CHECK-NEXT: call void @p1_write_then_read(ptr [[PTR]])49; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 250; CHECK-NEXT: ret i16 [[L]]51;52 %ptr = alloca i1653 store i16 0, ptr %ptr54 call void @fn_capture(ptr %ptr)55 call void @p1_write_then_read(ptr %ptr)56 %l = load i16, ptr %ptr57 ret i16 %l58}59 60 61; Function Attrs: mustprogress nounwind uwtable62define i16 @p1_write_then_read_caller_with_clobber() {63; CHECK-LABEL: @p1_write_then_read_caller_with_clobber(64; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 265; CHECK-NEXT: store i16 0, ptr [[PTR]], align 266; CHECK-NEXT: call void @p1_clobber(ptr [[PTR]])67; CHECK-NEXT: call void @p1_write_then_read(ptr [[PTR]])68; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 269; CHECK-NEXT: ret i16 [[L]]70;71 %ptr = alloca i1672 store i16 0, ptr %ptr73 call void @p1_clobber(ptr %ptr)74 call void @p1_write_then_read(ptr %ptr)75 %l = load i16, ptr %ptr76 ret i16 %l77}78 79declare void @p1_write_then_read_raw(ptr nocapture noundef initializes((0, 2)))80define i16 @p1_initializes_invoke() personality ptr undef {81; CHECK-LABEL: @p1_initializes_invoke(82; CHECK-NEXT: entry:83; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 284; CHECK-NEXT: store i16 0, ptr [[PTR]], align 285; CHECK-NEXT: invoke void @p1_write_then_read_raw(ptr [[PTR]])86; CHECK-NEXT: to label [[BB1:%.*]] unwind label [[BB2:%.*]]87; CHECK: bb1:88; CHECK-NEXT: ret i16 089; CHECK: bb2:90; CHECK-NEXT: [[TMP:%.*]] = landingpad { ptr, i32 }91; CHECK-NEXT: cleanup92; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 293; CHECK-NEXT: ret i16 [[L]]94;95entry:96 %ptr = alloca i1697 store i16 0, ptr %ptr98 invoke void @p1_write_then_read_raw(ptr %ptr) to label %bb1 unwind label %bb299bb1:100 ret i16 0101bb2:102 %tmp = landingpad { ptr, i32 }103 cleanup104 %l = load i16, ptr %ptr105 ret i16 %l106}107 108; Function Attrs: mustprogress nounwind uwtable109define i16 @p2_same_range_noalias_caller() {110; CHECK-LABEL: @p2_same_range_noalias_caller(111; CHECK-NEXT: [[PTR1:%.*]] = alloca i16, align 2112; CHECK-NEXT: [[PTR2:%.*]] = alloca i16, align 2113; CHECK-NEXT: call void @p2_same_range(ptr [[PTR1]], ptr [[PTR2]])114; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR1]], align 2115; CHECK-NEXT: ret i16 [[L]]116;117 %ptr1 = alloca i16118 %ptr2 = alloca i16119 store i16 0, ptr %ptr1120 store i16 0, ptr %ptr2121 call void @p2_same_range(ptr %ptr1, ptr %ptr2)122 %l = load i16, ptr %ptr1123 ret i16 %l124}125 126; Function Attrs: mustprogress nounwind uwtable127define i16 @p2_same_range_must_alias_caller() {128; CHECK-LABEL: @p2_same_range_must_alias_caller(129; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 2130; CHECK-NEXT: call void @p2_same_range(ptr [[PTR]], ptr [[PTR]])131; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2132; CHECK-NEXT: ret i16 [[L]]133;134 %ptr = alloca i16135 store i16 0, ptr %ptr136 call void @p2_same_range(ptr %ptr, ptr %ptr)137 %l = load i16, ptr %ptr138 ret i16 %l139}140 141; Function Attrs: mustprogress nounwind uwtable142define i16 @p2_same_range_may_or_partial_alias_caller1(ptr %base, i1 %x) {143; CHECK-LABEL: @p2_same_range_may_or_partial_alias_caller1(144; CHECK-NEXT: [[BASEPLUS:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i64 1145; CHECK-NEXT: [[SEL:%.*]] = select i1 [[X:%.*]], ptr [[BASEPLUS]], ptr [[BASE]]146; CHECK-NEXT: store i32 0, ptr [[BASE]], align 4147; CHECK-NEXT: call void @p2_same_range(ptr [[BASE]], ptr [[SEL]])148; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[BASE]], align 2149; CHECK-NEXT: ret i16 [[L]]150;151 %baseplus = getelementptr i8, ptr %base, i64 1152 %sel = select i1 %x, ptr %baseplus, ptr %base153 store i32 0, ptr %base154 call void @p2_same_range(ptr %base, ptr %sel)155 %l = load i16, ptr %base156 ret i16 %l157}158 159; Function Attrs: mustprogress nounwind uwtable160define i16 @p2_same_range_may_or_partial_alias_caller2(ptr %base1, ptr %base2) {161; CHECK-LABEL: @p2_same_range_may_or_partial_alias_caller2(162; CHECK-NEXT: store i32 0, ptr [[BASE1:%.*]], align 4163; CHECK-NEXT: call void @p2_same_range(ptr [[BASE1]], ptr [[BASE2:%.*]])164; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[BASE1]], align 2165; CHECK-NEXT: ret i16 [[L]]166;167 store i32 0, ptr %base1168 call void @p2_same_range(ptr %base1, ptr %base2)169 %l = load i16, ptr %base1170 ret i16 %l171}172 173; Function Attrs: mustprogress nounwind uwtable174define i16 @p2_no_init_alias_caller() {175; CHECK-LABEL: @p2_no_init_alias_caller(176; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 2177; CHECK-NEXT: store i16 0, ptr [[PTR]], align 2178; CHECK-NEXT: call void @p2_no_init(ptr [[PTR]], ptr [[PTR]])179; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2180; CHECK-NEXT: ret i16 [[L]]181;182 %ptr = alloca i16183 store i16 0, ptr %ptr184 call void @p2_no_init(ptr %ptr, ptr %ptr)185 %l = load i16, ptr %ptr186 ret i16 %l187}188 189; Althrough the 2nd parameter of `p2_no_dead_on_unwind` doesn't have190; the 'dead_on_unwind' attribute, it's invisble to caller on unwind.191; DSE still uses the 'initializes' attribute and kill the dead store.192; Function Attrs: mustprogress nounwind uwtable193define i16 @p2_no_dead_on_unwind_but_invisible_to_caller_alias_caller() {194; CHECK-LABEL: @p2_no_dead_on_unwind_but_invisible_to_caller_alias_caller(195; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 2196; CHECK-NEXT: call void @p2_no_dead_on_unwind(ptr [[PTR]], ptr [[PTR]])197; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2198; CHECK-NEXT: ret i16 [[L]]199;200 %ptr = alloca i16201 store i16 0, ptr %ptr202 call void @p2_no_dead_on_unwind(ptr %ptr, ptr %ptr)203 %l = load i16, ptr %ptr204 ret i16 %l205}206 207; Function Attrs: mustprogress nounwind uwtable208define i16 @p2_no_dead_on_unwind_alias_caller(ptr %ptr) {209; CHECK-LABEL: @p2_no_dead_on_unwind_alias_caller(210; CHECK-NEXT: store i16 0, ptr [[PTR:%.*]], align 2211; CHECK-NEXT: call void @p2_no_dead_on_unwind(ptr [[PTR]], ptr [[PTR]])212; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2213; CHECK-NEXT: ret i16 [[L]]214;215 store i16 0, ptr %ptr216 call void @p2_no_dead_on_unwind(ptr %ptr, ptr %ptr)217 %l = load i16, ptr %ptr218 ret i16 %l219}220 221; Function Attrs: mustprogress nounwind uwtable222define i16 @p2_no_dead_on_unwind_but_nounwind_alias_caller() {223; CHECK-LABEL: @p2_no_dead_on_unwind_but_nounwind_alias_caller(224; CHECK-NEXT: [[PTR:%.*]] = alloca i16, align 2225; CHECK-NEXT: call void @p2_no_dead_on_unwind_but_nounwind(ptr [[PTR]], ptr [[PTR]])226; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2227; CHECK-NEXT: ret i16 [[L]]228;229 %ptr = alloca i16230 store i16 0, ptr %ptr231 call void @p2_no_dead_on_unwind_but_nounwind(ptr %ptr, ptr %ptr)232 %l = load i16, ptr %ptr233 ret i16 %l234}235 236declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind237declare void @large_p1(ptr nocapture noundef initializes((0, 200))) nounwind238declare void @large_p2(ptr nocapture noundef initializes((0, 200)), ptr nocapture noundef initializes((0, 100))) nounwind239 240; Function Attrs: mustprogress nounwind uwtable241define i16 @large_p1_caller() {242; CHECK-LABEL: @large_p1_caller(243; CHECK-NEXT: [[PTR:%.*]] = alloca [300 x i8], align 1244; CHECK-NEXT: [[TMP:%.*]] = getelementptr i8, ptr [[PTR]], i64 100245; CHECK-NEXT: call void @large_p1(ptr [[TMP]])246; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[TMP]], align 2247; CHECK-NEXT: ret i16 [[L]]248;249 %ptr = alloca [300 x i8]250 %tmp = getelementptr i8, ptr %ptr, i64 100251 call void @llvm.memset.p0.i64(ptr %tmp, i8 42, i64 100, i1 false)252 call void @large_p1(ptr %tmp)253 %l = load i16, ptr %tmp254 ret i16 %l255}256 257; Function Attrs: mustprogress nounwind uwtable258define i16 @large_p2_nonalias_caller() {259; CHECK-LABEL: @large_p2_nonalias_caller(260; CHECK-NEXT: [[PTR1:%.*]] = alloca [200 x i8], align 1261; CHECK-NEXT: [[PTR2:%.*]] = alloca [100 x i8], align 1262; CHECK-NEXT: call void @large_p2(ptr [[PTR1]], ptr [[PTR2]])263; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR1]], align 2264; CHECK-NEXT: ret i16 [[L]]265;266 %ptr1 = alloca [200 x i8]267 %ptr2 = alloca [100 x i8]268 call void @llvm.memset.p0.i64(ptr %ptr1, i8 42, i64 200, i1 false)269 call void @llvm.memset.p0.i64(ptr %ptr2, i8 42, i64 100, i1 false)270 call void @large_p2(ptr %ptr1, ptr %ptr2)271 %l = load i16, ptr %ptr1272 ret i16 %l273}274 275 276; Function Attrs: mustprogress nounwind uwtable277define i16 @large_p2_must_alias_caller() {278; CHECK-LABEL: @large_p2_must_alias_caller(279; CHECK-NEXT: [[PTR:%.*]] = alloca [300 x i8], align 1280; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, ptr [[PTR]], i64 100281; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[TMP1]], i8 42, i64 200, i1 false)282; CHECK-NEXT: call void @large_p2(ptr [[PTR]], ptr [[PTR]])283; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[PTR]], align 2284; CHECK-NEXT: ret i16 [[L]]285;286 %ptr = alloca [300 x i8]287 call void @llvm.memset.p0.i64(ptr %ptr, i8 42, i64 300, i1 false)288 call void @large_p2(ptr %ptr, ptr %ptr)289 %l = load i16, ptr %ptr290 ret i16 %l291}292 293; Function Attrs: mustprogress nounwind uwtable294define i16 @large_p2_may_or_partial_alias_caller1(ptr %base) {295; CHECK-LABEL: @large_p2_may_or_partial_alias_caller1(296; CHECK-NEXT: [[BASEPLUS:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i64 100297; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr [[BASE]], i8 42, i64 300, i1 false)298; CHECK-NEXT: call void @large_p2(ptr [[BASE]], ptr [[BASEPLUS]])299; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[BASE]], align 2300; CHECK-NEXT: ret i16 [[L]]301;302 %baseplus = getelementptr i8, ptr %base, i64 100303 call void @llvm.memset.p0.i64(ptr %base, i8 42, i64 300, i1 false)304 call void @large_p2(ptr %base, ptr %baseplus)305 %l = load i16, ptr %base306 ret i16 %l307}308 309; Function Attrs: mustprogress nounwind uwtable310define i16 @large_p2_may_or_partial_alias_caller2(ptr %base1, ptr %base2) {311; CHECK-LABEL: @large_p2_may_or_partial_alias_caller2(312; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr [[BASE1:%.*]], i8 42, i64 300, i1 false)313; CHECK-NEXT: call void @large_p2(ptr [[BASE1]], ptr [[BASE2:%.*]])314; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[BASE1]], align 2315; CHECK-NEXT: ret i16 [[L]]316;317 call void @llvm.memset.p0.i64(ptr %base1, i8 42, i64 300, i1 false)318 call void @large_p2(ptr %base1, ptr %base2)319 %l = load i16, ptr %base1320 ret i16 %l321}322 323@g = global i16 123, align 2324 325declare void @read_global(ptr nocapture noundef initializes((0, 2))) nounwind326 memory(read, argmem: write, inaccessiblemem: none) nounwind327 328define i16 @global_var_alias() {329; CHECK-LABEL: @global_var_alias(330; CHECK-NEXT: store i16 0, ptr @g, align 4331; CHECK-NEXT: call void @read_global(ptr @g)332; CHECK-NEXT: [[L:%.*]] = load i16, ptr @g, align 2333; CHECK-NEXT: ret i16 [[L]]334;335 store i16 0, ptr @g, align 4336 call void @read_global(ptr @g)337 %l = load i16, ptr @g338 ret i16 %l339}340 341declare void @byval_fn(ptr byval(i32) initializes((0, 4)) %am)342 343define void @test_byval() {344; CHECK-LABEL: @test_byval(345; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4346; CHECK-NEXT: store i32 0, ptr [[A]], align 4347; CHECK-NEXT: call void @byval_fn(ptr [[A]])348; CHECK-NEXT: ret void349;350 %a = alloca i32351 store i32 0, ptr %a352 call void @byval_fn(ptr %a)353 ret void354}355