206 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes='sroa<preserve-cfg>' %s -S | FileCheck %s3; RUN: opt -passes='sroa<modify-cfg>' %s -S | FileCheck %s4 5declare void @llvm.dbg.declare(metadata, metadata, metadata) #06 7; The alloca is split into two fragments: variable x is in the first, variables y and z are in the second8define i8 @test1(i32 %arg) {9; CHECK-LABEL: define i8 @test1(10; CHECK-SAME: i32 [[ARG:%.*]]) {11; CHECK-NEXT: entry:12; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG]] to i813; CHECK-NEXT: #dbg_value(i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]], [[META2:![0-9]+]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8), [[META7:![0-9]+]])14; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG]], 815; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i2416; CHECK-NEXT: #dbg_value(i24 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META8:![0-9]+]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8), [[META7]])17; CHECK-NEXT: #dbg_value(i24 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META10:![0-9]+]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 8, 16), [[META7]])18; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]19;20entry:21 %ptr = alloca i32, align 422 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8)), !dbg !723 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !9, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 8, 8)), !dbg !724 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !8, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 16, 16)), !dbg !725 store i32 %arg, ptr %ptr, align 426 %ret = load i8, ptr %ptr, align 427 ret i8 %ret28}29 30; The alloca is split into three fragments corresponding to the variables x, y, z31define i8 @test2(i32 %arg1, i8 %arg2) {32; CHECK-LABEL: define i8 @test2(33; CHECK-SAME: i32 [[ARG1:%.*]], i8 [[ARG2:%.*]]) {34; CHECK-NEXT: entry:35; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG1]] to i836; CHECK-NEXT: #dbg_value(i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]], [[META2]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8), [[META7]])37; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 838; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i1639; CHECK-NEXT: #dbg_value(i16 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META8]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 16), [[META7]])40; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 2441; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_21_0_EXTRACT_SHIFT]] to i842; CHECK-NEXT: #dbg_value(i8 [[PTR_SROA_21_0_EXTRACT_TRUNC]], [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8), [[META7]])43; CHECK-NEXT: #dbg_value(i8 [[ARG2]], [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8), [[META7]])44; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]45;46entry:47 %ptr = alloca i32, align 448 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8)), !dbg !749 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !9, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 8, 16)), !dbg !750 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !8, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 24, 8)), !dbg !751 store i32 %arg1, ptr %ptr, align 452 %gep = getelementptr i8, ptr %ptr, i32 353 store i8 %arg2, ptr %gep, align 154 %ret = load i8, ptr %ptr, align 455 ret i8 %ret56}57 58; The alloca is split into two fragments, with variable x being half in one and half in the other59; FIXME: We currently generate no debug info for x in this case60define i8 @test3(i32 %arg) {61; CHECK-LABEL: define i8 @test3(62; CHECK-SAME: i32 [[ARG:%.*]]) {63; CHECK-NEXT: entry:64; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG]] to i865; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG]], 866; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i2467; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]68;69entry:70 %ptr = alloca i32, align 471 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 16)), !dbg !772 store i32 %arg, ptr %ptr, align 473 %ret = load i8, ptr %ptr, align 474 ret i8 %ret75}76 77; The alloca is split into two fragments, with variable y being half in one and half in the other78; FIXME: We currently generate no debug info for y in this case79define i16 @test4(i32 %arg) {80; CHECK-LABEL: define i16 @test4(81; CHECK-SAME: i32 [[ARG:%.*]]) {82; CHECK-NEXT: entry:83; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG]] to i1684; CHECK-NEXT: #dbg_value(i16 [[PTR_SROA_0_0_EXTRACT_TRUNC]], [[META2]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8), [[META7]])85; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG]], 1686; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i1687; CHECK-NEXT: #dbg_value(i16 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 8, 8), [[META7]])88; CHECK-NEXT: ret i16 [[PTR_SROA_0_0_EXTRACT_TRUNC]]89;90entry:91 %ptr = alloca i32, align 492 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8)), !dbg !793 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !9, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 8, 16)), !dbg !794 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !8, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 24, 8)), !dbg !795 store i32 %arg, ptr %ptr, align 496 %ret = load i16, ptr %ptr, align 497 ret i16 %ret98}99 100; Struct where the first element is an ordinary char, the second is a bitfield of two elements, and the third is padding101%struct.struct_t = type <{ i8, i16, i8 }>102define i8 @test5(i32 %arg) {103; CHECK-LABEL: define i8 @test5(104; CHECK-SAME: i32 [[ARG:%.*]]) {105; CHECK-NEXT: entry:106; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG]] to i8107; CHECK-NEXT: #dbg_value(i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]], [[META11:![0-9]+]], !DIExpression(), [[META7]])108; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG]], 8109; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i24110; CHECK-NEXT: #dbg_value(i24 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META8]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8), [[META7]])111; CHECK-NEXT: #dbg_value(i24 [[PTR_SROA_2_0_EXTRACT_TRUNC]], [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 8, 8), [[META7]])112; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]113;114entry:115 %ptr = alloca %struct.struct_t, align 4116 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !11, metadata !DIExpression()), !dbg !7117 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !9, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 8, 8)), !dbg !7118 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !8, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 16, 8)), !dbg !7119 store i32 %arg, ptr %ptr, align 4120 %ret = load i8, ptr %ptr, align 4121 ret i8 %ret122}123 124; Sign mismatch between extract expression and debug variable type.125define i8 @test6(i32 %arg1, i8 %arg2) {126; CHECK-LABEL: define i8 @test6(127; CHECK-SAME: i32 [[ARG1:%.*]], i8 [[ARG2:%.*]]) {128; CHECK-NEXT: entry:129; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG1]] to i8130; CHECK-NEXT: #dbg_value(i8 poison, [[META2]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8), [[META7]])131; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 8132; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i16133; CHECK-NEXT: #dbg_value(i16 poison, [[META8]], !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 16), [[META7]])134; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 24135; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_21_0_EXTRACT_SHIFT]] to i8136; CHECK-NEXT: #dbg_value(i8 poison, [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8), [[META7]])137; CHECK-NEXT: #dbg_value(i8 poison, [[META10]], !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8), [[META7]])138; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]139;140entry:141 %ptr = alloca i32, align 4142 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 0, 8)), !dbg !7143 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !9, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 8, 16)), !dbg !7144 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !8, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 24, 8)), !dbg !7145 store i32 %arg1, ptr %ptr, align 4146 %gep = getelementptr i8, ptr %ptr, i32 3147 store i8 %arg2, ptr %gep, align 1148 %ret = load i8, ptr %ptr, align 4149 ret i8 %ret150}151 152; Combine extract_bits and fragment in a way such that the bottom 8 bits of153; the alloca are the top 8 bits of variable x and vice versa.154; FIXME: We currently don't handle this and generate no debug info155define i8 @test7(i32 %arg1, i8 %arg2) {156; CHECK-LABEL: define i8 @test7(157; CHECK-SAME: i32 [[ARG1:%.*]], i8 [[ARG2:%.*]]) {158; CHECK-NEXT: entry:159; CHECK-NEXT: [[PTR_SROA_0_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[ARG1]] to i8160; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 8161; CHECK-NEXT: [[PTR_SROA_2_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_2_0_EXTRACT_SHIFT]] to i16162; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_SHIFT:%.*]] = lshr i32 [[ARG1]], 24163; CHECK-NEXT: [[PTR_SROA_21_0_EXTRACT_TRUNC:%.*]] = trunc i32 [[PTR_SROA_21_0_EXTRACT_SHIFT]] to i8164; CHECK-NEXT: ret i8 [[PTR_SROA_0_0_EXTRACT_TRUNC]]165;166entry:167 %ptr = alloca i32, align 4168 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 8, DW_OP_LLVM_fragment, 24, 8)), !dbg !7169 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 8, 16, DW_OP_LLVM_fragment, 8, 16)), !dbg !7170 call void @llvm.dbg.declare(metadata ptr %ptr, metadata !2, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 24, 8, DW_OP_LLVM_fragment, 0, 8)), !dbg !7171 store i32 %arg1, ptr %ptr, align 4172 %gep = getelementptr i8, ptr %ptr, i32 3173 store i8 %arg2, ptr %gep, align 1174 %ret = load i8, ptr %ptr, align 4175 ret i8 %ret176}177 178!llvm.module.flags = !{!0, !1}179!0 = !{i32 7, !"Dwarf Version", i32 5}180!1 = !{i32 2, !"Debug Info Version", i32 3}181!2 = !DILocalVariable(name: "x", scope: !3, type: !6)182!3 = distinct !DISubprogram(name: "test", unit: !4)183!4 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !5, emissionKind: FullDebug)184!5 = !DIFile(filename: "dbg-bit-piece.cpp", directory: "")185!6 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)186!7 = !DILocation(line: 0, column: 0, scope: !3)187!8 = !DILocalVariable(name: "z", scope: !3, type: !6)188!9 = !DILocalVariable(name: "y", scope: !3, type: !10)189!10 = !DIBasicType(name: "signed int", size: 32, encoding: DW_ATE_signed)190!11 = !DILocalVariable(name: "x", scope: !3, type: !12)191!12 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)192 193;.194; CHECK: [[META2]] = !DILocalVariable(name: "x", scope: [[META3:![0-9]+]], type: [[META6:![0-9]+]])195; CHECK: [[META3]] = distinct !DISubprogram(name: "test", scope: null, spFlags: DISPFlagDefinition, unit: [[META4:![0-9]+]])196; CHECK: [[META4]] = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: [[META5:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)197; CHECK: [[META5]] = !DIFile(filename: "dbg-bit-piece.cpp", directory: "")198; CHECK: [[META6]] = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)199; CHECK: [[META7]] = !DILocation(line: 0, scope: [[META3]])200; CHECK: [[META8]] = !DILocalVariable(name: "y", scope: [[META3]], type: [[META9:![0-9]+]])201; CHECK: [[META9]] = !DIBasicType(name: "signed int", size: 32, encoding: DW_ATE_signed)202; CHECK: [[META10]] = !DILocalVariable(name: "z", scope: [[META3]], type: [[META6]])203; CHECK: [[META11]] = !DILocalVariable(name: "x", scope: [[META3]], type: [[META12:![0-9]+]])204; CHECK: [[META12]] = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)205;.206