Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.27% |
---|
Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 0.27% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Operators.hpp: 307 - 307 |
-------------------------------------------------------------------------------- |
307: return Ret{lhs} + rhs; |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/pattern/detail/reduce.hpp: 74 - 262 |
-------------------------------------------------------------------------------- |
74: val = operator_type::operator()(val, v); |
[...] |
261: : parent{other.parent ? other.parent : &other}, |
262: identity{other.identity}, |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 79 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/tpl/camp/include/camp/tuple.hpp: 253 - 253 |
-------------------------------------------------------------------------------- |
253: CAMP_HOST_DEVICE constexpr tuple(tuple const& o) : base(o.base) {} |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/src/Kripke/Kernel/Population.cpp: 58 - 58 |
-------------------------------------------------------------------------------- |
58: part_red += w(d) * psi(d,g,z) * volume(z); |
/scratch_na/users/xoserete/qaas_runs/171-291-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
0x548a0 PUSH %RBP |
0x548a1 MOV %RSP,%RBP |
0x548a4 PUSH %R15 |
0x548a6 PUSH %R14 |
0x548a8 PUSH %R13 |
0x548aa PUSH %R12 |
0x548ac PUSH %RBX |
0x548ad SUB $0x128,%RSP |
0x548b4 MOVL $0,-0xa8(%RBP) |
0x548be LEA 0x38(%R8),%RCX |
0x548c2 MOV 0x38(%R8),%RAX |
0x548c6 TEST %RAX,%RAX |
0x548c9 CMOVNE %RAX,%RCX |
0x548cd TEST %R9,%R9 |
0x548d0 JS 549b0 |
0x548d6 MOV %RCX,-0x110(%RBP) |
0x548dd MOV %RDX,%RBX |
0x548e0 MOV (%R8),%R13 |
0x548e3 MOV 0x10(%R8),%R15 |
0x548e7 MOV 0x20(%R8),%R12 |
0x548eb MOV 0x28(%R8),%RAX |
0x548ef MOV %RAX,-0x60(%RBP) |
0x548f3 MOV 0x70(%R8),%R14 |
0x548f7 MOV 0x90(%R8),%RAX |
0x548fe MOV %RAX,-0x48(%RBP) |
0x54902 MOV 0x98(%R8),%RAX |
0x54909 MOV %RAX,-0x40(%RBP) |
0x5490d MOV 0xd8(%R8),%RAX |
0x54914 MOV %RAX,-0x58(%RBP) |
0x54918 MOV 0x100(%R8),%RAX |
0x5491f MOV %RAX,-0x38(%RBP) |
0x54923 VMOVQ 0x40(%R8),%XMM0 |
0x54929 VMOVQ %XMM0,-0x30(%RBP) |
0x5492e MOV (%RDI),%ESI |
0x54930 MOVQ $0,-0x100(%RBP) |
0x5493b MOV %R9,-0xf8(%RBP) |
0x54942 MOVQ $0x1,-0x148(%RBP) |
0x5494d SUB $0x8,%RSP |
0x54951 LEA -0x148(%RBP),%RAX |
0x54958 LEA 0x25aeb1(%RIP),%RDI |
0x5495f LEA -0xa8(%RBP),%RCX |
0x54966 LEA -0x100(%RBP),%R8 |
0x5496d LEA -0xf8(%RBP),%R9 |
0x54974 MOV %ESI,-0xa4(%RBP) |
0x5497a MOV $0x22,%EDX |
0x5497f PUSH $0x1 |
0x54981 PUSH $0x1 |
0x54983 PUSH %RAX |
0x54984 CALL 99a0 <__kmpc_for_static_init_8@plt> |
0x54989 ADD $0x20,%RSP |
0x5498d MOV -0x100(%RBP),%RAX |
0x54994 MOV -0xf8(%RBP),%RCX |
0x5499b MOV %RAX,-0xa0(%RBP) |
0x549a2 CMP %RCX,%RAX |
0x549a5 JBE 549c2 |
0x549a7 VMOVSD -0x30(%RBP),%XMM29 |
0x549ae JMP 54a18 |
0x549b0 ADD $0x128,%RSP |
0x549b7 POP %RBX |
0x549b8 POP %R12 |
0x549ba POP %R13 |
0x549bc POP %R14 |
0x549be POP %R15 |
0x549c0 POP %RBP |
0x549c1 RET |
0x549c2 MOV -0xa0(%RBP),%RDX |
0x549c9 LEA 0x1(%RDX),%RAX |
0x549cd INC %RCX |
0x549d0 CMP %RCX,%RAX |
0x549d3 CMOVG %RAX,%RCX |
0x549d7 SUB %RDX,%RCX |
0x549da CMP $0x8,%RCX |
0x549de MOV %R14,-0xc0(%RBP) |
0x549e5 MOV %RCX,-0x108(%RBP) |
0x549ec JAE 54bea |
0x549f2 MOV %RBX,%R10 |
0x549f5 VMOVSD -0x30(%RBP),%XMM29 |
0x549fc MOV -0x38(%RBP),%RBX |
0x54a00 MOV -0x108(%RBP),%R8 |
0x54a07 MOV %R8,%RCX |
0x54a0a AND $-0x8,%RCX |
0x54a0e CMP %R8,%RCX |
0x54a11 JNE 54a92 |
0x54a13 TEST %R8,%R8 |
0x54a16 JE 54a92 |
0x54a18 VMOVSD %XMM29,-0x30(%RBP) |
0x54a1f LEA 0x25ae0a(%RIP),%RDI |
0x54a26 MOV -0xa4(%RBP),%ESI |
0x54a2c VZEROUPPER |
0x54a2f CALL 98d0 <__kmpc_for_static_fini@plt> |
0x54a34 LEA 0x25b015(%RIP),%RDI |
0x54a3b CALL 95a0 <__kmpc_global_thread_num@plt> |
0x54a40 MOV %EAX,%EBX |
0x54a42 LEA 0x25ad87(%RIP),%RDI |
0x54a49 MOV 0x25a440(%RIP),%R14 |
0x54a50 MOV %EAX,%ESI |
0x54a52 MOV %R14,%RDX |
0x54a55 CALL 96f0 <__kmpc_critical@plt> |
0x54a5a MOV -0x110(%RBP),%RAX |
0x54a61 VMOVSD -0x30(%RBP),%XMM0 |
0x54a66 VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x54a6b VMOVSD %XMM0,0x10(%RAX) |
0x54a70 LEA 0x25ad79(%RIP),%RDI |
0x54a77 MOV %EBX,%ESI |
0x54a79 MOV %R14,%RDX |
0x54a7c ADD $0x128,%RSP |
0x54a83 POP %RBX |
0x54a84 POP %R12 |
0x54a86 POP %R13 |
0x54a88 POP %R14 |
0x54a8a POP %R15 |
0x54a8c POP %RBP |
0x54a8d JMP 9550 |
0x54a92 DEC %R8 |
0x54a95 MOV -0x60(%RBP),%R11 |
0x54a99 MOV %R11,%RSI |
0x54a9c SUB %R12,%RSI |
0x54a9f LEA (%RBX,%R12,8),%RDI |
0x54aa3 MOV -0x48(%RBP),%RAX |
0x54aa7 LEA (,%RAX,8),%RAX |
0x54aaf MOV %RAX,-0x30(%RBP) |
0x54ab3 MOV -0x40(%RBP),%RAX |
0x54ab7 LEA (,%RAX,8),%RAX |
0x54abf MOV %RAX,-0x50(%RBP) |
0x54ac3 MOV %R10,%R9 |
0x54ac6 JMP 54ae3 |
0x54ac8 NOPL (%RAX,%RAX,1) |
(948) 0x54ad0 LEA 0x1(%RCX),%RAX |
(948) 0x54ad4 CMP %R8,%RCX |
(948) 0x54ad7 MOV %RAX,%RCX |
(948) 0x54ada MOV %R9,%R10 |
(948) 0x54add JE 54a18 |
(948) 0x54ae3 TEST %RSI,%RSI |
(948) 0x54ae6 JLE 54ad0 |
(948) 0x54ae8 MOV -0xa0(%RBP),%RAX |
(948) 0x54aef ADD %RCX,%RAX |
(948) 0x54af2 MOV %RAX,%RDX |
(948) 0x54af5 OR %R10,%RDX |
(948) 0x54af8 SHR $0x20,%RDX |
(948) 0x54afc JE 54b10 |
(948) 0x54afe CQTO |
(948) 0x54b00 IDIV %R10 |
(948) 0x54b03 JMP 54b15 |
0x54b05 NOPW %CS:(%RAX,%RAX,1) |
(948) 0x54b10 XOR %EDX,%EDX |
(948) 0x54b12 DIV %R10D |
(948) 0x54b15 ADD %R13,%RAX |
(948) 0x54b18 VMOVSD (%R14,%RAX,8),%XMM0 |
(948) 0x54b1e MOV %RSI,%R10 |
(948) 0x54b21 AND $-0x4,%R10 |
(948) 0x54b25 JE 54bb0 |
(948) 0x54b2b LEA -0x1(%R10),%R11 |
(948) 0x54b2f LEA (%R15,%RDX,1),%RBX |
(948) 0x54b33 IMUL -0x40(%RBP),%RBX |
(948) 0x54b38 MOV -0x48(%RBP),%R14 |
(948) 0x54b3c IMUL %RAX,%R14 |
(948) 0x54b40 VBROADCASTSD %XMM0,%YMM1 |
(948) 0x54b45 ADD %R12,%RBX |
(948) 0x54b48 ADD %R14,%RBX |
(948) 0x54b4b MOV -0x58(%RBP),%R14 |
(948) 0x54b4f LEA (%R14,%RBX,8),%RBX |
(948) 0x54b53 VXORPD %XMM2,%XMM2,%XMM2 |
(948) 0x54b57 XOR %R14D,%R14D |
(948) 0x54b5a NOPW (%RAX,%RAX,1) |
(950) 0x54b60 VMULPD (%RBX,%R14,8),%YMM1,%YMM3 |
(950) 0x54b66 VFMADD231PD (%RDI,%R14,8),%YMM3,%YMM2 |
(950) 0x54b6c ADD $0x4,%R14 |
(950) 0x54b70 CMP %R11,%R14 |
(950) 0x54b73 JLE 54b60 |
(948) 0x54b75 VEXTRACTF128 $0x1,%YMM2,%XMM1 |
(948) 0x54b7b VADDPD %XMM1,%XMM2,%XMM1 |
(948) 0x54b7f VSHUFPD $0x1,%XMM1,%XMM1,%XMM2 |
(948) 0x54b84 VADDSD %XMM2,%XMM1,%XMM1 |
(948) 0x54b88 VADDSD %XMM1,%XMM29,%XMM29 |
(948) 0x54b8e CMP %R10,%RSI |
(948) 0x54b91 MOV -0x60(%RBP),%R11 |
(948) 0x54b95 MOV -0xc0(%RBP),%R14 |
(948) 0x54b9c MOV -0x38(%RBP),%RBX |
(948) 0x54ba0 JE 54ad0 |
(948) 0x54ba6 JMP 54bb3 |
0x54ba8 NOPL (%RAX,%RAX,1) |
(948) 0x54bb0 XOR %R10D,%R10D |
(948) 0x54bb3 ADD %R12,%R10 |
(948) 0x54bb6 IMUL -0x30(%RBP),%RAX |
(948) 0x54bbb ADD %R15,%RDX |
(948) 0x54bbe IMUL -0x50(%RBP),%RDX |
(948) 0x54bc3 ADD %RAX,%RDX |
(948) 0x54bc6 ADD -0x58(%RBP),%RDX |
(948) 0x54bca NOPW (%RAX,%RAX,1) |
(949) 0x54bd0 VMULSD (%RDX,%R10,8),%XMM0,%XMM1 |
(949) 0x54bd6 VFMADD231SD (%RBX,%R10,8),%XMM1,%XMM29 |
(949) 0x54bdd INC %R10 |
(949) 0x54be0 CMP %R10,%R11 |
(949) 0x54be3 JNE 54bd0 |
(948) 0x54be5 JMP 54ad0 |
0x54bea MOV %RCX,%R11 |
0x54bed SHR $0x3,%R11 |
0x54bf1 DEC %R11 |
0x54bf4 MOV -0x60(%RBP),%RCX |
0x54bf8 SUB %R12,%RCX |
0x54bfb MOV -0x38(%RBP),%RAX |
0x54bff LEA (%RAX,%R12,8),%RDX |
0x54c03 MOV %RDX,-0x118(%RBP) |
0x54c0a XOR %EDI,%EDI |
0x54c0c VMOVDQU 0x432cc(%RIP),%YMM0 |
0x54c14 MOV %RBX,%R10 |
0x54c17 MOV %RAX,%RBX |
0x54c1a VMOVSD -0x30(%RBP),%XMM29 |
0x54c21 MOV %RCX,-0xb0(%RBP) |
0x54c28 MOV %R13,-0x138(%RBP) |
0x54c2f MOV %R15,-0x130(%RBP) |
0x54c36 MOV %R12,-0x128(%RBP) |
0x54c3d MOV %R10,-0x120(%RBP) |
0x54c44 MOV %R11,-0xb8(%RBP) |
0x54c4b JMP 54e7e |
(951) 0x54c50 MOV -0x30(%RBP),%RSI |
(951) 0x54c54 ADD %R15,%RSI |
(951) 0x54c57 MOV -0x40(%RBP),%RDX |
(951) 0x54c5b IMUL %RDX,%RSI |
(951) 0x54c5f ADD %R12,%RSI |
(951) 0x54c62 MOV -0x48(%RBP),%RCX |
(951) 0x54c66 MOV %RAX,%R8 |
(951) 0x54c69 MOV %R14,%RAX |
(951) 0x54c6c MOV %R15,%R14 |
(951) 0x54c6f MOV %R12,%R15 |
(951) 0x54c72 MOV -0x50(%RBP),%R12 |
(951) 0x54c76 IMUL %RCX,%R12 |
(951) 0x54c7a ADD %R9,%R12 |
(951) 0x54c7d ADD %RSI,%R12 |
(951) 0x54c80 MOV %RDI,%R11 |
(951) 0x54c83 MOV -0x58(%RBP),%RDI |
(951) 0x54c87 VMOVUPD (%RDI,%R12,8),%YMM18{%K1}{z} |
(951) 0x54c8e MOV %R15,%R12 |
(951) 0x54c91 MOV %R14,%R15 |
(951) 0x54c94 MOV %RAX,%R14 |
(951) 0x54c97 LEA (%R12,%R9,1),%RSI |
(951) 0x54c9b VMOVUPD (%RBX,%RSI,8),%YMM19{%K1}{z} |
(951) 0x54ca2 MOV -0x98(%RBP),%RAX |
(951) 0x54ca9 ADD %R15,%RAX |
(951) 0x54cac IMUL %RDX,%RAX |
(951) 0x54cb0 ADD %R12,%RAX |
(951) 0x54cb3 MOV -0xf0(%RBP),%RSI |
(951) 0x54cba IMUL %RCX,%RSI |
(951) 0x54cbe ADD %R9,%RSI |
(951) 0x54cc1 ADD %RAX,%RSI |
(951) 0x54cc4 VMOVUPD (%RDI,%RSI,8),%YMM20{%K1}{z} |
(951) 0x54ccb MOV -0x90(%RBP),%RAX |
(951) 0x54cd2 ADD %R15,%RAX |
(951) 0x54cd5 IMUL %RDX,%RAX |
(951) 0x54cd9 ADD %R12,%RAX |
(951) 0x54cdc MOV -0xe8(%RBP),%RSI |
(951) 0x54ce3 IMUL %RCX,%RSI |
(951) 0x54ce7 ADD %R9,%RSI |
(951) 0x54cea ADD %RAX,%RSI |
(951) 0x54ced VMOVUPD (%RDI,%RSI,8),%YMM21{%K1}{z} |
(951) 0x54cf4 MOV -0x88(%RBP),%RAX |
(951) 0x54cfb ADD %R15,%RAX |
(951) 0x54cfe IMUL %RDX,%RAX |
(951) 0x54d02 ADD %R12,%RAX |
(951) 0x54d05 MOV -0xe0(%RBP),%RSI |
(951) 0x54d0c IMUL %RCX,%RSI |
(951) 0x54d10 ADD %R9,%RSI |
(951) 0x54d13 ADD %RAX,%RSI |
(951) 0x54d16 VMOVUPD (%RDI,%RSI,8),%YMM22{%K1}{z} |
(951) 0x54d1d MOV -0x80(%RBP),%RAX |
(951) 0x54d21 ADD %R15,%RAX |
(951) 0x54d24 IMUL %RDX,%RAX |
(951) 0x54d28 ADD %R12,%RAX |
(951) 0x54d2b MOV -0xd8(%RBP),%RSI |
(951) 0x54d32 IMUL %RCX,%RSI |
(951) 0x54d36 ADD %R9,%RSI |
(951) 0x54d39 ADD %RAX,%RSI |
(951) 0x54d3c VMOVUPD (%RDI,%RSI,8),%YMM23{%K1}{z} |
(951) 0x54d43 MOV -0x78(%RBP),%RAX |
(951) 0x54d47 ADD %R15,%RAX |
(951) 0x54d4a IMUL %RDX,%RAX |
(951) 0x54d4e ADD %R12,%RAX |
(951) 0x54d51 MOV -0xd0(%RBP),%RSI |
(951) 0x54d58 IMUL %RCX,%RSI |
(951) 0x54d5c ADD %R9,%RSI |
(951) 0x54d5f ADD %RAX,%RSI |
(951) 0x54d62 VMOVUPD (%RDI,%RSI,8),%YMM24{%K1}{z} |
(951) 0x54d69 MOV -0x70(%RBP),%RAX |
(951) 0x54d6d ADD %R15,%RAX |
(951) 0x54d70 IMUL %RDX,%RAX |
(951) 0x54d74 ADD %R12,%RAX |
(951) 0x54d77 MOV -0xc8(%RBP),%RSI |
(951) 0x54d7e IMUL %RCX,%RSI |
(951) 0x54d82 ADD %R9,%RSI |
(951) 0x54d85 ADD %RAX,%RSI |
(951) 0x54d88 VMOVUPD (%RDI,%RSI,8),%YMM25{%K1}{z} |
(951) 0x54d8f IMUL %RCX,%R8 |
(951) 0x54d93 MOV -0xb0(%RBP),%RCX |
(951) 0x54d9a ADD %R9,%R8 |
(951) 0x54d9d MOV -0x68(%RBP),%RAX |
(951) 0x54da1 ADD %R15,%RAX |
(951) 0x54da4 IMUL %RDX,%RAX |
(951) 0x54da8 ADD %R12,%RAX |
(951) 0x54dab ADD %RAX,%R8 |
(951) 0x54dae VMOVUPD (%RDI,%R8,8),%YMM26{%K1}{z} |
(951) 0x54db5 MOV %R11,%RDI |
(951) 0x54db8 MOV -0xb8(%RBP),%R11 |
(951) 0x54dbf VMOVAPD %YMM18,%YMM9{%K1} |
(951) 0x54dc5 VMOVAPD %YMM19,%YMM8{%K1} |
(951) 0x54dcb VMOVAPD %YMM20,%YMM7{%K1} |
(951) 0x54dd1 VBROADCASTSD %XMM10,%YMM10 |
(951) 0x54dd6 VMULPD %YMM10,%YMM9,%YMM10 |
(951) 0x54ddb VBROADCASTSD %XMM11,%YMM11 |
(951) 0x54de0 VFMADD213PD %YMM10,%YMM7,%YMM11 |
(951) 0x54de5 VMOVAPD %YMM21,%YMM6{%K1} |
(951) 0x54deb VBROADCASTSD %XMM12,%YMM10 |
(951) 0x54df0 VFMADD213PD %YMM11,%YMM6,%YMM10 |
(951) 0x54df5 VMOVAPD %YMM22,%YMM5{%K1} |
(951) 0x54dfb VBROADCASTSD %XMM13,%YMM11 |
(951) 0x54e00 VFMADD213PD %YMM10,%YMM5,%YMM11 |
(951) 0x54e05 VMOVAPD %YMM23,%YMM4{%K1} |
(951) 0x54e0b VBROADCASTSD %XMM14,%YMM10 |
(951) 0x54e10 VFMADD213PD %YMM11,%YMM4,%YMM10 |
(951) 0x54e15 VMOVAPD %YMM24,%YMM3{%K1} |
(951) 0x54e1b VBROADCASTSD %XMM15,%YMM11 |
(951) 0x54e20 VFMADD213PD %YMM10,%YMM3,%YMM11 |
(951) 0x54e25 VMOVAPD %YMM25,%YMM2{%K1} |
(951) 0x54e2b VBROADCASTSD %XMM16,%YMM10 |
(951) 0x54e31 VFMADD213PD %YMM11,%YMM2,%YMM10 |
(951) 0x54e36 VMOVAPD %YMM26,%YMM1{%K1} |
(951) 0x54e3c VBROADCASTSD %XMM17,%YMM11 |
(951) 0x54e42 VFMADD213PD %YMM10,%YMM1,%YMM11 |
(951) 0x54e47 VMULPD %YMM8,%YMM11,%YMM10 |
(951) 0x54e4c VMOVAPD %YMM10,%YMM10{%K1}{z} |
(951) 0x54e52 VEXTRACTF128 $0x1,%YMM10,%XMM11 |
(951) 0x54e58 VADDPD %XMM11,%XMM10,%XMM10 |
(951) 0x54e5d VSHUFPD $0x1,%XMM10,%XMM10,%XMM11 |
(951) 0x54e63 VADDSD %XMM11,%XMM10,%XMM10 |
(951) 0x54e68 VADDSD %XMM10,%XMM29,%XMM29 |
(951) 0x54e6e LEA 0x1(%RDI),%RAX |
(951) 0x54e72 CMP %R11,%RDI |
(951) 0x54e75 MOV %RAX,%RDI |
(951) 0x54e78 JE 54a00 |
(951) 0x54e7e TEST %RCX,%RCX |
(951) 0x54e81 JLE 54e6e |
(951) 0x54e83 MOV -0xa0(%RBP),%RAX |
(951) 0x54e8a LEA (%RAX,%RDI,8),%R9 |
(951) 0x54e8e MOV %R9,%RAX |
(951) 0x54e91 OR %R10,%RAX |
(951) 0x54e94 SHR $0x20,%RAX |
(951) 0x54e98 JE 54eb0 |
(951) 0x54e9a MOV %R9,%RAX |
(951) 0x54e9d CQTO |
(951) 0x54e9f IDIV %R10 |
(951) 0x54ea2 MOV %RDX,-0x30(%RBP) |
(951) 0x54ea6 JMP 54ebc |
0x54ea8 NOPL (%RAX,%RAX,1) |
(951) 0x54eb0 MOV %R9D,%EAX |
(951) 0x54eb3 XOR %EDX,%EDX |
(951) 0x54eb5 DIV %R10D |
(951) 0x54eb8 MOV %RDX,-0x30(%RBP) |
(951) 0x54ebc ADD %R13,%RAX |
(951) 0x54ebf MOV %RAX,-0x50(%RBP) |
(951) 0x54ec3 VMOVSD (%R14,%RAX,8),%XMM10 |
(951) 0x54ec9 LEA 0x1(%R9),%RAX |
(951) 0x54ecd MOV %RAX,%RDX |
(951) 0x54ed0 OR %R10,%RDX |
(951) 0x54ed3 SHR $0x20,%RDX |
(951) 0x54ed7 JE 54ef0 |
(951) 0x54ed9 CQTO |
(951) 0x54edb IDIV %R10 |
(951) 0x54ede MOV %RDX,-0x98(%RBP) |
(951) 0x54ee5 JMP 54efc |
0x54ee7 NOPW (%RAX,%RAX,1) |
(951) 0x54ef0 XOR %EDX,%EDX |
(951) 0x54ef2 DIV %R10D |
(951) 0x54ef5 MOV %RDX,-0x98(%RBP) |
(951) 0x54efc ADD %R13,%RAX |
(951) 0x54eff MOV %RAX,-0xf0(%RBP) |
(951) 0x54f06 VMOVSD (%R14,%RAX,8),%XMM11 |
(951) 0x54f0c LEA 0x2(%R9),%RAX |
(951) 0x54f10 MOV %RAX,%RDX |
(951) 0x54f13 OR %R10,%RDX |
(951) 0x54f16 SHR $0x20,%RDX |
(951) 0x54f1a JE 54f30 |
(951) 0x54f1c CQTO |
(951) 0x54f1e IDIV %R10 |
(951) 0x54f21 MOV %RDX,-0x90(%RBP) |
(951) 0x54f28 JMP 54f3c |
0x54f2a NOPW (%RAX,%RAX,1) |
(951) 0x54f30 XOR %EDX,%EDX |
(951) 0x54f32 DIV %R10D |
(951) 0x54f35 MOV %RDX,-0x90(%RBP) |
(951) 0x54f3c ADD %R13,%RAX |
(951) 0x54f3f MOV %RAX,-0xe8(%RBP) |
(951) 0x54f46 VMOVSD (%R14,%RAX,8),%XMM12 |
(951) 0x54f4c LEA 0x3(%R9),%RAX |
(951) 0x54f50 MOV %RAX,%RDX |
(951) 0x54f53 OR %R10,%RDX |
(951) 0x54f56 SHR $0x20,%RDX |
(951) 0x54f5a JE 54f70 |
(951) 0x54f5c CQTO |
(951) 0x54f5e IDIV %R10 |
(951) 0x54f61 MOV %RDX,-0x88(%RBP) |
(951) 0x54f68 JMP 54f7c |
0x54f6a NOPW (%RAX,%RAX,1) |
(951) 0x54f70 XOR %EDX,%EDX |
(951) 0x54f72 DIV %R10D |
(951) 0x54f75 MOV %RDX,-0x88(%RBP) |
(951) 0x54f7c ADD %R13,%RAX |
(951) 0x54f7f MOV %RAX,-0xe0(%RBP) |
(951) 0x54f86 VMOVSD (%R14,%RAX,8),%XMM13 |
(951) 0x54f8c LEA 0x4(%R9),%RAX |
(951) 0x54f90 MOV %RAX,%RDX |
(951) 0x54f93 OR %R10,%RDX |
(951) 0x54f96 SHR $0x20,%RDX |
(951) 0x54f9a JE 54fb0 |
(951) 0x54f9c CQTO |
(951) 0x54f9e IDIV %R10 |
(951) 0x54fa1 MOV %RDX,-0x80(%RBP) |
(951) 0x54fa5 JMP 54fb9 |
0x54fa7 NOPW (%RAX,%RAX,1) |
(951) 0x54fb0 XOR %EDX,%EDX |
(951) 0x54fb2 DIV %R10D |
(951) 0x54fb5 MOV %RDX,-0x80(%RBP) |
(951) 0x54fb9 ADD %R13,%RAX |
(951) 0x54fbc MOV %RAX,-0xd8(%RBP) |
(951) 0x54fc3 VMOVSD (%R14,%RAX,8),%XMM14 |
(951) 0x54fc9 LEA 0x5(%R9),%RAX |
(951) 0x54fcd MOV %RAX,%RDX |
(951) 0x54fd0 OR %R10,%RDX |
(951) 0x54fd3 SHR $0x20,%RDX |
(951) 0x54fd7 JE 54ff0 |
(951) 0x54fd9 CQTO |
(951) 0x54fdb IDIV %R10 |
(951) 0x54fde MOV %RDX,-0x78(%RBP) |
(951) 0x54fe2 JMP 54ff9 |
0x54fe4 NOPW %CS:(%RAX,%RAX,1) |
(951) 0x54ff0 XOR %EDX,%EDX |
(951) 0x54ff2 DIV %R10D |
(951) 0x54ff5 MOV %RDX,-0x78(%RBP) |
(951) 0x54ff9 ADD %R13,%RAX |
(951) 0x54ffc MOV %RAX,-0xd0(%RBP) |
(951) 0x55003 VMOVSD (%R14,%RAX,8),%XMM15 |
(951) 0x55009 LEA 0x6(%R9),%RAX |
(951) 0x5500d MOV %RAX,%RDX |
(951) 0x55010 OR %R10,%RDX |
(951) 0x55013 SHR $0x20,%RDX |
(951) 0x55017 JE 55030 |
(951) 0x55019 CQTO |
(951) 0x5501b IDIV %R10 |
(951) 0x5501e MOV %RDX,-0x70(%RBP) |
(951) 0x55022 JMP 55039 |
0x55024 NOPW %CS:(%RAX,%RAX,1) |
(951) 0x55030 XOR %EDX,%EDX |
(951) 0x55032 DIV %R10D |
(951) 0x55035 MOV %RDX,-0x70(%RBP) |
(951) 0x55039 ADD %R13,%RAX |
(951) 0x5503c MOV %RAX,-0xc8(%RBP) |
(951) 0x55043 VMOVSD (%R14,%RAX,8),%XMM16 |
(951) 0x5504a ADD $0x7,%R9 |
(951) 0x5504e MOV %R9,%RAX |
(951) 0x55051 OR %R10,%RAX |
(951) 0x55054 SHR $0x20,%RAX |
(951) 0x55058 JE 55070 |
(951) 0x5505a MOV %R9,%RAX |
(951) 0x5505d CQTO |
(951) 0x5505f IDIV %R10 |
(951) 0x55062 MOV %RDX,-0x68(%RBP) |
(951) 0x55066 JMP 5507c |
0x55068 NOPL (%RAX,%RAX,1) |
(951) 0x55070 MOV %R9D,%EAX |
(951) 0x55073 XOR %EDX,%EDX |
(951) 0x55075 DIV %R10D |
(951) 0x55078 MOV %RDX,-0x68(%RBP) |
(951) 0x5507c ADD %R13,%RAX |
(951) 0x5507f VMOVSD (%R14,%RAX,8),%XMM17 |
(951) 0x55086 MOV %RCX,%R9 |
(951) 0x55089 AND $-0x4,%R9 |
(951) 0x5508d JE 552c0 |
(951) 0x55093 MOV %RDI,-0x140(%RBP) |
(951) 0x5509a LEA -0x1(%R9),%RSI |
(951) 0x5509e MOV -0x30(%RBP),%RCX |
(951) 0x550a2 LEA (%RCX,%R15,1),%R8 |
(951) 0x550a6 MOV -0x40(%RBP),%RDX |
(951) 0x550aa IMUL %RDX,%R8 |
(951) 0x550ae MOV %RAX,%R13 |
(951) 0x550b1 MOV -0x98(%RBP),%RAX |
(951) 0x550b8 LEA (%RAX,%R15,1),%R10 |
(951) 0x550bc IMUL %RDX,%R10 |
(951) 0x550c0 MOV -0x90(%RBP),%RAX |
(951) 0x550c7 LEA (%RAX,%R15,1),%R14 |
(951) 0x550cb IMUL %RDX,%R14 |
(951) 0x550cf MOV %R12,%RCX |
(951) 0x550d2 MOV -0x88(%RBP),%RAX |
(951) 0x550d9 LEA (%RAX,%R15,1),%R12 |
(951) 0x550dd IMUL %RDX,%R12 |
(951) 0x550e1 MOV -0x80(%RBP),%RAX |
(951) 0x550e5 LEA (%RAX,%R15,1),%RBX |
(951) 0x550e9 IMUL %RDX,%RBX |
(951) 0x550ed MOV -0x78(%RBP),%RAX |
(951) 0x550f1 LEA (%RAX,%R15,1),%R11 |
(951) 0x550f5 IMUL %RDX,%R11 |
(951) 0x550f9 MOV -0x70(%RBP),%RAX |
(951) 0x550fd LEA (%RAX,%R15,1),%RDI |
(951) 0x55101 IMUL %RDX,%RDI |
(951) 0x55105 MOV -0x68(%RBP),%RAX |
(951) 0x55109 ADD %RAX,%R15 |
(951) 0x5510c MOV %R13,%RAX |
(951) 0x5510f IMUL %RDX,%R15 |
(951) 0x55113 MOV -0x48(%RBP),%RDX |
(951) 0x55117 MOV %RDX,%R13 |
(951) 0x5511a IMUL %RAX,%R13 |
(951) 0x5511e ADD %RCX,%R15 |
(951) 0x55121 ADD %R13,%R15 |
(951) 0x55124 MOV %RDX,%R13 |
(951) 0x55127 IMUL -0xc8(%RBP),%R13 |
(951) 0x5512f ADD %RCX,%RDI |
(951) 0x55132 ADD %R13,%RDI |
(951) 0x55135 MOV %RDX,%R13 |
(951) 0x55138 IMUL -0xd0(%RBP),%R13 |
(951) 0x55140 ADD %RCX,%R11 |
(951) 0x55143 ADD %R13,%R11 |
(951) 0x55146 MOV %RDX,%R13 |
(951) 0x55149 IMUL -0xd8(%RBP),%R13 |
(951) 0x55151 ADD %RCX,%RBX |
(951) 0x55154 ADD %R13,%RBX |
(951) 0x55157 MOV %RDX,%R13 |
(951) 0x5515a IMUL -0xe0(%RBP),%R13 |
(951) 0x55162 ADD %RCX,%R12 |
(951) 0x55165 ADD %R13,%R12 |
(951) 0x55168 MOV %RDX,%R13 |
(951) 0x5516b IMUL -0xe8(%RBP),%R13 |
(951) 0x55173 ADD %RCX,%R14 |
(951) 0x55176 ADD %R13,%R14 |
(951) 0x55179 MOV %RDX,%R13 |
(951) 0x5517c IMUL -0xf0(%RBP),%R13 |
(951) 0x55184 ADD %RCX,%R10 |
(951) 0x55187 ADD %R13,%R10 |
(951) 0x5518a MOV %RDX,%R13 |
(951) 0x5518d IMUL -0x50(%RBP),%R13 |
(951) 0x55192 VBROADCASTSD %XMM10,%YMM18 |
(951) 0x55198 VBROADCASTSD %XMM11,%YMM19 |
(951) 0x5519e VBROADCASTSD %XMM12,%YMM20 |
(951) 0x551a4 VBROADCASTSD %XMM13,%YMM21 |
(951) 0x551aa VBROADCASTSD %XMM14,%YMM22 |
(951) 0x551b0 VBROADCASTSD %XMM15,%YMM23 |
(951) 0x551b6 VBROADCASTSD %XMM16,%YMM24 |
(951) 0x551bc VBROADCASTSD %XMM17,%YMM25 |
(951) 0x551c2 MOV -0x58(%RBP),%RDX |
(951) 0x551c6 LEA (%RDX,%R15,8),%R15 |
(951) 0x551ca LEA (%RDX,%RDI,8),%RDI |
(951) 0x551ce LEA (%RDX,%R11,8),%R11 |
(951) 0x551d2 LEA (%RDX,%RBX,8),%RBX |
(951) 0x551d6 LEA (%RDX,%R12,8),%R12 |
(951) 0x551da LEA (%RDX,%R14,8),%R14 |
(951) 0x551de LEA (%RDX,%R10,8),%R10 |
(951) 0x551e2 ADD %RCX,%R8 |
(951) 0x551e5 ADD %R13,%R8 |
(951) 0x551e8 LEA (%RDX,%R8,8),%R8 |
(951) 0x551ec VXORPD %XMM26,%XMM26,%XMM26 |
(951) 0x551f2 XOR %R13D,%R13D |
(951) 0x551f5 MOV -0x118(%RBP),%RCX |
(951) 0x551fc NOPL (%RAX) |
(952) 0x55200 VMULPD (%R8,%R13,8),%YMM18,%YMM27 |
(952) 0x55207 VFMADD231PD (%R10,%R13,8),%YMM19,%YMM27 |
(952) 0x5520e VMOVUPD (%RCX,%R13,8),%YMM28 |
(952) 0x55215 VFMADD231PD (%R14,%R13,8),%YMM20,%YMM27 |
(952) 0x5521c VFMADD231PD (%R12,%R13,8),%YMM21,%YMM27 |
(952) 0x55223 VFMADD213PD %YMM26,%YMM28,%YMM27 |
(952) 0x55229 VMULPD (%RBX,%R13,8),%YMM22,%YMM26 |
(952) 0x55230 VFMADD231PD (%R11,%R13,8),%YMM23,%YMM26 |
(952) 0x55237 VFMADD231PD (%RDI,%R13,8),%YMM24,%YMM26 |
(952) 0x5523e VFMADD231PD (%R15,%R13,8),%YMM25,%YMM26 |
(952) 0x55245 VFMADD213PD %YMM27,%YMM28,%YMM26 |
(952) 0x5524b ADD $0x4,%R13 |
(952) 0x5524f CMP %RSI,%R13 |
(952) 0x55252 JLE 55200 |
(951) 0x55254 VEXTRACTF32X4 $0x1,%YMM26,%XMM18 |
(951) 0x5525b VADDPD %XMM18,%XMM26,%XMM18 |
(951) 0x55261 VSHUFPD $0x1,%XMM18,%XMM18,%XMM19 |
(951) 0x55268 VADDSD %XMM19,%XMM18,%XMM18 |
(951) 0x5526e VADDSD %XMM18,%XMM29,%XMM29 |
(951) 0x55274 MOV -0xb0(%RBP),%RCX |
(951) 0x5527b CMP %R9,%RCX |
(951) 0x5527e MOV -0x138(%RBP),%R13 |
(951) 0x55285 MOV -0x130(%RBP),%R15 |
(951) 0x5528c MOV -0x128(%RBP),%R12 |
(951) 0x55293 MOV -0xc0(%RBP),%R14 |
(951) 0x5529a MOV -0x38(%RBP),%RBX |
(951) 0x5529e MOV -0x120(%RBP),%R10 |
(951) 0x552a5 MOV -0xb8(%RBP),%R11 |
(951) 0x552ac MOV -0x140(%RBP),%RDI |
(951) 0x552b3 JE 54e6e |
(951) 0x552b9 JMP 552c3 |
0x552bb NOPL (%RAX,%RAX,1) |
(951) 0x552c0 XOR %R9D,%R9D |
(951) 0x552c3 MOV %RCX,%RSI |
(951) 0x552c6 SUB %R9,%RSI |
(951) 0x552c9 VPBROADCASTQ %RSI,%YMM18 |
(951) 0x552cf VPCMPNLEUQ %YMM0,%YMM18,%K1 |
(951) 0x552d6 KORTESTB %K1,%K1 |
(951) 0x552da JNE 54c50 |
(951) 0x552e0 VXORPD %XMM10,%XMM10,%XMM10 |
(951) 0x552e5 JMP 54e4c |
0x552ea NOPW (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 159 |
nb uops | 164 |
loop length | 762 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 23 |
micro-operation queue | 27.33 cycles |
front end | 27.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.10 | 4.90 | 14.67 | 14.67 | 19.50 | 4.90 | 5.10 | 19.50 | 19.50 | 19.50 | 5.00 | 14.67 |
cycles | 5.10 | 4.90 | 14.67 | 14.67 | 19.50 | 4.90 | 5.10 | 19.50 | 19.50 | 19.50 | 5.00 | 14.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 26.67-26.70 |
Stall cycles | 0.00 |
Front-end | 27.33 |
Dispatch | 19.50 |
Overall L1 | 27.33 |
all | 3% |
load | 11% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 6% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 6% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 12% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
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 $0x128,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xa8(%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 549b0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x110> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x28(%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 0x70(%R8),%R14 | 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,-0x48(%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,-0x40(%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,-0x58(%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,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %XMM0,-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,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x148(%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 -0x148(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x25aeb1(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xa8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xa4(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf8(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JBE 549c2 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x122> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 54a18 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x178> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
ADD $0x128,%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 -0xa0(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RDX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 54bea <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x34a> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x38(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %R8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 54a92 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %R8,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JE 54a92 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD %XMM29,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x25ae0a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xa4(%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 98d0 <__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 0x25b015(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 95a0 <__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 0x25ad87(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x25a440(%RIP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 96f0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -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 0x25ad79(%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 $0x128,%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 9550 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
DEC %R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x60(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R11,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R12,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
LEA (%RBX,%R12,8),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x48(%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,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%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,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
JMP 54ae3 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x243> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x3,%R11 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x60(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %R12,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%R12,8),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RDX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x432cc(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 54e7e <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x5de> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 159 |
nb uops | 164 |
loop length | 762 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 23 |
micro-operation queue | 27.33 cycles |
front end | 27.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.10 | 4.90 | 14.67 | 14.67 | 19.50 | 4.90 | 5.10 | 19.50 | 19.50 | 19.50 | 5.00 | 14.67 |
cycles | 5.10 | 4.90 | 14.67 | 14.67 | 19.50 | 4.90 | 5.10 | 19.50 | 19.50 | 19.50 | 5.00 | 14.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 26.67-26.70 |
Stall cycles | 0.00 |
Front-end | 27.33 |
Dispatch | 19.50 |
Overall L1 | 27.33 |
all | 3% |
load | 11% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 6% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 6% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 12% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
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 $0x128,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xa8(%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 549b0 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x110> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x28(%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 0x70(%R8),%R14 | 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,-0x48(%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,-0x40(%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,-0x58(%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,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ 0x40(%R8),%XMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %XMM0,-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,-0x100(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0xf8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x148(%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 -0x148(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x25aeb1(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xa8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x100(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xf8(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xa4(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x100(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xf8(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JBE 549c2 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x122> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 54a18 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x178> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
ADD $0x128,%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 -0xa0(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RDX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 54bea <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x34a> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x38(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%R8 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %R8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 54a92 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %R8,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JE 54a92 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f2> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
VMOVSD %XMM29,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x25ae0a(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xa4(%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 98d0 <__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 0x25b015(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 95a0 <__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 0x25ad87(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x25a440(%RIP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 96f0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVSD -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 0x25ad79(%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 $0x128,%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 9550 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
DEC %R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x60(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R11,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R12,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
LEA (%RBX,%R12,8),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x48(%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,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x40(%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,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
JMP 54ae3 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x243> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x3,%R11 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x60(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %R12,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%R12,8),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RDX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x432cc(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 54e7e <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x5de> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void PopulationSdom::operator() | 0.27 | 0.19 |
▼Loop 948 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 950 - forall.hpp:59-59 - libkripke.so | 0.01 | 0.01 |
○Loop 949 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 951 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 952 - forall.hpp:59-59 - libkripke.so | 0.26 | 0.18 |