; REQUIRES: x86-registered-target
; * Added incorrect logical instructions for: --print=lines,instructions
; 'bar' and 'foo' showing extra instruction from compiler generated functions:
; '_cxx_global_var_init' and '_GLOBAL_sub_l_suite_lexical_01.cpp'
;
; * Missing logical instructions for: --print=instructions
; Only 'foo' showing logical instructions.
; pr-incorrect-instructions-dwarf-clang.cpp
; 1 int ABCDE = 56; int XYZ = ABCDE * 65;
; 2 int bar(int Param) {
; 3 return Param + 999999 * Param - 66;
; 4 }
; 5
; 6 int foo(int Param) {
; 7 return Param - bar(Param) / Param * 66 + ABCDE;
; 8 }
; 9
; 10 int test(int P1) {
; 11 int Local_1 = P1 - ABCDE;
; 12 {
; 13 int Local_A = 0;
; 14 Local_A = P1 + foo(Local_1);
; 15 ++Local_1;
; 16 }
; 17 return Local_1;
; 18 }
; 19
; 20 int main() {
; 21 return 0;
; 22 }
; RUN: llvm-debuginfo-analyzer --attribute=level \
; RUN: --print=lines,instructions \
; RUN: %p/Inputs/pr-incorrect-instructions-dwarf-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=ONE %s
; ONE: Logical View:
; ONE-NEXT: [000] {File} 'pr-incorrect-instructions-dwarf-clang.o'
; ONE-EMPTY:
; ONE-NEXT: [001] {CompileUnit} 'pr-incorrect-instructions-dwarf-clang.cpp'
; ONE-NEXT: [002] 2 {Function} extern not_inlined 'bar' -> 'int'
; ONE-NEXT: [003] 2 {Line}
; ONE-NEXT: [003] {Code} 'pushq %rbp'
; ONE-NEXT: [003] {Code} 'movq %rsp, %rbp'
; ONE-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'imull $0xf423f, -0x4(%rbp), %ecx'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'addl %ecx, %eax'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'subl $0x42, %eax'
; ONE-NEXT: [003] 3 {Line}
; ONE-NEXT: [003] {Code} 'popq %rbp'
; ONE-NEXT: [003] {Code} 'retq'
; ONE-NEXT: [002] 6 {Function} extern not_inlined 'foo' -> 'int'
; ONE-NEXT: [003] 6 {Line}
; ONE-NEXT: [003] {Code} 'pushq %rbp'
; ONE-NEXT: [003] {Code} 'movq %rsp, %rbp'
; ONE-NEXT: [003] {Code} 'subq $0x10, %rsp'
; ONE-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; ONE-NEXT: [003] {Code} 'movl %eax, -0x8(%rbp)'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'movl -0x4(%rbp), %edi'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'callq 0x0'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'cltd'
; ONE-NEXT: [003] {Code} 'idivl -0x4(%rbp)'
; ONE-NEXT: [003] {Code} 'movl %eax, %ecx'
; ONE-NEXT: [003] {Code} 'movl -0x8(%rbp), %eax'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'imull $0x42, %ecx, %ecx'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'subl %ecx, %eax'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'addl (%rip), %eax'
; ONE-NEXT: [003] 7 {Line}
; ONE-NEXT: [003] {Code} 'addq $0x10, %rsp'
; ONE-NEXT: [003] {Code} 'popq %rbp'
; ONE-NEXT: [003] {Code} 'retq'
; ONE-NEXT: [003] {Code} 'data16'
; ONE-NEXT: [002] 10 {Function} extern not_inlined 'test' -> 'int'
; ONE-NEXT: [003] {Block}
; ONE-NEXT: [004] 13 {Line}
; ONE-NEXT: [004] {Code} 'movl $0x0, -0xc(%rbp)'
; ONE-NEXT: [004] 14 {Line}
; ONE-NEXT: [004] {Code} 'movl -0x4(%rbp), %eax'
; ONE-NEXT: [004] {Code} 'movl %eax, -0x10(%rbp)'
; ONE-NEXT: [004] 14 {Line}
; ONE-NEXT: [004] {Code} 'movl -0x8(%rbp), %edi'
; ONE-NEXT: [004] 14 {Line}
; ONE-NEXT: [004] {Code} 'callq 0x0'
; ONE-NEXT: [004] {Code} 'movl %eax, %ecx'
; ONE-NEXT: [004] {Code} 'movl -0x10(%rbp), %eax'
; ONE-NEXT: [004] 14 {Line}
; ONE-NEXT: [004] {Code} 'addl %ecx, %eax'
; ONE-NEXT: [004] 14 {Line}
; ONE-NEXT: [004] {Code} 'movl %eax, -0xc(%rbp)'
; ONE-NEXT: [004] 15 {Line}
; ONE-NEXT: [004] {Code} 'movl -0x8(%rbp), %eax'
; ONE-NEXT: [004] {Code} 'addl $0x1, %eax'
; ONE-NEXT: [004] {Code} 'movl %eax, -0x8(%rbp)'
; ONE-NEXT: [004] 17 {Line}
; ONE-NEXT: [004] {Code} 'movl -0x8(%rbp), %eax'
; ONE-NEXT: [003] 10 {Line}
; ONE-NEXT: [003] {Code} 'pushq %rbp'
; ONE-NEXT: [003] {Code} 'movq %rsp, %rbp'
; ONE-NEXT: [003] {Code} 'subq $0x10, %rsp'
; ONE-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; ONE-NEXT: [003] 11 {Line}
; ONE-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; ONE-NEXT: [003] 11 {Line}
; ONE-NEXT: [003] {Code} 'subl (%rip), %eax'
; ONE-NEXT: [003] 11 {Line}
; ONE-NEXT: [003] {Code} 'movl %eax, -0x8(%rbp)'
; ONE-NEXT: [003] 17 {Line}
; ONE-NEXT: [003] {Code} 'addq $0x10, %rsp'
; ONE-NEXT: [003] {Code} 'popq %rbp'
; ONE-NEXT: [003] {Code} 'retq'
; ONE-NEXT: [002] 20 {Function} extern not_inlined 'main' -> 'int'
; ONE-NEXT: [003] 20 {Line}
; ONE-NEXT: [003] {Code} 'pushq %rbp'
; ONE-NEXT: [003] {Code} 'movq %rsp, %rbp'
; ONE-NEXT: [003] {Code} 'movl $0x0, -0x4(%rbp)'
; ONE-NEXT: [003] 21 {Line}
; ONE-NEXT: [003] {Code} 'xorl %eax, %eax'
; ONE-NEXT: [003] {Code} 'popq %rbp'
; ONE-NEXT: [003] {Code} 'retq'
; ONE-NEXT: [003] 21 {Line}
; RUN: llvm-debuginfo-analyzer --attribute=level \
; RUN: --print=instructions \
; RUN: %p/Inputs/pr-incorrect-instructions-dwarf-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=TWO %s
; TWO: Logical View:
; TWO-NEXT: [000] {File} 'pr-incorrect-instructions-dwarf-clang.o'
; TWO-EMPTY:
; TWO-NEXT: [001] {CompileUnit} 'pr-incorrect-instructions-dwarf-clang.cpp'
; TWO-NEXT: [002] 2 {Function} extern not_inlined 'bar' -> 'int'
; TWO-NEXT: [003] {Code} 'pushq %rbp'
; TWO-NEXT: [003] {Code} 'movq %rsp, %rbp'
; TWO-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; TWO-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; TWO-NEXT: [003] {Code} 'imull $0xf423f, -0x4(%rbp), %ecx'
; TWO-NEXT: [003] {Code} 'addl %ecx, %eax'
; TWO-NEXT: [003] {Code} 'subl $0x42, %eax'
; TWO-NEXT: [003] {Code} 'popq %rbp'
; TWO-NEXT: [003] {Code} 'retq'
; TWO-NEXT: [002] 6 {Function} extern not_inlined 'foo' -> 'int'
; TWO-NEXT: [003] {Code} 'pushq %rbp'
; TWO-NEXT: [003] {Code} 'movq %rsp, %rbp'
; TWO-NEXT: [003] {Code} 'subq $0x10, %rsp'
; TWO-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; TWO-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; TWO-NEXT: [003] {Code} 'movl %eax, -0x8(%rbp)'
; TWO-NEXT: [003] {Code} 'movl -0x4(%rbp), %edi'
; TWO-NEXT: [003] {Code} 'callq 0x0'
; TWO-NEXT: [003] {Code} 'cltd'
; TWO-NEXT: [003] {Code} 'idivl -0x4(%rbp)'
; TWO-NEXT: [003] {Code} 'movl %eax, %ecx'
; TWO-NEXT: [003] {Code} 'movl -0x8(%rbp), %eax'
; TWO-NEXT: [003] {Code} 'imull $0x42, %ecx, %ecx'
; TWO-NEXT: [003] {Code} 'subl %ecx, %eax'
; TWO-NEXT: [003] {Code} 'addl (%rip), %eax'
; TWO-NEXT: [003] {Code} 'addq $0x10, %rsp'
; TWO-NEXT: [003] {Code} 'popq %rbp'
; TWO-NEXT: [003] {Code} 'retq'
; TWO-NEXT: [003] {Code} 'data16'
; TWO-NEXT: [002] 10 {Function} extern not_inlined 'test' -> 'int'
; TWO-NEXT: [003] {Block}
; TWO-NEXT: [004] {Code} 'movl $0x0, -0xc(%rbp)'
; TWO-NEXT: [004] {Code} 'movl -0x4(%rbp), %eax'
; TWO-NEXT: [004] {Code} 'movl %eax, -0x10(%rbp)'
; TWO-NEXT: [004] {Code} 'movl -0x8(%rbp), %edi'
; TWO-NEXT: [004] {Code} 'callq 0x0'
; TWO-NEXT: [004] {Code} 'movl %eax, %ecx'
; TWO-NEXT: [004] {Code} 'movl -0x10(%rbp), %eax'
; TWO-NEXT: [004] {Code} 'addl %ecx, %eax'
; TWO-NEXT: [004] {Code} 'movl %eax, -0xc(%rbp)'
; TWO-NEXT: [004] {Code} 'movl -0x8(%rbp), %eax'
; TWO-NEXT: [004] {Code} 'addl $0x1, %eax'
; TWO-NEXT: [004] {Code} 'movl %eax, -0x8(%rbp)'
; TWO-NEXT: [004] {Code} 'movl -0x8(%rbp), %eax'
; TWO-NEXT: [003] {Code} 'pushq %rbp'
; TWO-NEXT: [003] {Code} 'movq %rsp, %rbp'
; TWO-NEXT: [003] {Code} 'subq $0x10, %rsp'
; TWO-NEXT: [003] {Code} 'movl %edi, -0x4(%rbp)'
; TWO-NEXT: [003] {Code} 'movl -0x4(%rbp), %eax'
; TWO-NEXT: [003] {Code} 'subl (%rip), %eax'
; TWO-NEXT: [003] {Code} 'movl %eax, -0x8(%rbp)'
; TWO-NEXT: [003] {Code} 'addq $0x10, %rsp'
; TWO-NEXT: [003] {Code} 'popq %rbp'
; TWO-NEXT: [003] {Code} 'retq'
; TWO-NEXT: [002] 20 {Function} extern not_inlined 'main' -> 'int'
; TWO-NEXT: [003] {Code} 'pushq %rbp'
; TWO-NEXT: [003] {Code} 'movq %rsp, %rbp'
; TWO-NEXT: [003] {Code} 'movl $0x0, -0x4(%rbp)'
; TWO-NEXT: [003] {Code} 'xorl %eax, %eax'
; TWO-NEXT: [003] {Code} 'popq %rbp'
; TWO-NEXT: [003] {Code} 'retq'
Codebase Browser
llvm