================
@@ -0,0 +1,74 @@
+;; Test RISC-V 64 bit:
+; RUN: llc -emit-call-site-info -stop-after=livedebugvalues
-mtriple=riscv64-linux-gnu -o - %s | FileCheck %s --check-prefix=CHECK64
+; RUN: llc -force-instr-ref-livedebugvalues=1 -emit-call-site-info
-stop-after=livedebugvalues -mtriple=riscv64-linux-gnu -o - %s | FileCheck %s
--check-prefix=CHECK64
+
+;; Built from source:
+;; extern long fn1(long,long,long);
+;; long fn2(long a, long b, long c) {
+;; long local = fn1(a+b, c, b+10);
+;; if (local > 10)
+;; return local + 10;
+;; return b;
+;; }
+;; Using command:
+;; clang -g -O2 -target riscv64-linux-gnu m.c -c -S -emit-llvm
+;; Confirm that info from callSites attribute is used as entry_value in
DIExpression.
+
+;; Test riscv64:
+; CHECK64: renamable $x10 = nsw ADD $x11, killed renamable $x10
+; CHECK64-NEXT: DBG_VALUE $x10, $noreg, !{{.*}},
!DIExpression(DW_OP_LLVM_entry_value, 1)
+
+; ModuleID = 'm.c'
+source_filename = "m.c"
+target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
+target triple = "riscv64-unknown-linux-gnu"
+
+; Function Attrs: nounwind uwtable
+define dso_local i64 @fn2(i64 noundef %a, i64 noundef %b, i64 noundef %c)
local_unnamed_addr #0 !dbg !14 {
+entry:
+ #dbg_value(i64 %a, !19, !DIExpression(), !23)
+ #dbg_value(i64 %b, !20, !DIExpression(), !23)
+ #dbg_value(i64 %c, !21, !DIExpression(), !23)
+ %add = add nsw i64 %b, %a, !dbg !24
+ %add1 = add nsw i64 %b, 10, !dbg !25
+ %call = tail call i64 @fn1(i64 noundef %add, i64 noundef %c, i64 noundef
%add1) #2, !dbg !26
+ #dbg_value(i64 %call, !22, !DIExpression(), !23)
+ %cmp = icmp sgt i64 %call, 10, !dbg !27
+ %add2 = add nuw nsw i64 %call, 10, !dbg !27
+ %retval.0 = select i1 %cmp, i64 %add2, i64 %b, !dbg !27
+ ret i64 %retval.0, !dbg !29
+}
+
+declare !dbg !30 i64 @fn1(i64 noundef, i64 noundef, i64 noundef)
local_unnamed_addr #1
+
+attributes #0 = { nounwind uwtable "target-cpu"="generic-rv64"
"target-features"="+64bit,+c,+m,+relax,+zicsr,+zmmul" }
+attributes #1 = { "target-cpu"="generic-rv64"
"target-features"="+64bit,+c,+m,+relax,+zicsr,+zmmul" }
+attributes #2 = { nounwind }
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!2, !3, !4}
+!llvm.ident = !{!5}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer:
"clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug,
splitDebugInlining: false, nameTableKind: None)
+!1 = !DIFile(filename: "m.c", directory: ".")
+!2 = !{i32 7, !"Dwarf Version", i32 5}
+!3 = !{i32 2, !"Debug Info Version", i32 3}
+!4 = !{i32 1, !"wchar_size", i32 4}
+!5 = !{!"clang"}
+!14 = distinct !DISubprogram(name: "fn2", scope: !1, file: !1, line: 2, type:
!15, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags:
DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !18)
+!15 = !DISubroutineType(types: !16)
+!16 = !{!17, !17, !17, !17}
+!17 = !DIBasicType(name: "long", size: 64, encoding: DW_ATE_signed)
+!18 = !{!19, !20, !21, !22}
+!19 = !DILocalVariable(name: "a", arg: 1, scope: !14, file: !1, line: 2, type:
!17)
+!20 = !DILocalVariable(name: "b", arg: 2, scope: !14, file: !1, line: 2, type:
!17)
+!21 = !DILocalVariable(name: "c", arg: 3, scope: !14, file: !1, line: 2, type:
!17)
+!22 = !DILocalVariable(name: "local", scope: !14, file: !1, line: 3, type: !17)
+!23 = !DILocation(line: 0, scope: !14)
+!24 = !DILocation(line: 3, column: 21, scope: !14)
+!25 = !DILocation(line: 3, column: 29, scope: !14)
+!26 = !DILocation(line: 3, column: 16, scope: !14)
+!27 = !DILocation(line: 4, column: 13, scope: !28)
+!28 = distinct !DILexicalBlock(scope: !14, file: !1, line: 4, column: 7)
+!29 = !DILocation(line: 7, column: 1, scope: !14)
----------------
mshockwave wrote:
are these needed?
https://github.com/llvm/llvm-project/pull/157703
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
