Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.37% |
---|
Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.37% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 79 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/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-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/pattern/detail/reduce.hpp: 74 - 262 |
-------------------------------------------------------------------------------- |
74: val = operator_type::operator()(val, v); |
[...] |
261: : parent{other.parent ? other.parent : &other}, |
262: identity{other.identity}, |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/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-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/src/Kripke/Kernel/Population.cpp: 58 - 58 |
-------------------------------------------------------------------------------- |
58: part_red += w(d) * psi(d,g,z) * volume(z); |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Operators.hpp: 307 - 307 |
-------------------------------------------------------------------------------- |
307: return Ret{lhs} + rhs; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/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-3153/intel/Kripke/build/Kripke/tpl/raja/tpl/camp/include/camp/tuple.hpp: 253 - 253 |
-------------------------------------------------------------------------------- |
253: CAMP_HOST_DEVICE constexpr tuple(tuple const& o) : base(o.base) {} |
0x74500 PUSH %RBP |
0x74501 MOV %RSP,%RBP |
0x74504 PUSH %R15 |
0x74506 PUSH %R14 |
0x74508 PUSH %R13 |
0x7450a PUSH %R12 |
0x7450c PUSH %RBX |
0x7450d SUB $0x148,%RSP |
0x74514 MOVL $0,-0xb8(%RBP) |
0x7451e LEA 0x38(%R8),%RCX |
0x74522 MOV 0x38(%R8),%RAX |
0x74526 TEST %RAX,%RAX |
0x74529 CMOVNE %RAX,%RCX |
0x7452d TEST %R9,%R9 |
0x74530 JS 74800 |
0x74536 MOV %RCX,-0x110(%RBP) |
0x7453d MOV %RDX,%RBX |
0x74540 MOV (%R8),%R14 |
0x74543 MOV 0x10(%R8),%R15 |
0x74547 MOV 0x20(%R8),%RAX |
0x7454b MOV %RAX,-0x30(%RBP) |
0x7454f MOV 0x28(%R8),%R12 |
0x74553 MOV 0x70(%R8),%RAX |
0x74557 MOV %RAX,-0x50(%RBP) |
0x7455b MOV 0x90(%R8),%RAX |
0x74562 MOV %RAX,-0x60(%RBP) |
0x74566 MOV 0x98(%R8),%RAX |
0x7456d MOV %RAX,-0x58(%RBP) |
0x74571 MOV 0xd8(%R8),%RAX |
0x74578 MOV %RAX,-0x68(%RBP) |
0x7457c MOV 0x100(%R8),%RAX |
0x74583 MOV %RAX,-0x48(%RBP) |
0x74587 VMOVQ 0x40(%R8),%XMM0 |
0x7458d VMOVQ %XMM0,-0x38(%RBP) |
0x74592 MOV (%RDI),%ESI |
0x74594 MOVQ $0,-0x100(%RBP) |
0x7459f MOV %R9,-0xf8(%RBP) |
0x745a6 MOVQ $0x1,-0x168(%RBP) |
0x745b1 SUB $0x8,%RSP |
0x745b5 LEA -0x168(%RBP),%RAX |
0x745bc LEA 0x2a025d(%RIP),%RDI |
0x745c3 LEA -0xb8(%RBP),%RCX |
0x745ca LEA -0x100(%RBP),%R8 |
0x745d1 LEA -0xf8(%RBP),%R9 |
0x745d8 MOV %ESI,-0xb4(%RBP) |
0x745de MOV $0x22,%EDX |
0x745e3 PUSH $0x1 |
0x745e5 PUSH $0x1 |
0x745e7 PUSH %RAX |
0x745e8 CALL 99f0 <__kmpc_for_static_init_8@plt> |
0x745ed ADD $0x20,%RSP |
0x745f1 MOV -0x100(%RBP),%RAX |
0x745f8 MOV -0xf8(%RBP),%RCX |
0x745ff MOV %RAX,-0xb0(%RBP) |
0x74606 CMP %RCX,%RAX |
0x74609 JA 74840 |
0x7460f MOV %R12,%RAX |
0x74612 SUB -0x30(%RBP),%RAX |
0x74616 MOV %RAX,-0x40(%RBP) |
0x7461a JLE 74840 |
0x74620 MOV -0xb0(%RBP),%RAX |
0x74627 LEA 0x1(%RAX),%RDX |
0x7462b INC %RCX |
0x7462e CMP %RCX,%RDX |
0x74631 MOV %RDX,-0x140(%RBP) |
0x74638 CMOVG %RDX,%RCX |
0x7463c SUB %RAX,%RCX |
0x7463f CMP $0x8,%RCX |
0x74643 VMOVSD -0x38(%RBP),%XMM29 |
0x7464a MOV %RCX,-0x108(%RBP) |
0x74651 JAE 74900 |
0x74657 MOV %RBX,%R10 |
0x7465a MOV -0x50(%RBP),%RBX |
0x7465e MOV -0x48(%RBP),%R11 |
0x74662 MOV -0x108(%RBP),%R8 |
0x74669 MOV %R8,%RCX |
0x7466c AND $-0x8,%RCX |
0x74670 CMP %R8,%RCX |
0x74673 JNE 7467e |
0x74675 TEST %R8,%R8 |
0x74678 JNE 74847 |
0x7467e DEC %R8 |
0x74681 MOV -0x30(%RBP),%RAX |
0x74685 LEA (%R11,%RAX,8),%RDI |
0x74689 MOV -0x60(%RBP),%RAX |
0x7468d LEA (,%RAX,8),%R13 |
0x74695 MOV -0x58(%RBP),%RAX |
0x74699 LEA (,%RAX,8),%RAX |
0x746a1 MOV %RAX,-0x38(%RBP) |
0x746a5 MOV %R10,%R9 |
0x746a8 JMP 746d0 |
0x746aa NOPW %CS:(%RAX,%RAX,1) |
0x746b9 NOPL (%RAX) |
(1001) 0x746c0 CMP %R8,%RCX |
(1001) 0x746c3 LEA 0x1(%RCX),%RCX |
(1001) 0x746c7 MOV %R9,%R10 |
(1001) 0x746ca JE 74847 |
(1001) 0x746d0 MOV -0xb0(%RBP),%RAX |
(1001) 0x746d7 ADD %RCX,%RAX |
(1001) 0x746da MOV %RAX,%RDX |
(1001) 0x746dd OR %R10,%RDX |
(1001) 0x746e0 SHR $0x20,%RDX |
(1001) 0x746e4 JE 74700 |
(1001) 0x746e6 CQTO |
(1001) 0x746e8 IDIV %R10 |
(1001) 0x746eb JMP 74705 |
0x746ed NOPW %CS:(%RAX,%RAX,1) |
0x746fc NOPL (%RAX) |
(1001) 0x74700 XOR %EDX,%EDX |
(1001) 0x74702 DIV %R10D |
(1001) 0x74705 ADD %R14,%RAX |
(1001) 0x74708 VMOVSD (%RBX,%RAX,8),%XMM0 |
(1001) 0x7470d MOV -0x40(%RBP),%R10 |
(1001) 0x74711 AND $-0x4,%R10 |
(1001) 0x74715 JE 747c0 |
(1001) 0x7471b LEA -0x1(%R10),%RSI |
(1001) 0x7471f LEA (%R15,%RDX,1),%R11 |
(1001) 0x74723 IMUL -0x58(%RBP),%R11 |
(1001) 0x74728 MOV -0x60(%RBP),%RBX |
(1001) 0x7472c IMUL %RAX,%RBX |
(1001) 0x74730 VBROADCASTSD %XMM0,%YMM1 |
(1001) 0x74735 ADD -0x30(%RBP),%R11 |
(1001) 0x74739 ADD %RBX,%R11 |
(1001) 0x7473c MOV -0x68(%RBP),%RBX |
(1001) 0x74740 LEA (%RBX,%R11,8),%R11 |
(1001) 0x74744 VXORPD %XMM2,%XMM2,%XMM2 |
(1001) 0x74748 XOR %EBX,%EBX |
(1001) 0x7474a NOPW (%RAX,%RAX,1) |
(1002) 0x74750 VMULPD (%R11,%RBX,8),%YMM1,%YMM3 |
(1002) 0x74756 VFMADD231PD (%RDI,%RBX,8),%YMM3,%YMM2 |
(1002) 0x7475c ADD $0x4,%RBX |
(1002) 0x74760 CMP %RSI,%RBX |
(1002) 0x74763 JLE 74750 |
(1001) 0x74765 VEXTRACTF128 $0x1,%YMM2,%XMM1 |
(1001) 0x7476b VADDPD %XMM1,%XMM2,%XMM1 |
(1001) 0x7476f VSHUFPD $0x1,%XMM1,%XMM1,%XMM2 |
(1001) 0x74774 VADDSD %XMM2,%XMM1,%XMM1 |
(1001) 0x74778 VADDSD %XMM1,%XMM29,%XMM29 |
(1001) 0x7477e CMP %R10,-0x40(%RBP) |
(1001) 0x74782 MOV -0x50(%RBP),%RBX |
(1001) 0x74786 MOV -0x48(%RBP),%R11 |
(1001) 0x7478a JE 746c0 |
(1001) 0x74790 JMP 747c3 |
0x74792 NOPW %CS:(%RAX,%RAX,1) |
0x747a1 NOPW %CS:(%RAX,%RAX,1) |
0x747b0 NOPW %CS:(%RAX,%RAX,1) |
0x747bf NOP |
(1001) 0x747c0 XOR %R10D,%R10D |
(1001) 0x747c3 ADD -0x30(%RBP),%R10 |
(1001) 0x747c7 IMUL %R13,%RAX |
(1001) 0x747cb ADD %R15,%RDX |
(1001) 0x747ce IMUL -0x38(%RBP),%RDX |
(1001) 0x747d3 ADD %RAX,%RDX |
(1001) 0x747d6 ADD -0x68(%RBP),%RDX |
(1001) 0x747da NOPW (%RAX,%RAX,1) |
(1000) 0x747e0 VMULSD (%RDX,%R10,8),%XMM0,%XMM1 |
(1000) 0x747e6 VFMADD231SD (%R11,%R10,8),%XMM1,%XMM29 |
(1000) 0x747ed INC %R10 |
(1000) 0x747f0 CMP %R10,%R12 |
(1000) 0x747f3 JNE 747e0 |
(1001) 0x747f5 JMP 746c0 |
0x747fa NOPW (%RAX,%RAX,1) |
0x74800 ADD $0x148,%RSP |
0x74807 POP %RBX |
0x74808 POP %R12 |
0x7480a POP %R13 |
0x7480c POP %R14 |
0x7480e POP %R15 |
0x74810 POP %RBP |
0x74811 RET |
0x74812 NOPW %CS:(%RAX,%RAX,1) |
0x74821 NOPW %CS:(%RAX,%RAX,1) |
0x74830 NOPW %CS:(%RAX,%RAX,1) |
0x7483f NOP |
0x74840 VMOVSD -0x38(%RBP),%XMM29 |
0x74847 VMOVSD %XMM29,-0x38(%RBP) |
0x7484e LEA 0x29ffeb(%RIP),%RDI |
0x74855 MOV -0xb4(%RBP),%ESI |
0x7485b VZEROUPPER |
0x7485e CALL 9920 <__kmpc_for_static_fini@plt> |
0x74863 LEA 0x2a01f6(%RIP),%RDI |
0x7486a CALL 95e0 <__kmpc_global_thread_num@plt> |
0x7486f MOV %EAX,%EBX |
0x74871 LEA 0x29ff68(%RIP),%RDI |
0x74878 MOV 0x29f611(%RIP),%R14 |
0x7487f MOV %EAX,%ESI |
0x74881 MOV %R14,%RDX |
0x74884 CALL 9740 <__kmpc_critical@plt> |
0x74889 MOV -0x110(%RBP),%RAX |
0x74890 VMOVSD -0x38(%RBP),%XMM0 |
0x74895 VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x7489a VMOVSD %XMM0,0x10(%RAX) |
0x7489f LEA 0x29ff5a(%RIP),%RDI |
0x748a6 MOV %EBX,%ESI |
0x748a8 MOV %R14,%RDX |
0x748ab ADD $0x148,%RSP |
0x748b2 POP %RBX |
0x748b3 POP %R12 |
0x748b5 POP %R13 |
0x748b7 POP %R14 |
0x748b9 POP %R15 |
0x748bb POP %RBP |
0x748bc JMP 9590 |
0x748c1 NOPW %CS:(%RAX,%RAX,1) |
0x748d0 NOPW %CS:(%RAX,%RAX,1) |
0x748df NOPW %CS:(%RAX,%RAX,1) |
0x748ee NOPW %CS:(%RAX,%RAX,1) |
0x748fd NOPL (%RAX) |
0x74900 SHR $0x3,%RCX |
0x74904 DEC %RCX |
0x74907 MOV %RCX,-0x138(%RBP) |
0x7490e MOV -0x48(%RBP),%R11 |
0x74912 MOV -0x30(%RBP),%RAX |
0x74916 LEA (%R11,%RAX,8),%R9 |
0x7491a XOR %R8D,%R8D |
0x7491d VMOVDQU 0x8737b(%RIP),%YMM0 |
0x74925 MOV %RBX,%R10 |
0x74928 MOV -0x50(%RBP),%RBX |
0x7492c MOV %R14,-0xc0(%RBP) |
0x74933 MOV %R15,-0x130(%RBP) |
0x7493a MOV %R12,-0x128(%RBP) |
0x74941 MOV %R10,-0x120(%RBP) |
0x74948 MOV %R9,-0x118(%RBP) |
0x7494f JMP 74bb0 |
0x74954 NOPW %CS:(%RAX,%RAX,1) |
0x74963 NOPW %CS:(%RAX,%RAX,1) |
0x74972 NOPW %CS:(%RAX,%RAX,1) |
(1003) 0x74980 MOV -0x60(%RBP),%RSI |
(1003) 0x74984 MOV %RDI,%RCX |
(1003) 0x74987 MOV -0xe0(%RBP),%RDI |
(1003) 0x7498e IMUL %RSI,%RDI |
(1003) 0x74992 MOV %R15,%R14 |
(1003) 0x74995 MOV -0x30(%RBP),%R15 |
(1003) 0x74999 ADD %R15,%RDI |
(1003) 0x7499c MOV -0xa8(%RBP),%RAX |
(1003) 0x749a3 ADD %R14,%RAX |
(1003) 0x749a6 MOV -0x58(%RBP),%RDX |
(1003) 0x749aa IMUL %RDX,%RAX |
(1003) 0x749ae ADD %RDI,%RAX |
(1003) 0x749b1 ADD %RCX,%RAX |
(1003) 0x749b4 MOV -0x68(%RBP),%RDI |
(1003) 0x749b8 VMOVUPD (%RDI,%RAX,8),%YMM18{%K1}{z} |
(1003) 0x749bf LEA (%R15,%RCX,1),%RAX |
(1003) 0x749c3 VMOVUPD (%R11,%RAX,8),%YMM19{%K1}{z} |
(1003) 0x749ca MOV %RBX,%R8 |
(1003) 0x749cd MOV -0x38(%RBP),%RBX |
(1003) 0x749d1 IMUL %RSI,%RBX |
(1003) 0x749d5 ADD %R15,%RBX |
(1003) 0x749d8 MOV -0xa0(%RBP),%RAX |
(1003) 0x749df ADD %R14,%RAX |
(1003) 0x749e2 IMUL %RDX,%RAX |
(1003) 0x749e6 ADD %RBX,%RAX |
(1003) 0x749e9 MOV %R8,%RBX |
(1003) 0x749ec MOV -0xe8(%RBP),%R8 |
(1003) 0x749f3 ADD %RCX,%RAX |
(1003) 0x749f6 VMOVUPD (%RDI,%RAX,8),%YMM20{%K1}{z} |
(1003) 0x749fd IMUL %RSI,%R13 |
(1003) 0x74a01 ADD %R15,%R13 |
(1003) 0x74a04 MOV -0x98(%RBP),%RAX |
(1003) 0x74a0b ADD %R14,%RAX |
(1003) 0x74a0e IMUL %RDX,%RAX |
(1003) 0x74a12 ADD %R13,%RAX |
(1003) 0x74a15 ADD %RCX,%RAX |
(1003) 0x74a18 VMOVUPD (%RDI,%RAX,8),%YMM21{%K1}{z} |
(1003) 0x74a1f MOV -0xd8(%RBP),%R13 |
(1003) 0x74a26 IMUL %RSI,%R13 |
(1003) 0x74a2a ADD %R15,%R13 |
(1003) 0x74a2d MOV -0x90(%RBP),%RAX |
(1003) 0x74a34 ADD %R14,%RAX |
(1003) 0x74a37 IMUL %RDX,%RAX |
(1003) 0x74a3b ADD %R13,%RAX |
(1003) 0x74a3e ADD %RCX,%RAX |
(1003) 0x74a41 VMOVUPD (%RDI,%RAX,8),%YMM22{%K1}{z} |
(1003) 0x74a48 MOV -0xd0(%RBP),%R13 |
(1003) 0x74a4f IMUL %RSI,%R13 |
(1003) 0x74a53 ADD %R15,%R13 |
(1003) 0x74a56 MOV -0x88(%RBP),%RAX |
(1003) 0x74a5d ADD %R14,%RAX |
(1003) 0x74a60 IMUL %RDX,%RAX |
(1003) 0x74a64 ADD %R13,%RAX |
(1003) 0x74a67 ADD %RCX,%RAX |
(1003) 0x74a6a VMOVUPD (%RDI,%RAX,8),%YMM23{%K1}{z} |
(1003) 0x74a71 MOV -0xc8(%RBP),%R13 |
(1003) 0x74a78 IMUL %RSI,%R13 |
(1003) 0x74a7c ADD %R15,%R13 |
(1003) 0x74a7f MOV -0x80(%RBP),%RAX |
(1003) 0x74a83 ADD %R14,%RAX |
(1003) 0x74a86 IMUL %RDX,%RAX |
(1003) 0x74a8a ADD %R13,%RAX |
(1003) 0x74a8d ADD %RCX,%RAX |
(1003) 0x74a90 VMOVUPD (%RDI,%RAX,8),%YMM24{%K1}{z} |
(1003) 0x74a97 MOV -0xf0(%RBP),%RAX |
(1003) 0x74a9e IMUL %RSI,%RAX |
(1003) 0x74aa2 ADD %R15,%RAX |
(1003) 0x74aa5 MOV %RAX,%R13 |
(1003) 0x74aa8 MOV -0x78(%RBP),%RAX |
(1003) 0x74aac ADD %R14,%RAX |
(1003) 0x74aaf IMUL %RDX,%RAX |
(1003) 0x74ab3 ADD %R13,%RAX |
(1003) 0x74ab6 ADD %RCX,%RAX |
(1003) 0x74ab9 VMOVUPD (%RDI,%RAX,8),%YMM25{%K1}{z} |
(1003) 0x74ac0 MOV -0x160(%RBP),%R13 |
(1003) 0x74ac7 IMUL %RSI,%R13 |
(1003) 0x74acb ADD %RCX,%R13 |
(1003) 0x74ace MOV -0x70(%RBP),%RAX |
(1003) 0x74ad2 ADD %R14,%RAX |
(1003) 0x74ad5 IMUL %RDX,%RAX |
(1003) 0x74ad9 ADD %R15,%RAX |
(1003) 0x74adc MOV %R14,%R15 |
(1003) 0x74adf MOV -0xc0(%RBP),%R14 |
(1003) 0x74ae6 ADD %RAX,%R13 |
(1003) 0x74ae9 VMOVUPD (%RDI,%R13,8),%YMM26{%K1}{z} |
(1003) 0x74af0 VMOVAPD %YMM18,%YMM9{%K1} |
(1003) 0x74af6 VMOVAPD %YMM19,%YMM8{%K1} |
(1003) 0x74afc VMOVAPD %YMM20,%YMM7{%K1} |
(1003) 0x74b02 VBROADCASTSD %XMM10,%YMM10 |
(1003) 0x74b07 VMULPD %YMM10,%YMM9,%YMM10 |
(1003) 0x74b0c VBROADCASTSD %XMM11,%YMM11 |
(1003) 0x74b11 VFMADD213PD %YMM10,%YMM7,%YMM11 |
(1003) 0x74b16 VMOVAPD %YMM21,%YMM6{%K1} |
(1003) 0x74b1c VBROADCASTSD %XMM12,%YMM10 |
(1003) 0x74b21 VFMADD213PD %YMM11,%YMM6,%YMM10 |
(1003) 0x74b26 VMOVAPD %YMM22,%YMM5{%K1} |
(1003) 0x74b2c VBROADCASTSD %XMM13,%YMM11 |
(1003) 0x74b31 VFMADD213PD %YMM10,%YMM5,%YMM11 |
(1003) 0x74b36 VMOVAPD %YMM23,%YMM4{%K1} |
(1003) 0x74b3c VBROADCASTSD %XMM14,%YMM10 |
(1003) 0x74b41 VFMADD213PD %YMM11,%YMM4,%YMM10 |
(1003) 0x74b46 VMOVAPD %YMM24,%YMM3{%K1} |
(1003) 0x74b4c VBROADCASTSD %XMM15,%YMM11 |
(1003) 0x74b51 VFMADD213PD %YMM10,%YMM3,%YMM11 |
(1003) 0x74b56 VMOVAPD %YMM25,%YMM2{%K1} |
(1003) 0x74b5c VBROADCASTSD %XMM16,%YMM10 |
(1003) 0x74b62 VFMADD213PD %YMM11,%YMM2,%YMM10 |
(1003) 0x74b67 VMOVAPD %YMM26,%YMM1{%K1} |
(1003) 0x74b6d VBROADCASTSD %XMM17,%YMM11 |
(1003) 0x74b73 VFMADD213PD %YMM10,%YMM1,%YMM11 |
(1003) 0x74b78 VMULPD %YMM8,%YMM11,%YMM10 |
(1003) 0x74b7d VMOVAPD %YMM10,%YMM10{%K1}{z} |
(1003) 0x74b83 VEXTRACTF128 $0x1,%YMM10,%XMM11 |
(1003) 0x74b89 VADDPD %XMM11,%XMM10,%XMM10 |
(1003) 0x74b8e VSHUFPD $0x1,%XMM10,%XMM10,%XMM11 |
(1003) 0x74b94 VADDSD %XMM11,%XMM10,%XMM10 |
(1003) 0x74b99 VADDSD %XMM10,%XMM29,%XMM29 |
(1003) 0x74b9f CMP -0x138(%RBP),%R8 |
(1003) 0x74ba6 LEA 0x1(%R8),%R8 |
(1003) 0x74baa JE 74662 |
(1003) 0x74bb0 MOV -0xb0(%RBP),%RAX |
(1003) 0x74bb7 LEA (%RAX,%R8,8),%R9 |
(1003) 0x74bbb MOV %R9,%RAX |
(1003) 0x74bbe OR %R10,%RAX |
(1003) 0x74bc1 SHR $0x20,%RAX |
(1003) 0x74bc5 JE 74c00 |
(1003) 0x74bc7 MOV %R9,%RAX |
(1003) 0x74bca CQTO |
(1003) 0x74bcc IDIV %R10 |
(1003) 0x74bcf MOV %RDX,-0xa8(%RBP) |
(1003) 0x74bd6 MOV %RAX,%RDI |
(1003) 0x74bd9 JMP 74c11 |
0x74bdb NOPW %CS:(%RAX,%RAX,1) |
0x74bea NOPW %CS:(%RAX,%RAX,1) |
0x74bf9 NOPL (%RAX) |
(1003) 0x74c00 MOV %R9D,%EAX |
(1003) 0x74c03 XOR %EDX,%EDX |
(1003) 0x74c05 DIV %R10D |
(1003) 0x74c08 MOV %RDX,-0xa8(%RBP) |
(1003) 0x74c0f MOV %EAX,%EDI |
(1003) 0x74c11 LEA (,%R8,8),%RAX |
(1003) 0x74c19 ADD %R14,%RDI |
(1003) 0x74c1c VMOVSD (%RBX,%RDI,8),%XMM10 |
(1003) 0x74c21 ADD -0x140(%RBP),%RAX |
(1003) 0x74c28 MOV %RAX,%RCX |
(1003) 0x74c2b OR %R10,%RCX |
(1003) 0x74c2e SHR $0x20,%RCX |
(1003) 0x74c32 JE 74c80 |
(1003) 0x74c34 CQTO |
(1003) 0x74c36 IDIV %R10 |
(1003) 0x74c39 MOV %RDX,-0xa0(%RBP) |
(1003) 0x74c40 JMP 74c8c |
0x74c42 NOPW %CS:(%RAX,%RAX,1) |
0x74c51 NOPW %CS:(%RAX,%RAX,1) |
0x74c60 NOPW %CS:(%RAX,%RAX,1) |
0x74c6f NOPW %CS:(%RAX,%RAX,1) |
0x74c7e XCHG %AX,%AX |
(1003) 0x74c80 XOR %EDX,%EDX |
(1003) 0x74c82 DIV %R10D |
(1003) 0x74c85 MOV %RDX,-0xa0(%RBP) |
(1003) 0x74c8c ADD %R14,%RAX |
(1003) 0x74c8f MOV %RAX,-0x38(%RBP) |
(1003) 0x74c93 VMOVSD (%RBX,%RAX,8),%XMM11 |
(1003) 0x74c98 LEA 0x2(%R9),%RAX |
(1003) 0x74c9c MOV %RAX,%RCX |
(1003) 0x74c9f OR %R10,%RCX |
(1003) 0x74ca2 SHR $0x20,%RCX |
(1003) 0x74ca6 JE 74cc0 |
(1003) 0x74ca8 CQTO |
(1003) 0x74caa IDIV %R10 |
(1003) 0x74cad MOV %RDX,-0x98(%RBP) |
(1003) 0x74cb4 MOV %RAX,%R13 |
(1003) 0x74cb7 JMP 74ccf |
0x74cb9 NOPL (%RAX) |
(1003) 0x74cc0 XOR %EDX,%EDX |
(1003) 0x74cc2 DIV %R10D |
(1003) 0x74cc5 MOV %RDX,-0x98(%RBP) |
(1003) 0x74ccc MOV %EAX,%R13D |
(1003) 0x74ccf ADD %R14,%R13 |
(1003) 0x74cd2 VMOVSD (%RBX,%R13,8),%XMM12 |
(1003) 0x74cd8 LEA 0x3(%R9),%RAX |
(1003) 0x74cdc MOV %RAX,%RCX |
(1003) 0x74cdf OR %R10,%RCX |
(1003) 0x74ce2 SHR $0x20,%RCX |
(1003) 0x74ce6 JE 74d00 |
(1003) 0x74ce8 CQTO |
(1003) 0x74cea IDIV %R10 |
(1003) 0x74ced MOV %RDX,-0x90(%RBP) |
(1003) 0x74cf4 JMP 74d0c |
0x74cf6 NOPW %CS:(%RAX,%RAX,1) |
(1003) 0x74d00 XOR %EDX,%EDX |
(1003) 0x74d02 DIV %R10D |
(1003) 0x74d05 MOV %RDX,-0x90(%RBP) |
(1003) 0x74d0c ADD %R14,%RAX |
(1003) 0x74d0f MOV %RAX,-0xd8(%RBP) |
(1003) 0x74d16 VMOVSD (%RBX,%RAX,8),%XMM13 |
(1003) 0x74d1b LEA 0x4(%R9),%RAX |
(1003) 0x74d1f MOV %RAX,%RCX |
(1003) 0x74d22 OR %R10,%RCX |
(1003) 0x74d25 SHR $0x20,%RCX |
(1003) 0x74d29 JE 74d40 |
(1003) 0x74d2b CQTO |
(1003) 0x74d2d IDIV %R10 |
(1003) 0x74d30 MOV %RDX,-0x88(%RBP) |
(1003) 0x74d37 JMP 74d4c |
0x74d39 NOPL (%RAX) |
(1003) 0x74d40 XOR %EDX,%EDX |
(1003) 0x74d42 DIV %R10D |
(1003) 0x74d45 MOV %RDX,-0x88(%RBP) |
(1003) 0x74d4c ADD %R14,%RAX |
(1003) 0x74d4f MOV %RAX,-0xd0(%RBP) |
(1003) 0x74d56 VMOVSD (%RBX,%RAX,8),%XMM14 |
(1003) 0x74d5b LEA 0x5(%R9),%RAX |
(1003) 0x74d5f MOV %RAX,%RCX |
(1003) 0x74d62 OR %R10,%RCX |
(1003) 0x74d65 SHR $0x20,%RCX |
(1003) 0x74d69 JE 74d80 |
(1003) 0x74d6b CQTO |
(1003) 0x74d6d IDIV %R10 |
(1003) 0x74d70 MOV %RDX,-0x80(%RBP) |
(1003) 0x74d74 JMP 74d89 |
0x74d76 NOPW %CS:(%RAX,%RAX,1) |
(1003) 0x74d80 XOR %EDX,%EDX |
(1003) 0x74d82 DIV %R10D |
(1003) 0x74d85 MOV %RDX,-0x80(%RBP) |
(1003) 0x74d89 ADD %R14,%RAX |
(1003) 0x74d8c MOV %RAX,-0xc8(%RBP) |
(1003) 0x74d93 VMOVSD (%RBX,%RAX,8),%XMM15 |
(1003) 0x74d98 LEA 0x6(%R9),%RAX |
(1003) 0x74d9c MOV %RAX,%RCX |
(1003) 0x74d9f OR %R10,%RCX |
(1003) 0x74da2 SHR $0x20,%RCX |
(1003) 0x74da6 JE 74dc0 |
(1003) 0x74da8 CQTO |
(1003) 0x74daa IDIV %R10 |
(1003) 0x74dad MOV %RDX,-0x78(%RBP) |
(1003) 0x74db1 JMP 74dc9 |
0x74db3 NOPW %CS:(%RAX,%RAX,1) |
(1003) 0x74dc0 XOR %EDX,%EDX |
(1003) 0x74dc2 DIV %R10D |
(1003) 0x74dc5 MOV %RDX,-0x78(%RBP) |
(1003) 0x74dc9 MOV -0x38(%RBP),%RCX |
(1003) 0x74dcd ADD %R14,%RAX |
(1003) 0x74dd0 MOV %RAX,-0xf0(%RBP) |
(1003) 0x74dd7 VMOVSD (%RBX,%RAX,8),%XMM16 |
(1003) 0x74dde ADD $0x7,%R9 |
(1003) 0x74de2 MOV %R9,%RAX |
(1003) 0x74de5 OR %R10,%RAX |
(1003) 0x74de8 SHR $0x20,%RAX |
(1003) 0x74dec JE 74e00 |
(1003) 0x74dee MOV %R9,%RAX |
(1003) 0x74df1 CQTO |
(1003) 0x74df3 IDIV %R10 |
(1003) 0x74df6 MOV %RDX,-0x70(%RBP) |
(1003) 0x74dfa MOV %RAX,%RDX |
(1003) 0x74dfd JMP 74e0e |
0x74dff NOP |
(1003) 0x74e00 MOV %R9D,%EAX |
(1003) 0x74e03 XOR %EDX,%EDX |
(1003) 0x74e05 DIV %R10D |
(1003) 0x74e08 MOV %RDX,-0x70(%RBP) |
(1003) 0x74e0c MOV %EAX,%EDX |
(1003) 0x74e0e MOV %RDI,-0xe0(%RBP) |
(1003) 0x74e15 ADD %R14,%RDX |
(1003) 0x74e18 VMOVSD (%RBX,%RDX,8),%XMM17 |
(1003) 0x74e1f MOV -0x40(%RBP),%RDI |
(1003) 0x74e23 AND $-0x4,%RDI |
(1003) 0x74e27 MOV -0xf0(%RBP),%RAX |
(1003) 0x74e2e MOV %R8,-0xe8(%RBP) |
(1003) 0x74e35 MOV %RDX,-0x160(%RBP) |
(1003) 0x74e3c JE 75080 |
(1003) 0x74e42 MOV %RDI,-0x150(%RBP) |
(1003) 0x74e49 LEA -0x1(%RDI),%R8 |
(1003) 0x74e4d MOV -0x60(%RBP),%RDI |
(1003) 0x74e51 MOV %RDI,%RSI |
(1003) 0x74e54 IMUL -0xe0(%RBP),%RSI |
(1003) 0x74e5c MOV %RSI,-0x148(%RBP) |
(1003) 0x74e63 MOV %RDI,%R10 |
(1003) 0x74e66 IMUL %RCX,%R10 |
(1003) 0x74e6a MOV %RDI,%R9 |
(1003) 0x74e6d MOV %R13,-0x158(%RBP) |
(1003) 0x74e74 IMUL %R13,%R9 |
(1003) 0x74e78 MOV %RDI,%RBX |
(1003) 0x74e7b IMUL -0xd8(%RBP),%RBX |
(1003) 0x74e83 MOV %RDI,%RSI |
(1003) 0x74e86 IMUL -0xd0(%RBP),%RSI |
(1003) 0x74e8e MOV %RDI,%R13 |
(1003) 0x74e91 IMUL -0xc8(%RBP),%R13 |
(1003) 0x74e99 MOV %RDI,%RCX |
(1003) 0x74e9c IMUL %RAX,%RCX |
(1003) 0x74ea0 MOV -0x70(%RBP),%RAX |
(1003) 0x74ea4 LEA (%R15,%RAX,1),%R12 |
(1003) 0x74ea8 MOV -0x58(%RBP),%R14 |
(1003) 0x74eac IMUL %R14,%R12 |
(1003) 0x74eb0 IMUL %RDX,%RDI |
(1003) 0x74eb4 ADD -0x30(%RBP),%R12 |
(1003) 0x74eb8 ADD %RDI,%R12 |
(1003) 0x74ebb MOV -0x78(%RBP),%RAX |
(1003) 0x74ebf LEA (%RAX,%R15,1),%RDI |
(1003) 0x74ec3 IMUL %R14,%RDI |
(1003) 0x74ec7 ADD -0x30(%RBP),%RDI |
(1003) 0x74ecb ADD %RCX,%RDI |
(1003) 0x74ece MOV %R15,%RAX |
(1003) 0x74ed1 MOV -0x80(%RBP),%RCX |
(1003) 0x74ed5 ADD %RCX,%R15 |
(1003) 0x74ed8 IMUL %R14,%R15 |
(1003) 0x74edc ADD -0x30(%RBP),%R15 |
(1003) 0x74ee0 ADD %R13,%R15 |
(1003) 0x74ee3 MOV -0x88(%RBP),%RCX |
(1003) 0x74eea LEA (%RCX,%RAX,1),%R13 |
(1003) 0x74eee IMUL %R14,%R13 |
(1003) 0x74ef2 ADD -0x30(%RBP),%R13 |
(1003) 0x74ef6 ADD %RSI,%R13 |
(1003) 0x74ef9 MOV -0x90(%RBP),%RCX |
(1003) 0x74f00 LEA (%RCX,%RAX,1),%R11 |
(1003) 0x74f04 IMUL %R14,%R11 |
(1003) 0x74f08 ADD -0x30(%RBP),%R11 |
(1003) 0x74f0c ADD %RBX,%R11 |
(1003) 0x74f0f MOV -0x98(%RBP),%RCX |
(1003) 0x74f16 LEA (%RCX,%RAX,1),%RDX |
(1003) 0x74f1a IMUL %R14,%RDX |
(1003) 0x74f1e ADD -0x30(%RBP),%RDX |
(1003) 0x74f22 ADD %R9,%RDX |
(1003) 0x74f25 MOV -0xa0(%RBP),%RCX |
(1003) 0x74f2c LEA (%RCX,%RAX,1),%R9 |
(1003) 0x74f30 IMUL %R14,%R9 |
(1003) 0x74f34 ADD -0x30(%RBP),%R9 |
(1003) 0x74f38 ADD %R10,%R9 |
(1003) 0x74f3b MOV -0xa8(%RBP),%RCX |
(1003) 0x74f42 ADD %RAX,%RCX |
(1003) 0x74f45 IMUL %R14,%RCX |
(1003) 0x74f49 VBROADCASTSD %XMM10,%YMM18 |
(1003) 0x74f4f VBROADCASTSD %XMM11,%YMM19 |
(1003) 0x74f55 VBROADCASTSD %XMM12,%YMM20 |
(1003) 0x74f5b VBROADCASTSD %XMM13,%YMM21 |
(1003) 0x74f61 VBROADCASTSD %XMM14,%YMM22 |
(1003) 0x74f67 VBROADCASTSD %XMM15,%YMM23 |
(1003) 0x74f6d VBROADCASTSD %XMM16,%YMM24 |
(1003) 0x74f73 VBROADCASTSD %XMM17,%YMM25 |
(1003) 0x74f79 MOV -0x68(%RBP),%RAX |
(1003) 0x74f7d LEA (%RAX,%R12,8),%RSI |
(1003) 0x74f81 LEA (%RAX,%RDI,8),%RDI |
(1003) 0x74f85 LEA (%RAX,%R15,8),%R10 |
(1003) 0x74f89 LEA (%RAX,%R13,8),%RBX |
(1003) 0x74f8d LEA (%RAX,%R11,8),%R14 |
(1003) 0x74f91 LEA (%RAX,%RDX,8),%R15 |
(1003) 0x74f95 LEA (%RAX,%R9,8),%R12 |
(1003) 0x74f99 ADD -0x30(%RBP),%RCX |
(1003) 0x74f9d ADD -0x148(%RBP),%RCX |
(1003) 0x74fa4 LEA (%RAX,%RCX,8),%RDX |
(1003) 0x74fa8 VXORPD %XMM26,%XMM26,%XMM26 |
(1003) 0x74fae XOR %R11D,%R11D |
(1003) 0x74fb1 MOV -0x118(%RBP),%R9 |
(1003) 0x74fb8 NOPL (%RAX,%RAX,1) |
(1004) 0x74fc0 VMULPD (%RDX,%R11,8),%YMM18,%YMM27 |
(1004) 0x74fc7 VFMADD231PD (%R12,%R11,8),%YMM19,%YMM27 |
(1004) 0x74fce VMOVUPD (%R9,%R11,8),%YMM28 |
(1004) 0x74fd5 VFMADD231PD (%R15,%R11,8),%YMM20,%YMM27 |
(1004) 0x74fdc VFMADD231PD (%R14,%R11,8),%YMM21,%YMM27 |
(1004) 0x74fe3 VFMADD213PD %YMM26,%YMM28,%YMM27 |
(1004) 0x74fe9 VMULPD (%RBX,%R11,8),%YMM22,%YMM26 |
(1004) 0x74ff0 VFMADD231PD (%R10,%R11,8),%YMM23,%YMM26 |
(1004) 0x74ff7 VFMADD231PD (%RDI,%R11,8),%YMM24,%YMM26 |
(1004) 0x74ffe VFMADD231PD (%RSI,%R11,8),%YMM25,%YMM26 |
(1004) 0x75005 VFMADD213PD %YMM27,%YMM28,%YMM26 |
(1004) 0x7500b ADD $0x4,%R11 |
(1004) 0x7500f CMP %R8,%R11 |
(1004) 0x75012 JLE 74fc0 |
(1003) 0x75014 VEXTRACTF32X4 $0x1,%YMM26,%XMM18 |
(1003) 0x7501b VADDPD %XMM18,%XMM26,%XMM18 |
(1003) 0x75021 VSHUFPD $0x1,%XMM18,%XMM18,%XMM19 |
(1003) 0x75028 VADDSD %XMM19,%XMM18,%XMM18 |
(1003) 0x7502e VADDSD %XMM18,%XMM29,%XMM29 |
(1003) 0x75034 MOV -0x150(%RBP),%RDI |
(1003) 0x7503b CMP %RDI,-0x40(%RBP) |
(1003) 0x7503f MOV -0xc0(%RBP),%R14 |
(1003) 0x75046 MOV -0x130(%RBP),%R15 |
(1003) 0x7504d MOV -0x128(%RBP),%R12 |
(1003) 0x75054 MOV -0x50(%RBP),%RBX |
(1003) 0x75058 MOV -0x48(%RBP),%R11 |
(1003) 0x7505c MOV -0x120(%RBP),%R10 |
(1003) 0x75063 MOV -0xe8(%RBP),%R8 |
(1003) 0x7506a MOV -0x158(%RBP),%R13 |
(1003) 0x75071 JE 74b9f |
(1003) 0x75077 JMP 75082 |
0x75079 NOPL (%RAX) |
(1003) 0x75080 XOR %EDI,%EDI |
(1003) 0x75082 MOV -0x40(%RBP),%RCX |
(1003) 0x75086 SUB %RDI,%RCX |
(1003) 0x75089 VPBROADCASTQ %RCX,%YMM18 |
(1003) 0x7508f VPCMPNLEUQ %YMM0,%YMM18,%K1 |
(1003) 0x75096 KORTESTB %K1,%K1 |
(1003) 0x7509a JNE 74980 |
(1003) 0x750a0 VXORPD %XMM10,%XMM10,%XMM10 |
(1003) 0x750a5 JMP 74b7d |
0x750aa NOPW %CS:(%RAX,%RAX,1) |
0x750b4 NOPW %CS:(%RAX,%RAX,1) |
0x750be XCHG %AX,%AX |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 183 |
nb uops | 188 |
loop length | 1079 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 23 |
micro-operation queue | 31.33 cycles |
front end | 31.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.00 | 5.10 | 15.33 | 15.33 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.33 |
cycles | 5.00 | 5.10 | 15.33 | 15.33 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 30.67-30.70 |
Stall cycles | 0.00 |
Front-end | 31.33 |
Dispatch | 19.50 |
Overall L1 | 31.33 |
all | 3% |
load | 10% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
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 | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
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 | 5% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
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 | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
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 | 11% |
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 $0x148,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JS 74800 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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 0x90(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x98(%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 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x100(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %XMM0,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x168(%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 -0x168(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2a025d(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xb4(%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 99f0 <__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 -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf8(%RBP),%RCX | 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 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 74840 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x340> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x30(%RBP),%RAX | 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 %RAX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 74840 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x340> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
VMOVSD -0x38(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 74900 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x400> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x48(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %R8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 7467e <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x17e> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %R8,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JNE 74847 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x347> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x30(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R11,%RAX,8),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x60(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%R13 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x58(%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,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
JMP 746d0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1d0> | 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 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 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 %CS:(%RAX,%RAX,1) | 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 |
NOP | 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 |
ADD $0x148,%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 |
RET | 1 | 0.50 | 0 | 0.33 | 0.33 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0.33 | 0 | 2.13 |
NOPW %CS:(%RAX,%RAX,1) | 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 %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 |
VMOVSD -0x38(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %XMM29,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x29ffeb(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xb4(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 9920 <__kmpc_for_static_fini@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
LEA 0x2a01f6(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 95e0 <__kmpc_global_thread_num@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV %EAX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA 0x29ff68(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x29f611(%RIP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 9740 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -0x38(%RBP),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VADDSD 0x10(%RAX),%XMM0,%XMM0 | 1 | 0 | 0.50 | 0.33 | 0.33 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.33 | 3 | 0.50 |
VMOVSD %XMM0,0x10(%RAX) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x29ff5a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %EBX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
ADD $0x148,%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 |
JMP 9590 <__kmpc_end_critical@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 |
NOPW %CS:(%RAX,%RAX,1) | 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 %CS:(%RAX,%RAX,1) | 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 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x30(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R11,%RAX,8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x8737b(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R14,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 74bb0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6b0> | 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 |
NOPW %CS:(%RAX,%RAX,1) | 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 %CS:(%RAX,%RAX,1) | 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 |
NOPL (%RAX) | 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 %CS:(%RAX,%RAX,1) | 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 %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 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 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 %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 |
NOPL (%RAX) | 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 %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 | 183 |
nb uops | 188 |
loop length | 1079 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 23 |
micro-operation queue | 31.33 cycles |
front end | 31.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.00 | 5.10 | 15.33 | 15.33 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.33 |
cycles | 5.00 | 5.10 | 15.33 | 15.33 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 30.67-30.70 |
Stall cycles | 0.00 |
Front-end | 31.33 |
Dispatch | 19.50 |
Overall L1 | 31.33 |
all | 3% |
load | 10% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
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 | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
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 | 5% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
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 | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
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 | 11% |
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 $0x148,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JS 74800 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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 0x90(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x98(%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 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x100(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %XMM0,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x168(%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 -0x168(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2a025d(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xb4(%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 99f0 <__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 -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf8(%RBP),%RCX | 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 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 74840 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x340> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R12,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x30(%RBP),%RAX | 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 %RAX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 74840 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x340> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
VMOVSD -0x38(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 74900 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x400> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x48(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %R8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 7467e <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x17e> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %R8,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JNE 74847 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x347> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x30(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R11,%RAX,8),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x60(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%R13 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x58(%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,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
JMP 746d0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1d0> | 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 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 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 %CS:(%RAX,%RAX,1) | 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 |
NOP | 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 |
ADD $0x148,%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 |
RET | 1 | 0.50 | 0 | 0.33 | 0.33 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0.33 | 0 | 2.13 |
NOPW %CS:(%RAX,%RAX,1) | 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 %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 |
VMOVSD -0x38(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %XMM29,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x29ffeb(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xb4(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 9920 <__kmpc_for_static_fini@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
LEA 0x2a01f6(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 95e0 <__kmpc_global_thread_num@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV %EAX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA 0x29ff68(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x29f611(%RIP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 9740 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -0x38(%RBP),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VADDSD 0x10(%RAX),%XMM0,%XMM0 | 1 | 0 | 0.50 | 0.33 | 0.33 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.33 | 3 | 0.50 |
VMOVSD %XMM0,0x10(%RAX) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x29ff5a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %EBX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
ADD $0x148,%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 |
JMP 9590 <__kmpc_end_critical@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 |
NOPW %CS:(%RAX,%RAX,1) | 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 %CS:(%RAX,%RAX,1) | 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 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x30(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R11,%RAX,8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x8737b(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R14,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 74bb0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6b0> | 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 |
NOPW %CS:(%RAX,%RAX,1) | 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 %CS:(%RAX,%RAX,1) | 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 |
NOPL (%RAX) | 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 %CS:(%RAX,%RAX,1) | 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 %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 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 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 %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 |
NOPL (%RAX) | 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 %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 PopulationSdom::operator() | 0.37 | 0.21 |
▼Loop 1001 - Collapse.hpp:81-89 - libkripke.so– | 0 | 0 |
○Loop 1002 - forall.hpp:59-59 - libkripke.so | 0.01 | 0.01 |
○Loop 1000 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 1003 - Collapse.hpp:81-89 - libkripke.so– | 0 | 0 |
○Loop 1004 - forall.hpp:59-59 - libkripke.so | 0.36 | 0.2 |