Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.39% |
---|
Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.39% |
---|
/scratch_na/users/xoserete/qaas_runs/171-319-6990/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-319-6990/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-319-6990/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-319-6990/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-319-6990/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) {} |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/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-319-6990/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-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
0x58be0 PUSH %RBP |
0x58be1 MOV %RSP,%RBP |
0x58be4 PUSH %R15 |
0x58be6 PUSH %R14 |
0x58be8 PUSH %R13 |
0x58bea PUSH %R12 |
0x58bec PUSH %RBX |
0x58bed SUB $0x178,%RSP |
0x58bf4 MOVL $0,-0xd0(%RBP) |
0x58bfe LEA 0x38(%R8),%RCX |
0x58c02 MOV 0x38(%R8),%RAX |
0x58c06 TEST %RAX,%RAX |
0x58c09 CMOVNE %RAX,%RCX |
0x58c0d TEST %R9,%R9 |
0x58c10 JS 58ed9 |
0x58c16 MOV %RCX,-0x110(%RBP) |
0x58c1d MOV %RDX,%RBX |
0x58c20 MOV (%R8),%RAX |
0x58c23 MOV %RAX,-0x30(%RBP) |
0x58c27 MOV 0x10(%R8),%RAX |
0x58c2b MOV %RAX,-0xb8(%RBP) |
0x58c32 MOV 0x20(%R8),%RAX |
0x58c36 MOV %RAX,-0x40(%RBP) |
0x58c3a MOV 0x28(%R8),%R15 |
0x58c3e MOV 0x70(%R8),%RAX |
0x58c42 MOV %RAX,-0xa8(%RBP) |
0x58c49 MOV 0x90(%R8),%RAX |
0x58c50 MOV %RAX,-0xa0(%RBP) |
0x58c57 MOV 0x98(%R8),%RAX |
0x58c5e MOV %RAX,-0x98(%RBP) |
0x58c65 MOV 0xd8(%R8),%RAX |
0x58c6c MOV %RAX,-0xc0(%RBP) |
0x58c73 MOV 0x100(%R8),%RAX |
0x58c7a MOV %RAX,-0x90(%RBP) |
0x58c81 VMOVSD 0x40(%R8),%XMM0 |
0x58c87 VMOVSD %XMM0,-0x38(%RBP) |
0x58c8c MOV (%RDI),%ESI |
0x58c8e MOVQ $0,-0xf8(%RBP) |
0x58c99 MOV %R9,-0xf0(%RBP) |
0x58ca0 MOVQ $0x1,-0x170(%RBP) |
0x58cab SUB $0x8,%RSP |
0x58caf LEA -0x170(%RBP),%RAX |
0x58cb6 LEA 0x27bb53(%RIP),%RDI |
0x58cbd LEA -0xd0(%RBP),%RCX |
0x58cc4 LEA -0xf8(%RBP),%R8 |
0x58ccb LEA -0xf0(%RBP),%R9 |
0x58cd2 MOV %ESI,-0xcc(%RBP) |
0x58cd8 MOV $0x22,%EDX |
0x58cdd PUSH $0x1 |
0x58cdf PUSH $0x1 |
0x58ce1 PUSH %RAX |
0x58ce2 CALL 9930 <__kmpc_for_static_init_8@plt> |
0x58ce7 ADD $0x20,%RSP |
0x58ceb MOV -0xf8(%RBP),%RAX |
0x58cf2 MOV -0xf0(%RBP),%RCX |
0x58cf9 MOV %RAX,-0xb0(%RBP) |
0x58d00 CMP %RCX,%RAX |
0x58d03 JA 58eeb |
0x58d09 MOV %R15,%RAX |
0x58d0c SUB -0x40(%RBP),%RAX |
0x58d10 MOV %RAX,-0x88(%RBP) |
0x58d17 JLE 58eeb |
0x58d1d MOV -0xb0(%RBP),%RAX |
0x58d24 LEA 0x1(%RAX),%RDX |
0x58d28 INC %RCX |
0x58d2b CMP %RCX,%RDX |
0x58d2e MOV %RDX,-0x138(%RBP) |
0x58d35 CMOVG %RDX,%RCX |
0x58d39 MOV %RCX,-0x100(%RBP) |
0x58d40 SUB %RAX,%RCX |
0x58d43 CMP $0x8,%RCX |
0x58d47 VMOVSD -0x38(%RBP),%XMM8 |
0x58d4c MOV %RCX,-0x108(%RBP) |
0x58d53 JAE 58f68 |
0x58d59 MOV -0xa8(%RBP),%R10 |
0x58d60 MOV -0x108(%RBP),%RDI |
0x58d67 MOV %RDI,%RCX |
0x58d6a AND $-0x8,%RCX |
0x58d6e CMP %RDI,%RCX |
0x58d71 JNE 58d87 |
0x58d73 MOV -0x100(%RBP),%RAX |
0x58d7a CMP -0xb0(%RBP),%RAX |
0x58d81 JNE 58ef0 |
0x58d87 DEC %RDI |
0x58d8a MOV -0x90(%RBP),%R11 |
0x58d91 MOV -0x40(%RBP),%RAX |
0x58d95 LEA (%R11,%RAX,8),%RSI |
0x58d99 MOV -0xa0(%RBP),%RAX |
0x58da0 LEA (,%RAX,8),%R14 |
0x58da8 MOV -0x98(%RBP),%RAX |
0x58daf LEA (,%RAX,8),%R12 |
0x58db7 JMP 58dcd |
0x58db9 NOPL (%RAX) |
(994) 0x58dc0 CMP %RDI,%RCX |
(994) 0x58dc3 LEA 0x1(%RCX),%RCX |
(994) 0x58dc7 JE 58ef0 |
(994) 0x58dcd MOV -0xb0(%RBP),%RAX |
(994) 0x58dd4 ADD %RCX,%RAX |
(994) 0x58dd7 MOV %RAX,%RDX |
(994) 0x58dda OR %RBX,%RDX |
(994) 0x58ddd SHR $0x20,%RDX |
(994) 0x58de1 JE 58df0 |
(994) 0x58de3 CQTO |
(994) 0x58de5 IDIV %RBX |
(994) 0x58de8 JMP 58df4 |
0x58dea NOPW (%RAX,%RAX,1) |
(994) 0x58df0 XOR %EDX,%EDX |
(994) 0x58df2 DIV %EBX |
(994) 0x58df4 ADD -0x30(%RBP),%RAX |
(994) 0x58df8 VMOVSD (%R10,%RAX,8),%XMM0 |
(994) 0x58dfe MOV -0x88(%RBP),%R9 |
(994) 0x58e05 AND $-0x4,%R9 |
(994) 0x58e09 JE 58ea0 |
(994) 0x58e0f MOV %RBX,%R8 |
(994) 0x58e12 LEA -0x1(%R9),%R10 |
(994) 0x58e16 MOV -0xb8(%RBP),%R11 |
(994) 0x58e1d ADD %RDX,%R11 |
(994) 0x58e20 IMUL -0x98(%RBP),%R11 |
(994) 0x58e28 MOV -0xa0(%RBP),%RBX |
(994) 0x58e2f IMUL %RAX,%RBX |
(994) 0x58e33 VBROADCASTSD %XMM0,%YMM1 |
(994) 0x58e38 ADD -0x40(%RBP),%R11 |
(994) 0x58e3c ADD %RBX,%R11 |
(994) 0x58e3f MOV -0xc0(%RBP),%RBX |
(994) 0x58e46 LEA (%RBX,%R11,8),%R11 |
(994) 0x58e4a VXORPD %XMM2,%XMM2,%XMM2 |
(994) 0x58e4e XOR %EBX,%EBX |
(995) 0x58e50 VMULPD (%R11,%RBX,8),%YMM1,%YMM3 |
(995) 0x58e56 VFMADD231PD (%RSI,%RBX,8),%YMM3,%YMM2 |
(995) 0x58e5c ADD $0x4,%RBX |
(995) 0x58e60 CMP %R10,%RBX |
(995) 0x58e63 JLE 58e50 |
(994) 0x58e65 VEXTRACTF128 $0x1,%YMM2,%XMM1 |
(994) 0x58e6b VADDPD %XMM1,%XMM2,%XMM1 |
(994) 0x58e6f VSHUFPD $0x1,%XMM1,%XMM1,%XMM2 |
(994) 0x58e74 VADDSD %XMM2,%XMM1,%XMM1 |
(994) 0x58e78 VADDSD %XMM1,%XMM8,%XMM8 |
(994) 0x58e7c CMP %R9,-0x88(%RBP) |
(994) 0x58e83 MOV -0xa8(%RBP),%R10 |
(994) 0x58e8a MOV -0x90(%RBP),%R11 |
(994) 0x58e91 MOV %R8,%RBX |
(994) 0x58e94 JE 58dc0 |
(994) 0x58e9a JMP 58ea3 |
0x58e9c NOPL (%RAX) |
(994) 0x58ea0 XOR %R9D,%R9D |
(994) 0x58ea3 ADD -0x40(%RBP),%R9 |
(994) 0x58ea7 IMUL %R14,%RAX |
(994) 0x58eab ADD -0xb8(%RBP),%RDX |
(994) 0x58eb2 IMUL %R12,%RDX |
(994) 0x58eb6 ADD %RAX,%RDX |
(994) 0x58eb9 ADD -0xc0(%RBP),%RDX |
(993) 0x58ec0 VMULSD (%RDX,%R9,8),%XMM0,%XMM1 |
(993) 0x58ec6 VFMADD231SD (%R11,%R9,8),%XMM1,%XMM8 |
(993) 0x58ecc INC %R9 |
(993) 0x58ecf CMP %R9,%R15 |
(993) 0x58ed2 JNE 58ec0 |
(994) 0x58ed4 JMP 58dc0 |
0x58ed9 ADD $0x178,%RSP |
0x58ee0 POP %RBX |
0x58ee1 POP %R12 |
0x58ee3 POP %R13 |
0x58ee5 POP %R14 |
0x58ee7 POP %R15 |
0x58ee9 POP %RBP |
0x58eea RET |
0x58eeb VMOVSD -0x38(%RBP),%XMM8 |
0x58ef0 VMOVSD %XMM8,-0x38(%RBP) |
0x58ef5 LEA 0x27b934(%RIP),%RDI |
0x58efc MOV -0xcc(%RBP),%ESI |
0x58f02 VZEROUPPER |
0x58f05 CALL 9860 <__kmpc_for_static_fini@plt> |
0x58f0a LEA 0x27bb3f(%RIP),%RDI |
0x58f11 CALL 9540 <__kmpc_global_thread_num@plt> |
0x58f16 MOV %EAX,%EBX |
0x58f18 LEA 0x27b8b1(%RIP),%RDI |
0x58f1f MOV 0x27af6a(%RIP),%R14 |
0x58f26 MOV %EAX,%ESI |
0x58f28 MOV %R14,%RDX |
0x58f2b CALL 96a0 <__kmpc_critical@plt> |
0x58f30 MOV -0x110(%RBP),%RAX |
0x58f37 VMOVSD -0x38(%RBP),%XMM0 |
0x58f3c VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x58f41 VMOVSD %XMM0,0x10(%RAX) |
0x58f46 LEA 0x27b8a3(%RIP),%RDI |
0x58f4d MOV %EBX,%ESI |
0x58f4f MOV %R14,%RDX |
0x58f52 ADD $0x178,%RSP |
0x58f59 POP %RBX |
0x58f5a POP %R12 |
0x58f5c POP %R13 |
0x58f5e POP %R14 |
0x58f60 POP %R15 |
0x58f62 POP %RBP |
0x58f63 JMP 94f0 |
0x58f68 SHR $0x3,%RCX |
0x58f6c DEC %RCX |
0x58f6f MOV %RCX,-0x120(%RBP) |
0x58f76 MOV -0x90(%RBP),%RAX |
0x58f7d MOV -0x40(%RBP),%RCX |
0x58f81 LEA (%RAX,%RCX,8),%RSI |
0x58f85 XOR %ECX,%ECX |
0x58f87 MOV %R15,-0x130(%RBP) |
0x58f8e MOV -0xa8(%RBP),%R10 |
0x58f95 MOV %RBX,-0x128(%RBP) |
0x58f9c MOV %RSI,-0x118(%RBP) |
0x58fa3 JMP 58fdd |
0x58fa5 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x58fb0 MOV -0x168(%RBP),%RCX |
(996) 0x58fb7 CMP -0x120(%RBP),%RCX |
(996) 0x58fbe LEA 0x1(%RCX),%RCX |
(996) 0x58fc2 MOV -0x130(%RBP),%R15 |
(996) 0x58fc9 MOV -0xa8(%RBP),%R10 |
(996) 0x58fd0 MOV -0x128(%RBP),%RBX |
(996) 0x58fd7 JE 58d60 |
(996) 0x58fdd MOV -0xb0(%RBP),%RAX |
(996) 0x58fe4 LEA (%RAX,%RCX,8),%R8 |
(996) 0x58fe8 MOV %R8,%RAX |
(996) 0x58feb OR %RBX,%RAX |
(996) 0x58fee SHR $0x20,%RAX |
(996) 0x58ff2 JE 59010 |
(996) 0x58ff4 MOV %R8,%RAX |
(996) 0x58ff7 CQTO |
(996) 0x58ff9 IDIV %RBX |
(996) 0x58ffc MOV %RDX,%RDI |
(996) 0x58fff MOV %RAX,%R11 |
(996) 0x59002 JMP 5901c |
0x59004 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x59010 MOV %R8D,%EAX |
(996) 0x59013 XOR %EDX,%EDX |
(996) 0x59015 DIV %EBX |
(996) 0x59017 MOV %EDX,%EDI |
(996) 0x59019 MOV %EAX,%R11D |
(996) 0x5901c MOV %RCX,-0x168(%RBP) |
(996) 0x59023 LEA (,%RCX,8),%RAX |
(996) 0x5902b ADD -0x30(%RBP),%R11 |
(996) 0x5902f VMOVSD (%R10,%R11,8),%XMM2 |
(996) 0x59035 ADD -0x138(%RBP),%RAX |
(996) 0x5903c MOV %RAX,%RCX |
(996) 0x5903f OR %RBX,%RCX |
(996) 0x59042 SHR $0x20,%RCX |
(996) 0x59046 JE 59060 |
(996) 0x59048 CQTO |
(996) 0x5904a IDIV %RBX |
(996) 0x5904d MOV %RDX,%R13 |
(996) 0x59050 MOV %RAX,%R15 |
(996) 0x59053 JMP 5906a |
0x59055 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x59060 XOR %EDX,%EDX |
(996) 0x59062 DIV %EBX |
(996) 0x59064 MOV %EDX,%R13D |
(996) 0x59067 MOV %EAX,%R15D |
(996) 0x5906a ADD -0x30(%RBP),%R15 |
(996) 0x5906e VMOVSD (%R10,%R15,8),%XMM9 |
(996) 0x59074 LEA 0x2(%R8),%RAX |
(996) 0x59078 MOV %RAX,%RCX |
(996) 0x5907b OR %RBX,%RCX |
(996) 0x5907e SHR $0x20,%RCX |
(996) 0x59082 JE 59090 |
(996) 0x59084 CQTO |
(996) 0x59086 IDIV %RBX |
(996) 0x59089 MOV %RDX,-0x58(%RBP) |
(996) 0x5908d JMP 59098 |
0x5908f NOP |
(996) 0x59090 XOR %EDX,%EDX |
(996) 0x59092 DIV %EBX |
(996) 0x59094 MOV %RDX,-0x58(%RBP) |
(996) 0x59098 ADD -0x30(%RBP),%RAX |
(996) 0x5909c MOV %RAX,-0x70(%RBP) |
(996) 0x590a0 VMOVSD (%R10,%RAX,8),%XMM10 |
(996) 0x590a6 LEA 0x3(%R8),%RAX |
(996) 0x590aa MOV %RAX,%RCX |
(996) 0x590ad OR %RBX,%RCX |
(996) 0x590b0 SHR $0x20,%RCX |
(996) 0x590b4 JE 590d0 |
(996) 0x590b6 CQTO |
(996) 0x590b8 IDIV %RBX |
(996) 0x590bb MOV %RDX,-0x78(%RBP) |
(996) 0x590bf JMP 590d8 |
0x590c1 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x590d0 XOR %EDX,%EDX |
(996) 0x590d2 DIV %EBX |
(996) 0x590d4 MOV %RDX,-0x78(%RBP) |
(996) 0x590d8 ADD -0x30(%RBP),%RAX |
(996) 0x590dc MOV %RAX,-0x68(%RBP) |
(996) 0x590e0 VMOVSD (%R10,%RAX,8),%XMM3 |
(996) 0x590e6 LEA 0x4(%R8),%RAX |
(996) 0x590ea MOV %RAX,%RCX |
(996) 0x590ed OR %RBX,%RCX |
(996) 0x590f0 SHR $0x20,%RCX |
(996) 0x590f4 JE 59110 |
(996) 0x590f6 CQTO |
(996) 0x590f8 IDIV %RBX |
(996) 0x590fb MOV %RDX,-0x50(%RBP) |
(996) 0x590ff JMP 59118 |
0x59101 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x59110 XOR %EDX,%EDX |
(996) 0x59112 DIV %EBX |
(996) 0x59114 MOV %RDX,-0x50(%RBP) |
(996) 0x59118 ADD -0x30(%RBP),%RAX |
(996) 0x5911c MOV %RAX,-0x60(%RBP) |
(996) 0x59120 VMOVSD (%R10,%RAX,8),%XMM4 |
(996) 0x59126 LEA 0x5(%R8),%RAX |
(996) 0x5912a MOV %RAX,%RCX |
(996) 0x5912d OR %RBX,%RCX |
(996) 0x59130 SHR $0x20,%RCX |
(996) 0x59134 JE 59140 |
(996) 0x59136 CQTO |
(996) 0x59138 IDIV %RBX |
(996) 0x5913b MOV %RDX,%R14 |
(996) 0x5913e JMP 59147 |
(996) 0x59140 XOR %EDX,%EDX |
(996) 0x59142 DIV %EBX |
(996) 0x59144 MOV %EDX,%R14D |
(996) 0x59147 ADD -0x30(%RBP),%RAX |
(996) 0x5914b MOV %RAX,-0xc8(%RBP) |
(996) 0x59152 VMOVSD (%R10,%RAX,8),%XMM5 |
(996) 0x59158 LEA 0x6(%R8),%RAX |
(996) 0x5915c MOV %RAX,%RCX |
(996) 0x5915f OR %RBX,%RCX |
(996) 0x59162 SHR $0x20,%RCX |
(996) 0x59166 JE 59180 |
(996) 0x59168 CQTO |
(996) 0x5916a IDIV %RBX |
(996) 0x5916d MOV %RDX,-0x48(%RBP) |
(996) 0x59171 MOV %RAX,%RCX |
(996) 0x59174 JMP 5918a |
0x59176 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x59180 XOR %EDX,%EDX |
(996) 0x59182 DIV %EBX |
(996) 0x59184 MOV %RDX,-0x48(%RBP) |
(996) 0x59188 MOV %EAX,%ECX |
(996) 0x5918a ADD -0x30(%RBP),%RCX |
(996) 0x5918e VMOVSD (%R10,%RCX,8),%XMM6 |
(996) 0x59194 ADD $0x7,%R8 |
(996) 0x59198 MOV %R8,%RAX |
(996) 0x5919b OR %RBX,%RAX |
(996) 0x5919e SHR $0x20,%RAX |
(996) 0x591a2 JE 591c0 |
(996) 0x591a4 MOV %R8,%RAX |
(996) 0x591a7 CQTO |
(996) 0x591a9 IDIV %RBX |
(996) 0x591ac MOV %RDX,%R9 |
(996) 0x591af JMP 591ca |
0x591b1 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x591c0 MOV %R8D,%EAX |
(996) 0x591c3 XOR %EDX,%EDX |
(996) 0x591c5 DIV %EBX |
(996) 0x591c7 MOV %EDX,%R9D |
(996) 0x591ca MOV %RCX,-0x80(%RBP) |
(996) 0x591ce ADD -0x30(%RBP),%RAX |
(996) 0x591d2 VMOVSD (%R10,%RAX,8),%XMM7 |
(996) 0x591d8 MOV -0x88(%RBP),%RCX |
(996) 0x591df AND $-0x4,%RCX |
(996) 0x591e3 MOV %RAX,%R12 |
(996) 0x591e6 JE 594a0 |
(996) 0x591ec VMOVSD %XMM8,-0x38(%RBP) |
(996) 0x591f1 MOV %RCX,-0x140(%RBP) |
(996) 0x591f8 LEA -0x1(%RCX),%RSI |
(996) 0x591fc MOV -0xa0(%RBP),%RCX |
(996) 0x59203 IMUL %RCX,%R11 |
(996) 0x59207 MOV %R11,-0xe0(%RBP) |
(996) 0x5920e MOV -0xb8(%RBP),%RAX |
(996) 0x59215 ADD %RAX,%RDI |
(996) 0x59218 MOV %RDI,%RDX |
(996) 0x5921b MOV -0x98(%RBP),%RDI |
(996) 0x59222 IMUL %RDI,%RDX |
(996) 0x59226 MOV %RDX,-0xe8(%RBP) |
(996) 0x5922d VMOVUPD %XMM2,-0x1a0(%RBP) |
(996) 0x59235 VBROADCASTSD %XMM2,%YMM8 |
(996) 0x5923a IMUL %RCX,%R15 |
(996) 0x5923e MOV %R15,-0xd8(%RBP) |
(996) 0x59245 MOV %R13,%R11 |
(996) 0x59248 ADD %RAX,%R11 |
(996) 0x5924b IMUL %RDI,%R11 |
(996) 0x5924f VMOVUPD %XMM9,-0x190(%RBP) |
(996) 0x59257 VBROADCASTSD %XMM9,%YMM9 |
(996) 0x5925c MOV -0x70(%RBP),%RDX |
(996) 0x59260 IMUL %RCX,%RDX |
(996) 0x59264 MOV %RDX,-0x70(%RBP) |
(996) 0x59268 MOV -0x58(%RBP),%R13 |
(996) 0x5926c ADD %RAX,%R13 |
(996) 0x5926f IMUL %RDI,%R13 |
(996) 0x59273 VMOVUPD %XMM10,-0x180(%RBP) |
(996) 0x5927b VBROADCASTSD %XMM10,%YMM10 |
(996) 0x59280 MOV -0x68(%RBP),%RDX |
(996) 0x59284 IMUL %RCX,%RDX |
(996) 0x59288 MOV %RDX,-0x68(%RBP) |
(996) 0x5928c MOV -0x78(%RBP),%R10 |
(996) 0x59290 ADD %RAX,%R10 |
(996) 0x59293 IMUL %RDI,%R10 |
(996) 0x59297 VBROADCASTSD %XMM3,%YMM11 |
(996) 0x5929c MOV -0x60(%RBP),%RDX |
(996) 0x592a0 IMUL %RCX,%RDX |
(996) 0x592a4 MOV %RDX,-0x60(%RBP) |
(996) 0x592a8 MOV -0x50(%RBP),%RDX |
(996) 0x592ac ADD %RAX,%RDX |
(996) 0x592af IMUL %RDI,%RDX |
(996) 0x592b3 VBROADCASTSD %XMM4,%YMM12 |
(996) 0x592b8 MOV -0xc8(%RBP),%R15 |
(996) 0x592bf IMUL %RCX,%R15 |
(996) 0x592c3 ADD %RAX,%R14 |
(996) 0x592c6 IMUL %RDI,%R14 |
(996) 0x592ca VBROADCASTSD %XMM5,%YMM13 |
(996) 0x592cf MOV -0x80(%RBP),%R8 |
(996) 0x592d3 IMUL %RCX,%R8 |
(996) 0x592d7 MOV -0x48(%RBP),%RBX |
(996) 0x592db ADD %RAX,%RBX |
(996) 0x592de IMUL %RDI,%RBX |
(996) 0x592e2 VBROADCASTSD %XMM6,%YMM14 |
(996) 0x592e7 ADD %RAX,%R9 |
(996) 0x592ea IMUL %RDI,%R9 |
(996) 0x592ee IMUL %RCX,%R12 |
(996) 0x592f2 VBROADCASTSD %XMM7,%YMM15 |
(996) 0x592f7 MOV %R12,%RAX |
(996) 0x592fa MOV -0x40(%RBP),%R12 |
(996) 0x592fe MOV %R9,-0x148(%RBP) |
(996) 0x59305 LEA (%R12,%R9,1),%RCX |
(996) 0x59309 MOV %RAX,-0x150(%RBP) |
(996) 0x59310 ADD %RAX,%RCX |
(996) 0x59313 MOV %R11,%RAX |
(996) 0x59316 MOV -0xc0(%RBP),%R9 |
(996) 0x5931d LEA (%R9,%RCX,8),%R11 |
(996) 0x59321 MOV %RBX,-0x48(%RBP) |
(996) 0x59325 LEA (%R12,%RBX,1),%RCX |
(996) 0x59329 MOV %R8,-0x80(%RBP) |
(996) 0x5932d ADD %R8,%RCX |
(996) 0x59330 LEA (%R9,%RCX,8),%RBX |
(996) 0x59334 MOV %R14,-0x158(%RBP) |
(996) 0x5933b LEA (%R12,%R14,1),%RCX |
(996) 0x5933f MOV %R15,-0xc8(%RBP) |
(996) 0x59346 ADD %R15,%RCX |
(996) 0x59349 LEA (%R9,%RCX,8),%R15 |
(996) 0x5934d MOV %RDX,-0x50(%RBP) |
(996) 0x59351 LEA (%R12,%RDX,1),%RCX |
(996) 0x59355 ADD -0x60(%RBP),%RCX |
(996) 0x59359 LEA (%R9,%RCX,8),%RDI |
(996) 0x5935d MOV %R10,-0x78(%RBP) |
(996) 0x59361 LEA (%R12,%R10,1),%RCX |
(996) 0x59365 ADD -0x68(%RBP),%RCX |
(996) 0x59369 LEA (%R9,%RCX,8),%R10 |
(996) 0x5936d MOV %R13,-0x58(%RBP) |
(996) 0x59371 LEA (%R12,%R13,1),%RCX |
(996) 0x59375 ADD -0x70(%RBP),%RCX |
(996) 0x59379 LEA (%R9,%RCX,8),%R13 |
(996) 0x5937d MOV %RAX,-0x160(%RBP) |
(996) 0x59384 LEA (%R12,%RAX,1),%RCX |
(996) 0x59388 ADD -0xd8(%RBP),%RCX |
(996) 0x5938f LEA (%R9,%RCX,8),%R14 |
(996) 0x59393 MOV -0xe8(%RBP),%RAX |
(996) 0x5939a LEA (%R12,%RAX,1),%RCX |
(996) 0x5939e ADD -0xe0(%RBP),%RCX |
(996) 0x593a5 LEA (%R9,%RCX,8),%RCX |
(996) 0x593a9 VXORPD %XMM0,%XMM0,%XMM0 |
(996) 0x593ad XOR %R12D,%R12D |
(996) 0x593b0 MOV -0x118(%RBP),%R9 |
(996) 0x593b7 NOPW (%RAX,%RAX,1) |
(997) 0x593c0 VMULPD (%RCX,%R12,8),%YMM8,%YMM1 |
(997) 0x593c6 VFMADD231PD (%R14,%R12,8),%YMM9,%YMM1 |
(997) 0x593cc VFMADD231PD (%R13,%R12,8),%YMM10,%YMM1 |
(997) 0x593d3 VMOVUPD (%R9,%R12,8),%YMM2 |
(997) 0x593d9 VFMADD231PD (%R10,%R12,8),%YMM11,%YMM1 |
(997) 0x593df VFMADD213PD %YMM0,%YMM2,%YMM1 |
(997) 0x593e4 VMULPD (%RDI,%R12,8),%YMM12,%YMM0 |
(997) 0x593ea VFMADD231PD (%R15,%R12,8),%YMM13,%YMM0 |
(997) 0x593f0 VFMADD231PD (%RBX,%R12,8),%YMM14,%YMM0 |
(997) 0x593f6 VFMADD231PD (%R11,%R12,8),%YMM15,%YMM0 |
(997) 0x593fc VFMADD213PD %YMM1,%YMM2,%YMM0 |
(997) 0x59401 ADD $0x4,%R12 |
(997) 0x59405 CMP %RSI,%R12 |
(997) 0x59408 JLE 593c0 |
(996) 0x5940a VEXTRACTF128 $0x1,%YMM0,%XMM1 |
(996) 0x59410 VADDPD %XMM1,%XMM0,%XMM0 |
(996) 0x59414 VSHUFPD $0x1,%XMM0,%XMM0,%XMM1 |
(996) 0x59419 VADDSD %XMM1,%XMM0,%XMM0 |
(996) 0x5941d VMOVSD -0x38(%RBP),%XMM8 |
(996) 0x59422 VADDSD %XMM0,%XMM8,%XMM8 |
(996) 0x59426 MOV -0x140(%RBP),%RSI |
(996) 0x5942d CMP %RSI,-0x88(%RBP) |
(996) 0x59434 VMOVUPD -0x1a0(%RBP),%XMM2 |
(996) 0x5943c MOV -0xe8(%RBP),%RDI |
(996) 0x59443 VMOVUPD -0x190(%RBP),%XMM9 |
(996) 0x5944b MOV -0x160(%RBP),%R13 |
(996) 0x59452 MOV -0xe0(%RBP),%R11 |
(996) 0x59459 VMOVUPD -0x180(%RBP),%XMM10 |
(996) 0x59461 MOV -0xd8(%RBP),%R15 |
(996) 0x59468 MOV -0x78(%RBP),%R10 |
(996) 0x5946c MOV -0x158(%RBP),%R14 |
(996) 0x59473 MOV -0xc8(%RBP),%RDX |
(996) 0x5947a MOV -0x150(%RBP),%RAX |
(996) 0x59481 MOV -0x148(%RBP),%R9 |
(996) 0x59488 JE 58fb0 |
(996) 0x5948e JMP 59555 |
0x59493 NOPW %CS:(%RAX,%RAX,1) |
(996) 0x594a0 MOV -0xa0(%RBP),%RCX |
(996) 0x594a7 IMUL %RCX,%R11 |
(996) 0x594ab MOV -0xb8(%RBP),%RAX |
(996) 0x594b2 ADD %RAX,%RDI |
(996) 0x594b5 MOV -0x98(%RBP),%RSI |
(996) 0x594bc IMUL %RSI,%RDI |
(996) 0x594c0 IMUL %RCX,%R15 |
(996) 0x594c4 ADD %RAX,%R13 |
(996) 0x594c7 IMUL %RSI,%R13 |
(996) 0x594cb MOV -0x70(%RBP),%RDX |
(996) 0x594cf IMUL %RCX,%RDX |
(996) 0x594d3 MOV %RDX,-0x70(%RBP) |
(996) 0x594d7 MOV -0x58(%RBP),%RDX |
(996) 0x594db ADD %RAX,%RDX |
(996) 0x594de IMUL %RSI,%RDX |
(996) 0x594e2 MOV %RDX,-0x58(%RBP) |
(996) 0x594e6 MOV -0x68(%RBP),%RDX |
(996) 0x594ea IMUL %RCX,%RDX |
(996) 0x594ee MOV %RDX,-0x68(%RBP) |
(996) 0x594f2 MOV -0x78(%RBP),%R10 |
(996) 0x594f6 ADD %RAX,%R10 |
(996) 0x594f9 IMUL %RSI,%R10 |
(996) 0x594fd MOV -0x60(%RBP),%RDX |
(996) 0x59501 IMUL %RCX,%RDX |
(996) 0x59505 MOV %RDX,-0x60(%RBP) |
(996) 0x59509 MOV -0x50(%RBP),%RDX |
(996) 0x5950d ADD %RAX,%RDX |
(996) 0x59510 IMUL %RSI,%RDX |
(996) 0x59514 MOV %RDX,-0x50(%RBP) |
(996) 0x59518 MOV -0xc8(%RBP),%RDX |
(996) 0x5951f IMUL %RCX,%RDX |
(996) 0x59523 ADD %RAX,%R14 |
(996) 0x59526 IMUL %RSI,%R14 |
(996) 0x5952a MOV -0x80(%RBP),%R8 |
(996) 0x5952e IMUL %RCX,%R8 |
(996) 0x59532 MOV %R8,-0x80(%RBP) |
(996) 0x59536 MOV -0x48(%RBP),%R8 |
(996) 0x5953a ADD %RAX,%R8 |
(996) 0x5953d IMUL %RSI,%R8 |
(996) 0x59541 MOV %R8,-0x48(%RBP) |
(996) 0x59545 ADD %RAX,%R9 |
(996) 0x59548 IMUL %RSI,%R9 |
(996) 0x5954c IMUL %RCX,%R12 |
(996) 0x59550 XOR %ESI,%ESI |
(996) 0x59552 MOV %R12,%RAX |
(996) 0x59555 ADD %R11,%RDI |
(996) 0x59558 ADD %R15,%R13 |
(996) 0x5955b MOV %R13,%R8 |
(996) 0x5955e MOV -0x58(%RBP),%R11 |
(996) 0x59562 ADD -0x70(%RBP),%R11 |
(996) 0x59566 ADD -0x68(%RBP),%R10 |
(996) 0x5956a MOV -0x50(%RBP),%RBX |
(996) 0x5956e ADD -0x60(%RBP),%RBX |
(996) 0x59572 ADD %RDX,%R14 |
(996) 0x59575 MOV -0x48(%RBP),%RCX |
(996) 0x59579 ADD -0x80(%RBP),%RCX |
(996) 0x5957d ADD %R9,%RAX |
(996) 0x59580 MOV -0x88(%RBP),%RDX |
(996) 0x59587 SUB %RSI,%RDX |
(996) 0x5958a ADD -0x40(%RBP),%RSI |
(996) 0x5958e ADD %RSI,%RAX |
(996) 0x59591 MOV %RSI,%R12 |
(996) 0x59594 MOV %R14,%RSI |
(996) 0x59597 MOV -0xc0(%RBP),%R14 |
(996) 0x5959e LEA (%R14,%RAX,8),%RAX |
(996) 0x595a2 ADD %R12,%RCX |
(996) 0x595a5 LEA (%R14,%RCX,8),%RCX |
(996) 0x595a9 ADD %R12,%RSI |
(996) 0x595ac LEA (%R14,%RSI,8),%RSI |
(996) 0x595b0 ADD %R12,%RBX |
(996) 0x595b3 MOV %RDI,%R13 |
(996) 0x595b6 LEA (%R14,%RBX,8),%RDI |
(996) 0x595ba ADD %R12,%R10 |
(996) 0x595bd LEA (%R14,%R10,8),%R10 |
(996) 0x595c1 ADD %R12,%R11 |
(996) 0x595c4 LEA (%R14,%R11,8),%R11 |
(996) 0x595c8 ADD %R12,%R8 |
(996) 0x595cb LEA (%R14,%R8,8),%RBX |
(996) 0x595cf MOV -0x90(%RBP),%R9 |
(996) 0x595d6 LEA (%R9,%R12,8),%R15 |
(996) 0x595da ADD %R13,%R12 |
(996) 0x595dd LEA (%R14,%R12,8),%R8 |
(996) 0x595e1 XOR %R14D,%R14D |
(996) 0x595e4 NOPW %CS:(%RAX,%RAX,1) |
(992) 0x595f0 VMULSD (%R8,%R14,8),%XMM2,%XMM0 |
(992) 0x595f6 VFMADD231SD (%RBX,%R14,8),%XMM9,%XMM0 |
(992) 0x595fc VFMADD231SD (%R11,%R14,8),%XMM10,%XMM0 |
(992) 0x59602 VMOVSD (%R15,%R14,8),%XMM1 |
(992) 0x59608 VFMADD231SD (%R10,%R14,8),%XMM3,%XMM0 |
(992) 0x5960e VFMADD213SD %XMM8,%XMM1,%XMM0 |
(992) 0x59613 VMULSD (%RDI,%R14,8),%XMM4,%XMM8 |
(992) 0x59619 VFMADD231SD (%RSI,%R14,8),%XMM5,%XMM8 |
(992) 0x5961f VFMADD231SD (%RCX,%R14,8),%XMM6,%XMM8 |
(992) 0x59625 VFMADD231SD (%RAX,%R14,8),%XMM7,%XMM8 |
(992) 0x5962b VFMADD213SD %XMM0,%XMM1,%XMM8 |
(992) 0x59630 INC %R14 |
(992) 0x59633 CMP %R14,%RDX |
(992) 0x59636 JNE 595f0 |
(996) 0x59638 JMP 58fb0 |
0x5963d NOPL (%RAX) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 154 |
nb uops | 159 |
loop length | 800 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 24 |
micro-operation queue | 26.50 cycles |
front end | 26.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.00 | 5.10 | 15.67 | 15.67 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.67 |
cycles | 5.00 | 5.10 | 15.67 | 15.67 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 25.86-25.91 |
Stall cycles | 0.00 |
Front-end | 26.50 |
Dispatch | 19.50 |
Overall L1 | 26.50 |
all | 2% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 6% |
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 | 1% |
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 | 6% |
all | 11% |
load | 10% |
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 | 11% |
load | 11% |
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 $0x178,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xd0(%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 58ed9 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x2f9> | 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),%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 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%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,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R15 | 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,-0xa8(%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,-0xa0(%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,-0x98(%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,-0xc0(%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,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVSD 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %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,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x170(%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 -0x170(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x27bb53(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xd0(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf0(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xcc(%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 9930 <__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 -0xf8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf0(%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 58eeb <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x30b> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x40(%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,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 58eeb <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x30b> | 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,-0x138(%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 |
MOV %RCX,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 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),%XMM8 | 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 58f68 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x388> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa8(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RDI,%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 %RDI,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 58d87 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1a7> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0xb0(%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 |
JNE 58ef0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x310> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x90(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%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),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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),%R14 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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),%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
JMP 58dcd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1ed> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x178,%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 |
VMOVSD -0x38(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %XMM8,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x27b934(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xcc(%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 9860 <__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 0x27bb3f(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 9540 <__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 0x27b8b1(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x27af6a(%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 96a0 <__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 0x27b8a3(%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 $0x178,%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 94f0 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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,-0x120(%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 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 -0xa8(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RBX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 58fdd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x3fd> | 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 |
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 %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 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 154 |
nb uops | 159 |
loop length | 800 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 24 |
micro-operation queue | 26.50 cycles |
front end | 26.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.00 | 5.10 | 15.67 | 15.67 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.67 |
cycles | 5.00 | 5.10 | 15.67 | 15.67 | 19.50 | 4.90 | 5.00 | 19.50 | 19.50 | 19.50 | 5.00 | 15.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 25.86-25.91 |
Stall cycles | 0.00 |
Front-end | 26.50 |
Dispatch | 19.50 |
Overall L1 | 26.50 |
all | 2% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 6% |
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 | 1% |
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 | 6% |
all | 11% |
load | 10% |
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 | 11% |
load | 11% |
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 $0x178,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xd0(%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 58ed9 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x2f9> | 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),%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 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%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,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R15 | 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,-0xa8(%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,-0xa0(%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,-0x98(%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,-0xc0(%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,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVSD 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %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,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x170(%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 -0x170(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x27bb53(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xd0(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf0(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xcc(%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 9930 <__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 -0xf8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf0(%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 58eeb <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x30b> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x40(%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,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 58eeb <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x30b> | 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,-0x138(%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 |
MOV %RCX,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 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),%XMM8 | 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 58f68 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x388> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa8(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RDI,%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 %RDI,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 58d87 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1a7> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0xb0(%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 |
JNE 58ef0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x310> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x90(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%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),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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),%R14 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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),%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
JMP 58dcd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1ed> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPL (%RAX) | 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 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x178,%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 |
VMOVSD -0x38(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD %XMM8,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x27b934(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xcc(%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 9860 <__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 0x27bb3f(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 9540 <__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 0x27b8b1(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x27af6a(%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 96a0 <__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 0x27b8a3(%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 $0x178,%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 94f0 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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,-0x120(%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 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 -0xa8(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RBX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 58fdd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x3fd> | 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 |
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 %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 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void PopulationSdom::operator() | 0.39 | 0.21 |
▼Loop 996 - Collapse.hpp:81-89 - libkripke.so– | 0 | 0.01 |
○Loop 997 - forall.hpp:59-59 - libkripke.so | 0.37 | 0.2 |
○Loop 992 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 994 - Collapse.hpp:81-89 - libkripke.so– | 0 | 0 |
○Loop 995 - forall.hpp:59-59 - libkripke.so | 0.01 | 0.01 |
○Loop 993 - forall.hpp:59-59 - libkripke.so | 0 | 0 |