6462fad3d0
getMergedLocation uses a common parent scope of the two input locations for an output location. It doesn't consider the case when the common parent scope is from a file other than L1's and L2's files. In that case, it produces a merged location with an erroneous scope (https://github.com/llvm/llvm-project/issues/122846). In some cases, such as https://github.com/llvm/llvm-project/pull/125780#issuecomment-2651657856, L1, L2 having a common parent scope from another file indicate that the code at L1 and L2 is included from the same source location. With this commit, getMergedLocation detects that L1, L2, or their common parent scope files are different. If so, it assumes that L1 and L2 were included from some source location, and tries to attach the output location to a scope with the nearest common source location with regard to L1 and L2. If the nearest common location is also from another file, getMergedLocation returns it as a merged location, assuming that L1 and L2 belong to files that were both included in the nearest common location. Fixes https://github.com/llvm/llvm-project/issues/122846.
80 lines
2.9 KiB
LLVM
80 lines
2.9 KiB
LLVM
; RUN: opt -mtriple=aarch64-unknown-linux-gnu -S %s -passes=sroa -o - | FileCheck %s
|
|
|
|
; In this test we want to ensure that the merged location of phi instruction
|
|
; belongs to the correct scope (DILexicalBlockFile), so that line number
|
|
; of that location belongs to the corresponding file.
|
|
|
|
; Generated with clang from
|
|
; # 1 "1.c" 1
|
|
; # 1 "1.c" 2
|
|
; int foo(int a) {
|
|
; int i = 0;
|
|
; if ((a & 1) == 1) {
|
|
; a -= 1;
|
|
; # 1 "m.c" 1
|
|
; # 40 "m.c"
|
|
; i += a;
|
|
; i -= 10*a;
|
|
; i *= a*a;
|
|
; # 6 "1.c" 2
|
|
; } else {
|
|
; a += 3;
|
|
; # 1 "m.c" 1
|
|
; # 40 "m.c"
|
|
; i += a;
|
|
; i -= 10*a;
|
|
; i *= a*a;
|
|
; # 9 "1.c" 2
|
|
; }
|
|
; return i;
|
|
; }
|
|
|
|
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
|
|
target triple = "aarch64-unknown-linux-gnu"
|
|
|
|
define i32 @foo() !dbg !3 {
|
|
; CHECK: phi i32 {{.*}}, !dbg [[PHILOC:![0-9]+]]
|
|
;
|
|
entry:
|
|
%i = alloca i32, align 4
|
|
br i1 false, label %if.then, label %if.else
|
|
|
|
if.then: ; preds = %entry
|
|
store i32 1, ptr %i, align 4, !dbg !7
|
|
br label %if.end
|
|
|
|
if.else: ; preds = %entry
|
|
store i32 0, ptr %i, align 4, !dbg !12
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.else, %if.then
|
|
%0 = load i32, ptr %i, align 4
|
|
ret i32 0
|
|
}
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!2}
|
|
|
|
!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang version 21.0.0git", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
|
|
!1 = !DIFile(filename: "repro.c", directory: "")
|
|
!2 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!3 = distinct !DISubprogram(name: "foo", scope: !4, file: !4, line: 1, type: !5, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !6)
|
|
!4 = !DIFile(filename: "1.c", directory: "")
|
|
!5 = !DISubroutineType(types: !6)
|
|
!6 = !{}
|
|
!7 = !DILocation(line: 42, column: 3, scope: !8)
|
|
!8 = !DILexicalBlockFile(scope: !10, file: !9, discriminator: 0)
|
|
!9 = !DIFile(filename: "m.c", directory: "")
|
|
!10 = distinct !DILexicalBlock(scope: !11, file: !4, line: 3, column: 21)
|
|
!11 = distinct !DILexicalBlock(scope: !3, file: !4, line: 3, column: 7)
|
|
!12 = !DILocation(line: 42, column: 3, scope: !13)
|
|
!13 = !DILexicalBlockFile(scope: !14, file: !9, discriminator: 0)
|
|
!14 = distinct !DILexicalBlock(scope: !11, file: !4, line: 6, column: 9)
|
|
|
|
; CHECK: [[SP:![0-9]+]] = distinct !DISubprogram(name: "foo", scope: [[FILE1:![0-9]+]], file: [[FILE1]], line: 1
|
|
; CHECK: [[FILE1]] = !DIFile(filename: "1.c", directory: "")
|
|
; CHECK: [[PHILOC]] = !DILocation(line: 42, column: 3, scope: [[LBF:![0-9]+]])
|
|
; CHECK: [[LBF]] = !DILexicalBlockFile(scope: [[LB:![0-9]+]], file: [[FILE2:![0-9]+]], discriminator: 0)
|
|
; CHECK: [[FILE2]] = !DIFile(filename: "m.c", directory: "")
|
|
; CHECK: [[LB]] = distinct !DILexicalBlock(scope: [[SP]], file: [[FILE1]], line: 3, column: 7)
|