| ; 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' |