Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-89 [...] | Coverage: 0.33% |
---|
Function: void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-89 [...] | Coverage: 0.33% |
---|
/scratch_na/users/xoserete/qaas_runs/171-420-0328/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-420-0328/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-420-0328/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-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-420-0328/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-420-0328/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-420-0328/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-420-0328/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-420-0328/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: } |
0x480820 PUSH %RBP |
0x480821 MOV %RSP,%RBP |
0x480824 PUSH %R15 |
0x480826 PUSH %R14 |
0x480828 PUSH %R13 |
0x48082a PUSH %R12 |
0x48082c PUSH %RBX |
0x48082d SUB $0x158,%RSP |
0x480834 MOVL $0,-0xb8(%RBP) |
0x48083e LEA 0x38(%R8),%RCX |
0x480842 MOV 0x38(%R8),%RAX |
0x480846 TEST %RAX,%RAX |
0x480849 CMOVNE %RAX,%RCX |
0x48084d TEST %R9,%R9 |
0x480850 JS 480b40 |
0x480856 MOV %RCX,-0x118(%RBP) |
0x48085d MOV %RDX,%RBX |
0x480860 MOV (%R8),%R14 |
0x480863 MOV 0x10(%R8),%R12 |
0x480867 MOV 0x20(%R8),%RAX |
0x48086b MOV %RAX,-0x38(%RBP) |
0x48086f MOV 0x28(%R8),%R15 |
0x480873 MOV 0x70(%R8),%RAX |
0x480877 MOV %RAX,-0x50(%RBP) |
0x48087b MOV 0x90(%R8),%RAX |
0x480882 MOV %RAX,-0x60(%RBP) |
0x480886 MOV 0x98(%R8),%RAX |
0x48088d MOV %RAX,-0x58(%RBP) |
0x480891 MOV 0xd8(%R8),%RAX |
0x480898 MOV %RAX,-0x68(%RBP) |
0x48089c MOV 0x100(%R8),%RAX |
0x4808a3 MOV %RAX,-0x40(%RBP) |
0x4808a7 VMOVQ 0x40(%R8),%XMM0 |
0x4808ad VMOVQ %XMM0,-0x30(%RBP) |
0x4808b2 MOV (%RDI),%ESI |
0x4808b4 MOVQ $0,-0x110(%RBP) |
0x4808bf MOV %R9,-0x108(%RBP) |
0x4808c6 MOVQ $0x1,-0x178(%RBP) |
0x4808d1 SUB $0x8,%RSP |
0x4808d5 LEA -0x178(%RBP),%RAX |
0x4808dc LEA 0x2ddecd(%RIP),%RDI |
0x4808e3 LEA -0xb8(%RBP),%RCX |
0x4808ea LEA -0x110(%RBP),%R8 |
0x4808f1 LEA -0x108(%RBP),%R9 |
0x4808f8 MOV %ESI,-0xb4(%RBP) |
0x4808fe MOV $0x22,%EDX |
0x480903 PUSH $0x1 |
0x480905 PUSH $0x1 |
0x480907 PUSH %RAX |
0x480908 CALL 402a70 <__kmpc_for_static_init_8@plt> |
0x48090d ADD $0x20,%RSP |
0x480911 MOV -0x110(%RBP),%RAX |
0x480918 MOV -0x108(%RBP),%RCX |
0x48091f MOV %RAX,-0xb0(%RBP) |
0x480926 CMP %RCX,%RAX |
0x480929 JA 480b80 |
0x48092f MOV %R15,%RAX |
0x480932 SUB -0x38(%RBP),%RAX |
0x480936 MOV %RAX,-0x48(%RBP) |
0x48093a JLE 480b80 |
0x480940 MOV -0xb0(%RBP),%RAX |
0x480947 LEA 0x1(%RAX),%RDX |
0x48094b INC %RCX |
0x48094e CMP %RCX,%RDX |
0x480951 MOV %RDX,-0x148(%RBP) |
0x480958 CMOVG %RDX,%RCX |
0x48095c SUB %RAX,%RCX |
0x48095f CMP $0x8,%RCX |
0x480963 VMOVSD -0x30(%RBP),%XMM29 |
0x48096a MOV %RCX,-0x70(%RBP) |
0x48096e JAE 480c40 |
0x480974 MOV %RBX,%RSI |
0x480977 MOV -0x50(%RBP),%RBX |
0x48097b MOV -0x40(%RBP),%R10 |
0x48097f MOV -0x70(%RBP),%RAX |
0x480983 MOV %RAX,%RCX |
0x480986 AND $-0x8,%RCX |
0x48098a CMP %RAX,%RCX |
0x48098d JNE 480998 |
0x48098f TEST %RAX,%RAX |
0x480992 JNE 480b87 |
0x480998 DEC %RAX |
0x48099b MOV %RAX,-0x70(%RBP) |
0x48099f MOV -0x48(%RBP),%RDI |
0x4809a3 AND $-0x4,%RDI |
0x4809a7 LEA -0x1(%RDI),%R8 |
0x4809ab MOV -0x38(%RBP),%RAX |
0x4809af LEA (%R10,%RAX,8),%R9 |
0x4809b3 MOV -0x60(%RBP),%RAX |
0x4809b7 LEA (,%RAX,8),%R13 |
0x4809bf MOV -0x58(%RBP),%RAX |
0x4809c3 LEA (,%RAX,8),%RAX |
0x4809cb MOV %RAX,-0x30(%RBP) |
0x4809cf JMP 480a11 |
0x4809d1 NOPW %CS:(%RAX,%RAX,1) |
0x4809e0 NOPW %CS:(%RAX,%RAX,1) |
0x4809ef NOPW %CS:(%RAX,%RAX,1) |
0x4809fe XCHG %AX,%AX |
(1116) 0x480a00 CMP -0x70(%RBP),%RCX |
(1116) 0x480a04 LEA 0x1(%RCX),%RCX |
(1116) 0x480a08 MOV %R11,%RSI |
(1116) 0x480a0b JE 480b87 |
(1116) 0x480a11 MOV -0xb0(%RBP),%RAX |
(1116) 0x480a18 ADD %RCX,%RAX |
(1116) 0x480a1b MOV %RAX,%RDX |
(1116) 0x480a1e OR %RSI,%RDX |
(1116) 0x480a21 SHR $0x20,%RDX |
(1116) 0x480a25 JE 480a40 |
(1116) 0x480a27 CQTO |
(1116) 0x480a29 IDIV %RSI |
(1116) 0x480a2c JMP 480a44 |
0x480a2e NOPW %CS:(%RAX,%RAX,1) |
0x480a3d NOPL (%RAX) |
(1116) 0x480a40 XOR %EDX,%EDX |
(1116) 0x480a42 DIV %ESI |
(1116) 0x480a44 MOV %RSI,%R11 |
(1116) 0x480a47 ADD %R14,%RAX |
(1116) 0x480a4a VMOVSD (%RBX,%RAX,8),%XMM0 |
(1116) 0x480a4f TEST %RDI,%RDI |
(1116) 0x480a52 JE 480b00 |
(1116) 0x480a58 LEA (%R12,%RDX,1),%RSI |
(1116) 0x480a5c IMUL -0x58(%RBP),%RSI |
(1116) 0x480a61 MOV -0x60(%RBP),%RBX |
(1116) 0x480a65 IMUL %RAX,%RBX |
(1116) 0x480a69 VBROADCASTSD %XMM0,%YMM1 |
(1116) 0x480a6e ADD -0x38(%RBP),%RSI |
(1116) 0x480a72 ADD %RBX,%RSI |
(1116) 0x480a75 MOV -0x68(%RBP),%RBX |
(1116) 0x480a79 LEA (%RBX,%RSI,8),%RSI |
(1116) 0x480a7d VXORPD %XMM2,%XMM2,%XMM2 |
(1116) 0x480a81 XOR %EBX,%EBX |
(1116) 0x480a83 NOPW %CS:(%RAX,%RAX,1) |
(1117) 0x480a90 VMULPD (%RSI,%RBX,8),%YMM1,%YMM3 |
(1117) 0x480a95 VFMADD231PD (%R9,%RBX,8),%YMM3,%YMM2 |
(1117) 0x480a9b ADD $0x4,%RBX |
(1117) 0x480a9f CMP %R8,%RBX |
(1117) 0x480aa2 JLE 480a90 |
(1116) 0x480aa4 VEXTRACTF128 $0x1,%YMM2,%XMM1 |
(1116) 0x480aaa VADDPD %XMM1,%XMM2,%XMM1 |
(1116) 0x480aae VSHUFPD $0x1,%XMM1,%XMM1,%XMM2 |
(1116) 0x480ab3 VADDSD %XMM2,%XMM1,%XMM1 |
(1116) 0x480ab7 VADDSD %XMM1,%XMM29,%XMM29 |
(1116) 0x480abd MOV %RDI,%RSI |
(1116) 0x480ac0 CMP %RDI,-0x48(%RBP) |
(1116) 0x480ac4 MOV -0x50(%RBP),%RBX |
(1116) 0x480ac8 MOV -0x40(%RBP),%R10 |
(1116) 0x480acc JE 480a00 |
(1116) 0x480ad2 JMP 480b06 |
0x480ad4 NOPW %CS:(%RAX,%RAX,1) |
0x480ae3 NOPW %CS:(%RAX,%RAX,1) |
0x480af2 NOPW %CS:(%RAX,%RAX,1) |
(1116) 0x480b00 XOR %ESI,%ESI |
(1116) 0x480b02 MOV -0x40(%RBP),%R10 |
(1116) 0x480b06 ADD -0x38(%RBP),%RSI |
(1116) 0x480b0a IMUL %R13,%RAX |
(1116) 0x480b0e ADD %R12,%RDX |
(1116) 0x480b11 IMUL -0x30(%RBP),%RDX |
(1116) 0x480b16 ADD %RAX,%RDX |
(1116) 0x480b19 ADD -0x68(%RBP),%RDX |
(1116) 0x480b1d NOPL (%RAX) |
(1115) 0x480b20 VMULSD (%RDX,%RSI,8),%XMM0,%XMM1 |
(1115) 0x480b25 VFMADD231SD (%R10,%RSI,8),%XMM1,%XMM29 |
(1115) 0x480b2c INC %RSI |
(1115) 0x480b2f CMP %RSI,%R15 |
(1115) 0x480b32 JNE 480b20 |
(1116) 0x480b34 JMP 480a00 |
0x480b39 NOPL (%RAX) |
0x480b40 ADD $0x158,%RSP |
0x480b47 POP %RBX |
0x480b48 POP %R12 |
0x480b4a POP %R13 |
0x480b4c POP %R14 |
0x480b4e POP %R15 |
0x480b50 POP %RBP |
0x480b51 RET |
0x480b52 NOPW %CS:(%RAX,%RAX,1) |
0x480b61 NOPW %CS:(%RAX,%RAX,1) |
0x480b70 NOPW %CS:(%RAX,%RAX,1) |
0x480b7f NOP |
0x480b80 VMOVSD -0x30(%RBP),%XMM29 |
0x480b87 VMOVSD %XMM29,-0x30(%RBP) |
0x480b8e LEA 0x2ddc3b(%RIP),%RDI |
0x480b95 MOV -0xb4(%RBP),%ESI |
0x480b9b VZEROUPPER |
0x480b9e CALL 402940 <__kmpc_for_static_fini@plt> |
0x480ba3 LEA 0x2dde46(%RIP),%RDI |
0x480baa CALL 402a40 <__kmpc_global_thread_num@plt> |
0x480baf MOV %EAX,%EBX |
0x480bb1 LEA 0x2ddbb8(%RIP),%RDI |
0x480bb8 MOV $0x7601f0,%R14 |
0x480bbf MOV %EAX,%ESI |
0x480bc1 MOV %R14,%RDX |
0x480bc4 CALL 402cc0 <__kmpc_critical@plt> |
0x480bc9 MOV -0x118(%RBP),%RAX |
0x480bd0 VMOVSD -0x30(%RBP),%XMM0 |
0x480bd5 VADDSD 0x10(%RAX),%XMM0,%XMM0 |
0x480bda VMOVSD %XMM0,0x10(%RAX) |
0x480bdf LEA 0x2ddbaa(%RIP),%RDI |
0x480be6 MOV %EBX,%ESI |
0x480be8 MOV %R14,%RDX |
0x480beb ADD $0x158,%RSP |
0x480bf2 POP %RBX |
0x480bf3 POP %R12 |
0x480bf5 POP %R13 |
0x480bf7 POP %R14 |
0x480bf9 POP %R15 |
0x480bfb POP %RBP |
0x480bfc JMP 402aa0 |
0x480c01 NOPW %CS:(%RAX,%RAX,1) |
0x480c10 NOPW %CS:(%RAX,%RAX,1) |
0x480c1f NOPW %CS:(%RAX,%RAX,1) |
0x480c2e NOPW %CS:(%RAX,%RAX,1) |
0x480c3d NOPL (%RAX) |
0x480c40 SHR $0x3,%RCX |
0x480c44 DEC %RCX |
0x480c47 MOV %RCX,-0x140(%RBP) |
0x480c4e MOV -0x48(%RBP),%RDI |
0x480c52 AND $-0x4,%RDI |
0x480c56 LEA -0x1(%RDI),%R8 |
0x480c5a MOV -0x40(%RBP),%R10 |
0x480c5e MOV -0x38(%RBP),%RAX |
0x480c62 LEA (%R10,%RAX,8),%R11 |
0x480c66 XOR %ECX,%ECX |
0x480c68 VMOVDQU 0x93d10(%RIP),%YMM0 |
0x480c70 MOV %RBX,%RSI |
0x480c73 MOV -0x50(%RBP),%RBX |
0x480c77 MOV %RSI,-0xc8(%RBP) |
0x480c7e MOV %R14,-0xd0(%RBP) |
0x480c85 MOV %R12,-0x138(%RBP) |
0x480c8c MOV %R15,-0x130(%RBP) |
0x480c93 MOV %RDI,-0xc0(%RBP) |
0x480c9a MOV %R8,-0x128(%RBP) |
0x480ca1 MOV %R11,-0x120(%RBP) |
0x480ca8 JMP 480ef1 |
0x480cad NOPW %CS:(%RAX,%RAX,1) |
0x480cbc NOPL (%RAX) |
(1118) 0x480cc0 MOV -0x60(%RBP),%RAX |
(1118) 0x480cc4 IMUL %RAX,%RDX |
(1118) 0x480cc8 MOV -0x38(%RBP),%R14 |
(1118) 0x480ccc ADD %R14,%RDX |
(1118) 0x480ccf MOV -0xa8(%RBP),%RCX |
(1118) 0x480cd6 ADD %R12,%RCX |
(1118) 0x480cd9 MOV %RDX,%RSI |
(1118) 0x480cdc MOV -0x58(%RBP),%RDX |
(1118) 0x480ce0 IMUL %RDX,%RCX |
(1118) 0x480ce4 ADD %RSI,%RCX |
(1118) 0x480ce7 ADD %R9,%RCX |
(1118) 0x480cea MOV -0x68(%RBP),%RSI |
(1118) 0x480cee VMOVUPD (%RSI,%RCX,8),%YMM18{%K1}{z} |
(1118) 0x480cf5 LEA (%R14,%R9,1),%RCX |
(1118) 0x480cf9 VMOVUPD (%R10,%RCX,8),%YMM19{%K1}{z} |
(1118) 0x480d00 MOV %R10,%RDI |
(1118) 0x480d03 MOV -0xf8(%RBP),%R10 |
(1118) 0x480d0a IMUL %RAX,%R10 |
(1118) 0x480d0e ADD %R14,%R10 |
(1118) 0x480d11 MOV -0xa0(%RBP),%RCX |
(1118) 0x480d18 ADD %R12,%RCX |
(1118) 0x480d1b IMUL %RDX,%RCX |
(1118) 0x480d1f ADD %R10,%RCX |
(1118) 0x480d22 MOV %RDI,%R10 |
(1118) 0x480d25 MOV -0xc0(%RBP),%RDI |
(1118) 0x480d2c ADD %R9,%RCX |
(1118) 0x480d2f VMOVUPD (%RSI,%RCX,8),%YMM20{%K1}{z} |
(1118) 0x480d36 IMUL %RAX,%R13 |
(1118) 0x480d3a ADD %R14,%R13 |
(1118) 0x480d3d MOV -0x98(%RBP),%RCX |
(1118) 0x480d44 ADD %R12,%RCX |
(1118) 0x480d47 IMUL %RDX,%RCX |
(1118) 0x480d4b ADD %R13,%RCX |
(1118) 0x480d4e ADD %R9,%RCX |
(1118) 0x480d51 VMOVUPD (%RSI,%RCX,8),%YMM21{%K1}{z} |
(1118) 0x480d58 MOV -0xf0(%RBP),%R13 |
(1118) 0x480d5f IMUL %RAX,%R13 |
(1118) 0x480d63 ADD %R14,%R13 |
(1118) 0x480d66 MOV -0x90(%RBP),%RCX |
(1118) 0x480d6d ADD %R12,%RCX |
(1118) 0x480d70 IMUL %RDX,%RCX |
(1118) 0x480d74 ADD %R13,%RCX |
(1118) 0x480d77 ADD %R9,%RCX |
(1118) 0x480d7a VMOVUPD (%RSI,%RCX,8),%YMM22{%K1}{z} |
(1118) 0x480d81 MOV -0xe8(%RBP),%R13 |
(1118) 0x480d88 IMUL %RAX,%R13 |
(1118) 0x480d8c ADD %R14,%R13 |
(1118) 0x480d8f MOV -0x88(%RBP),%RCX |
(1118) 0x480d96 ADD %R12,%RCX |
(1118) 0x480d99 IMUL %RDX,%RCX |
(1118) 0x480d9d ADD %R13,%RCX |
(1118) 0x480da0 ADD %R9,%RCX |
(1118) 0x480da3 VMOVUPD (%RSI,%RCX,8),%YMM23{%K1}{z} |
(1118) 0x480daa MOV -0xe0(%RBP),%R13 |
(1118) 0x480db1 IMUL %RAX,%R13 |
(1118) 0x480db5 ADD %R14,%R13 |
(1118) 0x480db8 MOV -0x80(%RBP),%RCX |
(1118) 0x480dbc ADD %R12,%RCX |
(1118) 0x480dbf IMUL %RDX,%RCX |
(1118) 0x480dc3 ADD %R13,%RCX |
(1118) 0x480dc6 ADD %R9,%RCX |
(1118) 0x480dc9 VMOVUPD (%RSI,%RCX,8),%YMM24{%K1}{z} |
(1118) 0x480dd0 MOV -0xd8(%RBP),%R13 |
(1118) 0x480dd7 IMUL %RAX,%R13 |
(1118) 0x480ddb ADD %R14,%R13 |
(1118) 0x480dde MOV -0x170(%RBP),%RCX |
(1118) 0x480de5 ADD %R12,%RCX |
(1118) 0x480de8 IMUL %RDX,%RCX |
(1118) 0x480dec ADD %R13,%RCX |
(1118) 0x480def ADD %R9,%RCX |
(1118) 0x480df2 VMOVUPD (%RSI,%RCX,8),%YMM25{%K1}{z} |
(1118) 0x480df9 MOV -0x168(%RBP),%RCX |
(1118) 0x480e00 IMUL %RAX,%RCX |
(1118) 0x480e04 ADD %R9,%RCX |
(1118) 0x480e07 MOV -0x78(%RBP),%RAX |
(1118) 0x480e0b ADD %R12,%RAX |
(1118) 0x480e0e IMUL %RDX,%RAX |
(1118) 0x480e12 ADD %R14,%RAX |
(1118) 0x480e15 MOV -0xd0(%RBP),%R14 |
(1118) 0x480e1c ADD %RAX,%RCX |
(1118) 0x480e1f VMOVUPD (%RSI,%RCX,8),%YMM26{%K1}{z} |
(1118) 0x480e26 MOV -0xc8(%RBP),%RSI |
(1118) 0x480e2d VMOVAPD %YMM18,%YMM9{%K1} |
(1118) 0x480e33 VMOVAPD %YMM19,%YMM8{%K1} |
(1118) 0x480e39 VMOVAPD %YMM20,%YMM7{%K1} |
(1118) 0x480e3f VBROADCASTSD %XMM10,%YMM10 |
(1118) 0x480e44 VMULPD %YMM10,%YMM9,%YMM10 |
(1118) 0x480e49 VBROADCASTSD %XMM11,%YMM11 |
(1118) 0x480e4e VFMADD213PD %YMM10,%YMM7,%YMM11 |
(1118) 0x480e53 VMOVAPD %YMM21,%YMM6{%K1} |
(1118) 0x480e59 VBROADCASTSD %XMM12,%YMM10 |
(1118) 0x480e5e VFMADD213PD %YMM11,%YMM6,%YMM10 |
(1118) 0x480e63 VMOVAPD %YMM22,%YMM5{%K1} |
(1118) 0x480e69 VBROADCASTSD %XMM13,%YMM11 |
(1118) 0x480e6e VFMADD213PD %YMM10,%YMM5,%YMM11 |
(1118) 0x480e73 VMOVAPD %YMM23,%YMM4{%K1} |
(1118) 0x480e79 VBROADCASTSD %XMM14,%YMM10 |
(1118) 0x480e7e VFMADD213PD %YMM11,%YMM4,%YMM10 |
(1118) 0x480e83 VMOVAPD %YMM24,%YMM3{%K1} |
(1118) 0x480e89 VBROADCASTSD %XMM15,%YMM11 |
(1118) 0x480e8e VFMADD213PD %YMM10,%YMM3,%YMM11 |
(1118) 0x480e93 VMOVAPD %YMM25,%YMM2{%K1} |
(1118) 0x480e99 VBROADCASTSD %XMM16,%YMM10 |
(1118) 0x480e9f VFMADD213PD %YMM11,%YMM2,%YMM10 |
(1118) 0x480ea4 VMOVAPD %YMM26,%YMM1{%K1} |
(1118) 0x480eaa VBROADCASTSD %XMM17,%YMM11 |
(1118) 0x480eb0 VFMADD213PD %YMM10,%YMM1,%YMM11 |
(1118) 0x480eb5 VMULPD %YMM8,%YMM11,%YMM10 |
(1118) 0x480eba VMOVAPD %YMM10,%YMM10{%K1}{z} |
(1118) 0x480ec0 VEXTRACTF128 $0x1,%YMM10,%XMM11 |
(1118) 0x480ec6 VADDPD %XMM11,%XMM10,%XMM10 |
(1118) 0x480ecb VSHUFPD $0x1,%XMM10,%XMM10,%XMM11 |
(1118) 0x480ed1 VADDSD %XMM11,%XMM10,%XMM10 |
(1118) 0x480ed6 VADDSD %XMM10,%XMM29,%XMM29 |
(1118) 0x480edc MOV -0x30(%RBP),%RCX |
(1118) 0x480ee0 CMP -0x140(%RBP),%RCX |
(1118) 0x480ee7 LEA 0x1(%RCX),%RCX |
(1118) 0x480eeb JE 48097f |
(1118) 0x480ef1 MOV -0xb0(%RBP),%RAX |
(1118) 0x480ef8 MOV %RCX,%RDX |
(1118) 0x480efb MOV %RCX,-0x30(%RBP) |
(1118) 0x480eff LEA (%RAX,%RCX,8),%R9 |
(1118) 0x480f03 MOV %R9,%RAX |
(1118) 0x480f06 OR %RSI,%RAX |
(1118) 0x480f09 SHR $0x20,%RAX |
(1118) 0x480f0d JE 480f40 |
(1118) 0x480f0f MOV %R9,%RAX |
(1118) 0x480f12 CQTO |
(1118) 0x480f14 IDIV %RSI |
(1118) 0x480f17 MOV %RDX,-0xa8(%RBP) |
(1118) 0x480f1e MOV %RAX,%RCX |
(1118) 0x480f21 JMP 480f50 |
0x480f23 NOPW %CS:(%RAX,%RAX,1) |
0x480f32 NOPW %CS:(%RAX,%RAX,1) |
(1118) 0x480f40 MOV %R9D,%EAX |
(1118) 0x480f43 XOR %EDX,%EDX |
(1118) 0x480f45 DIV %ESI |
(1118) 0x480f47 MOV %RDX,-0xa8(%RBP) |
(1118) 0x480f4e MOV %EAX,%ECX |
(1118) 0x480f50 MOV -0x30(%RBP),%RAX |
(1118) 0x480f54 LEA (,%RAX,8),%RAX |
(1118) 0x480f5c ADD %R14,%RCX |
(1118) 0x480f5f MOV %RCX,-0x100(%RBP) |
(1118) 0x480f66 VMOVSD (%RBX,%RCX,8),%XMM10 |
(1118) 0x480f6b ADD -0x148(%RBP),%RAX |
(1118) 0x480f72 MOV %RAX,%RCX |
(1118) 0x480f75 OR %RSI,%RCX |
(1118) 0x480f78 SHR $0x20,%RCX |
(1118) 0x480f7c JE 480fc0 |
(1118) 0x480f7e CQTO |
(1118) 0x480f80 IDIV %RSI |
(1118) 0x480f83 MOV %RDX,-0xa0(%RBP) |
(1118) 0x480f8a JMP 480fcb |
0x480f8c NOPW %CS:(%RAX,%RAX,1) |
0x480f9b NOPW %CS:(%RAX,%RAX,1) |
0x480faa NOPW %CS:(%RAX,%RAX,1) |
0x480fb9 NOPL (%RAX) |
(1118) 0x480fc0 XOR %EDX,%EDX |
(1118) 0x480fc2 DIV %ESI |
(1118) 0x480fc4 MOV %RDX,-0xa0(%RBP) |
(1118) 0x480fcb ADD %R14,%RAX |
(1118) 0x480fce MOV %RAX,-0xf8(%RBP) |
(1118) 0x480fd5 VMOVSD (%RBX,%RAX,8),%XMM11 |
(1118) 0x480fda LEA 0x2(%R9),%RAX |
(1118) 0x480fde MOV %RAX,%RCX |
(1118) 0x480fe1 OR %RSI,%RCX |
(1118) 0x480fe4 SHR $0x20,%RCX |
(1118) 0x480fe8 JE 481000 |
(1118) 0x480fea CQTO |
(1118) 0x480fec IDIV %RSI |
(1118) 0x480fef MOV %RDX,-0x98(%RBP) |
(1118) 0x480ff6 MOV %RAX,%R13 |
(1118) 0x480ff9 JMP 48100e |
0x480ffb NOPL (%RAX,%RAX,1) |
(1118) 0x481000 XOR %EDX,%EDX |
(1118) 0x481002 DIV %ESI |
(1118) 0x481004 MOV %RDX,-0x98(%RBP) |
(1118) 0x48100b MOV %EAX,%R13D |
(1118) 0x48100e ADD %R14,%R13 |
(1118) 0x481011 VMOVSD (%RBX,%R13,8),%XMM12 |
(1118) 0x481017 LEA 0x3(%R9),%RAX |
(1118) 0x48101b MOV %RAX,%RCX |
(1118) 0x48101e OR %RSI,%RCX |
(1118) 0x481021 SHR $0x20,%RCX |
(1118) 0x481025 JE 481040 |
(1118) 0x481027 CQTO |
(1118) 0x481029 IDIV %RSI |
(1118) 0x48102c MOV %RDX,-0x90(%RBP) |
(1118) 0x481033 JMP 48104b |
0x481035 NOPW %CS:(%RAX,%RAX,1) |
(1118) 0x481040 XOR %EDX,%EDX |
(1118) 0x481042 DIV %ESI |
(1118) 0x481044 MOV %RDX,-0x90(%RBP) |
(1118) 0x48104b ADD %R14,%RAX |
(1118) 0x48104e MOV %RAX,-0xf0(%RBP) |
(1118) 0x481055 VMOVSD (%RBX,%RAX,8),%XMM13 |
(1118) 0x48105a LEA 0x4(%R9),%RAX |
(1118) 0x48105e MOV %RAX,%RCX |
(1118) 0x481061 OR %RSI,%RCX |
(1118) 0x481064 SHR $0x20,%RCX |
(1118) 0x481068 JE 481080 |
(1118) 0x48106a CQTO |
(1118) 0x48106c IDIV %RSI |
(1118) 0x48106f MOV %RDX,-0x88(%RBP) |
(1118) 0x481076 JMP 48108b |
0x481078 NOPL (%RAX,%RAX,1) |
(1118) 0x481080 XOR %EDX,%EDX |
(1118) 0x481082 DIV %ESI |
(1118) 0x481084 MOV %RDX,-0x88(%RBP) |
(1118) 0x48108b ADD %R14,%RAX |
(1118) 0x48108e MOV %RAX,-0xe8(%RBP) |
(1118) 0x481095 VMOVSD (%RBX,%RAX,8),%XMM14 |
(1118) 0x48109a LEA 0x5(%R9),%RAX |
(1118) 0x48109e MOV %RAX,%RCX |
(1118) 0x4810a1 OR %RSI,%RCX |
(1118) 0x4810a4 SHR $0x20,%RCX |
(1118) 0x4810a8 JE 4810c0 |
(1118) 0x4810aa CQTO |
(1118) 0x4810ac IDIV %RSI |
(1118) 0x4810af MOV %RDX,-0x80(%RBP) |
(1118) 0x4810b3 JMP 4810c8 |
0x4810b5 NOPW %CS:(%RAX,%RAX,1) |
(1118) 0x4810c0 XOR %EDX,%EDX |
(1118) 0x4810c2 DIV %ESI |
(1118) 0x4810c4 MOV %RDX,-0x80(%RBP) |
(1118) 0x4810c8 ADD %R14,%RAX |
(1118) 0x4810cb MOV %RAX,-0xe0(%RBP) |
(1118) 0x4810d2 VMOVSD (%RBX,%RAX,8),%XMM15 |
(1118) 0x4810d7 LEA 0x6(%R9),%RAX |
(1118) 0x4810db MOV %RAX,%RCX |
(1118) 0x4810de OR %RSI,%RCX |
(1118) 0x4810e1 SHR $0x20,%RCX |
(1118) 0x4810e5 JE 481100 |
(1118) 0x4810e7 CQTO |
(1118) 0x4810e9 IDIV %RSI |
(1118) 0x4810ec MOV %RDX,%RCX |
(1118) 0x4810ef JMP 481106 |
0x4810f1 NOPW %CS:(%RAX,%RAX,1) |
(1118) 0x481100 XOR %EDX,%EDX |
(1118) 0x481102 DIV %ESI |
(1118) 0x481104 MOV %EDX,%ECX |
(1118) 0x481106 ADD %R14,%RAX |
(1118) 0x481109 MOV %RAX,-0xd8(%RBP) |
(1118) 0x481110 VMOVSD (%RBX,%RAX,8),%XMM16 |
(1118) 0x481117 ADD $0x7,%R9 |
(1118) 0x48111b MOV %R9,%RAX |
(1118) 0x48111e OR %RSI,%RAX |
(1118) 0x481121 SHR $0x20,%RAX |
(1118) 0x481125 JE 481140 |
(1118) 0x481127 MOV %R9,%RAX |
(1118) 0x48112a CQTO |
(1118) 0x48112c IDIV %RSI |
(1118) 0x48112f MOV %RDX,-0x78(%RBP) |
(1118) 0x481133 MOV %RAX,%R9 |
(1118) 0x481136 JMP 48114e |
0x481138 NOPL (%RAX,%RAX,1) |
(1118) 0x481140 MOV %R9D,%EAX |
(1118) 0x481143 XOR %EDX,%EDX |
(1118) 0x481145 DIV %ESI |
(1118) 0x481147 MOV %RDX,-0x78(%RBP) |
(1118) 0x48114b MOV %EAX,%R9D |
(1118) 0x48114e ADD %R14,%R9 |
(1118) 0x481151 VMOVSD (%RBX,%R9,8),%XMM17 |
(1118) 0x481158 TEST %RDI,%RDI |
(1118) 0x48115b MOV -0x100(%RBP),%RDX |
(1118) 0x481162 MOV %RCX,-0x170(%RBP) |
(1118) 0x481169 MOV %R9,-0x168(%RBP) |
(1118) 0x481170 JE 4813c0 |
(1118) 0x481176 MOV -0x60(%RBP),%RAX |
(1118) 0x48117a MOV %RAX,%RSI |
(1118) 0x48117d IMUL %RDX,%RSI |
(1118) 0x481181 MOV %RSI,-0x158(%RBP) |
(1118) 0x481188 MOV %RAX,%RDX |
(1118) 0x48118b IMUL -0xf8(%RBP),%RDX |
(1118) 0x481193 MOV %RDX,-0x150(%RBP) |
(1118) 0x48119a MOV %RAX,%R10 |
(1118) 0x48119d MOV %R13,-0x160(%RBP) |
(1118) 0x4811a4 IMUL %R13,%R10 |
(1118) 0x4811a8 MOV %RAX,%RBX |
(1118) 0x4811ab IMUL -0xf0(%RBP),%RBX |
(1118) 0x4811b3 MOV %RAX,%RDI |
(1118) 0x4811b6 IMUL -0xe8(%RBP),%RDI |
(1118) 0x4811be MOV %RAX,%R15 |
(1118) 0x4811c1 IMUL -0xe0(%RBP),%R15 |
(1118) 0x4811c9 MOV %RAX,%RSI |
(1118) 0x4811cc IMUL -0xd8(%RBP),%RSI |
(1118) 0x4811d4 LEA (%RCX,%R12,1),%R14 |
(1118) 0x4811d8 MOV -0x58(%RBP),%RCX |
(1118) 0x4811dc IMUL %RCX,%R14 |
(1118) 0x4811e0 MOV %R12,%RDX |
(1118) 0x4811e3 MOV -0x78(%RBP),%R12 |
(1118) 0x4811e7 ADD %RDX,%R12 |
(1118) 0x4811ea IMUL %RCX,%R12 |
(1118) 0x4811ee MOV -0x38(%RBP),%R13 |
(1118) 0x4811f2 ADD %R13,%R14 |
(1118) 0x4811f5 ADD %RSI,%R14 |
(1118) 0x4811f8 MOV %RAX,%RSI |
(1118) 0x4811fb IMUL %R9,%RSI |
(1118) 0x4811ff ADD %R13,%R12 |
(1118) 0x481202 ADD %RSI,%R12 |
(1118) 0x481205 MOV -0x80(%RBP),%RAX |
(1118) 0x481209 LEA (%RAX,%RDX,1),%RSI |
(1118) 0x48120d IMUL %RCX,%RSI |
(1118) 0x481211 ADD %R13,%RSI |
(1118) 0x481214 ADD %R15,%RSI |
(1118) 0x481217 MOV -0x88(%RBP),%RAX |
(1118) 0x48121e LEA (%RAX,%RDX,1),%R15 |
(1118) 0x481222 IMUL %RCX,%R15 |
(1118) 0x481226 ADD %R13,%R15 |
(1118) 0x481229 ADD %RDI,%R15 |
(1118) 0x48122c MOV %R13,%RAX |
(1118) 0x48122f MOV -0x90(%RBP),%RDI |
(1118) 0x481236 LEA (%RDI,%RDX,1),%R13 |
(1118) 0x48123a IMUL %RCX,%R13 |
(1118) 0x48123e ADD %RAX,%R13 |
(1118) 0x481241 ADD %RBX,%R13 |
(1118) 0x481244 MOV -0x98(%RBP),%RDI |
(1118) 0x48124b LEA (%RDI,%RDX,1),%R11 |
(1118) 0x48124f IMUL %RCX,%R11 |
(1118) 0x481253 ADD %RAX,%R11 |
(1118) 0x481256 ADD %R10,%R11 |
(1118) 0x481259 MOV -0xa0(%RBP),%RDI |
(1118) 0x481260 LEA (%RDI,%RDX,1),%R8 |
(1118) 0x481264 IMUL %RCX,%R8 |
(1118) 0x481268 ADD %RAX,%R8 |
(1118) 0x48126b ADD -0x150(%RBP),%R8 |
(1118) 0x481272 MOV -0xa8(%RBP),%RDI |
(1118) 0x481279 ADD %RDI,%RDX |
(1118) 0x48127c IMUL %RCX,%RDX |
(1118) 0x481280 VBROADCASTSD %XMM10,%YMM18 |
(1118) 0x481286 VBROADCASTSD %XMM11,%YMM19 |
(1118) 0x48128c VBROADCASTSD %XMM12,%YMM20 |
(1118) 0x481292 VBROADCASTSD %XMM13,%YMM21 |
(1118) 0x481298 VBROADCASTSD %XMM14,%YMM22 |
(1118) 0x48129e VBROADCASTSD %XMM15,%YMM23 |
(1118) 0x4812a4 VBROADCASTSD %XMM16,%YMM24 |
(1118) 0x4812aa VBROADCASTSD %XMM17,%YMM25 |
(1118) 0x4812b0 MOV -0x68(%RBP),%R9 |
(1118) 0x4812b4 LEA (%R9,%R12,8),%RCX |
(1118) 0x4812b8 LEA (%R9,%R14,8),%RDI |
(1118) 0x4812bc LEA (%R9,%RSI,8),%RSI |
(1118) 0x4812c0 LEA (%R9,%R15,8),%R10 |
(1118) 0x4812c4 LEA (%R9,%R13,8),%RBX |
(1118) 0x4812c8 LEA (%R9,%R11,8),%R14 |
(1118) 0x4812cc MOV -0x120(%RBP),%R11 |
(1118) 0x4812d3 LEA (%R9,%R8,8),%R15 |
(1118) 0x4812d7 MOV -0x128(%RBP),%R8 |
(1118) 0x4812de ADD %RAX,%RDX |
(1118) 0x4812e1 ADD -0x158(%RBP),%RDX |
(1118) 0x4812e8 LEA (%R9,%RDX,8),%R9 |
(1118) 0x4812ec VXORPD %XMM26,%XMM26,%XMM26 |
(1118) 0x4812f2 XOR %R12D,%R12D |
(1118) 0x4812f5 NOPW %CS:(%RAX,%RAX,1) |
(1119) 0x481300 VMULPD (%R9,%R12,8),%YMM18,%YMM27 |
(1119) 0x481307 VFMADD231PD (%R15,%R12,8),%YMM19,%YMM27 |
(1119) 0x48130e VMOVUPD (%R11,%R12,8),%YMM28 |
(1119) 0x481315 VFMADD231PD (%R14,%R12,8),%YMM20,%YMM27 |
(1119) 0x48131c VFMADD231PD (%RBX,%R12,8),%YMM21,%YMM27 |
(1119) 0x481323 VFMADD213PD %YMM26,%YMM28,%YMM27 |
(1119) 0x481329 VMULPD (%R10,%R12,8),%YMM22,%YMM26 |
(1119) 0x481330 VFMADD231PD (%RSI,%R12,8),%YMM23,%YMM26 |
(1119) 0x481337 VFMADD231PD (%RDI,%R12,8),%YMM24,%YMM26 |
(1119) 0x48133e VFMADD231PD (%RCX,%R12,8),%YMM25,%YMM26 |
(1119) 0x481345 VFMADD213PD %YMM27,%YMM28,%YMM26 |
(1119) 0x48134b ADD $0x4,%R12 |
(1119) 0x48134f CMP %R8,%R12 |
(1119) 0x481352 JLE 481300 |
(1118) 0x481354 VEXTRACTF32X4 $0x1,%YMM26,%XMM18 |
(1118) 0x48135b VADDPD %XMM18,%XMM26,%XMM18 |
(1118) 0x481361 VSHUFPD $0x1,%XMM18,%XMM18,%XMM19 |
(1118) 0x481368 VADDSD %XMM19,%XMM18,%XMM18 |
(1118) 0x48136e VADDSD %XMM18,%XMM29,%XMM29 |
(1118) 0x481374 MOV -0xc0(%RBP),%RDI |
(1118) 0x48137b MOV %RDI,%R9 |
(1118) 0x48137e CMP %RDI,-0x48(%RBP) |
(1118) 0x481382 MOV -0xd0(%RBP),%R14 |
(1118) 0x481389 MOV -0x138(%RBP),%R12 |
(1118) 0x481390 MOV -0x130(%RBP),%R15 |
(1118) 0x481397 MOV -0x50(%RBP),%RBX |
(1118) 0x48139b MOV -0x40(%RBP),%R10 |
(1118) 0x48139f MOV -0xc8(%RBP),%RSI |
(1118) 0x4813a6 MOV -0x100(%RBP),%RDX |
(1118) 0x4813ad MOV -0x160(%RBP),%R13 |
(1118) 0x4813b4 JE 480edc |
(1118) 0x4813ba JMP 4813c3 |
0x4813bc NOPL (%RAX) |
(1118) 0x4813c0 XOR %R9D,%R9D |
(1118) 0x4813c3 MOV -0x48(%RBP),%RCX |
(1118) 0x4813c7 SUB %R9,%RCX |
(1118) 0x4813ca VPBROADCASTQ %RCX,%YMM18 |
(1118) 0x4813d0 VPCMPNLEUQ %YMM0,%YMM18,%K1 |
(1118) 0x4813d7 KORTESTB %K1,%K1 |
(1118) 0x4813db JNE 480cc0 |
(1118) 0x4813e1 VXORPD %XMM10,%XMM10,%XMM10 |
(1118) 0x4813e6 JMP 480eba |
0x4813eb NOPL (%RAX,%RAX,1) |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►99.94+ | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | exec |
nb instructions | 187 |
nb uops | 192 |
loop length | 1081 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 25 |
micro-operation queue | 32.00 cycles |
front end | 32.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.60 | 5.70 | 15.67 | 15.67 | 21.00 | 5.50 | 5.60 | 21.00 | 21.00 | 21.00 | 5.60 | 15.67 |
cycles | 5.60 | 5.70 | 15.67 | 15.67 | 21.00 | 5.50 | 5.60 | 21.00 | 21.00 | 21.00 | 5.60 | 15.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 31.34-31.37 |
Stall cycles | 0.00 |
Front-end | 32.00 |
Dispatch | 21.00 |
Overall L1 | 32.00 |
all | 3% |
load | 11% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x158,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JS 480b40 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x320> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x90(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x98(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x100(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x40(%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,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x178(%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 -0x178(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2ddecd(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x110(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x108(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xb4(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 402a70 <__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 -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 480b80 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x360> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x38(%RBP),%RAX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 480b80 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x360> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 480c40 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x420> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x70(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%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 %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 480998 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x178> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JNE 480b87 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x367> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
AND $-0x4,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%RDI),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R10,%RAX,8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x60(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%R13 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x58(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 480a11 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f1> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x158,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
RET | 1 | 0.50 | 0 | 0.33 | 0.33 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0.33 | 0 | 2.13 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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 0x2ddc3b(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xb4(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 402940 <__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 0x2dde46(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 402a40 <__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 0x2ddbb8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV $0x7601f0,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 402cc0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x118(%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 0x2ddbaa(%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 $0x158,%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 402aa0 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
AND $-0x4,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%RDI),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x40(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R10,%RAX,8),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x93d10(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RSI,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-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 %RDI,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R8,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 480ef1 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6d1> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
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) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | exec |
nb instructions | 187 |
nb uops | 192 |
loop length | 1081 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 2 |
used ymm registers | 1 |
used zmm registers | 0 |
nb stack references | 25 |
micro-operation queue | 32.00 cycles |
front end | 32.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.60 | 5.70 | 15.67 | 15.67 | 21.00 | 5.50 | 5.60 | 21.00 | 21.00 | 21.00 | 5.60 | 15.67 |
cycles | 5.60 | 5.70 | 15.67 | 15.67 | 21.00 | 5.50 | 5.60 | 21.00 | 21.00 | 21.00 | 5.60 | 15.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 31.34-31.37 |
Stall cycles | 0.00 |
Front-end | 32.00 |
Dispatch | 21.00 |
Overall L1 | 32.00 |
all | 3% |
load | 11% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 5% |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 3% |
load | 7% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 5% |
all | 12% |
load | 15% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | NA (no other vectorizable/vectorized instructions) |
all | 12% |
load | 14% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x158,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOVL $0,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x38(%R8),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
CMOVNE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JS 480b40 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x320> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RCX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV (%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x10(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x28(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x70(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x90(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x98(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xd8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x100(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x40(%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,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x108(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x178(%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 -0x178(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2ddecd(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0xb8(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x110(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x108(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0xb4(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 402a70 <__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 -0x110(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 480b80 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x360> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x38(%RBP),%RAX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JLE 480b80 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x360> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RAX),%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RCX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVG %RDX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
SUB %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x8,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JAE 480c40 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x420> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x70(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%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 %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JNE 480998 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x178> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
TEST %RAX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JNE 480b87 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x367> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
AND $-0x4,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%RDI),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R10,%RAX,8),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x60(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%R13 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x58(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 480a11 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x1f1> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x158,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
RET | 1 | 0.50 | 0 | 0.33 | 0.33 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0.33 | 0 | 2.13 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVSD -0x30(%RBP),%XMM29 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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 0x2ddc3b(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0xb4(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
CALL 402940 <__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 0x2dde46(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
CALL 402a40 <__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 0x2ddbb8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV $0x7601f0,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %EAX,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CALL 402cc0 <__kmpc_critical@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x118(%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 0x2ddbaa(%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 $0x158,%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 402aa0 <__kmpc_end_critical@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
SHR $0x3,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
DEC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
AND $-0x4,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
LEA -0x1(%RDI),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x40(%RBP),%R10 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x38(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%R10,%RAX,8),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
VMOVDQU 0x93d10(%RIP),%YMM0 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x50(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RSI,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-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 %RDI,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R8,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 480ef1 <_ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted+0x6d1> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
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) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void PopulationSdom::operator() | 0.33 | 0.22 |
▼Loop 1116 - Collapse.hpp:81-89 - exec– | 0 | 0 |
○Loop 1117 - forall.hpp:59-59 - exec | 0.01 | 0.01 |
○Loop 1115 - forall.hpp:59-59 - exec | 0 | 0 |
▼Loop 1118 - Collapse.hpp:81-89 - exec– | 0 | 0 |
○Loop 1119 - forall.hpp:59-59 - exec | 0.32 | 0.21 |