; REQUIRES: webassembly-registered-target
; Test case 1 - General options.
; 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 basic details.
; The following command prints basic details for all the logical elements
; sorted by the debug information internal offset; it includes its lexical
; level and debug info format.
; RUN: llvm-mc -arch=wasm32 -filetype=obj \
; RUN: %p/Inputs/test-clang.s -o %t.test-clang.o
; RUN: llvm-debuginfo-analyzer --attribute=level,format \
; RUN: --output-sort=offset \
; RUN: --print=scopes,symbols,types,lines,instructions \
; RUN: %t.test-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=ONE %s
; RUN: llvm-debuginfo-analyzer --attribute=level,format \
; RUN: --output-sort=offset \
; RUN: --print=elements \
; RUN: %t.test-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=ONE %s
; ONE: Logical View:
; ONE-NEXT: [000] {File} '{{.*}}test-clang.o' -> WASM
; ONE-EMPTY:
; ONE-NEXT: [001] {CompileUnit} 'test.cpp'
; ONE-NEXT: [002] 2 {Function} extern not_inlined 'foo' -> 'int'
; ONE-NEXT: [003] 2 {Parameter} 'ParamPtr' -> 'INTPTR'
; ONE-NEXT: [003] 2 {Parameter} 'ParamUnsigned' -> 'unsigned int'
; ONE-NEXT: [003] 2 {Parameter} 'ParamBool' -> 'bool'
; ONE-NEXT: [003] {Block}
; ONE-NEXT: [004] 5 {Variable} 'CONSTANT' -> 'const INTEGER'
; ONE-NEXT: [004] 5 {Line}
; ONE-NEXT: [004] {Code} 'i32.const 7'
; ONE-NEXT: [004] {Code} 'local.set 10'
; ONE-NEXT: [004] {Code} 'local.get 5'
; ONE-NEXT: [004] {Code} 'local.get 10'
; ONE-NEXT: [004] {Code} 'i32.store 12'
; ONE-NEXT: [004] 6 {Line}
; ONE-NEXT: [004] {Code} 'i32.const 7'
; ONE-NEXT: [004] {Code} 'local.set 11'
; ONE-NEXT: [004] {Code} 'local.get 5'
; ONE-NEXT: [004] {Code} 'local.get 11'
; ONE-NEXT: [004] {Code} 'i32.store 28'
; ONE-NEXT: [004] {Code} 'br 1'
; ONE-NEXT: [004] - {Line}
; ONE-NEXT: [004] {Code} 'end'
; ONE-NEXT: [003] 4 {TypeAlias} 'INTEGER' -> 'int'
; ONE-NEXT: [003] 2 {Line}
; ONE-NEXT: [003] {Code} 'nop'
; ONE-NEXT: [003] {Code} 'end'
; ONE-NEXT: [003] {Code} 'i64.div_s'
; ONE-NEXT: [003] {Code} 'global.get 0'
; ONE-NEXT: [003] {Code} 'local.set 3'
; ONE-NEXT: [003] {Code} 'i32.const 32'
; ONE-NEXT: [003] {Code} 'local.set 4'
; ONE-NEXT: [003] {Code} 'local.get 3'
; ONE-NEXT: [003] {Code} 'local.get 4'
; ONE-NEXT: [003] {Code} 'i32.sub'
; ONE-NEXT: [003] {Code} 'local.set 5'
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'local.get 0'
; ONE-NEXT: [003] {Code} 'i32.store 24'
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'local.get 1'
; ONE-NEXT: [003] {Code} 'i32.store 20'
; ONE-NEXT: [003] {Code} 'local.get 2'
; ONE-NEXT: [003] {Code} 'local.set 6'
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'local.get 6'
; ONE-NEXT: [003] {Code} 'i32.store8 19'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'i32.load8_u 19'
; ONE-NEXT: [003] {Code} 'local.set 7'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'i32.const 1'
; ONE-NEXT: [003] {Code} 'local.set 8'
; ONE-NEXT: [003] {Code} 'local.get 7'
; ONE-NEXT: [003] {Code} 'local.get 8'
; ONE-NEXT: [003] {Code} 'i32.and'
; ONE-NEXT: [003] {Code} 'local.set 9'
; ONE-NEXT: [003] {Code} 'block'
; ONE-NEXT: [003] {Code} 'block'
; ONE-NEXT: [003] {Code} 'local.get 9'
; ONE-NEXT: [003] {Code} 'i32.eqz'
; ONE-NEXT: [003] {Code} 'br_if 0'
; ONE-NEXT: [003] 8 {Line}
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'i32.load 20'
; ONE-NEXT: [003] {Code} 'local.set 12'
; ONE-NEXT: [003] 8 {Line}
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'local.get 12'
; ONE-NEXT: [003] {Code} 'i32.store 28'
; ONE-NEXT: [003] - {Line}
; ONE-NEXT: [003] {Code} 'end'
; ONE-NEXT: [003] 9 {Line}
; ONE-NEXT: [003] {Code} 'local.get 5'
; ONE-NEXT: [003] {Code} 'i32.load 28'
; ONE-NEXT: [003] {Code} 'local.set 13'
; ONE-NEXT: [003] {Code} 'local.get 13'
; ONE-NEXT: [003] {Code} 'return'
; ONE-NEXT: [003] {Code} 'end'
; ONE-NEXT: [003] 9 {Line}
; ONE-NEXT: [003] {Code} 'unreachable'
; ONE-NEXT: [002] 1 {TypeAlias} 'INTPTR' -> '* const int'
Codebase Browser
llvm