1; RUN: opt < %s -basicaa -dse -S | FileCheck %s 2 3target datalayout = "e-p:64:64:64" 4 5declare void @free(i8* nocapture) 6declare noalias i8* @malloc(i64) 7 8; CHECK-LABEL: @test( 9; CHECK-NEXT: bitcast 10; CHECK-NEXT: @free 11; CHECK-NEXT: ret void 12define void @test(i32* %Q, i32* %P) { 13 %DEAD = load i32, i32* %Q ; <i32> [#uses=1] 14 store i32 %DEAD, i32* %P 15 %1 = bitcast i32* %P to i8* 16 tail call void @free(i8* %1) 17 ret void 18} 19 20; CHECK-LABEL: @test2( 21; CHECK-NEXT: bitcast 22; CHECK-NEXT: @free 23; CHECK-NEXT: ret void 24define void @test2({i32, i32}* %P) { 25 %Q = getelementptr {i32, i32}, {i32, i32} *%P, i32 0, i32 1 26 store i32 4, i32* %Q 27 %1 = bitcast {i32, i32}* %P to i8* 28 tail call void @free(i8* %1) 29 ret void 30} 31 32; CHECK-LABEL: @test3( 33; CHECK-NOT: store 34; CHECK: ret void 35define void @test3() { 36 %m = call i8* @malloc(i64 24) 37 store i8 0, i8* %m 38 %m1 = getelementptr i8, i8* %m, i64 1 39 store i8 1, i8* %m1 40 call void @free(i8* %m) 41 ret void 42} 43 44; PR11240 45; CHECK-LABEL: @test4( 46; CHECK-NOT: store 47; CHECK: ret void 48define void @test4(i1 %x) nounwind { 49entry: 50 %alloc1 = tail call noalias i8* @malloc(i64 4) nounwind 51 br i1 %x, label %skipinit1, label %init1 52 53init1: 54 store i8 1, i8* %alloc1 55 br label %skipinit1 56 57skipinit1: 58 tail call void @free(i8* %alloc1) nounwind 59 ret void 60} 61 62; CHECK-LABEL: @test5( 63define void @test5() { 64 br label %bb 65 66bb: 67 tail call void @free(i8* undef) nounwind 68 br label %bb 69} 70 71