1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=dse -S | FileCheck %s 3 4target datalayout = "e-p:64:64:64" 5 6declare void @free(ptr nocapture) allockind("free") 7declare noalias ptr @malloc(i64) allockind("alloc,uninitialized") 8 9define void @test(ptr %Q, ptr %P) { 10; CHECK-LABEL: @test( 11; CHECK-NEXT: tail call void @free(ptr [[P:%.*]]) [[ATTR0:#.*]] 12; CHECK-NEXT: ret void 13; 14 %DEAD = load i32, ptr %Q ; <i32> [#uses=1] 15 store i32 %DEAD, ptr %P 16 tail call void @free(ptr %P) nounwind 17 ret void 18} 19 20define void @test2(ptr %P) { 21; CHECK-LABEL: @test2( 22; CHECK-NEXT: tail call void @free(ptr [[P:%.*]]) [[ATTR0]] 23; CHECK-NEXT: ret void 24; 25 %Q = getelementptr {i32, i32}, ptr %P, i32 0, i32 1 26 store i32 4, ptr %Q 27 tail call void @free(ptr %P) nounwind 28 ret void 29} 30 31define void @test3() { 32; CHECK-LABEL: @test3( 33; CHECK-NEXT: [[M:%.*]] = call ptr @malloc(i64 24) 34; CHECK-NEXT: call void @free(ptr [[M]]) [[ATTR0]] 35; CHECK-NEXT: ret void 36; 37 %m = call ptr @malloc(i64 24) 38 store i8 0, ptr %m 39 %m1 = getelementptr i8, ptr %m, i64 1 40 store i8 1, ptr %m1 41 call void @free(ptr %m) nounwind 42 ret void 43} 44 45; PR11240 46define void @test4(i1 %x) nounwind { 47; CHECK-LABEL: @test4( 48; CHECK-NEXT: entry: 49; CHECK-NEXT: [[ALLOC1:%.*]] = tail call noalias ptr @malloc(i64 4) [[ATTR0]] 50; CHECK-NEXT: br i1 [[X:%.*]], label [[SKIPINIT1:%.*]], label [[INIT1:%.*]] 51; CHECK: init1: 52; CHECK-NEXT: br label [[SKIPINIT1]] 53; CHECK: skipinit1: 54; CHECK-NEXT: tail call void @free(ptr [[ALLOC1]]) [[ATTR0]] 55; CHECK-NEXT: ret void 56; 57entry: 58 %alloc1 = tail call noalias ptr @malloc(i64 4) nounwind 59 br i1 %x, label %skipinit1, label %init1 60 61init1: 62 store i8 1, ptr %alloc1 63 br label %skipinit1 64 65skipinit1: 66 tail call void @free(ptr %alloc1) nounwind 67 ret void 68} 69 70define void @test5() { 71; CHECK-LABEL: @test5( 72; CHECK-NEXT: br label [[BB:%.*]] 73; CHECK: bb: 74; CHECK-NEXT: tail call void @free(ptr undef) [[ATTR0]] 75; CHECK-NEXT: br label [[BB]] 76; 77 br label %bb 78 79bb: 80 tail call void @free(ptr undef) nounwind 81 br label %bb 82} 83 84 85%struct = type { i32 , i32 } 86 87; Test case inspired by PR48036. 88define void @delete_field_after(ptr %ptr) { 89; 90; CHECK-LABEL: @delete_field_after( 91; CHECK-NEXT: [[PTR_F0:%.*]] = getelementptr [[STRUCT:%.*]], ptr [[PTR:%.*]], i32 1 92; CHECK-NEXT: [[PTR_F1:%.*]] = getelementptr [[STRUCT]], ptr [[PTR]], i32 0, i32 1 93; CHECK-NEXT: store i32 0, ptr [[PTR_F1]], align 4 94; CHECK-NEXT: call void @free(ptr [[PTR_F0]]) 95; CHECK-NEXT: ret void 96; 97 %ptr.f0 = getelementptr %struct, ptr %ptr, i32 1 98 %ptr.f1 = getelementptr %struct, ptr %ptr, i32 0, i32 1 99 store i32 0, ptr %ptr.f1 100 call void @free(ptr %ptr.f0) 101 ret void 102} 103 104; Test case inspired by PR48036. 105define void @delete_field_before(ptr %ptr) { 106; CHECK-LABEL: @delete_field_before( 107; CHECK-NEXT: call void @free(ptr [[PTR:%.*]]) 108; CHECK-NEXT: ret void 109; 110 %ptr.f1 = getelementptr %struct, ptr %ptr, i32 1, i32 1 111 store i32 0, ptr %ptr.f1 112 call void @free(ptr %ptr) 113 ret void 114} 115