Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 5.49% |
---|
Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 5.49% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/src/Kripke/Kernel/LPlusTimes.cpp: 57 - 57 |
-------------------------------------------------------------------------------- |
57: rhs(d,g,z) += ell_plus(d, nm) * phi_out(nm, g, z); |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
0x3d2e0 PUSH %RBP |
0x3d2e1 MOV %RSP,%RBP |
0x3d2e4 PUSH %R15 |
0x3d2e6 PUSH %R14 |
0x3d2e8 PUSH %R13 |
0x3d2ea PUSH %R12 |
0x3d2ec PUSH %RBX |
0x3d2ed SUB $0x218,%RSP |
0x3d2f4 MOV %RDX,%RBX |
0x3d2f7 MOVL $0,-0x68(%RBP) |
0x3d2fe MOV (%R8),%RAX |
0x3d301 MOV %RAX,-0x198(%RBP) |
0x3d308 MOV 0x10(%R8),%RAX |
0x3d30c MOV %RAX,-0x30(%RBP) |
0x3d310 MOV 0x18(%R8),%RAX |
0x3d314 MOV %RAX,-0x58(%RBP) |
0x3d318 MOV 0x20(%R8),%RAX |
0x3d31c MOV %RAX,-0x190(%RBP) |
0x3d323 MOV 0x30(%R8),%RAX |
0x3d327 MOV %RAX,-0xb0(%RBP) |
0x3d32e MOV 0x38(%R8),%RAX |
0x3d332 MOV %RAX,-0xa8(%RBP) |
0x3d339 MOV 0x60(%R8),%RAX |
0x3d33d MOV %RAX,-0xa0(%RBP) |
0x3d344 MOV 0x68(%R8),%RAX |
0x3d348 MOV %RAX,-0x98(%RBP) |
0x3d34f MOV 0xa8(%R8),%RAX |
0x3d356 MOV %RAX,-0x90(%RBP) |
0x3d35d MOV 0xc0(%R8),%RAX |
0x3d364 MOV %RAX,-0x188(%RBP) |
0x3d36b MOV 0xf0(%R8),%R15 |
0x3d372 MOV 0x110(%R8),%R12 |
0x3d379 MOV 0x118(%R8),%RAX |
0x3d380 MOV %RAX,-0x88(%RBP) |
0x3d387 MOV 0x158(%R8),%R14 |
0x3d38e MOV (%RDI),%ESI |
0x3d390 MOV %R9,-0x130(%RBP) |
0x3d397 MOVQ $0,-0x138(%RBP) |
0x3d3a2 MOVQ $0x1,-0x238(%RBP) |
0x3d3ad SUB $0x8,%RSP |
0x3d3b1 LEA -0x238(%RBP),%RAX |
0x3d3b8 LEA 0x271f91(%RIP),%RDI |
0x3d3bf LEA -0x68(%RBP),%RCX |
0x3d3c3 LEA -0x138(%RBP),%R8 |
0x3d3ca LEA -0x130(%RBP),%R9 |
0x3d3d1 MOV %ESI,-0x64(%RBP) |
0x3d3d4 MOV $0x22,%EDX |
0x3d3d9 PUSH $0x1 |
0x3d3db PUSH $0x1 |
0x3d3dd PUSH %RAX |
0x3d3de CALL 99a0 <__kmpc_for_static_init_8@plt> |
0x3d3e3 ADD $0x20,%RSP |
0x3d3e7 MOV -0x138(%RBP),%RCX |
0x3d3ee MOV -0x130(%RBP),%RAX |
0x3d3f5 MOV %RCX,-0x80(%RBP) |
0x3d3f9 CMP %RAX,%RCX |
0x3d3fc JA 3dd61 |
0x3d402 MOV -0x58(%RBP),%RCX |
0x3d406 SUB -0x30(%RBP),%RCX |
0x3d40a MOV %RCX,-0xb8(%RBP) |
0x3d411 TEST %RCX,%RCX |
0x3d414 JLE 3dd61 |
0x3d41a MOV -0x80(%RBP),%RDX |
0x3d41e LEA 0x1(%RDX),%RCX |
0x3d422 INC %RAX |
0x3d425 CMP %RAX,%RCX |
0x3d428 CMOVG %RCX,%RAX |
0x3d42c NOT %RDX |
0x3d42f ADD %RAX,%RDX |
0x3d432 MOV %RDX,-0x178(%RBP) |
0x3d439 MOV -0x30(%RBP),%R8 |
0x3d43d IMUL %R12,%R8 |
0x3d441 MOV %R12,%RAX |
0x3d444 SAR $0x3f,%RAX |
0x3d448 ANDN %R12,%RAX,%RCX |
0x3d44d MOV -0x58(%RBP),%RAX |
0x3d451 MOV %RAX,%RDX |
0x3d454 MOV %RCX,-0x170(%RBP) |
0x3d45b IMUL %RCX,%RDX |
0x3d45f MOV %RDX,-0x168(%RBP) |
0x3d466 XOR %EDX,%EDX |
0x3d468 TEST %R12,%R12 |
0x3d46b MOV $0,%ECX |
0x3d470 CMOVS %R12,%RCX |
0x3d474 MOV %RCX,-0x160(%RBP) |
0x3d47b IMUL %RCX,%RAX |
0x3d47f MOV %RAX,-0x158(%RBP) |
0x3d486 MOV -0xb8(%RBP),%RAX |
0x3d48d DEC %RAX |
0x3d490 MOV %RAX,-0xc0(%RBP) |
0x3d497 SHR $0x6,%RAX |
0x3d49b MOV %RAX,-0x1c0(%RBP) |
0x3d4a2 MOV -0xa8(%RBP),%RAX |
0x3d4a9 MOV -0xb0(%RBP),%RCX |
0x3d4b0 SUB %RCX,%RAX |
0x3d4b3 MOV %RAX,-0x60(%RBP) |
0x3d4b7 DEC %RAX |
0x3d4ba MOV %RAX,-0x1a8(%RBP) |
0x3d4c1 SHR $0x6,%RAX |
0x3d4c5 MOV %RAX,-0x1d0(%RBP) |
0x3d4cc MOV %R12,%RAX |
0x3d4cf SAL $0x6,%RAX |
0x3d4d3 MOV %RAX,-0x128(%RBP) |
0x3d4da LEA (,%R12,8),%RAX |
0x3d4e2 MOV %RAX,-0x50(%RBP) |
0x3d4e6 MOV %RAX,%RSI |
0x3d4e9 SUB %R12,%RSI |
0x3d4ec MOV %RSI,-0x220(%RBP) |
0x3d4f3 LEA (,%RCX,8),%RAX |
0x3d4fb LEA (%RAX,%R8,8),%RAX |
0x3d4ff ADD %R14,%RAX |
0x3d502 MOV %RAX,-0x78(%RBP) |
0x3d506 MOV %R12,%RAX |
0x3d509 SAL $0x9,%RAX |
0x3d50d MOV %RAX,-0x1b8(%RBP) |
0x3d514 VMOVQ %RSI,%XMM0 |
0x3d519 LEA (%R12,%R12,1),%RAX |
0x3d51d MOV %RAX,-0x218(%RBP) |
0x3d524 LEA (%RAX,%RAX,2),%RSI |
0x3d528 MOV %RSI,-0x210(%RBP) |
0x3d52f VMOVQ %RSI,%XMM1 |
0x3d534 VPUNPCKLQDQ %XMM0,%XMM1,%XMM0 |
0x3d538 LEA (%R12,%R12,4),%RSI |
0x3d53c MOV %RSI,-0x1f8(%RBP) |
0x3d543 VMOVQ %RSI,%XMM1 |
0x3d548 LEA (,%R12,4),%RSI |
0x3d550 MOV %RSI,-0x1f0(%RBP) |
0x3d557 VMOVQ %RSI,%XMM2 |
0x3d55c VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 |
0x3d560 VINSERTI128 $0x1,%XMM0,%YMM1,%YMM0 |
0x3d566 LEA (%R12,%R12,2),%RSI |
0x3d56a MOV %RSI,-0x1e8(%RBP) |
0x3d571 VMOVQ %RSI,%XMM1 |
0x3d576 VMOVQ %RAX,%XMM2 |
0x3d57b VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 |
0x3d57f VMOVQ %R12,%XMM2 |
0x3d584 VPBROADCASTQ %R8,%YMM3 |
0x3d58a MOV -0x88(%RBP),%RAX |
0x3d591 LEA (,%RAX,8),%RAX |
0x3d599 MOV %RAX,-0x70(%RBP) |
0x3d59d MOV -0x90(%RBP),%RAX |
0x3d5a4 LEA (%RAX,%RCX,8),%RAX |
0x3d5a8 MOV %RAX,-0x150(%RBP) |
0x3d5af MOV -0x98(%RBP),%RAX |
0x3d5b6 LEA (,%RAX,8),%RAX |
0x3d5be MOV %RAX,-0x148(%RBP) |
0x3d5c5 MOV -0xa0(%RBP),%RAX |
0x3d5cc LEA (,%RAX,8),%RAX |
0x3d5d4 MOV %RAX,-0x140(%RBP) |
0x3d5db MOV %RBX,-0x180(%RBP) |
0x3d5e2 MOV %R15,-0x200(%RBP) |
0x3d5e9 MOV %R12,-0x228(%RBP) |
0x3d5f0 JMP 3d61f |
0x3d5f2 NOPW %CS:(%RAX,%RAX,1) |
(674) 0x3d600 MOV -0x1a0(%RBP),%RCX |
(674) 0x3d607 LEA 0x1(%RCX),%RDX |
(674) 0x3d60b CMP -0x178(%RBP),%RCX |
(674) 0x3d612 MOV -0x180(%RBP),%RBX |
(674) 0x3d619 JE 3dd61 |
(674) 0x3d61f MOV -0x80(%RBP),%RAX |
(674) 0x3d623 ADD %RDX,%RAX |
(674) 0x3d626 MOV %RAX,%RCX |
(674) 0x3d629 OR %RBX,%RCX |
(674) 0x3d62c SHR $0x20,%RCX |
(674) 0x3d630 MOV %RDX,-0x1a0(%RBP) |
(674) 0x3d637 JE 3d640 |
(674) 0x3d639 CQTO |
(674) 0x3d63b IDIV %RBX |
(674) 0x3d63e JMP 3d644 |
(674) 0x3d640 XOR %EDX,%EDX |
(674) 0x3d642 DIV %EBX |
(674) 0x3d644 ADD -0x198(%RBP),%RAX |
(674) 0x3d64b ADD -0x190(%RBP),%RDX |
(674) 0x3d652 MOV -0x88(%RBP),%RBX |
(674) 0x3d659 IMUL %RDX,%RBX |
(674) 0x3d65d MOV -0xa8(%RBP),%R11 |
(674) 0x3d664 MOV -0x30(%RBP),%R13 |
(674) 0x3d668 NOT %R13 |
(674) 0x3d66b MOV -0x170(%RBP),%RSI |
(674) 0x3d672 IMUL %R13,%RSI |
(674) 0x3d676 ADD %R11,%RSI |
(674) 0x3d679 ADD %R8,%RSI |
(674) 0x3d67c ADD -0x168(%RBP),%RSI |
(674) 0x3d683 ADD %RBX,%RSI |
(674) 0x3d686 LEA -0x8(%R14,%RSI,8),%R9 |
(674) 0x3d68b MOV -0x98(%RBP),%RSI |
(674) 0x3d692 MOV %RDX,-0x38(%RBP) |
(674) 0x3d696 IMUL %RDX,%RSI |
(674) 0x3d69a MOV -0xb0(%RBP),%R10 |
(674) 0x3d6a1 LEA (%R10,%RSI,1),%RCX |
(674) 0x3d6a5 MOV -0xa0(%RBP),%RDI |
(674) 0x3d6ac IMUL %RAX,%RDI |
(674) 0x3d6b0 ADD %RDI,%RCX |
(674) 0x3d6b3 MOV %RAX,%RDX |
(674) 0x3d6b6 MOV -0x90(%RBP),%RAX |
(674) 0x3d6bd LEA (%RAX,%RCX,8),%RCX |
(674) 0x3d6c1 CMP %RCX,%R9 |
(674) 0x3d6c4 SETAEB -0x48(%RBP) |
(674) 0x3d6c8 ADD %R11,%RSI |
(674) 0x3d6cb ADD %RDI,%RSI |
(674) 0x3d6ce LEA -0x8(%RAX,%RSI,8),%RSI |
(674) 0x3d6d3 MOV %RDX,%R11 |
(674) 0x3d6d6 ADD %R10,%RBX |
(674) 0x3d6d9 LEA (%RBX,%R8,1),%RAX |
(674) 0x3d6dd IMUL -0x160(%RBP),%R13 |
(674) 0x3d6e5 ADD -0x158(%RBP),%R13 |
(674) 0x3d6ec MOV %RAX,-0xe8(%RBP) |
(674) 0x3d6f3 ADD %RAX,%R13 |
(674) 0x3d6f6 LEA (%R14,%R13,8),%RAX |
(674) 0x3d6fa CMP %RAX,%RSI |
(674) 0x3d6fd SETAE %DIL |
(674) 0x3d701 MOV -0x188(%RBP),%R10 |
(674) 0x3d708 IMUL %RDX,%R10 |
(674) 0x3d70c MOV -0x58(%RBP),%RAX |
(674) 0x3d710 ADD %R10,%RAX |
(674) 0x3d713 MOV %R15,%RDX |
(674) 0x3d716 LEA -0x8(%R15,%RAX,8),%RAX |
(674) 0x3d71b CMP %RCX,%RAX |
(674) 0x3d71e SETB %AL |
(674) 0x3d721 ADD -0x30(%RBP),%R10 |
(674) 0x3d725 LEA (%R15,%R10,8),%R9 |
(674) 0x3d729 CMP %R9,%RSI |
(674) 0x3d72c SETB %SIL |
(674) 0x3d730 TEST %DIL,-0x48(%RBP) |
(674) 0x3d734 JNE 3dcf0 |
(674) 0x3d73a OR %SIL,%AL |
(674) 0x3d73d JE 3dcf0 |
(674) 0x3d743 MOV -0x148(%RBP),%RAX |
(674) 0x3d74a MOV -0x38(%RBP),%RDI |
(674) 0x3d74e IMUL %RDI,%RAX |
(674) 0x3d752 ADD -0x150(%RBP),%RAX |
(674) 0x3d759 IMUL -0x140(%RBP),%R11 |
(674) 0x3d761 ADD %RAX,%R11 |
(674) 0x3d764 MOV %R11,-0x1b0(%RBP) |
(674) 0x3d76b IMUL -0x70(%RBP),%RDI |
(674) 0x3d770 ADD -0x78(%RBP),%RDI |
(674) 0x3d774 LEA (%R14,%RBX,8),%RAX |
(674) 0x3d778 MOV %RAX,-0xc8(%RBP) |
(674) 0x3d77f VPBROADCASTQ %RBX,%YMM4 |
(674) 0x3d785 VPADDQ %YMM3,%YMM4,%YMM5 |
(674) 0x3d789 VPADDQ %YMM0,%YMM5,%YMM5 |
(674) 0x3d78d MOV -0xc0(%RBP),%RSI |
(674) 0x3d794 XOR %R13D,%R13D |
(674) 0x3d797 MOV -0x60(%RBP),%RCX |
(674) 0x3d79b MOV -0x128(%RBP),%R11 |
(674) 0x3d7a2 MOV -0x50(%RBP),%RDX |
(674) 0x3d7a6 MOV %R10,-0x100(%RBP) |
(674) 0x3d7ad JMP 3d7e7 |
0x3d7af NOP |
(677) 0x3d7b0 MOV %R9,%R15 |
(677) 0x3d7b3 LEA 0x1(%R13),%RAX |
(677) 0x3d7b7 MOV -0x1b8(%RBP),%RSI |
(677) 0x3d7be MOV -0x38(%RBP),%RDI |
(677) 0x3d7c2 ADD %RSI,%RDI |
(677) 0x3d7c5 ADD %RSI,-0xc8(%RBP) |
(677) 0x3d7cc MOV -0x1c8(%RBP),%RSI |
(677) 0x3d7d3 ADD $-0x40,%RSI |
(677) 0x3d7d7 CMP -0x1c0(%RBP),%R13 |
(677) 0x3d7de MOV %RAX,%R13 |
(677) 0x3d7e1 JE 3d600 |
(677) 0x3d7e7 MOV %RDI,-0x38(%RBP) |
(677) 0x3d7eb CMP $0x3f,%RSI |
(677) 0x3d7ef MOV $0x3f,%EAX |
(677) 0x3d7f4 MOV %RSI,-0x1c8(%RBP) |
(677) 0x3d7fb CMOVL %RSI,%RAX |
(677) 0x3d7ff MOV %RAX,%RSI |
(677) 0x3d802 MOV %R13,%RAX |
(677) 0x3d805 SAL $0x6,%RAX |
(677) 0x3d809 MOV %RAX,-0x118(%RBP) |
(677) 0x3d810 MOV %RAX,%RDI |
(677) 0x3d813 NOT %RDI |
(677) 0x3d816 ADD -0xb8(%RBP),%RDI |
(677) 0x3d81d CMP $0x3f,%RDI |
(677) 0x3d821 MOV $0x3f,%EAX |
(677) 0x3d826 CMOVGE %RAX,%RDI |
(677) 0x3d82a MOV %RDI,-0xf0(%RBP) |
(677) 0x3d831 TEST %RCX,%RCX |
(677) 0x3d834 MOV -0xe8(%RBP),%R12 |
(677) 0x3d83b MOV %R15,%R9 |
(677) 0x3d83e JLE 3d7b0 |
(677) 0x3d844 INC %RSI |
(677) 0x3d847 AND $-0x8,%RSI |
(677) 0x3d84b ADD -0x30(%RBP),%RSI |
(677) 0x3d84f IMUL %RDX,%RSI |
(677) 0x3d853 ADD -0xc8(%RBP),%RSI |
(677) 0x3d85a MOV %RSI,-0xd8(%RBP) |
(677) 0x3d861 MOV -0xf0(%RBP),%RAX |
(677) 0x3d868 INC %RAX |
(677) 0x3d86b MOV %RAX,-0xe0(%RBP) |
(677) 0x3d872 SHR $0x3,%RAX |
(677) 0x3d876 DEC %RAX |
(677) 0x3d879 MOV %RAX,-0x208(%RBP) |
(677) 0x3d880 MOV -0x1a8(%RBP),%RSI |
(677) 0x3d887 MOV -0x38(%RBP),%RAX |
(677) 0x3d88b MOV %RAX,-0xd0(%RBP) |
(677) 0x3d892 MOV -0x1b0(%RBP),%R15 |
(677) 0x3d899 XOR %EAX,%EAX |
(677) 0x3d89b MOV %R13,-0x48(%RBP) |
(677) 0x3d89f JMP 3d8f4 |
0x3d8a1 NOPW %CS:(%RAX,%RAX,1) |
(679) 0x3d8b0 MOV -0x1d8(%RBP),%RCX |
(679) 0x3d8b7 LEA 0x1(%RCX),%RAX |
(679) 0x3d8bb ADD $0x200,%R15 |
(679) 0x3d8c2 ADDQ $0x200,-0xd0(%RBP) |
(679) 0x3d8cd MOV -0x1e0(%RBP),%RSI |
(679) 0x3d8d4 ADD $-0x40,%RSI |
(679) 0x3d8d8 ADDQ $0x200,-0xd8(%RBP) |
(679) 0x3d8e3 CMP -0x1d0(%RBP),%RCX |
(679) 0x3d8ea MOV -0x60(%RBP),%RCX |
(679) 0x3d8ee JE 3d7b0 |
(679) 0x3d8f4 CMP $0x3f,%RSI |
(679) 0x3d8f8 MOV $0x3f,%EDI |
(679) 0x3d8fd MOV %RSI,-0x1e0(%RBP) |
(679) 0x3d904 CMOVL %RSI,%RDI |
(679) 0x3d908 INC %RDI |
(679) 0x3d90b MOV %RAX,-0x1d8(%RBP) |
(679) 0x3d912 SAL $0x6,%RAX |
(679) 0x3d916 MOV %RAX,-0xf8(%RBP) |
(679) 0x3d91d MOV %RAX,%RSI |
(679) 0x3d920 NOT %RSI |
(679) 0x3d923 ADD %RCX,%RSI |
(679) 0x3d926 CMP $0x3f,%RSI |
(679) 0x3d92a MOV $0x3f,%EAX |
(679) 0x3d92f CMOVGE %RAX,%RSI |
(679) 0x3d933 MOV %RSI,-0x40(%RBP) |
(679) 0x3d937 CMPQ $0x8,-0xe0(%RBP) |
(679) 0x3d93f MOV %RDI,-0x108(%RBP) |
(679) 0x3d946 JAE 3da30 |
(679) 0x3d94c MOV -0xe0(%RBP),%RCX |
(679) 0x3d953 MOV %RCX,%RAX |
(679) 0x3d956 AND $-0x8,%RAX |
(679) 0x3d95a CMP %RCX,%RAX |
(679) 0x3d95d JE 3d8b0 |
(679) 0x3d963 INCQ -0x40(%RBP) |
(679) 0x3d967 MOV -0xd8(%RBP),%RCX |
(679) 0x3d96e JMP 3d987 |
(681) 0x3d970 LEA 0x1(%RAX),%RSI |
(681) 0x3d974 ADD %RDX,%RCX |
(681) 0x3d977 CMP -0xf0(%RBP),%RAX |
(681) 0x3d97e MOV %RSI,%RAX |
(681) 0x3d981 JE 3d8b0 |
(681) 0x3d987 MOV -0x118(%RBP),%RSI |
(681) 0x3d98e ADD %RAX,%RSI |
(681) 0x3d991 ADD %R10,%RSI |
(681) 0x3d994 VMOVSD (%R9,%RSI,8),%XMM6 |
(681) 0x3d99a MOV -0x40(%RBP),%RSI |
(681) 0x3d99e AND $-0x4,%RSI |
(681) 0x3d9a2 JE 3da00 |
(681) 0x3d9a4 MOV %R9,%R10 |
(681) 0x3d9a7 LEA -0x1(%RSI),%RDI |
(681) 0x3d9ab VBROADCASTSD %XMM6,%YMM7 |
(681) 0x3d9b0 XOR %R9D,%R9D |
(681) 0x3d9b3 NOPW %CS:(%RAX,%RAX,1) |
(682) 0x3d9c0 VMOVUPD (%RCX,%R9,8),%YMM8 |
(682) 0x3d9c6 VFMADD213PD (%R15,%R9,8),%YMM7,%YMM8 |
(682) 0x3d9cc VMOVUPD %YMM8,(%R15,%R9,8) |
(682) 0x3d9d2 ADD $0x4,%R9 |
(682) 0x3d9d6 CMP %RDI,%R9 |
(682) 0x3d9d9 JLE 3d9c0 |
(681) 0x3d9db CMP %RSI,-0x40(%RBP) |
(681) 0x3d9df MOV %R10,%R9 |
(681) 0x3d9e2 MOV -0x100(%RBP),%R10 |
(681) 0x3d9e9 MOV -0x108(%RBP),%RDI |
(681) 0x3d9f0 JNE 3da10 |
(681) 0x3d9f2 JMP 3d970 |
0x3d9f7 NOPW (%RAX,%RAX,1) |
(681) 0x3da00 XOR %ESI,%ESI |
(681) 0x3da02 NOPW %CS:(%RAX,%RAX,1) |
(680) 0x3da10 VMOVSD (%RCX,%RSI,8),%XMM7 |
(680) 0x3da15 VFMADD213SD (%R15,%RSI,8),%XMM6,%XMM7 |
(680) 0x3da1b VMOVSD %XMM7,(%R15,%RSI,8) |
(680) 0x3da21 INC %RSI |
(680) 0x3da24 CMP %RSI,%RDI |
(680) 0x3da27 JNE 3da10 |
(681) 0x3da29 JMP 3d970 |
0x3da2e XCHG %AX,%AX |
(679) 0x3da30 MOV -0x40(%RBP),%RAX |
(679) 0x3da34 INC %RAX |
(679) 0x3da37 MOV %RAX,-0x110(%RBP) |
(679) 0x3da3e MOV -0xd0(%RBP),%RCX |
(679) 0x3da45 XOR %ESI,%ESI |
(679) 0x3da47 JMP 3da75 |
0x3da49 NOPL (%RAX) |
(683) 0x3da50 LEA 0x1(%RSI),%RAX |
(683) 0x3da54 MOV -0x120(%RBP),%RCX |
(683) 0x3da5b ADD %R11,%RCX |
(683) 0x3da5e CMP -0x208(%RBP),%RSI |
(683) 0x3da65 MOV %RAX,%RSI |
(683) 0x3da68 MOV -0x200(%RBP),%R9 |
(683) 0x3da6f JE 3d94c |
(683) 0x3da75 MOV %RCX,-0x120(%RBP) |
(683) 0x3da7c MOV -0x118(%RBP),%RAX |
(683) 0x3da83 LEA (%RAX,%RSI,8),%RAX |
(683) 0x3da87 ADD %R10,%RAX |
(683) 0x3da8a VMOVUPD (%R9,%RAX,8),%YMM6 |
(683) 0x3da90 VMOVUPD 0x20(%R9,%RAX,8),%YMM7 |
(683) 0x3da97 MOV -0x110(%RBP),%RCX |
(683) 0x3da9e AND $-0x4,%RCX |
(683) 0x3daa2 JE 3dc10 |
(683) 0x3daa8 LEA -0x1(%RCX),%RAX |
(683) 0x3daac MOV %RAX,-0x230(%RBP) |
(683) 0x3dab3 VBROADCASTSD %XMM6,%YMM8 |
(683) 0x3dab8 VXORPS %XMM9,%XMM9,%XMM9 |
(683) 0x3dabd VPERMPD $0x55,%YMM6,%YMM9 |
(683) 0x3dac3 VXORPS %XMM10,%XMM10,%XMM10 |
(683) 0x3dac8 VPERMPD $-0x56,%YMM6,%YMM10 |
(683) 0x3dace VPERMPD $-0x1,%YMM6,%YMM11 |
(683) 0x3dad4 VBROADCASTSD %XMM7,%YMM12 |
(683) 0x3dad9 VPERMPD $0x55,%YMM7,%YMM13 |
(683) 0x3dadf VPERMPD $-0x56,%YMM7,%YMM14 |
(683) 0x3dae5 VPERMPD $-0x1,%YMM7,%YMM15 |
(683) 0x3daeb XOR %EAX,%EAX |
(683) 0x3daed MOV -0x1f8(%RBP),%R10 |
(683) 0x3daf4 MOV -0x1f0(%RBP),%RDX |
(683) 0x3dafb MOV -0x1e8(%RBP),%R12 |
(683) 0x3db02 MOV -0xf8(%RBP),%R9 |
(683) 0x3db09 MOV -0x120(%RBP),%RDI |
(684) 0x3db10 MOV %R11,%R13 |
(684) 0x3db13 IMUL -0x48(%RBP),%R13 |
(684) 0x3db18 ADD %R9,%R13 |
(684) 0x3db1b MOV -0x50(%RBP),%R11 |
(684) 0x3db1f IMUL %RSI,%R11 |
(684) 0x3db23 ADD %RAX,%R11 |
(684) 0x3db26 VMOVUPD (%RDI,%RAX,8),%YMM16 |
(684) 0x3db2d VFMADD213PD (%R15,%RAX,8),%YMM8,%YMM16 |
(684) 0x3db34 ADD %R13,%R11 |
(684) 0x3db37 MOV -0x228(%RBP),%R13 |
(684) 0x3db3e ADD %RBX,%R13 |
(684) 0x3db41 ADD %R8,%R13 |
(684) 0x3db44 ADD %R11,%R13 |
(684) 0x3db47 VFMADD231PD (%R14,%R13,8),%YMM9,%YMM16 |
(684) 0x3db4e MOV -0x218(%RBP),%R13 |
(684) 0x3db55 ADD %RBX,%R13 |
(684) 0x3db58 ADD %R8,%R13 |
(684) 0x3db5b ADD %R11,%R13 |
(684) 0x3db5e VFMADD231PD (%R14,%R13,8),%YMM10,%YMM16 |
(684) 0x3db65 LEA (%RBX,%R12,1),%R13 |
(684) 0x3db69 ADD %R8,%R13 |
(684) 0x3db6c ADD %R11,%R13 |
(684) 0x3db6f VFMADD231PD (%R14,%R13,8),%YMM11,%YMM16 |
(684) 0x3db76 LEA (%RBX,%RDX,1),%R13 |
(684) 0x3db7a ADD %R8,%R13 |
(684) 0x3db7d ADD %R11,%R13 |
(684) 0x3db80 VFMADD231PD (%R14,%R13,8),%YMM12,%YMM16 |
(684) 0x3db87 LEA (%RBX,%R10,1),%R13 |
(684) 0x3db8b ADD %R8,%R13 |
(684) 0x3db8e ADD %R11,%R13 |
(684) 0x3db91 VFMADD231PD (%R14,%R13,8),%YMM13,%YMM16 |
(684) 0x3db98 MOV -0x210(%RBP),%R13 |
(684) 0x3db9f ADD %RBX,%R13 |
(684) 0x3dba2 ADD %R8,%R13 |
(684) 0x3dba5 ADD %R11,%R13 |
(684) 0x3dba8 VFMADD231PD (%R14,%R13,8),%YMM14,%YMM16 |
(684) 0x3dbaf MOV -0x220(%RBP),%R13 |
(684) 0x3dbb6 ADD %RBX,%R13 |
(684) 0x3dbb9 ADD %R8,%R13 |
(684) 0x3dbbc ADD %R11,%R13 |
(684) 0x3dbbf MOV -0x128(%RBP),%R11 |
(684) 0x3dbc6 VFMADD231PD (%R14,%R13,8),%YMM15,%YMM16 |
(684) 0x3dbcd VMOVUPD %YMM16,(%R15,%RAX,8) |
(684) 0x3dbd4 ADD $0x4,%RAX |
(684) 0x3dbd8 CMP -0x230(%RBP),%RAX |
(684) 0x3dbdf JLE 3db10 |
(683) 0x3dbe5 CMP %RCX,-0x110(%RBP) |
(683) 0x3dbec MOV -0x50(%RBP),%RDX |
(683) 0x3dbf0 MOV -0x100(%RBP),%R10 |
(683) 0x3dbf7 MOV -0xe8(%RBP),%R12 |
(683) 0x3dbfe MOV -0x48(%RBP),%R13 |
(683) 0x3dc02 MOV -0x108(%RBP),%RDI |
(683) 0x3dc09 JNE 3dc20 |
(683) 0x3dc0b JMP 3da50 |
(683) 0x3dc10 XOR %ECX,%ECX |
(683) 0x3dc12 MOV -0xf8(%RBP),%R9 |
(683) 0x3dc19 NOPL (%RAX) |
(678) 0x3dc20 MOV %R11,%RAX |
(678) 0x3dc23 IMUL %R13,%RAX |
(678) 0x3dc27 ADD %R9,%RAX |
(678) 0x3dc2a VMOVQ %RAX,%XMM8 |
(678) 0x3dc2f MOV %RDX,%RAX |
(678) 0x3dc32 IMUL %RSI,%RAX |
(678) 0x3dc36 VMOVQ %RAX,%XMM9 |
(678) 0x3dc3b VPUNPCKLQDQ %XMM4,%XMM8,%XMM8 |
(678) 0x3dc3f VINSERTI128 $0x1,%XMM4,%YMM8,%YMM8 |
(678) 0x3dc45 VPUNPCKLQDQ %XMM2,%XMM9,%XMM9 |
(678) 0x3dc49 VINSERTI128 $0x1,%XMM1,%YMM9,%YMM9 |
(678) 0x3dc4f VMOVQ %RCX,%XMM10 |
(678) 0x3dc54 VPUNPCKLQDQ %XMM3,%XMM10,%XMM10 |
(678) 0x3dc58 VINSERTI128 $0x1,%XMM3,%YMM10,%YMM10 |
(678) 0x3dc5e VPADDQ %YMM10,%YMM9,%YMM9 |
(678) 0x3dc63 VPADDQ %YMM9,%YMM8,%YMM8 |
(678) 0x3dc68 VPBROADCASTQ %XMM8,%XMM9 |
(678) 0x3dc6d VPINSRQ $0,%R12,%XMM9,%XMM9 |
(678) 0x3dc73 VXORPS %XMM10,%XMM10,%XMM10 |
(678) 0x3dc78 VPERMQ $0x54,%YMM9,%YMM10 |
(678) 0x3dc7e VPADDQ %YMM10,%YMM8,%YMM8 |
(678) 0x3dc83 KXNORW %K0,%K0,%K1 |
(678) 0x3dc87 VPXOR %XMM10,%XMM10,%XMM10 |
(678) 0x3dc8c VGATHERQPD (%R14,%YMM8,8),%YMM10{%K1} |
(678) 0x3dc93 VXORPS %XMM8,%XMM8,%XMM8 |
(678) 0x3dc98 VPERMQ $0x55,%YMM9,%YMM8 |
(678) 0x3dc9e VPADDQ %YMM5,%YMM8,%YMM8 |
(678) 0x3dca2 KXNORW %K0,%K0,%K1 |
(678) 0x3dca6 VPXOR %XMM9,%XMM9,%XMM9 |
(678) 0x3dcab VGATHERQPD (%R14,%YMM8,8),%YMM9{%K1} |
(678) 0x3dcb2 VMULPD %YMM7,%YMM9,%YMM8 |
(678) 0x3dcb6 VFMADD231PD %YMM10,%YMM6,%YMM8 |
(678) 0x3dcbb VEXTRACTF128 $0x1,%YMM8,%XMM9 |
(678) 0x3dcc1 VADDPD %XMM9,%XMM8,%XMM8 |
(678) 0x3dcc6 VSHUFPD $0x1,%XMM8,%XMM8,%XMM9 |
(678) 0x3dccc VADDSD %XMM9,%XMM8,%XMM8 |
(678) 0x3dcd1 VADDSD (%R15,%RCX,8),%XMM8,%XMM8 |
(678) 0x3dcd7 VMOVSD %XMM8,(%R15,%RCX,8) |
(678) 0x3dcdd INC %RCX |
(678) 0x3dce0 CMP %RCX,%RDI |
(678) 0x3dce3 JNE 3dc20 |
(683) 0x3dce9 JMP 3da50 |
0x3dcee XCHG %AX,%AX |
(674) 0x3dcf0 MOV -0x38(%RBP),%R9 |
(674) 0x3dcf4 IMUL -0x70(%RBP),%R9 |
(674) 0x3dcf9 ADD -0x78(%RBP),%R9 |
(674) 0x3dcfd XOR %EAX,%EAX |
(674) 0x3dcff MOV -0x60(%RBP),%RDI |
(674) 0x3dd03 JMP 3dd2b |
0x3dd05 NOPW %CS:(%RAX,%RAX,1) |
(675) 0x3dd10 LEA 0x1(%RAX),%RDX |
(675) 0x3dd14 ADD -0x50(%RBP),%R9 |
(675) 0x3dd18 CMP -0xc0(%RBP),%RAX |
(675) 0x3dd1f MOV %RDX,%RAX |
(675) 0x3dd22 MOV %R11,%R10 |
(675) 0x3dd25 JE 3d600 |
(675) 0x3dd2b MOV %R10,%R11 |
(675) 0x3dd2e TEST %RDI,%RDI |
(675) 0x3dd31 JLE 3dd10 |
(675) 0x3dd33 MOV %R15,%R10 |
(675) 0x3dd36 LEA (%R11,%RAX,1),%RDX |
(675) 0x3dd3a XOR %ESI,%ESI |
(675) 0x3dd3c NOPL (%RAX) |
(676) 0x3dd40 VMOVSD (%R9,%RSI,8),%XMM4 |
(676) 0x3dd46 VMOVSD (%R10,%RDX,8),%XMM5 |
(676) 0x3dd4c VFMADD213SD (%RCX,%RSI,8),%XMM4,%XMM5 |
(676) 0x3dd52 VMOVSD %XMM5,(%RCX,%RSI,8) |
(676) 0x3dd57 INC %RSI |
(676) 0x3dd5a CMP %RSI,%RDI |
(676) 0x3dd5d JNE 3dd40 |
(675) 0x3dd5f JMP 3dd10 |
0x3dd61 LEA 0x271608(%RIP),%RDI |
0x3dd68 MOV -0x64(%RBP),%ESI |
0x3dd6b ADD $0x218,%RSP |
0x3dd72 POP %RBX |
0x3dd73 POP %R12 |
0x3dd75 POP %R13 |
0x3dd77 POP %R14 |
0x3dd79 POP %R15 |
0x3dd7b POP %RBP |
0x3dd7c VZEROUPPER |
0x3dd7f JMP 98d0 |
0x3dd84 NOPW %CS:(%RAX,%RAX,1) |
0x3dd8e XCHG %AX,%AX |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 174 |
nb uops | 176 |
loop length | 894 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 3 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 45 |
micro-operation queue | 29.33 cycles |
front end | 29.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 7.50 | 7.60 | 12.00 | 12.00 | 27.50 | 9.00 | 7.50 | 27.50 | 27.50 | 27.50 | 7.40 | 12.00 |
cycles | 7.50 | 7.60 | 12.00 | 12.00 | 27.50 | 9.00 | 7.50 | 27.50 | 27.50 | 27.50 | 7.40 | 12.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 29.11 |
Stall cycles | 0.00 |
Front-end | 29.33 |
Dispatch | 27.50 |
Overall L1 | 29.33 |
all | 2% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 10% |
all | 12% |
load | 9% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 13% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x218,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOVL $0,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x238(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x271f91(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x68(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x138(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x130(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x64(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x138(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x130(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 3dd61 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa81> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x58(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB -0x30(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RCX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JLE 3dd61 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa81> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x80(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x30(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
IMUL %R12,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %R12,%RAX,%RCX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x58(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDX,%EDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R12,%R12 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ECX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R12,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xb0(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R12,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R12,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%R8,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R14,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (%R12,%R12,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM0,%XMM1,%XMM0 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
LEA (%R12,%R12,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (,%R12,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VINSERTI128 $0x1,%XMM0,%YMM1,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (%R12,%R12,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VMOVQ %RAX,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VMOVQ %R12,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPBROADCASTQ %R8,%YMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV -0x88(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x90(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x98(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 3d61f <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x33f> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x271608(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x64(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x218,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 98d0 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 174 |
nb uops | 176 |
loop length | 894 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 3 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 45 |
micro-operation queue | 29.33 cycles |
front end | 29.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 7.50 | 7.60 | 12.00 | 12.00 | 27.50 | 9.00 | 7.50 | 27.50 | 27.50 | 27.50 | 7.40 | 12.00 |
cycles | 7.50 | 7.60 | 12.00 | 12.00 | 27.50 | 9.00 | 7.50 | 27.50 | 27.50 | 27.50 | 7.40 | 12.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 29.11 |
Stall cycles | 0.00 |
Front-end | 29.33 |
Dispatch | 27.50 |
Overall L1 | 29.33 |
all | 2% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 10% |
all | 12% |
load | 9% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 13% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x218,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOVL $0,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x238(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x271f91(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x68(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x138(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x130(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x64(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x138(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x130(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 3dd61 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa81> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x58(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB -0x30(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RCX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JLE 3dd61 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa81> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x80(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x30(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
IMUL %R12,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %R12,%RAX,%RCX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x58(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDX,%EDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R12,%R12 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ECX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R12,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xb0(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R12,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R12,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%R8,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R14,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (%R12,%R12,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM0,%XMM1,%XMM0 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
LEA (%R12,%R12,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (,%R12,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VINSERTI128 $0x1,%XMM0,%YMM1,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (%R12,%R12,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RSI,%XMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VMOVQ %RAX,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM1,%XMM2,%XMM1 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VMOVQ %R12,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPBROADCASTQ %R8,%YMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV -0x88(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x90(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x98(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 3d61f <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x33f> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x271608(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x64(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x218,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 98d0 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void LPlusTimesSdom::operator() | 5.49 | 3.89 |
▼Loop 674 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 677 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 679 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 683 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.02 |
○Loop 684 - forall.hpp:59-59 - libkripke.so | 5.23 | 3.69 |
○Loop 678 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 681 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 682 - forall.hpp:59-59 - libkripke.so | 0.22 | 0.16 |
○Loop 680 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 675 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 676 - forall.hpp:59-59 - libkripke.so | 0 | 0 |