Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 0.43% |
---|
Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 0.43% |
---|
/home/kcamus/qaas_runs/169-391-8990/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/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
/home/kcamus/qaas_runs/169-391-8990/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/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Operators.hpp: 307 - 307 |
-------------------------------------------------------------------------------- |
307: return Ret{lhs} + rhs; |
/home/kcamus/qaas_runs/169-391-8990/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/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/src/Kripke/Kernel/Population.cpp: 58 - 58 |
-------------------------------------------------------------------------------- |
58: part_red += w(d) * psi(d,g,z) * volume(z); |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/tpl/camp/include/camp/tuple.hpp: 90 - 90 |
-------------------------------------------------------------------------------- |
90: struct tuple_storage { |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 79 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
0x46cd60 PUSH %RBP |
0x46cd61 MOV %RSP,%RBP |
0x46cd64 PUSH %R15 |
0x46cd66 PUSH %R14 |
0x46cd68 PUSH %R13 |
0x46cd6a PUSH %R12 |
0x46cd6c PUSH %RBX |
0x46cd6d AND $-0x20,%RSP |
0x46cd71 SUB $0x240,%RSP |
0x46cd78 MOVL $0,0x94(%RSP) |
0x46cd83 LEA 0x38(%R8),%RCX |
0x46cd87 MOV 0x38(%R8),%RAX |
0x46cd8b TEST %RAX,%RAX |
0x46cd8e CMOVNE %RAX,%RCX |
0x46cd92 TEST %R9,%R9 |
0x46cd95 JS 46d040 |
0x46cd9b MOV %RCX,0xd8(%RSP) |
0x46cda3 MOV %RDX,%RBX |
0x46cda6 MOV (%R8),%R14 |
0x46cda9 MOV 0x10(%R8),%RAX |
0x46cdad MOV %RAX,0x20(%RSP) |
0x46cdb2 MOV 0x20(%R8),%R15 |
0x46cdb6 MOV 0x28(%R8),%R13 |
0x46cdba MOV 0x70(%R8),%RAX |
0x46cdbe MOV %RAX,0x98(%RSP) |
0x46cdc6 MOV 0x90(%R8),%RAX |
0x46cdcd MOV %RAX,0x38(%RSP) |
0x46cdd2 MOV 0x98(%R8),%RAX |
0x46cdd9 MOV %RAX,0x30(%RSP) |
0x46cdde MOV 0xd8(%R8),%RAX |
0x46cde5 MOV %RAX,0x28(%RSP) |
0x46cdea MOV 0x100(%R8),%R12 |
0x46cdf1 VMOVSD 0x40(%R8),%XMM0 |
0x46cdf7 VMOVSD %XMM0,0x10(%RSP) |
0x46cdfd MOV (%RDI),%ESI |
0x46cdff MOVQ $0,0xc8(%RSP) |
0x46ce0b MOV %R9,0xc0(%RSP) |
0x46ce13 MOVQ $0x1,0x138(%RSP) |
0x46ce1f SUB $0x8,%RSP |
0x46ce23 LEA 0x140(%RSP),%RAX |
0x46ce2b LEA 0xc093e(%RIP),%RDI |
0x46ce32 LEA 0x9c(%RSP),%RCX |
0x46ce3a LEA 0xd0(%RSP),%R8 |
0x46ce42 LEA 0xc8(%RSP),%R9 |
0x46ce4a MOV %ESI,0x98(%RSP) |
0x46ce51 MOV $0x22,%EDX |
0x46ce56 PUSH $0x1 |
0x46ce58 PUSH $0x1 |
0x46ce5a PUSH %RAX |
0x46ce5b CALL 403150 <__kmpc_for_static_init_8@plt> |
0x46ce60 ADD $0x20,%RSP |
0x46ce64 MOV 0xc8(%RSP),%RAX |
0x46ce6c MOV 0xc0(%RSP),%RCX |
0x46ce74 MOV %RAX,0x88(%RSP) |
0x46ce7c CMP %RCX,%RAX |
0x46ce7f JA 46d060 |
0x46ce85 MOV %R13,%RAX |
0x46ce88 SUB %R15,%RAX |
0x46ce8b MOV %RAX,0x18(%RSP) |
0x46ce90 JLE 46d060 |
0x46ce96 MOV 0x88(%RSP),%RAX |
0x46ce9e LEA 0x1(%RAX),%RDX |
0x46cea2 INC %RCX |
0x46cea5 CMP %RCX,%RDX |
0x46cea8 MOV %RDX,0x110(%RSP) |
0x46ceb0 CMOVG %RDX,%RCX |
0x46ceb4 SUB %RAX,%RCX |
0x46ceb7 CMP $0x8,%RCX |
0x46cebb MOV %RBX,%RSI |
0x46cebe VMOVSD 0x10(%RSP),%XMM4 |
0x46cec4 MOV 0x98(%RSP),%R11 |
0x46cecc MOV %RBX,0x80(%RSP) |
0x46ced4 MOV %RCX,0xd0(%RSP) |
0x46cedc JAE 46d0e0 |
0x46cee2 MOV 0xd0(%RSP),%RAX |
0x46ceea MOV %RAX,%R9 |
0x46ceed AND $-0x8,%R9 |
0x46cef1 DEC %RAX |
0x46cef4 CMP %R9,%RAX |
0x46cef7 JB 46d066 |
0x46cefd MOV %RAX,%R10 |
0x46cf00 MOV 0x18(%RSP),%R8 |
0x46cf05 AND $-0x4,%R8 |
0x46cf09 LEA -0x1(%R8),%RDI |
0x46cf0d LEA (%R12,%R15,8),%RBX |
0x46cf11 JMP 46cf35 |
0x46cf13 NOPW %CS:(%RAX,%RAX,1) |
(1180) 0x46cf20 CMP %R10,%R9 |
(1180) 0x46cf23 LEA 0x1(%R9),%R9 |
(1180) 0x46cf27 MOV 0x80(%RSP),%RSI |
(1180) 0x46cf2f JE 46d066 |
(1180) 0x46cf35 MOV 0x88(%RSP),%RAX |
(1180) 0x46cf3d ADD %R9,%RAX |
(1180) 0x46cf40 MOV %RAX,%RCX |
(1180) 0x46cf43 OR %RSI,%RCX |
(1180) 0x46cf46 SHR $0x20,%RCX |
(1180) 0x46cf4a JE 46cfe0 |
(1180) 0x46cf50 CQTO |
(1180) 0x46cf52 IDIV %RSI |
(1180) 0x46cf55 ADD %R14,%RAX |
(1180) 0x46cf58 VMOVSD (%R11,%RAX,8),%XMM0 |
(1180) 0x46cf5e TEST %R8,%R8 |
(1180) 0x46cf61 JE 46cff6 |
(1180) 0x46cf67 MOV 0x20(%RSP),%RCX |
(1180) 0x46cf6c ADD %RDX,%RCX |
(1180) 0x46cf6f IMUL 0x30(%RSP),%RCX |
(1180) 0x46cf75 ADD %R15,%RCX |
(1180) 0x46cf78 MOV 0x38(%RSP),%RSI |
(1180) 0x46cf7d IMUL %RAX,%RSI |
(1180) 0x46cf81 ADD %RCX,%RSI |
(1180) 0x46cf84 VBROADCASTSD %XMM0,%YMM2 |
(1180) 0x46cf89 MOV 0x28(%RSP),%RCX |
(1180) 0x46cf8e LEA (%RCX,%RSI,8),%RSI |
(1180) 0x46cf92 VXORPD %XMM1,%XMM1,%XMM1 |
(1180) 0x46cf96 XOR %ECX,%ECX |
(1180) 0x46cf98 NOPL (%RAX,%RAX,1) |
(1179) 0x46cfa0 VMULPD (%RSI,%RCX,8),%YMM2,%YMM3 |
(1179) 0x46cfa5 VFMADD231PD (%RBX,%RCX,8),%YMM3,%YMM1 |
(1179) 0x46cfab ADD $0x4,%RCX |
(1179) 0x46cfaf CMP %RDI,%RCX |
(1179) 0x46cfb2 JLE 46cfa0 |
(1180) 0x46cfb4 VEXTRACTF128 $0x1,%YMM1,%XMM2 |
(1180) 0x46cfba VADDPD %XMM2,%XMM1,%XMM1 |
(1180) 0x46cfbe VPERMILPD $0x1,%XMM1,%XMM2 |
(1180) 0x46cfc4 VADDSD %XMM2,%XMM1,%XMM1 |
(1180) 0x46cfc8 VADDSD %XMM1,%XMM4,%XMM4 |
(1180) 0x46cfcc MOV %R8,%RSI |
(1180) 0x46cfcf CMP %R8,0x18(%RSP) |
(1180) 0x46cfd4 JE 46cf20 |
(1180) 0x46cfda JMP 46cff8 |
0x46cfdc NOPL (%RAX) |
(1180) 0x46cfe0 XOR %EDX,%EDX |
(1180) 0x46cfe2 DIV %ESI |
(1180) 0x46cfe4 ADD %R14,%RAX |
(1180) 0x46cfe7 VMOVSD (%R11,%RAX,8),%XMM0 |
(1180) 0x46cfed TEST %R8,%R8 |
(1180) 0x46cff0 JNE 46cf67 |
(1180) 0x46cff6 XOR %ESI,%ESI |
(1180) 0x46cff8 ADD 0x20(%RSP),%RDX |
(1180) 0x46cffd IMUL 0x30(%RSP),%RDX |
(1180) 0x46d003 IMUL 0x38(%RSP),%RAX |
(1180) 0x46d009 ADD %R15,%RSI |
(1180) 0x46d00c ADD %RDX,%RAX |
(1180) 0x46d00f MOV 0x28(%RSP),%RCX |
(1180) 0x46d014 LEA (%RCX,%RAX,8),%RAX |
(1180) 0x46d018 NOPL (%RAX,%RAX,1) |
(1181) 0x46d020 VMULSD (%RAX,%RSI,8),%XMM0,%XMM1 |
(1181) 0x46d025 VFMADD231SD (%R12,%RSI,8),%XMM1,%XMM4 |
(1181) 0x46d02b INC %RSI |
(1181) 0x46d02e CMP %RSI,%R13 |
(1181) 0x46d031 JNE 46d020 |
(1180) 0x46d033 JMP 46cf20 |
0x46d038 NOPL (%RAX,%RAX,1) |
0x46d040 LEA -0x28(%RBP),%RSP |
0x46d044 POP %RBX |
0x46d045 POP %R12 |
0x46d047 POP %R13 |
0x46d049 POP %R14 |
0x46d04b POP %R15 |
0x46d04d POP %RBP |
0x46d04e RET |
0x46d04f NOPW %CS:(%RAX,%RAX,1) |
0x46d05e XCHG %AX,%AX |
0x46d060 VMOVSD 0x10(%RSP),%XMM4 |
0x46d066 VMOVSD %XMM4,0x10(%RSP) |
0x46d06c LEA 0xc071d(%RIP),%RDI |
0x46d073 MOV 0x90(%RSP),%ESI |
0x46d07a VZEROUPPER |
0x46d07d CALL 403050 <__kmpc_for_static_fini@plt> |
0x46d082 LEA 0xc0927(%RIP),%RDI |
0x46d089 CALL 403120 <__kmpc_global_thread_num@plt> |
0x46d08e MOV %EAX,%EBX |
0x46d090 LEA 0xc0699(%RIP),%RDI |
0x46d097 MOV $0x52ef20,%R14 |
0x46d09e MOV %EAX,%ESI |
0x46d0a0 MOV %R14,%RDX |
0x46d0a3 CALL 4033a0 <__kmpc_critical@plt> |
0x46d0a8 MOV 0xd8(%RSP),%RAX |
0x46d0b0 VMOVSD 0x10(%RSP),%XMM0 |
0x46d0b6 VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x46d0bb VMOVSD %XMM0,0x10(%RAX) |
0x46d0c0 LEA 0xc0689(%RIP),%RDI |
0x46d0c7 MOV %EBX,%ESI |
0x46d0c9 MOV %R14,%RDX |
0x46d0cc LEA -0x28(%RBP),%RSP |
0x46d0d0 POP %RBX |
0x46d0d1 POP %R12 |
0x46d0d3 POP %R13 |
0x46d0d5 POP %R14 |
0x46d0d7 POP %R15 |
0x46d0d9 POP %RBP |
0x46d0da JMP 403180 |
0x46d0df NOP |
0x46d0e0 SHR $0x3,%RCX |
0x46d0e4 DEC %RCX |
0x46d0e7 MOV %RCX,0x108(%RSP) |
0x46d0ef MOV 0x18(%RSP),%RAX |
0x46d0f4 MOV %RAX,%R9 |
0x46d0f7 AND $-0x4,%R9 |
0x46d0fb LEA -0x1(%R9),%RCX |
0x46d0ff MOV %RCX,0xe8(%RSP) |
0x46d107 VPBROADCASTQ %RAX,%YMM0 |
0x46d10d VMOVDQU %YMM0,0x140(%RSP) |
0x46d116 LEA (%R12,%R15,8),%RAX |
0x46d11a MOV %RAX,0xe0(%RSP) |
0x46d122 XOR %EDI,%EDI |
0x46d124 MOV %R14,0x100(%RSP) |
0x46d12c MOV %R13,0xf8(%RSP) |
0x46d134 MOV %R12,0xf0(%RSP) |
0x46d13c MOV %R9,0xa0(%RSP) |
0x46d144 JMP 46d438 |
0x46d149 NOPW %CS:(%RAX,%RAX,1) |
0x46d158 NOPL (%RAX,%RAX,1) |
(1182) 0x46d160 MOV %R8,%RDX |
(1182) 0x46d163 MOV 0x38(%RSP),%R8 |
(1182) 0x46d168 MOV 0x128(%RSP),%RDI |
(1182) 0x46d170 IMUL %R8,%RDI |
(1182) 0x46d174 ADD %R15,%RDI |
(1182) 0x46d177 MOV 0x20(%RSP),%R10 |
(1182) 0x46d17c MOV %RCX,%R9 |
(1182) 0x46d17f MOV 0x78(%RSP),%RCX |
(1182) 0x46d184 ADD %R10,%RCX |
(1182) 0x46d187 MOV 0x30(%RSP),%RSI |
(1182) 0x46d18c IMUL %RSI,%RCX |
(1182) 0x46d190 ADD %RDI,%RCX |
(1182) 0x46d193 ADD %RBX,%RCX |
(1182) 0x46d196 MOV 0x28(%RSP),%RDI |
(1182) 0x46d19b VMOVUPD (%RDI,%RCX,8),%YMM27{%K1}{z} |
(1182) 0x46d1a2 LEA (%R15,%RBX,1),%RCX |
(1182) 0x46d1a6 VMOVUPD (%R12,%RCX,8),%YMM26{%K1}{z} |
(1182) 0x46d1ad IMUL %R8,%RDX |
(1182) 0x46d1b1 ADD %R15,%RDX |
(1182) 0x46d1b4 MOV 0x70(%RSP),%RCX |
(1182) 0x46d1b9 ADD %R10,%RCX |
(1182) 0x46d1bc IMUL %RSI,%RCX |
(1182) 0x46d1c0 ADD %RDX,%RCX |
(1182) 0x46d1c3 ADD %RBX,%RCX |
(1182) 0x46d1c6 VMOVUPD (%RDI,%RCX,8),%YMM28{%K1}{z} |
(1182) 0x46d1cd MOV 0x10(%RSP),%RDX |
(1182) 0x46d1d2 IMUL %R8,%RDX |
(1182) 0x46d1d6 ADD %R15,%RDX |
(1182) 0x46d1d9 MOV 0x68(%RSP),%RCX |
(1182) 0x46d1de ADD %R10,%RCX |
(1182) 0x46d1e1 IMUL %RSI,%RCX |
(1182) 0x46d1e5 ADD %RDX,%RCX |
(1182) 0x46d1e8 ADD %RBX,%RCX |
(1182) 0x46d1eb VMOVUPD (%RDI,%RCX,8),%YMM29{%K1}{z} |
(1182) 0x46d1f2 MOV 0xb8(%RSP),%RDX |
(1182) 0x46d1fa IMUL %R8,%RDX |
(1182) 0x46d1fe ADD %R15,%RDX |
(1182) 0x46d201 MOV 0x60(%RSP),%RCX |
(1182) 0x46d206 ADD %R10,%RCX |
(1182) 0x46d209 IMUL %RSI,%RCX |
(1182) 0x46d20d ADD %RDX,%RCX |
(1182) 0x46d210 ADD %RBX,%RCX |
(1182) 0x46d213 VMOVUPD (%RDI,%RCX,8),%YMM30{%K1}{z} |
(1182) 0x46d21a MOV 0xb0(%RSP),%RDX |
(1182) 0x46d222 IMUL %R8,%RDX |
(1182) 0x46d226 ADD %R15,%RDX |
(1182) 0x46d229 MOV 0x58(%RSP),%RCX |
(1182) 0x46d22e ADD %R10,%RCX |
(1182) 0x46d231 IMUL %RSI,%RCX |
(1182) 0x46d235 ADD %RDX,%RCX |
(1182) 0x46d238 ADD %RBX,%RCX |
(1182) 0x46d23b VMOVUPD (%RDI,%RCX,8),%YMM31{%K1}{z} |
(1182) 0x46d242 MOV 0xa8(%RSP),%RDX |
(1182) 0x46d24a IMUL %R8,%RDX |
(1182) 0x46d24e ADD %R15,%RDX |
(1182) 0x46d251 MOV 0x50(%RSP),%RCX |
(1182) 0x46d256 ADD %R10,%RCX |
(1182) 0x46d259 IMUL %RSI,%RCX |
(1182) 0x46d25d ADD %RDX,%RCX |
(1182) 0x46d260 ADD %RBX,%RCX |
(1182) 0x46d263 VMOVUPD (%RDI,%RCX,8),%YMM0{%K1}{z} |
(1182) 0x46d26a IMUL %R8,%R9 |
(1182) 0x46d26e ADD %R15,%R9 |
(1182) 0x46d271 MOV 0x48(%RSP),%RCX |
(1182) 0x46d276 ADD %R10,%RCX |
(1182) 0x46d279 IMUL %RSI,%RCX |
(1182) 0x46d27d ADD %R9,%RCX |
(1182) 0x46d280 MOV 0xa0(%RSP),%R9 |
(1182) 0x46d288 ADD %RBX,%RCX |
(1182) 0x46d28b VMOVUPD (%RDI,%RCX,8),%YMM1{%K1}{z} |
(1182) 0x46d292 MOV 0x40(%RSP),%RCX |
(1182) 0x46d297 ADD %R10,%RCX |
(1182) 0x46d29a IMUL %RSI,%RCX |
(1182) 0x46d29e MOV 0x80(%RSP),%RSI |
(1182) 0x46d2a6 ADD %R15,%RCX |
(1182) 0x46d2a9 IMUL %R8,%RAX |
(1182) 0x46d2ad ADD %RCX,%RAX |
(1182) 0x46d2b0 ADD %RBX,%RAX |
(1182) 0x46d2b3 VMOVUPD (%RDI,%RAX,8),%YMM18{%K1}{z} |
(1182) 0x46d2ba VMOVAPD %YMM27,%YMM17{%K1} |
(1182) 0x46d2c0 VMOVAPD %YMM28,%YMM15{%K1} |
(1182) 0x46d2c6 VBROADCASTSD %XMM23,%YMM19 |
(1182) 0x46d2cc VMULPD %YMM19,%YMM17,%YMM19 |
(1182) 0x46d2d2 VMOVAPD %YMM26,%YMM16{%K1} |
(1182) 0x46d2d8 VMULPD %YMM16,%YMM19,%YMM19 |
(1182) 0x46d2de VBROADCASTSD %XMM24,%YMM20 |
(1182) 0x46d2e4 VMULPD %YMM20,%YMM15,%YMM20 |
(1182) 0x46d2ea VMOVAPD %YMM26,%YMM14{%K1} |
(1182) 0x46d2f0 VFMADD213PD %YMM19,%YMM14,%YMM20 |
(1182) 0x46d2f6 VMOVAPD %YMM29,%YMM13{%K1} |
(1182) 0x46d2fc VBROADCASTSD %XMM2,%YMM2 |
(1182) 0x46d301 VMULPD %YMM2,%YMM13,%YMM2 |
(1182) 0x46d305 VMOVAPD %YMM26,%YMM12{%K1} |
(1182) 0x46d30b VFMADD213PD %YMM20,%YMM12,%YMM2 |
(1182) 0x46d311 VMOVAPD %YMM30,%YMM11{%K1} |
(1182) 0x46d317 VBROADCASTSD %XMM3,%YMM3 |
(1182) 0x46d31c VMULPD %YMM3,%YMM11,%YMM3 |
(1182) 0x46d320 VMOVAPD %YMM26,%YMM10{%K1} |
(1182) 0x46d326 VFMADD213PD %YMM2,%YMM10,%YMM3 |
(1182) 0x46d32b VMOVAPD %YMM31,%YMM9{%K1} |
(1182) 0x46d331 VBROADCASTSD %XMM25,%YMM2 |
(1182) 0x46d337 VMULPD %YMM2,%YMM9,%YMM2 |
(1182) 0x46d33b VMOVAPD %YMM26,%YMM8{%K1} |
(1182) 0x46d341 VFMADD213PD %YMM3,%YMM8,%YMM2 |
(1182) 0x46d346 VMOVUPD 0x160(%RSP),%YMM3 |
(1182) 0x46d34f VMOVAPD %YMM0,%YMM3{%K1} |
(1182) 0x46d355 VBROADCASTSD %XMM5,%YMM0 |
(1182) 0x46d35a VMOVUPD %YMM3,0x160(%RSP) |
(1182) 0x46d363 VMULPD %YMM0,%YMM3,%YMM0 |
(1182) 0x46d367 VMOVUPD 0x180(%RSP),%YMM3 |
(1182) 0x46d370 VMOVAPD %YMM26,%YMM3{%K1} |
(1182) 0x46d376 VMOVUPD %YMM3,0x180(%RSP) |
(1182) 0x46d37f VFMADD213PD %YMM2,%YMM3,%YMM0 |
(1182) 0x46d384 VMOVUPD 0x1a0(%RSP),%YMM2 |
(1182) 0x46d38d VMOVAPD %YMM1,%YMM2{%K1} |
(1182) 0x46d393 VBROADCASTSD %XMM6,%YMM1 |
(1182) 0x46d398 VMOVUPD %YMM2,0x1a0(%RSP) |
(1182) 0x46d3a1 VMULPD %YMM1,%YMM2,%YMM1 |
(1182) 0x46d3a5 VMOVUPD 0x1c0(%RSP),%YMM2 |
(1182) 0x46d3ae VMOVAPD %YMM26,%YMM2{%K1} |
(1182) 0x46d3b4 VMOVUPD %YMM2,0x1c0(%RSP) |
(1182) 0x46d3bd VFMADD213PD %YMM0,%YMM2,%YMM1 |
(1182) 0x46d3c2 VMOVUPD 0x1e0(%RSP),%YMM2 |
(1182) 0x46d3cb VMOVAPD %YMM18,%YMM2{%K1} |
(1182) 0x46d3d1 VBROADCASTSD %XMM7,%YMM0 |
(1182) 0x46d3d6 VMOVUPD %YMM2,0x1e0(%RSP) |
(1182) 0x46d3df VMULPD %YMM0,%YMM2,%YMM0 |
(1182) 0x46d3e3 VMOVUPD 0x200(%RSP),%YMM2 |
(1182) 0x46d3ec VMOVAPD %YMM26,%YMM2{%K1} |
(1182) 0x46d3f2 VMOVUPD %YMM2,0x200(%RSP) |
(1182) 0x46d3fb VFMADD213PD %YMM1,%YMM2,%YMM0 |
(1182) 0x46d400 VMOVAPD %YMM0,%YMM0{%K1}{z} |
(1182) 0x46d406 VEXTRACTF128 $0x1,%YMM0,%XMM1 |
(1182) 0x46d40c VADDPD %XMM1,%XMM0,%XMM0 |
(1182) 0x46d410 VPERMILPD $0x1,%XMM0,%XMM1 |
(1182) 0x46d416 VADDSD %XMM1,%XMM0,%XMM0 |
(1182) 0x46d41a VADDSD %XMM0,%XMM4,%XMM4 |
(1182) 0x46d41e MOV 0x130(%RSP),%RDI |
(1182) 0x46d426 CMP 0x108(%RSP),%RDI |
(1182) 0x46d42e LEA 0x1(%RDI),%RDI |
(1182) 0x46d432 JE 46cee2 |
(1182) 0x46d438 LEA (,%RDI,8),%RCX |
(1182) 0x46d440 MOV 0x88(%RSP),%RAX |
(1182) 0x46d448 LEA (%RAX,%RDI,8),%R10 |
(1182) 0x46d44c MOV %R10,%RAX |
(1182) 0x46d44f OR %RSI,%RAX |
(1182) 0x46d452 SHR $0x20,%RAX |
(1182) 0x46d456 JE 46d480 |
(1182) 0x46d458 MOV %R10,%RAX |
(1182) 0x46d45b CQTO |
(1182) 0x46d45d IDIV %RSI |
(1182) 0x46d460 MOV %RDX,0x78(%RSP) |
(1182) 0x46d465 MOV %RAX,%RBX |
(1182) 0x46d468 JMP 46d48e |
0x46d46a NOPW %CS:(%RAX,%RAX,1) |
0x46d479 NOPL (%RAX) |
(1182) 0x46d480 MOV %R10D,%EAX |
(1182) 0x46d483 XOR %EDX,%EDX |
(1182) 0x46d485 DIV %ESI |
(1182) 0x46d487 MOV %RDX,0x78(%RSP) |
(1182) 0x46d48c MOV %EAX,%EBX |
(1182) 0x46d48e ADD %R14,%RBX |
(1182) 0x46d491 VMOVSD (%R11,%RBX,8),%XMM23 |
(1182) 0x46d498 ADD 0x110(%RSP),%RCX |
(1182) 0x46d4a0 MOV %RCX,%RAX |
(1182) 0x46d4a3 OR %RSI,%RAX |
(1182) 0x46d4a6 SHR $0x20,%RAX |
(1182) 0x46d4aa JE 46d4c0 |
(1182) 0x46d4ac MOV %RCX,%RAX |
(1182) 0x46d4af CQTO |
(1182) 0x46d4b1 IDIV %RSI |
(1182) 0x46d4b4 MOV %RDX,0x70(%RSP) |
(1182) 0x46d4b9 MOV %RAX,%R8 |
(1182) 0x46d4bc JMP 46d4ce |
0x46d4be XCHG %AX,%AX |
(1182) 0x46d4c0 MOV %ECX,%EAX |
(1182) 0x46d4c2 XOR %EDX,%EDX |
(1182) 0x46d4c4 DIV %ESI |
(1182) 0x46d4c6 MOV %RDX,0x70(%RSP) |
(1182) 0x46d4cb MOV %EAX,%R8D |
(1182) 0x46d4ce ADD %R14,%R8 |
(1182) 0x46d4d1 VMOVSD (%R11,%R8,8),%XMM24 |
(1182) 0x46d4d8 LEA 0x2(%R10),%RAX |
(1182) 0x46d4dc MOV %RAX,%RCX |
(1182) 0x46d4df OR %RSI,%RCX |
(1182) 0x46d4e2 SHR $0x20,%RCX |
(1182) 0x46d4e6 JE 46d500 |
(1182) 0x46d4e8 CQTO |
(1182) 0x46d4ea IDIV %RSI |
(1182) 0x46d4ed MOV %RDX,0x68(%RSP) |
(1182) 0x46d4f2 JMP 46d509 |
0x46d4f4 NOPW %CS:(%RAX,%RAX,1) |
(1182) 0x46d500 XOR %EDX,%EDX |
(1182) 0x46d502 DIV %ESI |
(1182) 0x46d504 MOV %RDX,0x68(%RSP) |
(1182) 0x46d509 ADD %R14,%RAX |
(1182) 0x46d50c MOV %RAX,0x10(%RSP) |
(1182) 0x46d511 VMOVSD (%R11,%RAX,8),%XMM2 |
(1182) 0x46d517 LEA 0x3(%R10),%RAX |
(1182) 0x46d51b MOV %RAX,%RCX |
(1182) 0x46d51e OR %RSI,%RCX |
(1182) 0x46d521 SHR $0x20,%RCX |
(1182) 0x46d525 JE 46d540 |
(1182) 0x46d527 CQTO |
(1182) 0x46d529 IDIV %RSI |
(1182) 0x46d52c MOV %RDX,0x60(%RSP) |
(1182) 0x46d531 JMP 46d549 |
0x46d533 NOPW %CS:(%RAX,%RAX,1) |
(1182) 0x46d540 XOR %EDX,%EDX |
(1182) 0x46d542 DIV %ESI |
(1182) 0x46d544 MOV %RDX,0x60(%RSP) |
(1182) 0x46d549 ADD %R14,%RAX |
(1182) 0x46d54c MOV %RAX,0xb8(%RSP) |
(1182) 0x46d554 VMOVSD (%R11,%RAX,8),%XMM3 |
(1182) 0x46d55a LEA 0x4(%R10),%RAX |
(1182) 0x46d55e MOV %RAX,%RCX |
(1182) 0x46d561 OR %RSI,%RCX |
(1182) 0x46d564 SHR $0x20,%RCX |
(1182) 0x46d568 JE 46d580 |
(1182) 0x46d56a CQTO |
(1182) 0x46d56c IDIV %RSI |
(1182) 0x46d56f MOV %RDX,0x58(%RSP) |
(1182) 0x46d574 JMP 46d589 |
0x46d576 NOPW %CS:(%RAX,%RAX,1) |
(1182) 0x46d580 XOR %EDX,%EDX |
(1182) 0x46d582 DIV %ESI |
(1182) 0x46d584 MOV %RDX,0x58(%RSP) |
(1182) 0x46d589 ADD %R14,%RAX |
(1182) 0x46d58c MOV %RAX,0xb0(%RSP) |
(1182) 0x46d594 VMOVSD (%R11,%RAX,8),%XMM25 |
(1182) 0x46d59b LEA 0x5(%R10),%RAX |
(1182) 0x46d59f MOV %RAX,%RCX |
(1182) 0x46d5a2 OR %RSI,%RCX |
(1182) 0x46d5a5 SHR $0x20,%RCX |
(1182) 0x46d5a9 JE 46d5c0 |
(1182) 0x46d5ab CQTO |
(1182) 0x46d5ad IDIV %RSI |
(1182) 0x46d5b0 MOV %RDX,0x50(%RSP) |
(1182) 0x46d5b5 JMP 46d5c9 |
0x46d5b7 NOPW (%RAX,%RAX,1) |
(1182) 0x46d5c0 XOR %EDX,%EDX |
(1182) 0x46d5c2 DIV %ESI |
(1182) 0x46d5c4 MOV %RDX,0x50(%RSP) |
(1182) 0x46d5c9 ADD %R14,%RAX |
(1182) 0x46d5cc MOV %RAX,0xa8(%RSP) |
(1182) 0x46d5d4 VMOVSD (%R11,%RAX,8),%XMM5 |
(1182) 0x46d5da LEA 0x6(%R10),%RAX |
(1182) 0x46d5de MOV %RAX,%RCX |
(1182) 0x46d5e1 OR %RSI,%RCX |
(1182) 0x46d5e4 SHR $0x20,%RCX |
(1182) 0x46d5e8 JE 46d600 |
(1182) 0x46d5ea CQTO |
(1182) 0x46d5ec IDIV %RSI |
(1182) 0x46d5ef MOV %RDX,0x48(%RSP) |
(1182) 0x46d5f4 MOV %RAX,%RCX |
(1182) 0x46d5f7 JMP 46d60b |
0x46d5f9 NOPL (%RAX) |
(1182) 0x46d600 XOR %EDX,%EDX |
(1182) 0x46d602 DIV %ESI |
(1182) 0x46d604 MOV %RDX,0x48(%RSP) |
(1182) 0x46d609 MOV %EAX,%ECX |
(1182) 0x46d60b ADD %R14,%RCX |
(1182) 0x46d60e VMOVSD (%R11,%RCX,8),%XMM6 |
(1182) 0x46d614 ADD $0x7,%R10 |
(1182) 0x46d618 MOV %R10,%RAX |
(1182) 0x46d61b OR %RSI,%RAX |
(1182) 0x46d61e SHR $0x20,%RAX |
(1182) 0x46d622 JE 46d640 |
(1182) 0x46d624 MOV %R10,%RAX |
(1182) 0x46d627 CQTO |
(1182) 0x46d629 IDIV %RSI |
(1182) 0x46d62c MOV %RDX,0x40(%RSP) |
(1182) 0x46d631 JMP 46d64c |
0x46d633 NOPW %CS:(%RAX,%RAX,1) |
(1182) 0x46d640 MOV %R10D,%EAX |
(1182) 0x46d643 XOR %EDX,%EDX |
(1182) 0x46d645 DIV %ESI |
(1182) 0x46d647 MOV %RDX,0x40(%RSP) |
(1182) 0x46d64c ADD %R14,%RAX |
(1182) 0x46d64f VMOVSD (%R11,%RAX,8),%XMM7 |
(1182) 0x46d655 TEST %R9,%R9 |
(1182) 0x46d658 MOV %RDI,0x130(%RSP) |
(1182) 0x46d660 MOV %RBX,0x128(%RSP) |
(1182) 0x46d668 JE 46d8a0 |
(1182) 0x46d66e MOV 0x38(%RSP),%R11 |
(1182) 0x46d673 MOV %R11,%R10 |
(1182) 0x46d676 IMUL %RBX,%R10 |
(1182) 0x46d67a MOV %R11,%RSI |
(1182) 0x46d67d MOV %R8,0x120(%RSP) |
(1182) 0x46d685 IMUL %R8,%RSI |
(1182) 0x46d689 MOV %R11,%R13 |
(1182) 0x46d68c IMUL 0x10(%RSP),%R13 |
(1182) 0x46d692 MOV %R11,%R8 |
(1182) 0x46d695 IMUL 0xb8(%RSP),%R8 |
(1182) 0x46d69e MOV %R11,%RBX |
(1182) 0x46d6a1 IMUL 0xb0(%RSP),%RBX |
(1182) 0x46d6aa MOV %R11,%R14 |
(1182) 0x46d6ad IMUL 0xa8(%RSP),%R14 |
(1182) 0x46d6b6 MOV %R11,%R9 |
(1182) 0x46d6b9 MOV %RCX,0x118(%RSP) |
(1182) 0x46d6c1 IMUL %RCX,%R9 |
(1182) 0x46d6c5 MOV 0x20(%RSP),%RDX |
(1182) 0x46d6ca MOV 0x40(%RSP),%RCX |
(1182) 0x46d6cf ADD %RDX,%RCX |
(1182) 0x46d6d2 MOV 0x30(%RSP),%R12 |
(1182) 0x46d6d7 IMUL %R12,%RCX |
(1182) 0x46d6db ADD %R15,%RCX |
(1182) 0x46d6de IMUL %RAX,%R11 |
(1182) 0x46d6e2 ADD %RCX,%R11 |
(1182) 0x46d6e5 MOV 0x48(%RSP),%RCX |
(1182) 0x46d6ea ADD %RDX,%RCX |
(1182) 0x46d6ed IMUL %R12,%RCX |
(1182) 0x46d6f1 ADD %R15,%R9 |
(1182) 0x46d6f4 ADD %RCX,%R9 |
(1182) 0x46d6f7 MOV 0x50(%RSP),%RCX |
(1182) 0x46d6fc ADD %RDX,%RCX |
(1182) 0x46d6ff IMUL %R12,%RCX |
(1182) 0x46d703 ADD %R15,%R14 |
(1182) 0x46d706 ADD %RCX,%R14 |
(1182) 0x46d709 MOV 0x58(%RSP),%RCX |
(1182) 0x46d70e ADD %RDX,%RCX |
(1182) 0x46d711 IMUL %R12,%RCX |
(1182) 0x46d715 ADD %R15,%RBX |
(1182) 0x46d718 ADD %RCX,%RBX |
(1182) 0x46d71b MOV 0x60(%RSP),%RCX |
(1182) 0x46d720 ADD %RDX,%RCX |
(1182) 0x46d723 IMUL %R12,%RCX |
(1182) 0x46d727 ADD %R15,%R8 |
(1182) 0x46d72a ADD %RCX,%R8 |
(1182) 0x46d72d MOV 0x68(%RSP),%RCX |
(1182) 0x46d732 ADD %RDX,%RCX |
(1182) 0x46d735 IMUL %R12,%RCX |
(1182) 0x46d739 ADD %R15,%R13 |
(1182) 0x46d73c ADD %RCX,%R13 |
(1182) 0x46d73f MOV 0x70(%RSP),%RCX |
(1182) 0x46d744 ADD %RDX,%RCX |
(1182) 0x46d747 IMUL %R12,%RCX |
(1182) 0x46d74b ADD %R15,%RSI |
(1182) 0x46d74e ADD %RCX,%RSI |
(1182) 0x46d751 MOV 0x78(%RSP),%RCX |
(1182) 0x46d756 LEA (%RCX,%RDX,1),%RDI |
(1182) 0x46d75a IMUL %R12,%RDI |
(1182) 0x46d75e VBROADCASTSD %XMM23,%YMM26 |
(1182) 0x46d764 VBROADCASTSD %XMM24,%YMM27 |
(1182) 0x46d76a VBROADCASTSD %XMM2,%YMM28 |
(1182) 0x46d770 VBROADCASTSD %XMM3,%YMM29 |
(1182) 0x46d776 VBROADCASTSD %XMM25,%YMM30 |
(1182) 0x46d77c VBROADCASTSD %XMM5,%YMM31 |
(1182) 0x46d782 VBROADCASTSD %XMM6,%YMM18 |
(1182) 0x46d788 VBROADCASTSD %XMM7,%YMM19 |
(1182) 0x46d78e MOV 0x28(%RSP),%RDX |
(1182) 0x46d793 LEA (%RDX,%R11,8),%R11 |
(1182) 0x46d797 LEA (%RDX,%R9,8),%R9 |
(1182) 0x46d79b LEA (%RDX,%R14,8),%R14 |
(1182) 0x46d79f LEA (%RDX,%RBX,8),%R12 |
(1182) 0x46d7a3 LEA (%RDX,%R8,8),%R8 |
(1182) 0x46d7a7 LEA (%RDX,%R13,8),%R13 |
(1182) 0x46d7ab LEA (%RDX,%RSI,8),%RSI |
(1182) 0x46d7af ADD %R15,%R10 |
(1182) 0x46d7b2 ADD %RDI,%R10 |
(1182) 0x46d7b5 LEA (%RDX,%R10,8),%RBX |
(1182) 0x46d7b9 VXORPD %XMM20,%XMM20,%XMM20 |
(1182) 0x46d7bf XOR %EDI,%EDI |
(1182) 0x46d7c1 MOV 0xe8(%RSP),%RDX |
(1182) 0x46d7c9 MOV 0xe0(%RSP),%RCX |
(1182) 0x46d7d1 NOPW %CS:(%RAX,%RAX,1) |
(1183) 0x46d7e0 VMOVUPD (%RCX,%RDI,8),%YMM21 |
(1183) 0x46d7e7 VMULPD (%RBX,%RDI,8),%YMM26,%YMM22 |
(1183) 0x46d7ee VFMADD231PD (%RSI,%RDI,8),%YMM27,%YMM22 |
(1183) 0x46d7f5 VFMADD231PD (%R13,%RDI,8),%YMM28,%YMM22 |
(1183) 0x46d7fd VFMADD231PD (%R8,%RDI,8),%YMM29,%YMM22 |
(1183) 0x46d804 VFMADD213PD %YMM20,%YMM21,%YMM22 |
(1183) 0x46d80a VMULPD (%R12,%RDI,8),%YMM30,%YMM20 |
(1183) 0x46d811 VFMADD231PD (%R14,%RDI,8),%YMM31,%YMM20 |
(1183) 0x46d818 VFMADD231PD (%R9,%RDI,8),%YMM18,%YMM20 |
(1183) 0x46d81f VFMADD231PD (%R11,%RDI,8),%YMM19,%YMM20 |
(1183) 0x46d826 VFMADD213PD %YMM22,%YMM21,%YMM20 |
(1183) 0x46d82c ADD $0x4,%RDI |
(1183) 0x46d830 CMP %RDX,%RDI |
(1183) 0x46d833 JLE 46d7e0 |
(1182) 0x46d835 VEXTRACTF32X4 $0x1,%YMM20,%XMM1 |
(1182) 0x46d83c VADDPD %XMM1,%XMM20,%XMM1 |
(1182) 0x46d842 VPERMILPD $0x1,%XMM1,%XMM0 |
(1182) 0x46d848 VADDSD %XMM0,%XMM1,%XMM0 |
(1182) 0x46d84c VADDSD %XMM0,%XMM4,%XMM4 |
(1182) 0x46d850 MOV 0xa0(%RSP),%R9 |
(1182) 0x46d858 MOV %R9,%RBX |
(1182) 0x46d85b CMP %R9,0x18(%RSP) |
(1182) 0x46d860 MOV 0x100(%RSP),%R14 |
(1182) 0x46d868 MOV 0xf8(%RSP),%R13 |
(1182) 0x46d870 MOV 0x98(%RSP),%R11 |
(1182) 0x46d878 MOV 0xf0(%RSP),%R12 |
(1182) 0x46d880 MOV 0x80(%RSP),%RSI |
(1182) 0x46d888 MOV 0x120(%RSP),%R8 |
(1182) 0x46d890 MOV 0x118(%RSP),%RCX |
(1182) 0x46d898 JE 46d41e |
(1182) 0x46d89e JMP 46d8a2 |
(1182) 0x46d8a0 XOR %EBX,%EBX |
(1182) 0x46d8a2 VPBROADCASTQ %RBX,%YMM18 |
(1182) 0x46d8a8 VPADDQ 0x728ae(%RIP),%YMM18,%YMM18 |
(1182) 0x46d8b2 VPCMPLTUQ 0x140(%RSP),%YMM18,%K1 |
(1182) 0x46d8bb KORTESTB %K1,%K1 |
(1182) 0x46d8bf JNE 46d160 |
(1182) 0x46d8c5 VXORPD %XMM0,%XMM0,%XMM0 |
(1182) 0x46d8c9 JMP 46d400 |
0x46d8ce XCHG %AX,%AX |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00+ | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_fork_call | libiomp5.so | |
○ | __kmpc_fork_call | libiomp5.so | |
○ | void PopulationSdom::operator([...] | reduce.hpp:58 | exec |
○ | Kripke::Kernel::population(Kri[...] | ArchLayout.h:179 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:99 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_init_first | libc.so.6 |
Path / |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 159 |
nb uops | 166 |
loop length | 838 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 27 |
micro-operation queue | 41.50 cycles |
front end | 41.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 13.75 | 13.75 | 26.17 | 25.83 | 40.00 | 13.75 | 13.75 | 26.00 |
cycles | 13.75 | 13.75 | 26.17 | 25.83 | 40.00 | 13.75 | 13.75 | 26.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 39.95 |
Stall cycles | 0.00 |
Front-end | 41.50 |
Dispatch | 40.00 |
Overall L1 | 41.50 |
all | 4% |
load | 0% |
store | 4% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 0% |
store | 3% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 12% |
load | 10% |
store | 13% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 11% |
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 | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
PUSH %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
AND $-0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
SUB $0x240,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOVL $0,0x94(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
TEST %RAX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JS 46d040 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x2e0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RCX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x20(%R8),%R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x28(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x90(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x38(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x98(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x30(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x28(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x100(%R8),%R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD %XMM0,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOV %R9,0xc0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOVQ $0x1,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
SUB $0x8,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA 0x140(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc093e(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x9c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd0(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc8(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV $0x22,%EDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RAX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CALL 403150 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0xc8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xc0(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x88(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMP %RCX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JA 46d060 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SUB %R15,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 46d060 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0x88(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
INC %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %RCX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP $0x8,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
VMOVSD 0x10(%RSP),%XMM4 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x98(%RSP),%R11 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RBX,0x80(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RCX,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JAE 46d0e0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x380> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0xd0(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
DEC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %R9,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JB 46d066 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x306> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RAX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x18(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
AND $-0x4,%R8 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA -0x1(%R8),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R12,%R15,8),%RBX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 46cf35 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1d5> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
RET | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 1 | 0.33 | 0 | 1 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
VMOVSD 0x10(%RSP),%XMM4 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD %XMM4,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA 0xc071d(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x90(%RSP),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VZEROUPPER | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 403050 <__kmpc_for_static_fini@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
LEA 0xc0927(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
CALL 403120 <__kmpc_global_thread_num@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
MOV %EAX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xc0699(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x52ef20,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
CALL 4033a0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
MOV 0xd8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD 0x10(%RSP),%XMM0 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VADDSD 0x10(%RAX),%XMM0,%XMM0 | 1 | 0.50 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4 | 0.50 |
VMOVSD %XMM0,0x10(%RAX) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA 0xc0689(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %EBX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
JMP 403180 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
DEC %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x18(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA -0x1(%R9),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %RAX,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
VMOVDQU %YMM0,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 4 | 1 |
LEA (%R12,%R15,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xe0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R13,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R12,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R9,0xa0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 46d438 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6d8> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 159 |
nb uops | 166 |
loop length | 838 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 27 |
micro-operation queue | 41.50 cycles |
front end | 41.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 13.75 | 13.75 | 26.17 | 25.83 | 40.00 | 13.75 | 13.75 | 26.00 |
cycles | 13.75 | 13.75 | 26.17 | 25.83 | 40.00 | 13.75 | 13.75 | 26.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 39.95 |
Stall cycles | 0.00 |
Front-end | 41.50 |
Dispatch | 40.00 |
Overall L1 | 41.50 |
all | 4% |
load | 0% |
store | 4% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 0% |
store | 3% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 12% |
load | 10% |
store | 13% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 11% |
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 | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
PUSH %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
AND $-0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
SUB $0x240,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOVL $0,0x94(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
TEST %RAX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JS 46d040 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x2e0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RCX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x20(%R8),%R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x28(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x90(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x38(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x98(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x30(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x28(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x100(%R8),%R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD %XMM0,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOV %R9,0xc0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOVQ $0x1,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
SUB $0x8,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA 0x140(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc093e(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x9c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd0(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc8(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV $0x22,%EDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RAX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CALL 403150 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0xc8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xc0(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x88(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMP %RCX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JA 46d060 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SUB %R15,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 46d060 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x300> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0x88(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
INC %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %RCX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP $0x8,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
VMOVSD 0x10(%RSP),%XMM4 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x98(%RSP),%R11 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RBX,0x80(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RCX,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JAE 46d0e0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x380> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0xd0(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
DEC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %R9,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JB 46d066 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x306> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RAX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x18(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
AND $-0x4,%R8 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA -0x1(%R8),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R12,%R15,8),%RBX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 46cf35 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1d5> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
RET | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 1 | 0.33 | 0 | 1 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
VMOVSD 0x10(%RSP),%XMM4 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD %XMM4,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA 0xc071d(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x90(%RSP),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VZEROUPPER | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 403050 <__kmpc_for_static_fini@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
LEA 0xc0927(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
CALL 403120 <__kmpc_global_thread_num@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
MOV %EAX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xc0699(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x52ef20,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
CALL 4033a0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
MOV 0xd8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VMOVSD 0x10(%RSP),%XMM0 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
VADDSD 0x10(%RAX),%XMM0,%XMM0 | 1 | 0.50 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4 | 0.50 |
VMOVSD %XMM0,0x10(%RAX) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA 0xc0689(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %EBX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
JMP 403180 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
DEC %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x18(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%R9 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA -0x1(%R9),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %RAX,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
VMOVDQU %YMM0,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 4 | 1 |
LEA (%R12,%R15,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xe0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R14,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R13,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R12,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R9,0xa0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 46d438 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6d8> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void PopulationSdom::operator() | 0.43 | 0.18 |
▼Loop 1182 - Collapse.hpp:81-83 - exec– | 0 | 0 |
○Loop 1183 - forall.hpp:59-59 - exec | 0.43 | 0.18 |
▼Loop 1180 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 1181 - forall.hpp:59-59 - exec | 0 | 0 |
○Loop 1179 - forall.hpp:59-59 - exec | 0 | 0 |