; REQUIRES: webassembly-registered-target
; Test case 6 - Full logical view
; test.cpp
; 1 using INTPTR = const int *;
; 2 int foo(INTPTR ParamPtr, unsigned ParamUnsigned, bool ParamBool) {
; 3 if (ParamBool) {
; 4 typedef int INTEGER;
; 5 const INTEGER CONSTANT = 7;
; 6 return CONSTANT;
; 7 }
; 8 return ParamUnsigned;
; 9 }
; Print low level details.
; The following command prints low level information that includes
; offsets within the debug information section, debug location
; operands, linkage names, etc.
; RUN: llvm-mc -arch=wasm32 -filetype=obj \
; RUN: %p/Inputs/test-clang.s -o %t.test-clang.o
; RUN: llvm-debuginfo-analyzer --attribute=all \
; RUN: --print=all \
; RUN: %t.test-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=ONE %s
; ONE: Logical View:
; ONE-NEXT: [0x0000000000][000] {File} '{{.*}}test-clang.o' -> WASM
; ONE-EMPTY:
; ONE-NEXT: [0x000000000b][001] {CompileUnit} 'test.cpp'
; ONE-NEXT: [0x000000000b][002] {Producer} 'clang version 19{{.*}}'
; ONE-NEXT: {Directory} '{{.*}}/general'
; ONE-NEXT: {File} 'test.cpp'
; ONE-NEXT: {Public} 'foo' [0x0000000002:0x000000007f]
; ONE-NEXT: [0x000000000b][002] {Range} Lines 2:9 [0x0000000002:0x000000007f]
; ONE-NEXT: [0x00000000b3][002] {BaseType} 'bool'
; ONE-NEXT: [0x0000000090][002] {BaseType} 'int'
; ONE-NEXT: [0x00000000ac][002] {BaseType} 'unsigned int'
; ONE-EMPTY:
; ONE-NEXT: [0x0000000097][002] {Source} '{{.*}}general/test.cpp'
; ONE-NEXT: [0x0000000097][002] 1 {TypeAlias} 'INTPTR' -> [0x00000000a2]'* const int'
; ONE-NEXT: [0x0000000026][002] 2 {Function} extern not_inlined 'foo' -> [0x0000000090]'int'
; ONE-NEXT: [0x0000000026][003] {Range} Lines 2:9 [0x0000000002:0x000000007f]
; ONE-NEXT: [0x0000000026][003] {Linkage} 0x3 '_Z3fooPKijb'
; ONE-NEXT: [0x000000006c][003] {Block}
; ONE-NEXT: [0x000000006c][004] {Range} Lines 5:0 [0x000000004c:0x0000000064]
; ONE-NEXT: [0x0000000075][004] 5 {Variable} 'CONSTANT' -> [0x00000000ba]'const INTEGER'
; ONE-NEXT: [0x0000000075][005] {Coverage} 100.00%
; ONE-NEXT: [0x0000000076][005] {Location}
; ONE-NEXT: [0x0000000076][006] {Entry} fbreg 12
; ONE-NEXT: [0x000000004c][004] 5 {Line} {NewStatement} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x000000004c][004] {Code} 'i32.const 7'
; ONE-NEXT: [0x000000004e][004] {Code} 'local.set 10'
; ONE-NEXT: [0x0000000050][004] {Code} 'local.get 5'
; ONE-NEXT: [0x0000000052][004] {Code} 'local.get 10'
; ONE-NEXT: [0x0000000054][004] {Code} 'i32.store 12'
; ONE-NEXT: [0x0000000057][004] 6 {Line} {NewStatement} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000057][004] {Code} 'i32.const 7'
; ONE-NEXT: [0x0000000059][004] {Code} 'local.set 11'
; ONE-NEXT: [0x000000005b][004] {Code} 'local.get 5'
; ONE-NEXT: [0x000000005d][004] {Code} 'local.get 11'
; ONE-NEXT: [0x000000005f][004] {Code} 'i32.store 28'
; ONE-NEXT: [0x0000000062][004] {Code} 'br 1'
; ONE-NEXT: [0x0000000064][004] 0 {Line} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000064][004] {Code} 'end'
; ONE-NEXT: [0x000000005e][003] 2 {Parameter} 'ParamBool' -> [0x00000000b3]'bool'
; ONE-NEXT: [0x000000005e][004] {Coverage} 100.00%
; ONE-NEXT: [0x000000005f][004] {Location}
; ONE-NEXT: [0x000000005f][005] {Entry} fbreg 19
; ONE-NEXT: [0x0000000042][003] 2 {Parameter} 'ParamPtr' -> [0x0000000097]'INTPTR'
; ONE-NEXT: [0x0000000042][004] {Coverage} 100.00%
; ONE-NEXT: [0x0000000043][004] {Location}
; ONE-NEXT: [0x0000000043][005] {Entry} fbreg 24
; ONE-NEXT: [0x0000000050][003] 2 {Parameter} 'ParamUnsigned' -> [0x00000000ac]'unsigned int'
; ONE-NEXT: [0x0000000050][004] {Coverage} 100.00%
; ONE-NEXT: [0x0000000051][004] {Location}
; ONE-NEXT: [0x0000000051][005] {Entry} fbreg 20
; ONE-NEXT: [0x0000000084][003] 4 {TypeAlias} 'INTEGER' -> [0x0000000090]'int'
; ONE-NEXT: [0x0000000002][003] 2 {Line} {NewStatement} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000002][003] {Code} 'nop'
; ONE-NEXT: [0x0000000003][003] {Code} 'end'
; ONE-NEXT: [0x0000000004][003] {Code} 'i64.div_s'
; ONE-NEXT: [0x0000000005][003] {Code} 'global.get 0'
; ONE-NEXT: [0x000000000b][003] {Code} 'local.set 3'
; ONE-NEXT: [0x000000000d][003] {Code} 'i32.const 32'
; ONE-NEXT: [0x000000000f][003] {Code} 'local.set 4'
; ONE-NEXT: [0x0000000011][003] {Code} 'local.get 3'
; ONE-NEXT: [0x0000000013][003] {Code} 'local.get 4'
; ONE-NEXT: [0x0000000015][003] {Code} 'i32.sub'
; ONE-NEXT: [0x0000000016][003] {Code} 'local.set 5'
; ONE-NEXT: [0x0000000018][003] {Code} 'local.get 5'
; ONE-NEXT: [0x000000001a][003] {Code} 'local.get 0'
; ONE-NEXT: [0x000000001c][003] {Code} 'i32.store 24'
; ONE-NEXT: [0x000000001f][003] {Code} 'local.get 5'
; ONE-NEXT: [0x0000000021][003] {Code} 'local.get 1'
; ONE-NEXT: [0x0000000023][003] {Code} 'i32.store 20'
; ONE-NEXT: [0x0000000026][003] {Code} 'local.get 2'
; ONE-NEXT: [0x0000000028][003] {Code} 'local.set 6'
; ONE-NEXT: [0x000000002a][003] {Code} 'local.get 5'
; ONE-NEXT: [0x000000002c][003] {Code} 'local.get 6'
; ONE-NEXT: [0x000000002e][003] {Code} 'i32.store8 19'
; ONE-NEXT: [0x0000000031][003] 3 {Line} {NewStatement} {PrologueEnd} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000031][003] {Code} 'local.get 5'
; ONE-NEXT: [0x0000000033][003] {Code} 'i32.load8_u 19'
; ONE-NEXT: [0x0000000036][003] {Code} 'local.set 7'
; ONE-NEXT: [0x0000000038][003] 3 {Line} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000038][003] {Code} 'i32.const 1'
; ONE-NEXT: [0x000000003a][003] {Code} 'local.set 8'
; ONE-NEXT: [0x000000003c][003] {Code} 'local.get 7'
; ONE-NEXT: [0x000000003e][003] {Code} 'local.get 8'
; ONE-NEXT: [0x0000000040][003] {Code} 'i32.and'
; ONE-NEXT: [0x0000000041][003] {Code} 'local.set 9'
; ONE-NEXT: [0x0000000043][003] {Code} 'block'
; ONE-NEXT: [0x0000000045][003] {Code} 'block'
; ONE-NEXT: [0x0000000047][003] {Code} 'local.get 9'
; ONE-NEXT: [0x0000000049][003] {Code} 'i32.eqz'
; ONE-NEXT: [0x000000004a][003] {Code} 'br_if 0'
; ONE-NEXT: [0x0000000065][003] 8 {Line} {NewStatement} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000065][003] {Code} 'local.get 5'
; ONE-NEXT: [0x0000000067][003] {Code} 'i32.load 20'
; ONE-NEXT: [0x000000006a][003] {Code} 'local.set 12'
; ONE-NEXT: [0x000000006c][003] 8 {Line} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x000000006c][003] {Code} 'local.get 5'
; ONE-NEXT: [0x000000006e][003] {Code} 'local.get 12'
; ONE-NEXT: [0x0000000070][003] {Code} 'i32.store 28'
; ONE-NEXT: [0x0000000073][003] 0 {Line} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000073][003] {Code} 'end'
; ONE-NEXT: [0x0000000074][003] 9 {Line} {NewStatement} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x0000000074][003] {Code} 'local.get 5'
; ONE-NEXT: [0x0000000076][003] {Code} 'i32.load 28'
; ONE-NEXT: [0x0000000079][003] {Code} 'local.set 13'
; ONE-NEXT: [0x000000007b][003] {Code} 'local.get 13'
; ONE-NEXT: [0x000000007d][003] {Code} 'return'
; ONE-NEXT: [0x000000007e][003] {Code} 'end'
; ONE-NEXT: [0x000000007f][003] 9 {Line} {NewStatement} {EndSequence} '{{.*}}/general/test.cpp'
; ONE-NEXT: [0x000000007f][003] {Code} 'unreachable'
; ONE-EMPTY:
; ONE-NEXT: -----------------------------
; ONE-NEXT: Element Total Printed
; ONE-NEXT: -----------------------------
; ONE-NEXT: Scopes 3 3
; ONE-NEXT: Symbols 4 4
; ONE-NEXT: Types 5 5
; ONE-NEXT: Lines 73 73
; ONE-NEXT: -----------------------------
; ONE-NEXT: Total 85 85
; ONE-EMPTY:
; ONE-NEXT: Scope Sizes:
; ONE-NEXT: 180 (100.00%) : [0x000000000b][001] {CompileUnit} 'test.cpp'
; ONE-NEXT: 105 ( 58.33%) : [0x0000000026][002] 2 {Function} extern not_inlined 'foo' -> [0x0000000090]'int'
; ONE-NEXT: 23 ( 12.78%) : [0x000000006c][003] {Block}
; ONE-EMPTY:
; ONE-NEXT: Totals by lexical level:
; ONE-NEXT: [001]: 180 (100.00%)
; ONE-NEXT: [002]: 105 ( 58.33%)
; ONE-NEXT: [003]: 23 ( 12.78%)
Codebase Browser
llvm