67 lines · plain
1; RUN: opt -passes=licm -verify-memoryssa -S < %s | FileCheck %s2 3; JumpThreading's hoistRegion() replaces the `fdiv` (%v6), of which the second4; operand (%v) is a loop invariant, with a loop invariant `fdiv` and a `fmul`.5; This test checks that the debug location propagates to the new `fmul` from6; the old `fdiv` it replaces in block `loop` and the debug location drop of new7; `fdiv`, which is hoisted to block `entry` after being created.8 9define zeroext i1 @invariant_denom(double %v) !dbg !5 {10; CHECK: entry:11; CHECK-NEXT: [[TMP0:%.*]] = fdiv fast double 1.000000e+00, [[V:%.*]]{{$}}12; CHECK: loop:13; CHECK: [[TMP1:%.*]] = fmul fast double {{.*}}, !dbg [[DBG12:![0-9]+]]14; CHECK: [[DBG12]] = !DILocation(line: 5,15;16entry:17 br label %loop, !dbg !818 19loop: ; preds = %loop, %entry20 %v3 = phi i32 [ 0, %entry ], [ %v11, %loop ], !dbg !921 %v4 = phi i32 [ 0, %entry ], [ %v12, %loop ], !dbg !1022 %v5 = uitofp i32 %v4 to double, !dbg !1123 %v6 = fdiv fast double %v5, %v, !dbg !1224 %v7 = fptoui double %v6 to i64, !dbg !1325 %v8 = and i64 %v7, 1, !dbg !1426 %v9 = xor i64 %v8, 1, !dbg !1527 %v10 = trunc i64 %v9 to i32, !dbg !1628 %v11 = add i32 %v10, %v3, !dbg !1729 %v12 = add nuw i32 %v4, 1, !dbg !1830 %v13 = icmp eq i32 %v12, -1, !dbg !1931 br i1 %v13, label %end, label %loop, !dbg !2032 33end: ; preds = %loop34 %v15 = phi i32 [ %v11, %loop ], !dbg !2135 %v16 = icmp ne i32 %v15, 0, !dbg !2236 ret i1 %v16, !dbg !2337}38 39!llvm.dbg.cu = !{!0}40!llvm.debugify = !{!2, !3}41!llvm.module.flags = !{!4}42 43!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)44!1 = !DIFile(filename: "test.ll", directory: "/")45!2 = !{i32 16}46!3 = !{i32 0}47!4 = !{i32 2, !"Debug Info Version", i32 3}48!5 = distinct !DISubprogram(name: "invariant_denom", linkageName: "invariant_denom", scope: null, file: !1, line: 1, type: !6, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)49!6 = !DISubroutineType(types: !7)50!7 = !{}51!8 = !DILocation(line: 1, column: 1, scope: !5)52!9 = !DILocation(line: 2, column: 1, scope: !5)53!10 = !DILocation(line: 3, column: 1, scope: !5)54!11 = !DILocation(line: 4, column: 1, scope: !5)55!12 = !DILocation(line: 5, column: 1, scope: !5)56!13 = !DILocation(line: 6, column: 1, scope: !5)57!14 = !DILocation(line: 7, column: 1, scope: !5)58!15 = !DILocation(line: 8, column: 1, scope: !5)59!16 = !DILocation(line: 9, column: 1, scope: !5)60!17 = !DILocation(line: 10, column: 1, scope: !5)61!18 = !DILocation(line: 11, column: 1, scope: !5)62!19 = !DILocation(line: 12, column: 1, scope: !5)63!20 = !DILocation(line: 13, column: 1, scope: !5)64!21 = !DILocation(line: 14, column: 1, scope: !5)65!22 = !DILocation(line: 15, column: 1, scope: !5)66!23 = !DILocation(line: 16, column: 1, scope: !5)67