forked from llvm/llvm-project
-
Notifications
You must be signed in to change notification settings - Fork 93
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[WebAssembly] Add DBG_VALUE with local operands location in WebAssemb…
…lyExplicitLocals pass Extends DWARF expression larguage to express locals/globals locations. (via target-index operands) The WebAssemblyExplicitLocals can replace virtual registers to target-index() operand type at the time when WebAssembly backend introduces local.{get,set,tee} instead of corresponding virtual registers. Reviewers: aprantl, dschuff Differential Revision: https://reviews.llvm.org/D52634
- Loading branch information
1 parent
56b8425
commit 35afd41
Showing
15 changed files
with
171 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,74 @@ | ||
; RUN: llc < %s -stop-after=wasm-explicit-locals | FileCheck %s | ||
|
||
; Checks if DBG_VALUEs that correspond to new `local.{tee,set}` are | ||
; using `target-index(wasm-local-start)` operands. | ||
|
||
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" | ||
target triple = "wasm32-unknown-unknown-wasm" | ||
|
||
define hidden i32 @fib(i32 %n) local_unnamed_addr #0 !dbg !7 { | ||
; CHECK: body: | ||
entry: | ||
|
||
; CHECK: %[[REG1:.*]]:i32 = CONST_I32 1, | ||
; CHECK: LOCAL_SET_I32 [[LOOP_LOCAL:.*]], %[[REG1]], | ||
; CHECK: DBG_VALUE 1, $noreg, | ||
call void @llvm.dbg.value(metadata i32 1, metadata !16, metadata !DIExpression()), !dbg !19 | ||
%cmp8 = icmp sgt i32 %n, 0, !dbg !21 | ||
br i1 %cmp8, label %for.body, label %for.end, !dbg !24 | ||
|
||
for.body: ; preds = %entry, %for.body | ||
%b.011 = phi i32 [ %add, %for.body ], [ 1, %entry ] | ||
%a.010 = phi i32 [ %b.011, %for.body ], [ 0, %entry ] | ||
%i.09 = phi i32 [ %inc, %for.body ], [ 0, %entry ] | ||
|
||
; CHECK: %[[REG2:.*]]:i32 = LOCAL_GET_I32 [[LOOP_LOCAL]], | ||
; CHECK: %[[REG3:.*]]:i32 = LOCAL_TEE_I32 [[TMP_LOCAL:.*]], %[[REG2]], | ||
; CHECK: DBG_VALUE target-index(wasm-local-start) + [[TMP_LOCAL]], $noreg, | ||
call void @llvm.dbg.value(metadata i32 %b.011, metadata !16, metadata !DIExpression()), !dbg !19 | ||
|
||
; CHECK: %[[REG4:.*]]:i32 = nsw ADD_I32 | ||
; CHECK: LOCAL_SET_I32 [[LOOP_LOCAL]], %[[REG4]], | ||
; CHECK: DBG_VALUE target-index(wasm-local-start) + [[LOOP_LOCAL]], $noreg, | ||
%add = add nsw i32 %b.011, %a.010, !dbg !26 | ||
%inc = add nuw nsw i32 %i.09, 1, !dbg !28 | ||
call void @llvm.dbg.value(metadata i32 %add, metadata !16, metadata !DIExpression()), !dbg !19 | ||
%exitcond = icmp eq i32 %inc, %n, !dbg !21 | ||
br i1 %exitcond, label %for.end, label %for.body, !dbg !24, !llvm.loop !29 | ||
|
||
for.end: ; preds = %for.body, %entry | ||
%b.0.lcssa = phi i32 [ 1, %entry ], [ %add, %for.body ], !dbg !31 | ||
call void @llvm.dbg.value(metadata i32 %b.0.lcssa, metadata !16, metadata !DIExpression()), !dbg !19 | ||
ret i32 %b.0.lcssa, !dbg !32 | ||
} | ||
|
||
declare void @llvm.dbg.value(metadata, metadata, metadata) #1 | ||
|
||
!llvm.dbg.cu = !{!0} | ||
!llvm.module.flags = !{!4} | ||
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 8.0.0 ", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None) | ||
!1 = !DIFile(filename: "<unknown>", directory: "") | ||
!2 = !{} | ||
!4 = !{i32 2, !"Debug Info Version", i32 3} | ||
!7 = distinct !DISubprogram(name: "fib", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11) | ||
!8 = !DISubroutineType(types: !9) | ||
!9 = !{!10, !10} | ||
!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) | ||
!11 = !{!16} | ||
!16 = !DILocalVariable(name: "b", scope: !7, file: !1, line: 2, type: !10) | ||
!17 = !DILocation(line: 1, column: 13, scope: !7) | ||
!18 = !DILocation(line: 2, column: 13, scope: !7) | ||
!19 = !DILocation(line: 2, column: 20, scope: !7) | ||
!20 = !DILocation(line: 2, column: 7, scope: !7) | ||
!21 = !DILocation(line: 3, column: 17, scope: !22) | ||
!22 = distinct !DILexicalBlock(scope: !23, file: !1, line: 3, column: 3) | ||
!23 = distinct !DILexicalBlock(scope: !7, file: !1, line: 3, column: 3) | ||
!24 = !DILocation(line: 3, column: 3, scope: !23) | ||
!25 = !DILocation(line: 2, column: 10, scope: !7) | ||
!26 = !DILocation(line: 6, column: 7, scope: !27) | ||
!27 = distinct !DILexicalBlock(scope: !22, file: !1, line: 3, column: 27) | ||
!28 = !DILocation(line: 3, column: 23, scope: !22) | ||
!29 = distinct !{!29, !24, !30} | ||
!30 = !DILocation(line: 7, column: 3, scope: !23) | ||
!31 = !DILocation(line: 0, scope: !7) | ||
!32 = !DILocation(line: 8, column: 3, scope: !7) |