66 lines · plain
1;; Test RISC-V 32 bit:2; RUN: llc -emit-call-site-info -stop-after=livedebugvalues -mtriple=riscv32-linux-gnu -o - %s | FileCheck %s --check-prefix=CHECK323 4;; Built from source:5;; extern long fn1(long,long,long);6;; long fn2(long a, long b, long c) {7;; long local = fn1(a+b, c, b+10);8;; if (local > 10)9;; return local + 10;10;; return b;11;; }12;; Using command:13;; clang -g -O2 -target riscv32-linux-gnu m.c -c -S -emit-llvm14;; Confirm that info from callSites attribute is used as entry_value in DIExpression.15 16;; Test riscv32:17; CHECK32: $x10 = nsw ADD $x11, killed renamable $x1018; CHECK32-NEXT: DBG_VALUE $x10, $noreg, !{{.*}}, !DIExpression(DW_OP_LLVM_entry_value, 1)19 20; ModuleID = 'm.c'21source_filename = "m.c"22target datalayout = "e-m:e-p:32:32-i64:64-n32-S128"23target triple = "riscv32-unknown-linux-gnu"24 25; Function Attrs: nounwind uwtable26define i32 @fn2(i32 noundef %a, i32 noundef %b, i32 noundef %c) !dbg !14 {27entry:28 #dbg_value(i32 %a, !20, !DIExpression(), !23)29 #dbg_value(i32 %b, !21, !DIExpression(), !23)30 #dbg_value(i32 %c, !22, !DIExpression(), !23)31 %add = add nsw i32 %b, %a32 %add1 = add nsw i32 %b, 1033 %call = tail call i32 @fn1(i32 noundef %add, i32 noundef %c, i32 noundef %add1)34 #dbg_value(i32 %call, !22, !DIExpression(), !23)35 %cmp = icmp sgt i32 %call, 1036 %add2 = add nuw nsw i32 %call, 1037 %retval.0 = select i1 %cmp, i32 %add2, i32 %b38 ret i32 %retval.0, !dbg !2939}40 41declare !dbg !30 i32 @fn1(i32 noundef, i32 noundef, i32 noundef)42 43!llvm.dbg.cu = !{!0}44!llvm.module.flags = !{!2, !3, !4}45!llvm.ident = !{!5}46 47!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)48!1 = !DIFile(filename: "m.c", directory: ".")49!2 = !{i32 7, !"Dwarf Version", i32 5}50!3 = !{i32 2, !"Debug Info Version", i32 3}51!4 = !{i32 1, !"wchar_size", i32 4}52!5 = !{!"clang"}53!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)54!15 = !DISubroutineType(types: !16)55!16 = !{!17, !17, !17, !17}56!17 = !DIBasicType(name: "long", size: 64, encoding: DW_ATE_signed)57!18 = !{!19, !20, !21, !22}58!19 = !DILocalVariable(name: "a", arg: 1, scope: !14, file: !1, line: 2, type: !17)59!20 = !DILocalVariable(name: "b", arg: 2, scope: !14, file: !1, line: 2, type: !17)60!21 = !DILocalVariable(name: "c", arg: 3, scope: !14, file: !1, line: 2, type: !17)61!22 = !DILocalVariable(name: "local", scope: !14, file: !1, line: 3, type: !17)62!23 = !DILocation(line: 0, scope: !14)63!29 = !DILocation(line: 7, column: 1, scope: !14)64!30 = !DISubprogram(name: "fn1", scope: !1, file: !1, line: 1, type: !15, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)65 66