174 lines · plain
1; RUN: opt -S -loop-reduce %s -o - | FileCheck %s2; REQUIRES: x86-registered-target3 4;; Ensure that we retain debuginfo for the induction variable and dependant5;; variables when loop strength reduction is applied to the loop. This test6;; covers the translation of a SCEVCastExpr to DIExpression containg 7;; DW_OP_LLVM_CONVERT. This IR produced from:8;;9;; clang -S -emit-llvm -Xclang -disable-llvm-passes -g lsr-basic.cpp -o10;; Then executing opt -O2 up to the the loopFullUnroll pass.11;; void mul_pow_of_2_to_shift(unsigned size, unsigned *data) {12;; 13;; void zext_scev(int64_t *arr, uint32_t factor0, int16_t factor1) {14;; uint32_t i = 0;15;; while(i < 63) {16;; uint32_t comp = factor0 - (4*i*factor1);17;; arr[i] = comp;18;; ++i;19;; }20;; }21; CHECK: #dbg_value(i64 %lsr.iv, ![[i:[0-9]+]], !DIExpression(),22; CHECK: #dbg_value(!DIArgList(i64 %lsr.iv, i16 %factor1, i32 %factor0), ![[comp:[0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_consts, 18446744073709551612, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_signed, DW_OP_mul, DW_OP_mul, DW_OP_LLVM_arg, 2, DW_OP_plus, DW_OP_stack_value),23; CHECK: #dbg_value(i64 %lsr.iv, ![[i]], !DIExpression(DW_OP_consts, 1, DW_OP_plus, DW_OP_stack_value),24; CHECK: ![[i]] = !DILocalVariable(name: "i"25; CHECK: ![[comp]] = !DILocalVariable(name: "comp"26 27target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"28target triple = "x86_64-unknown-linux-gnu"29 30define dso_local void @_Z9zext_scevPljs(ptr nocapture %arr, i32 %factor0, i16 signext %factor1) local_unnamed_addr !dbg !90 {31entry:32 call void @llvm.dbg.value(metadata ptr %arr, metadata !94, metadata !DIExpression()), !dbg !9533 call void @llvm.dbg.value(metadata i32 %factor0, metadata !96, metadata !DIExpression()), !dbg !9534 call void @llvm.dbg.value(metadata i16 %factor1, metadata !97, metadata !DIExpression()), !dbg !9535 call void @llvm.dbg.value(metadata i32 0, metadata !98, metadata !DIExpression()), !dbg !9536 %conv = sext i16 %factor1 to i3237 %mul.neg = mul i32 %conv, -438 call void @llvm.dbg.value(metadata i32 0, metadata !98, metadata !DIExpression()), !dbg !9539 br label %while.body, !dbg !9540 41while.body: ; preds = %while.body, %entry42 %i.04 = phi i32 [ 0, %entry ], [ %inc, %while.body ]43 call void @llvm.dbg.value(metadata i32 %i.04, metadata !98, metadata !DIExpression()), !dbg !9544 %mul1.neg = mul i32 %mul.neg, %i.04, !dbg !9945 %sub = add i32 %mul1.neg, %factor0, !dbg !9946 call void @llvm.dbg.value(metadata i32 %sub, metadata !101, metadata !DIExpression()), !dbg !9947 %conv2 = zext i32 %sub to i64, !dbg !9948 %idxprom = zext i32 %i.04 to i64, !dbg !9949 %arrayidx = getelementptr inbounds i64, ptr %arr, i64 %idxprom, !dbg !9950 store i64 %conv2, ptr %arrayidx, align 8, !dbg !9951 %inc = add nuw nsw i32 %i.04, 1, !dbg !9952 call void @llvm.dbg.value(metadata i32 %inc, metadata !98, metadata !DIExpression()), !dbg !9553 %cmp = icmp ult i32 %inc, 63, !dbg !9554 br i1 %cmp, label %while.body, label %while.end, !dbg !95, !llvm.loop !10255 56while.end: ; preds = %while.body57 ret void, !dbg !9558}59 60declare void @llvm.dbg.value(metadata, metadata, metadata)61 62attributes #0 = { nofree nosync nounwind readnone speculatable willreturn }63 64!llvm.dbg.cu = !{!0}65!llvm.module.flags = !{!84, !85, !86, !87, !88}66!llvm.ident = !{!89}67 68!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 13.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, imports: !3, splitDebugInlining: false, nameTableKind: None)69!1 = !DIFile(filename: "cast.cpp", directory: "/test")70!2 = !{}71!3 = !{!4, !12, !16, !20, !24, !27, !29, !31, !33, !35, !37, !39, !41, !44, !46, !51, !55, !59, !63, !65, !67, !69, !71, !73, !75, !77, !79, !82}72!4 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !6, file: !11, line: 48)73!5 = !DINamespace(name: "std", scope: null)74!6 = !DIDerivedType(tag: DW_TAG_typedef, name: "int8_t", file: !7, line: 24, baseType: !8)75!7 = !DIFile(filename: "/usr/include/x86_64-linux-gnu/bits/stdint-intn.h", directory: "")76!8 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int8_t", file: !9, line: 36, baseType: !10)77!9 = !DIFile(filename: "/usr/include/x86_64-linux-gnu/bits/types.h", directory: "")78!10 = !DIBasicType(name: "signed char", size: 8, encoding: DW_ATE_signed_char)79!11 = !DIFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/8/../../../../include/c++/8/cstdint", directory: "")80!12 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !13, file: !11, line: 49)81!13 = !DIDerivedType(tag: DW_TAG_typedef, name: "int16_t", file: !7, line: 25, baseType: !14)82!14 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int16_t", file: !9, line: 38, baseType: !15)83!15 = !DIBasicType(name: "short", size: 16, encoding: DW_ATE_signed)84!16 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !17, file: !11, line: 50)85!17 = !DIDerivedType(tag: DW_TAG_typedef, name: "int32_t", file: !7, line: 26, baseType: !18)86!18 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int32_t", file: !9, line: 40, baseType: !19)87!19 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)88!20 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !21, file: !11, line: 51)89!21 = !DIDerivedType(tag: DW_TAG_typedef, name: "int64_t", file: !7, line: 27, baseType: !22)90!22 = !DIDerivedType(tag: DW_TAG_typedef, name: "__int64_t", file: !9, line: 43, baseType: !23)91!23 = !DIBasicType(name: "long int", size: 64, encoding: DW_ATE_signed)92!24 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !25, file: !11, line: 53)93!25 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_fast8_t", file: !26, line: 68, baseType: !10)94!26 = !DIFile(filename: "/usr/include/stdint.h", directory: "")95!27 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !28, file: !11, line: 54)96!28 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_fast16_t", file: !26, line: 70, baseType: !23)97!29 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !30, file: !11, line: 55)98!30 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_fast32_t", file: !26, line: 71, baseType: !23)99!31 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !32, file: !11, line: 56)100!32 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_fast64_t", file: !26, line: 72, baseType: !23)101!33 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !34, file: !11, line: 58)102!34 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_least8_t", file: !26, line: 43, baseType: !10)103!35 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !36, file: !11, line: 59)104!36 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_least16_t", file: !26, line: 44, baseType: !15)105!37 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !38, file: !11, line: 60)106!38 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_least32_t", file: !26, line: 45, baseType: !19)107!39 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !40, file: !11, line: 61)108!40 = !DIDerivedType(tag: DW_TAG_typedef, name: "int_least64_t", file: !26, line: 47, baseType: !23)109!41 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !42, file: !11, line: 63)110!42 = !DIDerivedType(tag: DW_TAG_typedef, name: "intmax_t", file: !26, line: 111, baseType: !43)111!43 = !DIDerivedType(tag: DW_TAG_typedef, name: "__intmax_t", file: !9, line: 61, baseType: !23)112!44 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !45, file: !11, line: 64)113!45 = !DIDerivedType(tag: DW_TAG_typedef, name: "intptr_t", file: !26, line: 97, baseType: !23)114!46 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !47, file: !11, line: 66)115!47 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint8_t", file: !48, line: 24, baseType: !49)116!48 = !DIFile(filename: "/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h", directory: "")117!49 = !DIDerivedType(tag: DW_TAG_typedef, name: "__uint8_t", file: !9, line: 37, baseType: !50)118!50 = !DIBasicType(name: "unsigned char", size: 8, encoding: DW_ATE_unsigned_char)119!51 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !52, file: !11, line: 67)120!52 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint16_t", file: !48, line: 25, baseType: !53)121!53 = !DIDerivedType(tag: DW_TAG_typedef, name: "__uint16_t", file: !9, line: 39, baseType: !54)122!54 = !DIBasicType(name: "unsigned short", size: 16, encoding: DW_ATE_unsigned)123!55 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !56, file: !11, line: 68)124!56 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint32_t", file: !48, line: 26, baseType: !57)125!57 = !DIDerivedType(tag: DW_TAG_typedef, name: "__uint32_t", file: !9, line: 41, baseType: !58)126!58 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)127!59 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !60, file: !11, line: 69)128!60 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint64_t", file: !48, line: 27, baseType: !61)129!61 = !DIDerivedType(tag: DW_TAG_typedef, name: "__uint64_t", file: !9, line: 44, baseType: !62)130!62 = !DIBasicType(name: "long unsigned int", size: 64, encoding: DW_ATE_unsigned)131!63 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !64, file: !11, line: 71)132!64 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_fast8_t", file: !26, line: 81, baseType: !50)133!65 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !66, file: !11, line: 72)134!66 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_fast16_t", file: !26, line: 83, baseType: !62)135!67 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !68, file: !11, line: 73)136!68 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_fast32_t", file: !26, line: 84, baseType: !62)137!69 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !70, file: !11, line: 74)138!70 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_fast64_t", file: !26, line: 85, baseType: !62)139!71 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !72, file: !11, line: 76)140!72 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_least8_t", file: !26, line: 54, baseType: !50)141!73 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !74, file: !11, line: 77)142!74 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_least16_t", file: !26, line: 55, baseType: !54)143!75 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !76, file: !11, line: 78)144!76 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_least32_t", file: !26, line: 56, baseType: !58)145!77 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !78, file: !11, line: 79)146!78 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint_least64_t", file: !26, line: 58, baseType: !62)147!79 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !80, file: !11, line: 81)148!80 = !DIDerivedType(tag: DW_TAG_typedef, name: "uintmax_t", file: !26, line: 112, baseType: !81)149!81 = !DIDerivedType(tag: DW_TAG_typedef, name: "__uintmax_t", file: !9, line: 62, baseType: !62)150!82 = !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !5, entity: !83, file: !11, line: 82)151!83 = !DIDerivedType(tag: DW_TAG_typedef, name: "uintptr_t", file: !26, line: 100, baseType: !62)152!84 = !{i32 7, !"Dwarf Version", i32 4}153!85 = !{i32 2, !"Debug Info Version", i32 3}154!86 = !{i32 1, !"wchar_size", i32 4}155!87 = !{i32 7, !"uwtable", i32 1}156!88 = !{i32 7, !"frame-pointer", i32 2}157!89 = !{!"clang version 13.0.0"}158!90 = distinct !DISubprogram(name: "zext_scev", linkageName: "_Z9zext_scevPljs", scope: !1, file: !1, line: 4, type: !91, scopeLine: 4, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)159!91 = !DISubroutineType(types: !92)160!92 = !{null, !93, !56, !13}161!93 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !21, size: 64)162!94 = !DILocalVariable(name: "arr", arg: 1, scope: !90, file: !1, line: 4, type: !93)163!95 = !DILocation(line: 0, scope: !90)164!96 = !DILocalVariable(name: "factor0", arg: 2, scope: !90, file: !1, line: 4, type: !56)165!97 = !DILocalVariable(name: "factor1", arg: 3, scope: !90, file: !1, line: 4, type: !13)166!98 = !DILocalVariable(name: "i", scope: !90, file: !1, line: 5, type: !56)167!99 = !DILocation(line: 7, column: 39, scope: !100)168!100 = distinct !DILexicalBlock(scope: !90, file: !1, line: 6, column: 19)169!101 = !DILocalVariable(name: "comp", scope: !100, file: !1, line: 7, type: !56)170!102 = distinct !{!102, !103, !104, !105}171!103 = !DILocation(line: 6, column: 5, scope: !90)172!104 = !DILocation(line: 10, column: 5, scope: !90)173!105 = !{!"llvm.loop.mustprogress"}174