154 lines · plain
1; RUN: opt < %s -passes=dse -S | FileCheck %s2 3declare noalias ptr @calloc(i64, i64) inaccessiblememonly allockind("alloc,zeroed")4 5define ptr @test1() {6; CHECK-LABEL: test17 %1 = tail call noalias ptr @calloc(i64 1, i64 4)8 ; This store is dead and should be removed9 store i32 0, ptr %1, align 410; CHECK-NOT: store i32 0, ptr %1, align 411 ret ptr %112}13 14define ptr @test2() {15; CHECK-LABEL: test216 %1 = tail call noalias ptr @calloc(i64 1, i64 4)17 %2 = getelementptr i32, ptr %1, i32 518 store i32 0, ptr %2, align 419; CHECK-NOT: store i32 0, ptr %1, align 420 ret ptr %121}22 23define ptr @test3(ptr %arg) {24; CHECK-LABEL: test325 store i32 0, ptr %arg, align 426; CHECK: store i32 0, ptr %arg, align 427 ret ptr %arg28}29 30declare void @clobber_memory(ptr)31define ptr @test4() {32; CHECK-LABEL: test433 %1 = tail call noalias ptr @calloc(i64 1, i64 4)34 call void @clobber_memory(ptr %1)35 store i8 0, ptr %1, align 436; CHECK: store i8 0, ptr %1, align 437 ret ptr %138}39 40define ptr @test5() {41; CHECK-LABEL: test542 %1 = tail call noalias ptr @calloc(i64 1, i64 4)43 store volatile i32 0, ptr %1, align 444; CHECK: store volatile i32 0, ptr %1, align 445 ret ptr %146}47 48define ptr @test6() {49; CHECK-LABEL: test650 %1 = tail call noalias ptr @calloc(i64 1, i64 4)51 store i8 5, ptr %1, align 452; CHECK: store i8 5, ptr %1, align 453 ret ptr %154}55 56define ptr @test7(i8 %arg) {57; CHECK-LABEL: test758 %1 = tail call noalias ptr @calloc(i64 1, i64 4)59 store i8 %arg, ptr %1, align 460; CHECK: store i8 %arg, ptr %1, align 461 ret ptr %162}63 64define ptr @test8() {65; CHECK-LABEL: test866; CHECK-NOT: store67 %p = tail call noalias ptr @calloc(i64 1, i64 4)68 store i8 0, ptr %p, align 169 %p.1 = getelementptr i8, ptr %p, i32 170 store i8 0, ptr %p.1, align 171 %p.3 = getelementptr i8, ptr %p, i32 372 store i8 0, ptr %p.3, align 173 %p.2 = getelementptr i8, ptr %p, i32 274 store i8 0, ptr %p.2, align 175 ret ptr %p76}77 78define ptr @test9() {79; CHECK-LABEL: test980; CHECK-NEXT: %p = tail call noalias ptr @calloc(i64 1, i64 4)81; CHECK-NEXT: store i8 5, ptr %p, align 182; CHECK-NEXT: ret ptr %p83 84 %p = tail call noalias ptr @calloc(i64 1, i64 4)85 store i8 5, ptr %p, align 186 %p.1 = getelementptr i8, ptr %p, i32 187 store i8 0, ptr %p.1, align 188 %p.3 = getelementptr i8, ptr %p, i32 389 store i8 0, ptr %p.3, align 190 %p.2 = getelementptr i8, ptr %p, i32 291 store i8 0, ptr %p.2, align 192 ret ptr %p93}94 95define ptr @test10() {96; CHECK-LABEL: @test10(97; CHECK-NEXT: [[P:%.*]] = tail call noalias ptr @calloc(i64 1, i64 4)98; CHECK-NEXT: [[P_3:%.*]] = getelementptr i8, ptr [[P]], i32 399; CHECK-NEXT: store i8 5, ptr [[P_3]], align 1100; CHECK-NEXT: ret ptr [[P]]101;102 103 %p = tail call noalias ptr @calloc(i64 1, i64 4)104 store i8 0, ptr %p, align 1105 %p.1 = getelementptr i8, ptr %p, i32 1106 store i8 0, ptr %p.1, align 1107 %p.3 = getelementptr i8, ptr %p, i32 3108 store i8 5, ptr %p.3, align 1109 %p.2 = getelementptr i8, ptr %p, i32 2110 store i8 0, ptr %p.2, align 1111 ret ptr %p112}113 114define ptr @test11() {115; CHECK-LABEL: @test11(116; CHECK-NEXT: [[P:%.*]] = tail call noalias ptr @calloc(i64 1, i64 4)117; CHECK-NEXT: ret ptr [[P]]118;119 120 %p = tail call noalias ptr @calloc(i64 1, i64 4)121 store i8 0, ptr %p, align 1122 %p.1 = getelementptr i8, ptr %p, i32 1123 store i8 0, ptr %p.1, align 1124 %p.3 = getelementptr i8, ptr %p, i32 3125 store i8 5, ptr %p.3, align 1126 %p.2 = getelementptr i8, ptr %p, i32 2127 store i8 0, ptr %p.2, align 1128 %p.3.2 = getelementptr i8, ptr %p, i32 3129 store i8 0, ptr %p.3.2, align 1130 ret ptr %p131}132 133define ptr @test12() {134; CHECK-LABEL: @test12(135; CHECK-NEXT: [[P:%.*]] = tail call noalias ptr @calloc(i64 1, i64 4)136; CHECK-NEXT: [[P_3:%.*]] = getelementptr i8, ptr [[P]], i32 3137; CHECK-NEXT: store i8 5, ptr [[P_3]], align 1138; CHECK-NEXT: call void @use(ptr [[P]])139; CHECK-NEXT: [[P_3_2:%.*]] = getelementptr i8, ptr [[P]], i32 3140; CHECK-NEXT: store i8 0, ptr [[P_3_2]], align 1141; CHECK-NEXT: ret ptr [[P]]142;143 144 %p = tail call noalias ptr @calloc(i64 1, i64 4)145 %p.3 = getelementptr i8, ptr %p, i32 3146 store i8 5, ptr %p.3, align 1147 call void @use(ptr %p)148 %p.3.2 = getelementptr i8, ptr %p, i32 3149 store i8 0, ptr %p.3.2, align 1150 ret ptr %p151}152 153declare void @use(ptr) readonly154