1; RUN: opt < %s -instcombine -S -default-data-layout="E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" | FileCheck %s -check-prefix=CHECK -check-prefix=ALL 2; RUN: opt < %s -instcombine -S -default-data-layout="E-p:32:32:32-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" | FileCheck %s -check-prefix=P32 -check-prefix=ALL 3; RUN: opt < %s -instcombine -S | FileCheck %s -check-prefix=NODL -check-prefix=ALL 4 5 6declare void @use(...) 7 8@int = global i32 zeroinitializer 9 10; Zero byte allocas should be merged if they can't be deleted. 11; CHECK-LABEL: @test( 12; CHECK: alloca 13; CHECK-NOT: alloca 14define void @test() { 15 %X = alloca [0 x i32] ; <[0 x i32]*> [#uses=1] 16 call void (...) @use( [0 x i32]* %X ) 17 %Y = alloca i32, i32 0 ; <i32*> [#uses=1] 18 call void (...) @use( i32* %Y ) 19 %Z = alloca { } ; <{ }*> [#uses=1] 20 call void (...) @use( { }* %Z ) 21 %size = load i32, i32* @int 22 %A = alloca {{}}, i32 %size 23 call void (...) @use( {{}}* %A ) 24 ret void 25} 26 27; Zero byte allocas should be deleted. 28; CHECK-LABEL: @test2( 29; CHECK-NOT: alloca 30define void @test2() { 31 %A = alloca i32 ; <i32*> [#uses=1] 32 store i32 123, i32* %A 33 ret void 34} 35 36; Zero byte allocas should be deleted. 37; CHECK-LABEL: @test3( 38; CHECK-NOT: alloca 39define void @test3() { 40 %A = alloca { i32 } ; <{ i32 }*> [#uses=1] 41 %B = getelementptr { i32 }, { i32 }* %A, i32 0, i32 0 ; <i32*> [#uses=1] 42 store i32 123, i32* %B 43 ret void 44} 45 46; CHECK-LABEL: @test4( 47; CHECK: = zext i32 %n to i64 48; CHECK: %A = alloca i32, i64 % 49define i32* @test4(i32 %n) { 50 %A = alloca i32, i32 %n 51 ret i32* %A 52} 53 54; Allocas which are only used by GEPs, bitcasts, and stores (transitively) 55; should be deleted. 56define void @test5() { 57; CHECK-LABEL: @test5( 58; CHECK-NOT: alloca 59; CHECK-NOT: store 60; CHECK: ret 61 62entry: 63 %a = alloca { i32 } 64 %b = alloca i32* 65 %a.1 = getelementptr { i32 }, { i32 }* %a, i32 0, i32 0 66 store i32 123, i32* %a.1 67 store i32* %a.1, i32** %b 68 %b.1 = bitcast i32** %b to i32* 69 store i32 123, i32* %b.1 70 %a.2 = getelementptr { i32 }, { i32 }* %a, i32 0, i32 0 71 store atomic i32 2, i32* %a.2 unordered, align 4 72 %a.3 = getelementptr { i32 }, { i32 }* %a, i32 0, i32 0 73 store atomic i32 3, i32* %a.3 release, align 4 74 %a.4 = getelementptr { i32 }, { i32 }* %a, i32 0, i32 0 75 store atomic i32 4, i32* %a.4 seq_cst, align 4 76 ret void 77} 78 79declare void @f(i32* %p) 80 81; Check that we don't delete allocas in some erroneous cases. 82define void @test6() { 83; CHECK-LABEL: @test6( 84; CHECK-NOT: ret 85; CHECK: alloca 86; CHECK-NEXT: alloca 87; CHECK: ret 88 89entry: 90 %a = alloca { i32 } 91 %b = alloca i32 92 %a.1 = getelementptr { i32 }, { i32 }* %a, i32 0, i32 0 93 store volatile i32 123, i32* %a.1 94 tail call void @f(i32* %b) 95 ret void 96} 97 98; PR14371 99%opaque_type = type opaque 100%real_type = type { { i32, i32* } } 101 102@opaque_global = external constant %opaque_type, align 4 103 104define void @test7() { 105entry: 106 %0 = alloca %real_type, align 4 107 %1 = bitcast %real_type* %0 to i8* 108 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %1, i8* bitcast (%opaque_type* @opaque_global to i8*), i32 8, i32 1, i1 false) 109 ret void 110} 111 112declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind 113 114 115; Check that the GEP indices use the pointer size, or 64 if unknown 116define void @test8() { 117; CHECK-LABEL: @test8( 118; CHECK: alloca [100 x i32] 119; CHECK: getelementptr inbounds [100 x i32], [100 x i32]* %x1, i64 0, i64 0 120 121; P32-LABEL: @test8( 122; P32: alloca [100 x i32] 123; P32: getelementptr inbounds [100 x i32], [100 x i32]* %x1, i32 0, i32 0 124 125; NODL-LABEL: @test8( 126; NODL: alloca [100 x i32] 127; NODL: getelementptr inbounds [100 x i32], [100 x i32]* %x1, i64 0, i64 0 128 %x = alloca i32, i32 100 129 call void (...) @use(i32* %x) 130 ret void 131} 132 133; PR19569 134%struct_type = type { i32, i32 } 135declare void @test9_aux(<{ %struct_type }>* inalloca) 136declare i8* @llvm.stacksave() 137declare void @llvm.stackrestore(i8*) 138 139define void @test9(%struct_type* %a) { 140; CHECK-LABEL: @test9( 141entry: 142 %inalloca.save = call i8* @llvm.stacksave() 143 %argmem = alloca inalloca <{ %struct_type }> 144; CHECK: alloca inalloca i64, align 8 145 %0 = getelementptr inbounds <{ %struct_type }>, <{ %struct_type }>* %argmem, i32 0, i32 0 146 %1 = bitcast %struct_type* %0 to i8* 147 %2 = bitcast %struct_type* %a to i8* 148 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %1, i8* %2, i32 8, i32 4, i1 false) 149 call void @test9_aux(<{ %struct_type }>* inalloca %argmem) 150 call void @llvm.stackrestore(i8* %inalloca.save) 151 ret void 152} 153 154define void @test10() { 155entry: 156; ALL-LABEL: @test10( 157; ALL: %v32 = alloca i1, align 8 158; ALL: %v64 = alloca i1, align 8 159; ALL: %v33 = alloca i1, align 8 160 %v32 = alloca i1, align 8 161 %v64 = alloca i1, i64 1, align 8 162 %v33 = alloca i1, i33 1, align 8 163 call void (...) @use(i1* %v32, i1* %v64, i1* %v33) 164 ret void 165} 166 167define void @test11() { 168entry: 169; ALL-LABEL: @test11( 170; ALL: %y = alloca i32 171; ALL: call void (...) @use(i32* nonnull @int) [ "blah"(i32* %y) ] 172; ALL: ret void 173 %y = alloca i32 174 call void (...) @use(i32* nonnull @int) [ "blah"(i32* %y) ] 175 ret void 176} 177