Function: _ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_N ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 0.35% |
---|
Function: _ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_N ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 0.35% |
---|
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/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) {} |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/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) { |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 83 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/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}, |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 79 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Operators.hpp: 307 - 307 |
-------------------------------------------------------------------------------- |
307: return Ret{lhs} + rhs; |
/home/eoseret/qaas_runs_CPU_9468/171-112-3942/intel/Kripke/build/Kripke/src/Kripke/Kernel/Population.cpp: 58 - 58 |
-------------------------------------------------------------------------------- |
58: part_red += w(d) * psi(d,g,z) * volume(z); |
0x457d90 PUSH %RBP |
0x457d91 MOV %RSP,%RBP |
0x457d94 PUSH %R15 |
0x457d96 PUSH %R14 |
0x457d98 PUSH %R13 |
0x457d9a PUSH %R12 |
0x457d9c PUSH %RBX |
0x457d9d SUB $0x178,%RSP |
0x457da4 MOVL $0,-0xb0(%RBP) |
0x457dae LEA 0x38(%R8),%RCX |
0x457db2 MOV 0x38(%R8),%RAX |
0x457db6 TEST %RAX,%RAX |
0x457db9 CMOVNE %RAX,%RCX |
0x457dbd TEST %R9,%R9 |
0x457dc0 JS 457e9a |
0x457dc6 MOV %RCX,-0x120(%RBP) |
0x457dcd MOV %RDX,%R15 |
0x457dd0 MOV (%R8),%RBX |
0x457dd3 MOV 0x10(%R8),%R14 |
0x457dd7 MOV 0x20(%R8),%RAX |
0x457ddb MOV %RAX,-0x38(%RBP) |
0x457ddf MOV 0x28(%R8),%R12 |
0x457de3 MOV 0x70(%R8),%R13 |
0x457de7 MOV 0x90(%R8),%RAX |
0x457dee MOV %RAX,-0x58(%RBP) |
0x457df2 MOV 0x98(%R8),%RAX |
0x457df9 MOV %RAX,-0x50(%RBP) |
0x457dfd MOV 0xd8(%R8),%RAX |
0x457e04 MOV %RAX,-0x60(%RBP) |
0x457e08 MOV 0x100(%R8),%RAX |
0x457e0f MOV %RAX,-0x40(%RBP) |
0x457e13 VMOVSD 0x40(%R8),%XMM0 |
0x457e19 VMOVSD %XMM0,-0x30(%RBP) |
0x457e1e MOV (%RDI),%ESI |
0x457e20 MOVQ $0,-0x108(%RBP) |
0x457e2b MOV %R9,-0x100(%RBP) |
0x457e32 MOVQ $0x1,-0x170(%RBP) |
0x457e3d SUB $0x8,%RSP |
0x457e41 LEA -0x170(%RBP),%RAX |
0x457e48 LEA 0xa4961(%RIP),%RDI |
0x457e4f LEA -0xb0(%RBP),%RCX |
0x457e56 LEA -0x108(%RBP),%R8 |
0x457e5d LEA -0x100(%RBP),%R9 |
0x457e64 MOV %ESI,-0xac(%RBP) |
0x457e6a MOV $0x22,%EDX |
0x457e6f PUSH $0x1 |
0x457e71 PUSH $0x1 |
0x457e73 PUSH %RAX |
0x457e74 CALL 403140 <__kmpc_for_static_init_8@plt> |
0x457e79 ADD $0x20,%RSP |
0x457e7d MOV -0x108(%RBP),%RCX |
0x457e84 MOV -0x100(%RBP),%RDX |
0x457e8b CMP %RDX,%RCX |
0x457e8e JBE 457eac |
0x457e90 VMOVSD -0x30(%RBP),%XMM8 |
0x457e95 JMP 457f1f |
0x457e9a ADD $0x178,%RSP |
0x457ea1 POP %RBX |
0x457ea2 POP %R12 |
0x457ea4 POP %R13 |
0x457ea6 POP %R14 |
0x457ea8 POP %R15 |
0x457eaa POP %RBP |
0x457eab RET |
0x457eac MOV %R13,-0x68(%RBP) |
0x457eb0 MOV %RBX,-0x70(%RBP) |
0x457eb4 LEA 0x1(%RCX),%RAX |
0x457eb8 INC %RDX |
0x457ebb CMP %RDX,%RAX |
0x457ebe CMOVG %RAX,%RDX |
0x457ec2 MOV %RDX,-0x110(%RBP) |
0x457ec9 MOV %RDX,%RAX |
0x457ecc MOV %RCX,-0x78(%RBP) |
0x457ed0 SUB %RCX,%RAX |
0x457ed3 CMP $0x8,%RAX |
0x457ed7 MOV %R14,-0xb8(%RBP) |
0x457ede MOV %RAX,-0x118(%RBP) |
0x457ee5 MOV %R15,-0xc8(%RBP) |
0x457eec JAE 457f97 |
0x457ef2 VMOVSD -0x30(%RBP),%XMM8 |
0x457ef7 MOV -0x118(%RBP),%RBX |
0x457efe MOV %RBX,%RCX |
0x457f01 AND $-0x8,%RCX |
0x457f05 CMP %RBX,%RCX |
0x457f08 JB 4585fd |
0x457f0e MOV -0x110(%RBP),%RDX |
0x457f15 CMP -0x78(%RBP),%RDX |
0x457f19 JE 4585fd |
0x457f1f VMOVSD %XMM8,-0x30(%RBP) |
0x457f24 LEA 0xa48a5(%RIP),%RDI |
0x457f2b MOV -0xac(%RBP),%ESI |
0x457f31 VZEROUPPER |
0x457f34 CALL 403050 <__kmpc_for_static_fini@plt> |
0x457f39 LEA 0xa4ab0(%RIP),%RDI |
0x457f40 CALL 403110 <__kmpc_global_thread_num@plt> |
0x457f45 MOV %EAX,%EBX |
0x457f47 LEA 0xa4822(%RIP),%RDI |
0x457f4e MOV $0x4fdfb0,%R14 |
0x457f55 MOV %EAX,%ESI |
0x457f57 MOV %R14,%RDX |
0x457f5a CALL 403390 <__kmpc_critical@plt> |
0x457f5f MOV -0x120(%RBP),%RAX |
0x457f66 VMOVSD -0x30(%RBP),%XMM0 |
0x457f6b VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x457f70 VMOVSD %XMM0,0x10(%RAX) |
0x457f75 LEA 0xa4814(%RIP),%RDI |
0x457f7c MOV %EBX,%ESI |
0x457f7e MOV %R14,%RDX |
0x457f81 ADD $0x178,%RSP |
0x457f88 POP %RBX |
0x457f89 POP %R12 |
0x457f8b POP %R13 |
0x457f8d POP %R14 |
0x457f8f POP %R15 |
0x457f91 POP %RBP |
0x457f92 JMP 403170 |
0x457f97 SHR $0x3,%RAX |
0x457f9b DEC %RAX |
0x457f9e MOV %RAX,-0x158(%RBP) |
0x457fa5 MOV %R12,%RDX |
0x457fa8 MOV -0x38(%RBP),%RAX |
0x457fac SUB %RAX,%RDX |
0x457faf MOV %RDX,%RCX |
0x457fb2 AND $-0x4,%RCX |
0x457fb6 MOV %RCX,-0xc0(%RBP) |
0x457fbd DEC %RCX |
0x457fc0 MOV %RCX,-0x130(%RBP) |
0x457fc7 MOV -0x40(%RBP),%RCX |
0x457fcb LEA (%RCX,%RAX,8),%RAX |
0x457fcf MOV %RAX,-0x128(%RBP) |
0x457fd6 XOR %ECX,%ECX |
0x457fd8 VMOVSD -0x30(%RBP),%XMM8 |
0x457fdd MOV %R12,-0x160(%RBP) |
0x457fe4 MOV %RDX,-0x48(%RBP) |
0x457fe8 JMP 458012 |
0x457fea NOPW (%RAX,%RAX,1) |
(1046) 0x457ff0 MOV -0xa8(%RBP),%RCX |
(1046) 0x457ff7 LEA 0x1(%RCX),%RAX |
(1046) 0x457ffb CMP -0x158(%RBP),%RCX |
(1046) 0x458002 MOV %RAX,%RCX |
(1046) 0x458005 MOV -0x160(%RBP),%R12 |
(1046) 0x45800c JE 457ef7 |
(1046) 0x458012 CMPQ $0,-0x48(%RBP) |
(1046) 0x458017 MOV %RCX,-0xa8(%RBP) |
(1046) 0x45801e JLE 457ff0 |
(1046) 0x458020 MOV -0x78(%RBP),%RAX |
(1046) 0x458024 LEA (%RAX,%RCX,8),%R8 |
(1046) 0x458028 MOV %R8,%RAX |
(1046) 0x45802b MOV -0xc8(%RBP),%R9 |
(1046) 0x458032 OR %R9,%RAX |
(1046) 0x458035 SHR $0x20,%RAX |
(1046) 0x458039 JE 458050 |
(1046) 0x45803b MOV %R8,%RAX |
(1046) 0x45803e CQTO |
(1046) 0x458040 IDIV %R9 |
(1046) 0x458043 MOV %RDX,%R13 |
(1046) 0x458046 JMP 45805b |
0x458048 NOPL (%RAX,%RAX,1) |
(1046) 0x458050 MOV %R8D,%EAX |
(1046) 0x458053 XOR %EDX,%EDX |
(1046) 0x458055 DIV %R9D |
(1046) 0x458058 MOV %EDX,%R13D |
(1046) 0x45805b MOV -0x70(%RBP),%RSI |
(1046) 0x45805f MOV -0x68(%RBP),%RDI |
(1046) 0x458063 ADD %RSI,%RAX |
(1046) 0x458066 MOV %RAX,-0xf8(%RBP) |
(1046) 0x45806d VMOVSD (%RDI,%RAX,8),%XMM2 |
(1046) 0x458072 LEA 0x1(%R8),%RAX |
(1046) 0x458076 MOV %RAX,%RCX |
(1046) 0x458079 OR %R9,%RCX |
(1046) 0x45807c SHR $0x20,%RCX |
(1046) 0x458080 JE 458090 |
(1046) 0x458082 CQTO |
(1046) 0x458084 IDIV %R9 |
(1046) 0x458087 MOV %RDX,-0x98(%RBP) |
(1046) 0x45808e JMP 45809c |
(1046) 0x458090 XOR %EDX,%EDX |
(1046) 0x458092 DIV %R9D |
(1046) 0x458095 MOV %RDX,-0x98(%RBP) |
(1046) 0x45809c ADD %RSI,%RAX |
(1046) 0x45809f MOV %RAX,-0xf0(%RBP) |
(1046) 0x4580a6 VMOVSD (%RDI,%RAX,8),%XMM9 |
(1046) 0x4580ab LEA 0x2(%R8),%RAX |
(1046) 0x4580af MOV %RAX,%RCX |
(1046) 0x4580b2 OR %R9,%RCX |
(1046) 0x4580b5 SHR $0x20,%RCX |
(1046) 0x4580b9 JE 4580d0 |
(1046) 0x4580bb CQTO |
(1046) 0x4580bd IDIV %R9 |
(1046) 0x4580c0 MOV %RDX,%R12 |
(1046) 0x4580c3 JMP 4580d8 |
0x4580c5 NOPW %CS:(%RAX,%RAX,1) |
(1046) 0x4580d0 XOR %EDX,%EDX |
(1046) 0x4580d2 DIV %R9D |
(1046) 0x4580d5 MOV %EDX,%R12D |
(1046) 0x4580d8 ADD %RSI,%RAX |
(1046) 0x4580db MOV %RAX,-0xe8(%RBP) |
(1046) 0x4580e2 VMOVSD (%RDI,%RAX,8),%XMM10 |
(1046) 0x4580e7 LEA 0x3(%R8),%RAX |
(1046) 0x4580eb MOV %RAX,%RCX |
(1046) 0x4580ee OR %R9,%RCX |
(1046) 0x4580f1 SHR $0x20,%RCX |
(1046) 0x4580f5 JE 458110 |
(1046) 0x4580f7 CQTO |
(1046) 0x4580f9 IDIV %R9 |
(1046) 0x4580fc MOV %RDX,%R15 |
(1046) 0x4580ff JMP 458118 |
0x458101 NOPW %CS:(%RAX,%RAX,1) |
(1046) 0x458110 XOR %EDX,%EDX |
(1046) 0x458112 DIV %R9D |
(1046) 0x458115 MOV %EDX,%R15D |
(1046) 0x458118 ADD %RSI,%RAX |
(1046) 0x45811b MOV %RAX,-0xe0(%RBP) |
(1046) 0x458122 VMOVSD (%RDI,%RAX,8),%XMM3 |
(1046) 0x458127 LEA 0x4(%R8),%RAX |
(1046) 0x45812b MOV %RAX,%RCX |
(1046) 0x45812e OR %R9,%RCX |
(1046) 0x458131 SHR $0x20,%RCX |
(1046) 0x458135 JE 458150 |
(1046) 0x458137 CQTO |
(1046) 0x458139 IDIV %R9 |
(1046) 0x45813c MOV %RDX,-0x90(%RBP) |
(1046) 0x458143 MOV %RAX,%R10 |
(1046) 0x458146 JMP 45815f |
0x458148 NOPL (%RAX,%RAX,1) |
(1046) 0x458150 XOR %EDX,%EDX |
(1046) 0x458152 DIV %R9D |
(1046) 0x458155 MOV %RDX,-0x90(%RBP) |
(1046) 0x45815c MOV %EAX,%R10D |
(1046) 0x45815f ADD %RSI,%R10 |
(1046) 0x458162 VMOVSD (%RDI,%R10,8),%XMM4 |
(1046) 0x458168 LEA 0x5(%R8),%RAX |
(1046) 0x45816c MOV %RAX,%RCX |
(1046) 0x45816f OR %R9,%RCX |
(1046) 0x458172 SHR $0x20,%RCX |
(1046) 0x458176 JE 458190 |
(1046) 0x458178 CQTO |
(1046) 0x45817a IDIV %R9 |
(1046) 0x45817d MOV %RDX,%RBX |
(1046) 0x458180 JMP 458197 |
0x458182 NOPW %CS:(%RAX,%RAX,1) |
(1046) 0x458190 XOR %EDX,%EDX |
(1046) 0x458192 DIV %R9D |
(1046) 0x458195 MOV %EDX,%EBX |
(1046) 0x458197 ADD %RSI,%RAX |
(1046) 0x45819a MOV %RAX,-0xd8(%RBP) |
(1046) 0x4581a1 VMOVSD (%RDI,%RAX,8),%XMM5 |
(1046) 0x4581a6 LEA 0x6(%R8),%RAX |
(1046) 0x4581aa MOV %RAX,%RCX |
(1046) 0x4581ad OR %R9,%RCX |
(1046) 0x4581b0 SHR $0x20,%RCX |
(1046) 0x4581b4 JE 4581d0 |
(1046) 0x4581b6 CQTO |
(1046) 0x4581b8 IDIV %R9 |
(1046) 0x4581bb MOV %RDX,-0x88(%RBP) |
(1046) 0x4581c2 JMP 4581dc |
0x4581c4 NOPW %CS:(%RAX,%RAX,1) |
(1046) 0x4581d0 XOR %EDX,%EDX |
(1046) 0x4581d2 DIV %R9D |
(1046) 0x4581d5 MOV %RDX,-0x88(%RBP) |
(1046) 0x4581dc ADD %RSI,%RAX |
(1046) 0x4581df MOV %RAX,-0xd0(%RBP) |
(1046) 0x4581e6 VMOVSD (%RDI,%RAX,8),%XMM6 |
(1046) 0x4581eb ADD $0x7,%R8 |
(1046) 0x4581ef MOV %R8,%RAX |
(1046) 0x4581f2 OR %R9,%RAX |
(1046) 0x4581f5 SHR $0x20,%RAX |
(1046) 0x4581f9 JE 458210 |
(1046) 0x4581fb MOV %R8,%RAX |
(1046) 0x4581fe CQTO |
(1046) 0x458200 IDIV %R9 |
(1046) 0x458203 MOV %RDX,-0x80(%RBP) |
(1046) 0x458207 MOV %RAX,%RDX |
(1046) 0x45820a JMP 45821e |
0x45820c NOPL (%RAX) |
(1046) 0x458210 MOV %R8D,%EAX |
(1046) 0x458213 XOR %EDX,%EDX |
(1046) 0x458215 DIV %R9D |
(1046) 0x458218 MOV %RDX,-0x80(%RBP) |
(1046) 0x45821c MOV %EAX,%EDX |
(1046) 0x45821e ADD %RSI,%RDX |
(1046) 0x458221 VMOVSD (%RDI,%RDX,8),%XMM7 |
(1046) 0x458226 CMPQ $0,-0xc0(%RBP) |
(1046) 0x45822e MOV %RDX,-0x168(%RBP) |
(1046) 0x458235 JE 458480 |
(1046) 0x45823b VMOVSD %XMM8,-0x30(%RBP) |
(1046) 0x458240 MOV %R13,-0x150(%RBP) |
(1046) 0x458247 LEA (%R14,%R13,1),%R8 |
(1046) 0x45824b MOV -0x50(%RBP),%RCX |
(1046) 0x45824f IMUL %RCX,%R8 |
(1046) 0x458253 MOV -0x98(%RBP),%RAX |
(1046) 0x45825a LEA (%RAX,%R14,1),%RDI |
(1046) 0x45825e IMUL %RCX,%RDI |
(1046) 0x458262 MOV %R12,-0x148(%RBP) |
(1046) 0x458269 LEA (%R12,%R14,1),%R9 |
(1046) 0x45826d IMUL %RCX,%R9 |
(1046) 0x458271 MOV %R15,-0x140(%RBP) |
(1046) 0x458278 LEA (%R15,%R14,1),%R11 |
(1046) 0x45827c IMUL %RCX,%R11 |
(1046) 0x458280 MOV -0x90(%RBP),%RSI |
(1046) 0x458287 ADD %R14,%RSI |
(1046) 0x45828a IMUL %RCX,%RSI |
(1046) 0x45828e MOV %RBX,-0x138(%RBP) |
(1046) 0x458295 LEA (%RBX,%R14,1),%R15 |
(1046) 0x458299 IMUL %RCX,%R15 |
(1046) 0x45829d MOV -0x88(%RBP),%RAX |
(1046) 0x4582a4 LEA (%RAX,%R14,1),%R13 |
(1046) 0x4582a8 IMUL %RCX,%R13 |
(1046) 0x4582ac MOV -0x80(%RBP),%RAX |
(1046) 0x4582b0 ADD %RAX,%R14 |
(1046) 0x4582b3 IMUL %RCX,%R14 |
(1046) 0x4582b7 MOV -0x38(%RBP),%RCX |
(1046) 0x4582bb ADD %RCX,%R14 |
(1046) 0x4582be MOV -0x58(%RBP),%R12 |
(1046) 0x4582c2 MOV %R12,%RBX |
(1046) 0x4582c5 IMUL %RDX,%RBX |
(1046) 0x4582c9 ADD %R14,%RBX |
(1046) 0x4582cc MOV %R12,%R14 |
(1046) 0x4582cf IMUL -0xd0(%RBP),%R14 |
(1046) 0x4582d7 ADD %RCX,%R13 |
(1046) 0x4582da ADD %R14,%R13 |
(1046) 0x4582dd MOV %R12,%R14 |
(1046) 0x4582e0 IMUL -0xd8(%RBP),%R14 |
(1046) 0x4582e8 ADD %RCX,%R15 |
(1046) 0x4582eb ADD %R14,%R15 |
(1046) 0x4582ee MOV %R12,%R14 |
(1046) 0x4582f1 MOV %R10,-0xa0(%RBP) |
(1046) 0x4582f8 IMUL %R10,%R14 |
(1046) 0x4582fc ADD %RCX,%RSI |
(1046) 0x4582ff ADD %R14,%RSI |
(1046) 0x458302 MOV %R12,%R14 |
(1046) 0x458305 IMUL -0xe0(%RBP),%R14 |
(1046) 0x45830d ADD %RCX,%R11 |
(1046) 0x458310 ADD %R14,%R11 |
(1046) 0x458313 MOV %R12,%R14 |
(1046) 0x458316 IMUL -0xe8(%RBP),%R14 |
(1046) 0x45831e ADD %RCX,%R9 |
(1046) 0x458321 ADD %R14,%R9 |
(1046) 0x458324 MOV %R12,%R14 |
(1046) 0x458327 IMUL -0xf0(%RBP),%R14 |
(1046) 0x45832f ADD %RCX,%RDI |
(1046) 0x458332 ADD %R14,%RDI |
(1046) 0x458335 MOV %R12,%R14 |
(1046) 0x458338 IMUL -0xf8(%RBP),%R14 |
(1046) 0x458340 VMOVUPD %XMM2,-0x1a0(%RBP) |
(1046) 0x458348 VBROADCASTSD %XMM2,%YMM8 |
(1046) 0x45834d VMOVUPD %XMM9,-0x190(%RBP) |
(1046) 0x458355 VBROADCASTSD %XMM9,%YMM9 |
(1046) 0x45835a VMOVUPD %XMM10,-0x180(%RBP) |
(1046) 0x458362 VBROADCASTSD %XMM10,%YMM10 |
(1046) 0x458367 VBROADCASTSD %XMM3,%YMM11 |
(1046) 0x45836c VBROADCASTSD %XMM4,%YMM12 |
(1046) 0x458371 VBROADCASTSD %XMM5,%YMM13 |
(1046) 0x458376 VBROADCASTSD %XMM6,%YMM14 |
(1046) 0x45837b VBROADCASTSD %XMM7,%YMM15 |
(1046) 0x458380 MOV -0x60(%RBP),%R10 |
(1046) 0x458384 LEA (%R10,%RBX,8),%R12 |
(1046) 0x458388 LEA (%R10,%R13,8),%R13 |
(1046) 0x45838c LEA (%R10,%R15,8),%R15 |
(1046) 0x458390 LEA (%R10,%RSI,8),%RSI |
(1046) 0x458394 LEA (%R10,%R11,8),%R11 |
(1046) 0x458398 LEA (%R10,%R9,8),%R9 |
(1046) 0x45839c LEA (%R10,%RDI,8),%RDI |
(1046) 0x4583a0 ADD %RCX,%R8 |
(1046) 0x4583a3 ADD %R14,%R8 |
(1046) 0x4583a6 LEA (%R10,%R8,8),%R8 |
(1046) 0x4583aa VXORPD %XMM0,%XMM0,%XMM0 |
(1046) 0x4583ae XOR %R14D,%R14D |
(1046) 0x4583b1 MOV -0x130(%RBP),%RCX |
(1046) 0x4583b8 MOV -0x128(%RBP),%R10 |
(1046) 0x4583bf NOP |
(1048) 0x4583c0 VMULPD (%R8,%R14,8),%YMM8,%YMM1 |
(1048) 0x4583c6 VFMADD231PD (%RDI,%R14,8),%YMM9,%YMM1 |
(1048) 0x4583cc VFMADD231PD (%R9,%R14,8),%YMM10,%YMM1 |
(1048) 0x4583d2 VMOVUPD (%R10,%R14,8),%YMM2 |
(1048) 0x4583d8 VFMADD231PD (%R11,%R14,8),%YMM11,%YMM1 |
(1048) 0x4583de VFMADD213PD %YMM0,%YMM2,%YMM1 |
(1048) 0x4583e3 VMULPD (%RSI,%R14,8),%YMM12,%YMM0 |
(1048) 0x4583e9 VFMADD231PD (%R15,%R14,8),%YMM13,%YMM0 |
(1048) 0x4583ef VFMADD231PD (%R13,%R14,8),%YMM14,%YMM0 |
(1048) 0x4583f6 VFMADD231PD (%R12,%R14,8),%YMM15,%YMM0 |
(1048) 0x4583fc VFMADD213PD %YMM1,%YMM2,%YMM0 |
(1048) 0x458401 ADD $0x4,%R14 |
(1048) 0x458405 CMP %RCX,%R14 |
(1048) 0x458408 JLE 4583c0 |
(1046) 0x45840a VEXTRACTF128 $0x1,%YMM0,%XMM1 |
(1046) 0x458410 VADDPD %XMM1,%XMM0,%XMM0 |
(1046) 0x458414 VSHUFPD $0x1,%XMM0,%XMM0,%XMM1 |
(1046) 0x458419 VADDSD %XMM1,%XMM0,%XMM0 |
(1046) 0x45841d VMOVSD -0x30(%RBP),%XMM8 |
(1046) 0x458422 VADDSD %XMM0,%XMM8,%XMM8 |
(1046) 0x458426 MOV -0xc0(%RBP),%RCX |
(1046) 0x45842d MOV %RCX,%R8 |
(1046) 0x458430 CMP %RCX,-0x48(%RBP) |
(1046) 0x458434 MOV -0xb8(%RBP),%R14 |
(1046) 0x45843b VMOVUPD -0x1a0(%RBP),%XMM2 |
(1046) 0x458443 MOV -0x150(%RBP),%R13 |
(1046) 0x45844a VMOVUPD -0x190(%RBP),%XMM9 |
(1046) 0x458452 VMOVUPD -0x180(%RBP),%XMM10 |
(1046) 0x45845a MOV -0x148(%RBP),%R12 |
(1046) 0x458461 MOV -0x140(%RBP),%R15 |
(1046) 0x458468 MOV -0xa0(%RBP),%R10 |
(1046) 0x45846f MOV -0x138(%RBP),%RBX |
(1046) 0x458476 JE 457ff0 |
(1046) 0x45847c JMP 458483 |
0x45847e XCHG %AX,%AX |
(1046) 0x458480 XOR %R8D,%R8D |
(1046) 0x458483 MOV -0x80(%RBP),%RDX |
(1046) 0x458487 ADD %R14,%RDX |
(1046) 0x45848a MOV -0x50(%RBP),%RAX |
(1046) 0x45848e IMUL %RAX,%RDX |
(1046) 0x458492 MOV -0x58(%RBP),%RCX |
(1046) 0x458496 MOV -0x168(%RBP),%R11 |
(1046) 0x45849d IMUL %RCX,%R11 |
(1046) 0x4584a1 MOV -0x48(%RBP),%RDI |
(1046) 0x4584a5 SUB %R8,%RDI |
(1046) 0x4584a8 ADD -0x38(%RBP),%R8 |
(1046) 0x4584ac ADD %R8,%R11 |
(1046) 0x4584af ADD %RDX,%R11 |
(1046) 0x4584b2 MOV -0x88(%RBP),%RDX |
(1046) 0x4584b9 ADD %R14,%RDX |
(1046) 0x4584bc IMUL %RAX,%RDX |
(1046) 0x4584c0 MOV -0xd0(%RBP),%RSI |
(1046) 0x4584c7 IMUL %RCX,%RSI |
(1046) 0x4584cb ADD %R8,%RSI |
(1046) 0x4584ce ADD %RDX,%RSI |
(1046) 0x4584d1 ADD %R14,%RBX |
(1046) 0x4584d4 IMUL %RAX,%RBX |
(1046) 0x4584d8 MOV %R14,%R9 |
(1046) 0x4584db MOV -0xd8(%RBP),%R14 |
(1046) 0x4584e2 IMUL %RCX,%R14 |
(1046) 0x4584e6 ADD %R8,%R14 |
(1046) 0x4584e9 ADD %RBX,%R14 |
(1046) 0x4584ec MOV -0x90(%RBP),%RDX |
(1046) 0x4584f3 ADD %R9,%RDX |
(1046) 0x4584f6 IMUL %RAX,%RDX |
(1046) 0x4584fa IMUL %RCX,%R10 |
(1046) 0x4584fe ADD %R8,%R10 |
(1046) 0x458501 ADD %RDX,%R10 |
(1046) 0x458504 MOV %R10,-0xa0(%RBP) |
(1046) 0x45850b ADD %R9,%R15 |
(1046) 0x45850e IMUL %RAX,%R15 |
(1046) 0x458512 MOV -0x98(%RBP),%RDX |
(1046) 0x458519 MOV -0xe0(%RBP),%R10 |
(1046) 0x458520 IMUL %RCX,%R10 |
(1046) 0x458524 ADD %R8,%R10 |
(1046) 0x458527 ADD %R15,%R10 |
(1046) 0x45852a ADD %R9,%R12 |
(1046) 0x45852d IMUL %RAX,%R12 |
(1046) 0x458531 MOV -0xe8(%RBP),%R15 |
(1046) 0x458538 IMUL %RCX,%R15 |
(1046) 0x45853c ADD %R8,%R15 |
(1046) 0x45853f ADD %R12,%R15 |
(1046) 0x458542 MOV -0xf8(%RBP),%RBX |
(1046) 0x458549 IMUL %RCX,%RBX |
(1046) 0x45854d ADD %R9,%RDX |
(1046) 0x458550 IMUL %RAX,%RDX |
(1046) 0x458554 MOV -0xf0(%RBP),%R12 |
(1046) 0x45855b IMUL %RCX,%R12 |
(1046) 0x45855f ADD %R8,%R12 |
(1046) 0x458562 ADD %RDX,%R12 |
(1046) 0x458565 MOV -0x40(%RBP),%RCX |
(1046) 0x458569 LEA (%RCX,%R8,8),%RDX |
(1046) 0x45856d ADD %RBX,%R8 |
(1046) 0x458570 ADD %R9,%R13 |
(1046) 0x458573 IMUL %RAX,%R13 |
(1046) 0x458577 MOV -0x60(%RBP),%RBX |
(1046) 0x45857b LEA (%RBX,%R11,8),%RAX |
(1046) 0x45857f LEA (%RBX,%RSI,8),%RCX |
(1046) 0x458583 LEA (%RBX,%R14,8),%RSI |
(1046) 0x458587 MOV %R9,%R14 |
(1046) 0x45858a MOV -0xa0(%RBP),%R9 |
(1046) 0x458591 LEA (%RBX,%R9,8),%R9 |
(1046) 0x458595 LEA (%RBX,%R10,8),%R11 |
(1046) 0x458599 LEA (%RBX,%R15,8),%R15 |
(1046) 0x45859d LEA (%RBX,%R12,8),%R12 |
(1046) 0x4585a1 ADD %R13,%R8 |
(1046) 0x4585a4 LEA (%RBX,%R8,8),%R8 |
(1046) 0x4585a8 XOR %R13D,%R13D |
(1046) 0x4585ab NOPL (%RAX,%RAX,1) |
(1047) 0x4585b0 VMULSD (%R8,%R13,8),%XMM2,%XMM0 |
(1047) 0x4585b6 VFMADD231SD (%R12,%R13,8),%XMM9,%XMM0 |
(1047) 0x4585bc VFMADD231SD (%R15,%R13,8),%XMM10,%XMM0 |
(1047) 0x4585c2 VMOVSD (%RDX,%R13,8),%XMM1 |
(1047) 0x4585c8 VFMADD231SD (%R11,%R13,8),%XMM3,%XMM0 |
(1047) 0x4585ce VFMADD213SD %XMM8,%XMM1,%XMM0 |
(1047) 0x4585d3 VMULSD (%R9,%R13,8),%XMM4,%XMM8 |
(1047) 0x4585d9 VFMADD231SD (%RSI,%R13,8),%XMM5,%XMM8 |
(1047) 0x4585df VFMADD231SD (%RCX,%R13,8),%XMM6,%XMM8 |
(1047) 0x4585e5 VFMADD231SD (%RAX,%R13,8),%XMM7,%XMM8 |
(1047) 0x4585eb VFMADD213SD %XMM0,%XMM1,%XMM8 |
(1047) 0x4585f0 INC %R13 |
(1047) 0x4585f3 CMP %R13,%RDI |
(1047) 0x4585f6 JNE 4585b0 |
(1046) 0x4585f8 JMP 457ff0 |
0x4585fd DEC %RBX |
0x458600 MOV %R12,%RDI |
0x458603 MOV -0x38(%RBP),%RAX |
0x458607 SUB %RAX,%RDI |
0x45860a MOV %RDI,%R8 |
0x45860d AND $-0x4,%R8 |
0x458611 LEA -0x1(%R8),%R9 |
0x458615 MOV -0x40(%RBP),%RDX |
0x458619 LEA (%RDX,%RAX,8),%R10 |
0x45861d MOV -0x58(%RBP),%RAX |
0x458621 LEA (,%RAX,8),%RAX |
0x458629 MOV %RAX,-0xa8(%RBP) |
0x458630 MOV -0x50(%RBP),%RAX |
0x458634 LEA (,%RAX,8),%RAX |
0x45863c MOV %RAX,-0x48(%RBP) |
0x458640 MOV -0x70(%RBP),%R15 |
0x458644 MOV -0x68(%RBP),%R13 |
0x458648 JMP 458660 |
0x45864a NOPW (%RAX,%RAX,1) |
(1043) 0x458650 LEA 0x1(%RCX),%RAX |
(1043) 0x458654 CMP %RBX,%RCX |
(1043) 0x458657 MOV %RAX,%RCX |
(1043) 0x45865a JE 457f1f |
(1043) 0x458660 TEST %RDI,%RDI |
(1043) 0x458663 JLE 458650 |
(1043) 0x458665 MOV -0x78(%RBP),%RAX |
(1043) 0x458669 ADD %RCX,%RAX |
(1043) 0x45866c MOV %RAX,%RDX |
(1043) 0x45866f MOV -0xc8(%RBP),%RSI |
(1043) 0x458676 OR %RSI,%RDX |
(1043) 0x458679 SHR $0x20,%RDX |
(1043) 0x45867d JE 458690 |
(1043) 0x45867f CQTO |
(1043) 0x458681 IDIV %RSI |
(1043) 0x458684 JMP 458694 |
0x458686 NOPW %CS:(%RAX,%RAX,1) |
(1043) 0x458690 XOR %EDX,%EDX |
(1043) 0x458692 DIV %ESI |
(1043) 0x458694 ADD %R15,%RAX |
(1043) 0x458697 VMOVSD (%R13,%RAX,8),%XMM0 |
(1043) 0x45869e TEST %R8,%R8 |
(1043) 0x4586a1 JE 458720 |
(1043) 0x4586a3 LEA (%R14,%RDX,1),%RSI |
(1043) 0x4586a7 IMUL -0x50(%RBP),%RSI |
(1043) 0x4586ac ADD -0x38(%RBP),%RSI |
(1043) 0x4586b0 MOV -0x58(%RBP),%R14 |
(1043) 0x4586b4 IMUL %RAX,%R14 |
(1043) 0x4586b8 ADD %RSI,%R14 |
(1043) 0x4586bb VBROADCASTSD %XMM0,%YMM2 |
(1043) 0x4586c0 MOV -0x60(%RBP),%RSI |
(1043) 0x4586c4 LEA (%RSI,%R14,8),%RSI |
(1043) 0x4586c8 VXORPD %XMM1,%XMM1,%XMM1 |
(1043) 0x4586cc XOR %R14D,%R14D |
(1043) 0x4586cf NOP |
(1045) 0x4586d0 VMULPD (%RSI,%R14,8),%YMM2,%YMM3 |
(1045) 0x4586d6 VFMADD231PD (%R10,%R14,8),%YMM3,%YMM1 |
(1045) 0x4586dc ADD $0x4,%R14 |
(1045) 0x4586e0 CMP %R9,%R14 |
(1045) 0x4586e3 JLE 4586d0 |
(1043) 0x4586e5 VEXTRACTF128 $0x1,%YMM1,%XMM2 |
(1043) 0x4586eb VADDPD %XMM2,%XMM1,%XMM1 |
(1043) 0x4586ef VSHUFPD $0x1,%XMM1,%XMM1,%XMM2 |
(1043) 0x4586f4 VADDSD %XMM2,%XMM1,%XMM1 |
(1043) 0x4586f8 VADDSD %XMM1,%XMM8,%XMM8 |
(1043) 0x4586fc MOV %R8,%RSI |
(1043) 0x4586ff CMP %R8,%RDI |
(1043) 0x458702 MOV -0xb8(%RBP),%R14 |
(1043) 0x458709 MOV -0x40(%RBP),%R11 |
(1043) 0x45870d JE 458650 |
(1043) 0x458713 JMP 458726 |
0x458715 NOPW %CS:(%RAX,%RAX,1) |
(1043) 0x458720 XOR %ESI,%ESI |
(1043) 0x458722 MOV -0x40(%RBP),%R11 |
(1043) 0x458726 ADD %R14,%RDX |
(1043) 0x458729 IMUL -0x48(%RBP),%RDX |
(1043) 0x45872e ADD -0x38(%RBP),%RSI |
(1043) 0x458732 IMUL -0xa8(%RBP),%RAX |
(1043) 0x45873a ADD %RDX,%RAX |
(1043) 0x45873d ADD -0x60(%RBP),%RAX |
(1043) 0x458741 NOPW %CS:(%RAX,%RAX,1) |
(1044) 0x458750 VMULSD (%RAX,%RSI,8),%XMM0,%XMM1 |
(1044) 0x458755 VFMADD231SD (%R11,%RSI,8),%XMM1,%XMM8 |
(1044) 0x45875b INC %RSI |
(1044) 0x45875e CMP %RSI,%R12 |
(1044) 0x458761 JNE 458750 |
(1043) 0x458763 JMP 458650 |
0x458768 NOPL (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 166 |
nb uops | 171 |
loop length | 794 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 26 |
micro-operation queue | 28.50 cycles |
front end | 28.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.70 | 5.50 | 15.00 | 15.00 | 21.00 | 5.50 | 5.70 | 21.00 | 21.00 | 21.00 | 5.60 | 15.00 |
cycles | 5.70 | 5.50 | 15.00 | 15.00 | 21.00 | 5.50 | 5.70 | 21.00 | 21.00 | 21.00 | 5.60 | 15.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 27.83-27.88 |
Stall cycles | 0.00 |
Front-end | 28.50 |
Dispatch | 21.00 |
Overall L1 | 28.50 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 7% |
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 | 7% |
all | 11% |
load | 11% |
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,-0xb0(%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 457e9a <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x10a> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
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 %RDX,%R15 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R14 | 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,-0x38(%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),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0x58(%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,-0x50(%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,-0x60(%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,-0x40(%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,-0x30(%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,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x100(%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 0xa4961(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb0(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x108(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xac(%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 403140 <__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 -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x100(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP %RDX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JBE 457eac <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x11c> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 457f1f <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x18f> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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 |
MOV %R13,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x1(%RCX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RDX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RAX,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 457f97 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x207> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x118(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RBX,%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 %RBX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JB 4585fd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x86d> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x110(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x78(%RBP),%RDX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JE 4585fd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x86d> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD %XMM8,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xa48a5(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xac(%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 403050 <__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 0xa4ab0(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 403110 <__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 0xa4822(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV $0x4fdfb0,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
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 403390 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x120(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -0x30(%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 0xa4814(%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 403170 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
SHR $0x3,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x4,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
MOV %RCX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RCX,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R12,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 458012 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x282> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%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,%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 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
DEC %RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RAX,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x4,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%R8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x40(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RDX,%RAX,8),%R10 | 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,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x50(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x70(%RBP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x68(%RBP),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 458660 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x8d0> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW (%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,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 166 |
nb uops | 171 |
loop length | 794 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 26 |
micro-operation queue | 28.50 cycles |
front end | 28.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.70 | 5.50 | 15.00 | 15.00 | 21.00 | 5.50 | 5.70 | 21.00 | 21.00 | 21.00 | 5.60 | 15.00 |
cycles | 5.70 | 5.50 | 15.00 | 15.00 | 21.00 | 5.50 | 5.70 | 21.00 | 21.00 | 21.00 | 5.60 | 15.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 27.83-27.88 |
Stall cycles | 0.00 |
Front-end | 28.50 |
Dispatch | 21.00 |
Overall L1 | 28.50 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 7% |
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 | 7% |
all | 11% |
load | 11% |
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,-0xb0(%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 457e9a <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x10a> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
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 %RDX,%R15 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R14 | 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,-0x38(%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),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0x58(%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,-0x50(%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,-0x60(%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,-0x40(%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,-0x30(%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,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x100(%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 0xa4961(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb0(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x108(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xac(%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 403140 <__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 -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x100(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP %RDX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JBE 457eac <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x11c> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 457f1f <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x18f> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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 |
MOV %R13,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x1(%RCX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RDX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RAX,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 457f97 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x207> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x118(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RBX,%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 %RBX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JB 4585fd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x86d> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x110(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x78(%RBP),%RDX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JE 4585fd <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x86d> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD %XMM8,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xa48a5(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xac(%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 403050 <__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 0xa4ab0(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 403110 <__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 0xa4822(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV $0x4fdfb0,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
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 403390 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x120(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -0x30(%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 0xa4814(%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 403170 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
SHR $0x3,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x4,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
MOV %RCX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RCX,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVSD -0x30(%RBP),%XMM8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R12,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 458012 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x282> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%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,%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 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
DEC %RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RAX,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x4,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%R8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x40(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RDX,%RAX,8),%R10 | 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,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x50(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x70(%RBP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x68(%RBP),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 458660 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x8d0> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW (%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,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted– | 0.35 | 0.24 |
▼Loop 1043 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 1045 - forall.hpp:59-59 - exec | 0 | 0 |
○Loop 1044 - forall.hpp:59-59 - exec | 0 | 0 |
▼Loop 1046 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 1048 - forall.hpp:59-59 - exec | 0.35 | 0.24 |
○Loop 1047 - forall.hpp:59-59 - exec | 0 | 0 |