llvm/test/Transforms/LoopStrengthReduce/pr51329.ll

   1 ; RUN: opt -S -loop-reduce %s | FileCheck %s\r
   2 ;\r
   3 ; Test that LSR SCEV-based salvaging does not crash when translating SCEVs\r
   4 ; that contain integers with binary representations greater than 64-bits. \r
   5 ; Also show that no salvaging attempt is made for dbg.value that are undef\r
   6 ; pre-LSR.\r
   7 ;\r
   8 ; CHECK: call void @llvm.dbg.value(metadata i64 undef, metadata !{{[0-9]+}}, metadata !DIExpression(DW_OP_plus_uconst, 228, DW_OP_stack_value))\r
   9 ; CHECK: call void @llvm.dbg.value(metadata i64 %var2, metadata !{{[0-9]+}}, metadata !DIExpression(DW_OP_plus_uconst, 228, DW_OP_stack_value))\r
  10 \r
  11 \r
  12 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"\r
  13 target triple = "x86_64-unknown-linux-gnu"\r
  14 \r
  15 ; Function Attrs: nofree nosync nounwind readnone speculatable willreturn\r
  16 declare void @llvm.dbg.value(metadata, metadata, metadata)\r
  17 \r
  18 ; Function Attrs: nounwind\r
  19 define hidden void @reproducer() local_unnamed_addr !dbg !5 {\r
  20 init:\r
  21   %0 = lshr i128 undef, 64\r
  22   %var1 = trunc i128 %0 to i64\r
  23   %1 = add nuw i64 undef, %var1\r
  24   %var2 = lshr i64 %1, 12\r
  25   br label %Label_d0\r
  26 \r
  27 Label_d0:                                         ; preds = %Label_d0, %init\r
  28   %var3 = phi i64 [ %var2, %init ], [ %var4, %Label_d0 ]\r
  29   call void @llvm.dbg.value(metadata i64 undef, metadata !11, metadata !DIExpression(DW_OP_plus_uconst, 228, DW_OP_stack_value)), !dbg !12\r
  30   call void @llvm.dbg.value(metadata i64 %var2, metadata !11, metadata !DIExpression(DW_OP_plus_uconst, 228, DW_OP_stack_value)), !dbg !12\r
  31   %var4 = add i64 %var3, -1\r
  32   %var5 = icmp eq i64 %var4, 0\r
  33   br i1 %var5, label %Label_1bc, label %Label_d0\r
  34 \r
  35 Label_1bc:                                        ; preds = %Label_d0\r
  36   ret void\r
  37 }\r
  38 \r
  39 !llvm.dbg.cu = !{!0}\r
  40 !llvm.module.flags = !{!3, !4}\r
  41 \r
  42 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "frontend", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)\r
  43 !1 = !DIFile(filename: "source", directory: "")\r
  44 !2 = !{}\r
  45 !3 = !{i32 2, !"Debug Info Version", i32 3}\r
  46 !4 = !{i32 1, !"wchar_size", i32 4}\r
  47 !5 = distinct !DISubprogram(name: "reproducer", scope: !1, file: !1, line: 904320, type: !6, scopeLine: 904320, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !10)\r
  48 !6 = !DISubroutineType(types: !7)\r
  49 !7 = !{null, !8, !9, !9, !9, !9, !9, !9}\r
  50 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)\r
  51 !9 = !DIBasicType(name: "my_type", size: 64, encoding: DW_ATE_unsigned)\r
  52 !10 = !{!11}\r
  53 !11 = !DILocalVariable(name: "my_var", arg: 1, scope: !5, file: !1, line: 904320, type: !8)\r
  54 !12 = !DILocation(line: 904544, scope: !5)