Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 3.68% |
---|
Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 3.68% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/src/Kripke/Kernel/LPlusTimes.cpp: 57 - 57 |
-------------------------------------------------------------------------------- |
57: rhs(d,g,z) += ell_plus(d, nm) * phi_out(nm, g, z); |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/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-3153/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-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/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: } |
0x56d40 PUSH %RBP |
0x56d41 MOV %RSP,%RBP |
0x56d44 PUSH %R15 |
0x56d46 PUSH %R14 |
0x56d48 PUSH %R13 |
0x56d4a PUSH %R12 |
0x56d4c PUSH %RBX |
0x56d4d SUB $0x248,%RSP |
0x56d54 MOV %RDX,-0x1a0(%RBP) |
0x56d5b MOVL $0,-0x78(%RBP) |
0x56d62 MOV (%R8),%RAX |
0x56d65 MOV %RAX,-0x198(%RBP) |
0x56d6c MOV 0x10(%R8),%RAX |
0x56d70 MOV %RAX,-0x38(%RBP) |
0x56d74 MOV 0x18(%R8),%RAX |
0x56d78 MOV %RAX,-0x40(%RBP) |
0x56d7c MOV 0x20(%R8),%RAX |
0x56d80 MOV %RAX,-0x190(%RBP) |
0x56d87 MOV 0x30(%R8),%RAX |
0x56d8b MOV %RAX,-0x48(%RBP) |
0x56d8f MOV 0x38(%R8),%RAX |
0x56d93 MOV %RAX,-0xb8(%RBP) |
0x56d9a MOV 0x60(%R8),%RAX |
0x56d9e MOV %RAX,-0xb0(%RBP) |
0x56da5 MOV 0x68(%R8),%RAX |
0x56da9 MOV %RAX,-0xa8(%RBP) |
0x56db0 MOV 0xa8(%R8),%RAX |
0x56db7 MOV %RAX,-0xa0(%RBP) |
0x56dbe MOV (%RDI),%ESI |
0x56dc0 MOV %R9,-0x128(%RBP) |
0x56dc7 MOV 0xc0(%R8),%RAX |
0x56dce MOV %RAX,-0x188(%RBP) |
0x56dd5 MOV 0xf0(%R8),%R12 |
0x56ddc MOV 0x110(%R8),%RBX |
0x56de3 MOV 0x118(%R8),%RAX |
0x56dea MOV %RAX,-0x98(%RBP) |
0x56df1 MOV 0x158(%R8),%R13 |
0x56df8 MOVQ $0,-0x130(%RBP) |
0x56e03 MOVQ $0x1,-0x270(%RBP) |
0x56e0e SUB $0x8,%RSP |
0x56e12 LEA -0x270(%RBP),%RAX |
0x56e19 LEA 0x2bd540(%RIP),%RDI |
0x56e20 LEA -0x78(%RBP),%RCX |
0x56e24 LEA -0x130(%RBP),%R8 |
0x56e2b LEA -0x128(%RBP),%R9 |
0x56e32 MOV %ESI,-0x74(%RBP) |
0x56e35 MOV $0x22,%EDX |
0x56e3a PUSH $0x1 |
0x56e3c PUSH $0x1 |
0x56e3e PUSH %RAX |
0x56e3f CALL 99f0 <__kmpc_for_static_init_8@plt> |
0x56e44 ADD $0x20,%RSP |
0x56e48 MOV -0x130(%RBP),%RCX |
0x56e4f MOV -0x128(%RBP),%RAX |
0x56e56 MOV %RCX,-0x90(%RBP) |
0x56e5d CMP %RAX,%RCX |
0x56e60 JA 57900 |
0x56e66 MOV -0x40(%RBP),%RCX |
0x56e6a CMP -0x38(%RBP),%RCX |
0x56e6e JLE 57900 |
0x56e74 MOV -0x90(%RBP),%RDX |
0x56e7b LEA 0x1(%RDX),%RCX |
0x56e7f INC %RAX |
0x56e82 CMP %RAX,%RCX |
0x56e85 CMOVG %RCX,%RAX |
0x56e89 NOT %RDX |
0x56e8c ADD %RAX,%RDX |
0x56e8f MOV %RDX,-0x180(%RBP) |
0x56e96 MOV -0x38(%RBP),%RCX |
0x56e9a MOV %RCX,%RDX |
0x56e9d IMUL %RBX,%RDX |
0x56ea1 MOV %RBX,%RAX |
0x56ea4 SAR $0x3f,%RAX |
0x56ea8 ANDN %RBX,%RAX,%RSI |
0x56ead MOV -0x40(%RBP),%RAX |
0x56eb1 MOV %RAX,%RDI |
0x56eb4 MOV %RSI,-0x170(%RBP) |
0x56ebb IMUL %RSI,%RDI |
0x56ebf MOV %RDI,-0x168(%RBP) |
0x56ec6 XOR %EDI,%EDI |
0x56ec8 TEST %RBX,%RBX |
0x56ecb MOV $0,%ESI |
0x56ed0 CMOVS %RBX,%RSI |
0x56ed4 MOV %RAX,%R8 |
0x56ed7 MOV %RSI,-0x160(%RBP) |
0x56ede IMUL %RSI,%R8 |
0x56ee2 MOV %R8,-0x158(%RBP) |
0x56ee9 NOT %RCX |
0x56eec MOV %RCX,-0xc0(%RBP) |
0x56ef3 LEA (%RAX,%RCX,1),%R14 |
0x56ef7 MOV %R14,%RAX |
0x56efa SHR $0x6,%RAX |
0x56efe MOV %RAX,-0x1c0(%RBP) |
0x56f05 MOV -0xb8(%RBP),%RAX |
0x56f0c MOV -0x48(%RBP),%RCX |
0x56f10 SUB %RCX,%RAX |
0x56f13 MOV %RAX,-0x50(%RBP) |
0x56f17 DEC %RAX |
0x56f1a MOV %RAX,-0xd0(%RBP) |
0x56f21 SHR $0x6,%RAX |
0x56f25 MOV %RAX,-0x1d8(%RBP) |
0x56f2c MOV %RBX,%RAX |
0x56f2f SAL $0x6,%RAX |
0x56f33 MOV %RAX,-0x68(%RBP) |
0x56f37 LEA (,%RBX,8),%R15 |
0x56f3f MOV %R15,%RAX |
0x56f42 SUB %RBX,%RAX |
0x56f45 MOV %RAX,-0x258(%RBP) |
0x56f4c LEA (,%RCX,8),%RAX |
0x56f54 LEA (%RAX,%RDX,8),%RAX |
0x56f58 ADD %R13,%RAX |
0x56f5b MOV %RAX,-0x88(%RBP) |
0x56f62 MOV %RBX,%RAX |
0x56f65 SAL $0x9,%RAX |
0x56f69 MOV %RAX,-0x1b8(%RBP) |
0x56f70 LEA (%RBX,%RBX,1),%RAX |
0x56f74 MOV %RAX,-0x218(%RBP) |
0x56f7b LEA (%RBX,%RBX,2),%RSI |
0x56f7f MOV %RSI,-0x210(%RBP) |
0x56f86 LEA (,%RBX,4),%RSI |
0x56f8e MOV %RSI,-0x208(%RBP) |
0x56f95 LEA (%RBX,%RBX,4),%RSI |
0x56f99 MOV %RSI,-0x200(%RBP) |
0x56fa0 LEA (%RAX,%RAX,2),%RAX |
0x56fa4 MOV %RAX,-0x1f8(%RBP) |
0x56fab MOV -0x98(%RBP),%RAX |
0x56fb2 LEA (,%RAX,8),%RAX |
0x56fba MOV %RAX,-0x80(%RBP) |
0x56fbe MOV -0xa0(%RBP),%RAX |
0x56fc5 LEA (%RAX,%RCX,8),%RAX |
0x56fc9 MOV %RAX,-0x148(%RBP) |
0x56fd0 MOV -0xa8(%RBP),%RAX |
0x56fd7 LEA (,%RAX,8),%RAX |
0x56fdf MOV %RAX,-0x140(%RBP) |
0x56fe6 MOV -0xb0(%RBP),%RAX |
0x56fed LEA (,%RAX,8),%RAX |
0x56ff5 MOV %RAX,-0x138(%RBP) |
0x56ffc MOV %RDX,-0x178(%RBP) |
0x57003 LEA (%RCX,%RDX,1),%RAX |
0x57007 MOV %RAX,-0x150(%RBP) |
0x5700e MOV %R15,-0x238(%RBP) |
0x57015 MOV %R12,-0x220(%RBP) |
0x5701c MOV %R14,-0x1c8(%RBP) |
0x57023 MOV %RBX,-0x120(%RBP) |
0x5702a JMP 57058 |
0x5702c NOPW %CS:(%RAX,%RAX,1) |
0x5703b NOPL (%RAX,%RAX,1) |
(694) 0x57040 MOV -0x1a8(%RBP),%RDI |
(694) 0x57047 CMP -0x180(%RBP),%RDI |
(694) 0x5704e LEA 0x1(%RDI),%RDI |
(694) 0x57052 JE 57900 |
(694) 0x57058 MOV -0x90(%RBP),%RAX |
(694) 0x5705f ADD %RDI,%RAX |
(694) 0x57062 MOV %RAX,%RCX |
(694) 0x57065 MOV -0x1a0(%RBP),%RSI |
(694) 0x5706c OR %RSI,%RCX |
(694) 0x5706f SHR $0x20,%RCX |
(694) 0x57073 MOV %RDI,-0x1a8(%RBP) |
(694) 0x5707a JE 570c0 |
(694) 0x5707c CQTO |
(694) 0x5707e IDIV %RSI |
(694) 0x57081 MOV %RAX,%R9 |
(694) 0x57084 JMP 570c7 |
0x57086 NOPW %CS:(%RAX,%RAX,1) |
0x57095 NOPW %CS:(%RAX,%RAX,1) |
0x570a4 NOPW %CS:(%RAX,%RAX,1) |
0x570b3 NOPW %CS:(%RAX,%RAX,1) |
(694) 0x570c0 XOR %EDX,%EDX |
(694) 0x570c2 DIV %ESI |
(694) 0x570c4 MOV %EAX,%R9D |
(694) 0x570c7 ADD -0x198(%RBP),%R9 |
(694) 0x570ce ADD -0x190(%RBP),%RDX |
(694) 0x570d5 MOV -0x98(%RBP),%R8 |
(694) 0x570dc IMUL %RDX,%R8 |
(694) 0x570e0 MOV -0xb8(%RBP),%R11 |
(694) 0x570e7 MOV -0x178(%RBP),%RAX |
(694) 0x570ee ADD %R11,%RAX |
(694) 0x570f1 MOV -0x170(%RBP),%RCX |
(694) 0x570f8 IMUL -0xc0(%RBP),%RCX |
(694) 0x57100 ADD %RAX,%RCX |
(694) 0x57103 ADD -0x168(%RBP),%RCX |
(694) 0x5710a ADD %R8,%RCX |
(694) 0x5710d LEA -0x8(%R13,%RCX,8),%RCX |
(694) 0x57112 MOV -0xa8(%RBP),%RSI |
(694) 0x57119 MOV %RDX,-0x30(%RBP) |
(694) 0x5711d IMUL %RDX,%RSI |
(694) 0x57121 MOV -0x48(%RBP),%RAX |
(694) 0x57125 ADD %RSI,%RAX |
(694) 0x57128 MOV -0xb0(%RBP),%RDI |
(694) 0x5712f IMUL %R9,%RDI |
(694) 0x57133 ADD %RDI,%RAX |
(694) 0x57136 MOV -0xa0(%RBP),%R10 |
(694) 0x5713d LEA (%R10,%RAX,8),%RAX |
(694) 0x57141 CMP %RAX,%RCX |
(694) 0x57144 SETAE %DL |
(694) 0x57147 ADD %R11,%RSI |
(694) 0x5714a ADD %RDI,%RSI |
(694) 0x5714d LEA -0x8(%R10,%RSI,8),%RSI |
(694) 0x57152 MOV -0x150(%RBP),%RCX |
(694) 0x57159 LEA (%RCX,%R8,1),%RDI |
(694) 0x5715d MOV -0x160(%RBP),%RCX |
(694) 0x57164 IMUL -0xc0(%RBP),%RCX |
(694) 0x5716c ADD -0x158(%RBP),%RCX |
(694) 0x57173 MOV %RDI,-0xf8(%RBP) |
(694) 0x5717a ADD %RDI,%RCX |
(694) 0x5717d LEA (%R13,%RCX,8),%RCX |
(694) 0x57182 CMP %RCX,%RSI |
(694) 0x57185 SETAE %R11B |
(694) 0x57189 MOV -0x188(%RBP),%R10 |
(694) 0x57190 IMUL %R9,%R10 |
(694) 0x57194 MOV -0x40(%RBP),%RCX |
(694) 0x57198 ADD %R10,%RCX |
(694) 0x5719b LEA -0x8(%R12,%RCX,8),%RCX |
(694) 0x571a0 CMP %RAX,%RCX |
(694) 0x571a3 SETB %CL |
(694) 0x571a6 ADD -0x38(%RBP),%R10 |
(694) 0x571aa MOV %R10,-0x60(%RBP) |
(694) 0x571ae LEA (%R12,%R10,8),%R10 |
(694) 0x571b2 CMP %R10,%RSI |
(694) 0x571b5 SETB %SIL |
(694) 0x571b9 TEST %R11B,%DL |
(694) 0x571bc JNE 57840 |
(694) 0x571c2 OR %SIL,%CL |
(694) 0x571c5 JE 57840 |
(694) 0x571cb MOV %R9,%RDI |
(694) 0x571ce MOV -0x140(%RBP),%RAX |
(694) 0x571d5 MOV -0x30(%RBP),%RCX |
(694) 0x571d9 IMUL %RCX,%RAX |
(694) 0x571dd ADD -0x148(%RBP),%RAX |
(694) 0x571e4 IMUL -0x138(%RBP),%RDI |
(694) 0x571ec ADD %RAX,%RDI |
(694) 0x571ef MOV %RDI,-0x1b0(%RBP) |
(694) 0x571f6 IMUL -0x80(%RBP),%RCX |
(694) 0x571fb ADD -0x88(%RBP),%RCX |
(694) 0x57202 ADD -0x48(%RBP),%R8 |
(694) 0x57206 LEA (%R13,%R8,8),%RAX |
(694) 0x5720b MOV %RAX,-0xc8(%RBP) |
(694) 0x57212 MOV %R14,%RDX |
(694) 0x57215 MOV -0xf8(%RBP),%RAX |
(694) 0x5721c MOV %RAX,-0x58(%RBP) |
(694) 0x57220 XOR %ESI,%ESI |
(694) 0x57222 MOV -0x50(%RBP),%RAX |
(694) 0x57226 MOV -0x60(%RBP),%RDI |
(694) 0x5722a JMP 5728f |
0x5722c NOPW %CS:(%RAX,%RAX,1) |
0x5723b NOPL (%RAX,%RAX,1) |
(697) 0x57240 MOV -0x1b8(%RBP),%RAX |
(697) 0x57247 MOV -0x30(%RBP),%RCX |
(697) 0x5724b ADD %RAX,%RCX |
(697) 0x5724e MOV -0x58(%RBP),%RDX |
(697) 0x57252 ADD -0x68(%RBP),%RDX |
(697) 0x57256 MOV %RDX,-0x58(%RBP) |
(697) 0x5725a ADD %RAX,-0xc8(%RBP) |
(697) 0x57261 MOV -0x1d0(%RBP),%RDX |
(697) 0x57268 ADD $-0x40,%RDX |
(697) 0x5726c MOV -0x100(%RBP),%RSI |
(697) 0x57273 CMP -0x1c0(%RBP),%RSI |
(697) 0x5727a LEA 0x1(%RSI),%RSI |
(697) 0x5727e MOV -0x1c8(%RBP),%R14 |
(697) 0x57285 MOV -0x50(%RBP),%RAX |
(697) 0x57289 JE 57040 |
(697) 0x5728f MOV %RCX,-0x30(%RBP) |
(697) 0x57293 CMP $0x3f,%RDX |
(697) 0x57297 MOV $0x3f,%R10D |
(697) 0x5729d MOV %RDX,-0x1d0(%RBP) |
(697) 0x572a4 CMOVL %RDX,%R10 |
(697) 0x572a8 MOV %RSI,-0x100(%RBP) |
(697) 0x572af MOV %RSI,%RCX |
(697) 0x572b2 SAL $0x6,%RCX |
(697) 0x572b6 MOV %R14,%RDX |
(697) 0x572b9 MOV %RCX,%R14 |
(697) 0x572bc SUB %RCX,%RDX |
(697) 0x572bf CMP $0x3f,%RDX |
(697) 0x572c3 MOV $0x3f,%ECX |
(697) 0x572c8 CMOVGE %RCX,%RDX |
(697) 0x572cc MOV %RDX,-0x108(%RBP) |
(697) 0x572d3 TEST %RAX,%RAX |
(697) 0x572d6 JLE 57240 |
(697) 0x572dc INC %R10 |
(697) 0x572df AND $-0x8,%R10 |
(697) 0x572e3 ADD -0x38(%RBP),%R10 |
(697) 0x572e7 IMUL %R15,%R10 |
(697) 0x572eb ADD -0xc8(%RBP),%R10 |
(697) 0x572f2 MOV -0x108(%RBP),%RAX |
(697) 0x572f9 INC %RAX |
(697) 0x572fc MOV %RAX,-0xe8(%RBP) |
(697) 0x57303 SHR $0x3,%RAX |
(697) 0x57307 DEC %RAX |
(697) 0x5730a MOV %RAX,-0x240(%RBP) |
(697) 0x57311 MOV -0x58(%RBP),%RAX |
(697) 0x57315 MOV %RAX,-0xe0(%RBP) |
(697) 0x5731c MOV -0xd0(%RBP),%RAX |
(697) 0x57323 MOV -0x30(%RBP),%RCX |
(697) 0x57327 MOV %RCX,-0xd8(%RBP) |
(697) 0x5732e MOV -0x1b0(%RBP),%RDX |
(697) 0x57335 XOR %ECX,%ECX |
(697) 0x57337 MOV %R14,-0x228(%RBP) |
(697) 0x5733e JMP 57384 |
(699) 0x57340 ADD $0x200,%RDX |
(699) 0x57347 ADDQ $0x200,-0xd8(%RBP) |
(699) 0x57352 MOV -0x1e8(%RBP),%RAX |
(699) 0x57359 ADD $-0x40,%RAX |
(699) 0x5735d ADDQ $0x40,-0xe0(%RBP) |
(699) 0x57365 ADD $0x200,%R10 |
(699) 0x5736c MOV -0x1e0(%RBP),%RCX |
(699) 0x57373 CMP -0x1d8(%RBP),%RCX |
(699) 0x5737a LEA 0x1(%RCX),%RCX |
(699) 0x5737e JE 57240 |
(699) 0x57384 MOV %R10,-0x1f0(%RBP) |
(699) 0x5738b CMP $0x3f,%RAX |
(699) 0x5738f MOV $0x3f,%ESI |
(699) 0x57394 MOV %RAX,-0x1e8(%RBP) |
(699) 0x5739b CMOVL %RAX,%RSI |
(699) 0x5739f INC %RSI |
(699) 0x573a2 MOV %RCX,-0x1e0(%RBP) |
(699) 0x573a9 MOV %RCX,%RAX |
(699) 0x573ac SAL $0x6,%RAX |
(699) 0x573b0 MOV -0xd0(%RBP),%RCX |
(699) 0x573b7 MOV %RAX,-0x230(%RBP) |
(699) 0x573be SUB %RAX,%RCX |
(699) 0x573c1 CMP $0x3f,%RCX |
(699) 0x573c5 MOV $0x3f,%EAX |
(699) 0x573ca CMOVGE %RAX,%RCX |
(699) 0x573ce MOV %RCX,-0xf0(%RBP) |
(699) 0x573d5 CMPQ $0x8,-0xe8(%RBP) |
(699) 0x573dd MOV %RSI,-0x70(%RBP) |
(699) 0x573e1 JAE 57500 |
(699) 0x573e7 MOV -0xe8(%RBP),%RCX |
(699) 0x573ee MOV %RCX,%RAX |
(699) 0x573f1 AND $-0x8,%RAX |
(699) 0x573f5 CMP %RCX,%RAX |
(699) 0x573f8 MOV -0x1f0(%RBP),%R10 |
(699) 0x573ff MOV -0xf0(%RBP),%R11 |
(699) 0x57406 JE 57340 |
(699) 0x5740c INC %R11 |
(699) 0x5740f MOV %R10,%R9 |
(699) 0x57412 JMP 57454 |
0x57414 NOPW %CS:(%RAX,%RAX,1) |
0x57423 NOPW %CS:(%RAX,%RAX,1) |
0x57432 NOPW %CS:(%RAX,%RAX,1) |
(701) 0x57440 ADD %R15,%R9 |
(701) 0x57443 CMP -0x108(%RBP),%RAX |
(701) 0x5744a LEA 0x1(%RAX),%RAX |
(701) 0x5744e JE 57340 |
(701) 0x57454 LEA (%R14,%RAX,1),%RCX |
(701) 0x57458 ADD %RDI,%RCX |
(701) 0x5745b VMOVSD (%R12,%RCX,8),%XMM0 |
(701) 0x57461 MOV %R11,%R8 |
(701) 0x57464 AND $-0x4,%R8 |
(701) 0x57468 JE 574c0 |
(701) 0x5746a LEA -0x1(%R8),%RCX |
(701) 0x5746e VBROADCASTSD %XMM0,%YMM1 |
(701) 0x57473 XOR %ESI,%ESI |
(701) 0x57475 NOPW %CS:(%RAX,%RAX,1) |
(702) 0x57480 VMOVUPD (%R9,%RSI,8),%YMM2 |
(702) 0x57486 VFMADD213PD (%RDX,%RSI,8),%YMM1,%YMM2 |
(702) 0x5748c VMOVUPD %YMM2,(%RDX,%RSI,8) |
(702) 0x57491 ADD $0x4,%RSI |
(702) 0x57495 CMP %RCX,%RSI |
(702) 0x57498 JLE 57480 |
(701) 0x5749a CMP %R8,%R11 |
(701) 0x5749d MOV -0x70(%RBP),%RCX |
(701) 0x574a1 JNE 574d0 |
(701) 0x574a3 JMP 57440 |
0x574a5 NOPW %CS:(%RAX,%RAX,1) |
0x574b4 NOPW %CS:(%RAX,%RAX,1) |
(701) 0x574c0 XOR %R8D,%R8D |
(701) 0x574c3 MOV -0x70(%RBP),%RCX |
(701) 0x574c7 NOPW (%RAX,%RAX,1) |
(700) 0x574d0 VMOVSD (%R9,%R8,8),%XMM1 |
(700) 0x574d6 VFMADD213SD (%RDX,%R8,8),%XMM0,%XMM1 |
(700) 0x574dc VMOVSD %XMM1,(%RDX,%R8,8) |
(700) 0x574e2 INC %R8 |
(700) 0x574e5 CMP %R8,%RCX |
(700) 0x574e8 JNE 574d0 |
(701) 0x574ea JMP 57440 |
0x574ef NOPW %CS:(%RAX,%RAX,1) |
0x574fe XCHG %AX,%AX |
(699) 0x57500 MOV %RSI,%RAX |
(699) 0x57503 MOV -0xf0(%RBP),%RCX |
(699) 0x5750a INC %RCX |
(699) 0x5750d MOV %RCX,-0x110(%RBP) |
(699) 0x57514 MOV -0xe0(%RBP),%R10 |
(699) 0x5751b MOV -0xd8(%RBP),%RCX |
(699) 0x57522 XOR %R8D,%R8D |
(699) 0x57525 JMP 5756d |
0x57527 NOPW %CS:(%RAX,%RAX,1) |
0x57536 NOPW %CS:(%RAX,%RAX,1) |
(703) 0x57540 MOV -0x118(%RBP),%RCX |
(703) 0x57547 ADD -0x68(%RBP),%RCX |
(703) 0x5754b MOV -0x238(%RBP),%R15 |
(703) 0x57552 ADD %R15,%R10 |
(703) 0x57555 MOV -0x250(%RBP),%R8 |
(703) 0x5755c CMP -0x240(%RBP),%R8 |
(703) 0x57563 LEA 0x1(%R8),%R8 |
(703) 0x57567 JE 573e7 |
(703) 0x5756d MOV %RCX,-0x118(%RBP) |
(703) 0x57574 LEA (%R14,%R8,8),%RCX |
(703) 0x57578 ADD %RDI,%RCX |
(703) 0x5757b VMOVUPD (%R12,%RCX,8),%YMM0 |
(703) 0x57581 VMOVUPD 0x20(%R12,%RCX,8),%YMM1 |
(703) 0x57588 MOV -0x110(%RBP),%R9 |
(703) 0x5758f AND $-0x4,%R9 |
(703) 0x57593 MOV %R8,-0x250(%RBP) |
(703) 0x5759a JE 57740 |
(703) 0x575a0 MOV %R10,-0x248(%RBP) |
(703) 0x575a7 LEA -0x1(%R9),%RAX |
(703) 0x575ab MOV %RAX,-0x268(%RBP) |
(703) 0x575b2 VBROADCASTSD %XMM0,%YMM2 |
(703) 0x575b7 VXORPS %XMM3,%XMM3,%XMM3 |
(703) 0x575bb VPERMPD $0x55,%YMM0,%YMM3 |
(703) 0x575c1 VXORPS %XMM4,%XMM4,%XMM4 |
(703) 0x575c5 VPERMPD $-0x56,%YMM0,%YMM4 |
(703) 0x575cb VXORPS %XMM5,%XMM5,%XMM5 |
(703) 0x575cf VPERMPD $-0x1,%YMM0,%YMM5 |
(703) 0x575d5 VBROADCASTSD %XMM1,%YMM6 |
(703) 0x575da VXORPS %XMM7,%XMM7,%XMM7 |
(703) 0x575de VPERMPD $0x55,%YMM1,%YMM7 |
(703) 0x575e4 VXORPS %XMM8,%XMM8,%XMM8 |
(703) 0x575e9 VPERMPD $-0x56,%YMM1,%YMM8 |
(703) 0x575ef VXORPS %XMM9,%XMM9,%XMM9 |
(703) 0x575f4 VPERMPD $-0x1,%YMM1,%YMM9 |
(703) 0x575fa IMUL %R8,%R15 |
(703) 0x575fe MOV %R15,-0x260(%RBP) |
(703) 0x57605 MOV -0x68(%RBP),%R12 |
(703) 0x57609 IMUL -0x100(%RBP),%R12 |
(703) 0x57611 ADD -0x230(%RBP),%R12 |
(703) 0x57618 XOR %ESI,%ESI |
(703) 0x5761a MOV -0x218(%RBP),%R10 |
(703) 0x57621 MOV -0x210(%RBP),%RAX |
(703) 0x57628 MOV -0x208(%RBP),%R14 |
(703) 0x5762f MOV -0x200(%RBP),%R11 |
(703) 0x57636 MOV -0x1f8(%RBP),%RBX |
(703) 0x5763d MOV -0xf8(%RBP),%R8 |
(703) 0x57644 MOV -0x118(%RBP),%RDI |
(703) 0x5764b NOPL (%RAX,%RAX,1) |
(704) 0x57650 MOV -0x260(%RBP),%RCX |
(704) 0x57657 ADD %RSI,%RCX |
(704) 0x5765a ADD %R12,%RCX |
(704) 0x5765d ADD %R8,%RCX |
(704) 0x57660 VMOVUPD (%RDI,%RSI,8),%YMM10 |
(704) 0x57665 VFMADD213PD (%RDX,%RSI,8),%YMM2,%YMM10 |
(704) 0x5766b MOV -0x120(%RBP),%R15 |
(704) 0x57672 ADD %RCX,%R15 |
(704) 0x57675 VFMADD231PD (%R13,%R15,8),%YMM3,%YMM10 |
(704) 0x5767c LEA (%RCX,%R10,1),%R15 |
(704) 0x57680 VFMADD231PD (%R13,%R15,8),%YMM4,%YMM10 |
(704) 0x57687 LEA (%RCX,%RAX,1),%R15 |
(704) 0x5768b VFMADD231PD (%R13,%R15,8),%YMM5,%YMM10 |
(704) 0x57692 LEA (%RCX,%R14,1),%R15 |
(704) 0x57696 VFMADD231PD (%R13,%R15,8),%YMM6,%YMM10 |
(704) 0x5769d LEA (%RCX,%R11,1),%R15 |
(704) 0x576a1 VFMADD231PD (%R13,%R15,8),%YMM7,%YMM10 |
(704) 0x576a8 LEA (%RCX,%RBX,1),%R15 |
(704) 0x576ac VFMADD231PD (%R13,%R15,8),%YMM8,%YMM10 |
(704) 0x576b3 ADD -0x258(%RBP),%RCX |
(704) 0x576ba VFMADD231PD (%R13,%RCX,8),%YMM9,%YMM10 |
(704) 0x576c1 VMOVUPD %YMM10,(%RDX,%RSI,8) |
(704) 0x576c6 ADD $0x4,%RSI |
(704) 0x576ca CMP -0x268(%RBP),%RSI |
(704) 0x576d1 JLE 57650 |
(703) 0x576d7 CMP %R9,-0x110(%RBP) |
(703) 0x576de MOV -0x220(%RBP),%R12 |
(703) 0x576e5 MOV -0x120(%RBP),%RBX |
(703) 0x576ec MOV -0x60(%RBP),%RDI |
(703) 0x576f0 MOV -0x228(%RBP),%R14 |
(703) 0x576f7 MOV -0x70(%RBP),%RAX |
(703) 0x576fb MOV -0x248(%RBP),%R10 |
(703) 0x57702 JNE 57750 |
(703) 0x57704 JMP 57540 |
0x57709 NOPW %CS:(%RAX,%RAX,1) |
0x57718 NOPW %CS:(%RAX,%RAX,1) |
0x57727 NOPW %CS:(%RAX,%RAX,1) |
0x57736 NOPW %CS:(%RAX,%RAX,1) |
(703) 0x57740 XOR %R9D,%R9D |
(703) 0x57743 NOPW %CS:(%RAX,%RAX,1) |
(698) 0x57750 LEA (%R10,%R9,1),%RCX |
(698) 0x57754 LEA (%RBX,%RCX,1),%RSI |
(698) 0x57758 LEA (%RBX,%RSI,1),%R8 |
(698) 0x5775c LEA (%RBX,%R8,1),%R11 |
(698) 0x57760 LEA (%RBX,%R11,1),%R15 |
(698) 0x57764 VMOVQ %R15,%XMM2 |
(698) 0x57769 ADD %RBX,%R15 |
(698) 0x5776c VMOVQ %R15,%XMM3 |
(698) 0x57771 LEA (%RBX,%R15,1),%R15 |
(698) 0x57775 VMOVQ %R15,%XMM4 |
(698) 0x5777a LEA (%RBX,%R15,1),%R15 |
(698) 0x5777e VMOVQ %R15,%XMM5 |
(698) 0x57783 VMOVQ %RCX,%XMM6 |
(698) 0x57788 VMOVQ %RSI,%XMM7 |
(698) 0x5778d VMOVQ %R8,%XMM8 |
(698) 0x57792 VMOVQ %R11,%XMM9 |
(698) 0x57797 VPUNPCKLQDQ %XMM7,%XMM6,%XMM6 |
(698) 0x5779b VPUNPCKLQDQ %XMM9,%XMM8,%XMM7 |
(698) 0x577a0 VINSERTI128 $0x1,%XMM7,%YMM6,%YMM6 |
(698) 0x577a6 KXNORW %K0,%K0,%K1 |
(698) 0x577aa VPXOR %XMM7,%XMM7,%XMM7 |
(698) 0x577ae VGATHERQPD (%R13,%YMM6,8),%YMM7{%K1} |
(698) 0x577b6 VPUNPCKLQDQ %XMM3,%XMM2,%XMM2 |
(698) 0x577ba VPUNPCKLQDQ %XMM5,%XMM4,%XMM3 |
(698) 0x577be VINSERTI128 $0x1,%XMM3,%YMM2,%YMM2 |
(698) 0x577c4 KXNORW %K0,%K0,%K1 |
(698) 0x577c8 VPXOR %XMM3,%XMM3,%XMM3 |
(698) 0x577cc VGATHERQPD (%R13,%YMM2,8),%YMM3{%K1} |
(698) 0x577d4 VMULPD %YMM1,%YMM3,%YMM2 |
(698) 0x577d8 VFMADD231PD %YMM7,%YMM0,%YMM2 |
(698) 0x577dd VEXTRACTF128 $0x1,%YMM2,%XMM3 |
(698) 0x577e3 VADDPD %XMM3,%XMM2,%XMM2 |
(698) 0x577e7 VSHUFPD $0x1,%XMM2,%XMM2,%XMM3 |
(698) 0x577ec VADDSD %XMM3,%XMM2,%XMM2 |
(698) 0x577f0 VADDSD (%RDX,%R9,8),%XMM2,%XMM2 |
(698) 0x577f6 VMOVSD %XMM2,(%RDX,%R9,8) |
(698) 0x577fc INC %R9 |
(698) 0x577ff CMP %R9,%RAX |
(698) 0x57802 JNE 57750 |
(703) 0x57808 JMP 57540 |
0x5780d NOPW %CS:(%RAX,%RAX,1) |
0x5781c NOPW %CS:(%RAX,%RAX,1) |
0x5782b NOPW %CS:(%RAX,%RAX,1) |
0x5783a NOPW (%RAX,%RAX,1) |
(694) 0x57840 MOV -0x30(%RBP),%R8 |
(694) 0x57844 IMUL -0x80(%RBP),%R8 |
(694) 0x57849 ADD -0x88(%RBP),%R8 |
(694) 0x57850 XOR %EDX,%EDX |
(694) 0x57852 MOV -0x50(%RBP),%RDI |
(694) 0x57856 MOV -0x60(%RBP),%R9 |
(694) 0x5785a JMP 57890 |
0x5785c NOPW %CS:(%RAX,%RAX,1) |
0x5786b NOPW %CS:(%RAX,%RAX,1) |
0x5787a NOPW (%RAX,%RAX,1) |
(695) 0x57880 ADD %R15,%R8 |
(695) 0x57883 CMP %R14,%RDX |
(695) 0x57886 LEA 0x1(%RDX),%RDX |
(695) 0x5788a JE 57040 |
(695) 0x57890 TEST %RDI,%RDI |
(695) 0x57893 JLE 57880 |
(695) 0x57895 LEA (%R9,%RDX,1),%RCX |
(695) 0x57899 XOR %ESI,%ESI |
(695) 0x5789b NOPL (%RAX,%RAX,1) |
(696) 0x578a0 VMOVSD (%R8,%RSI,8),%XMM0 |
(696) 0x578a6 VMOVSD (%R12,%RCX,8),%XMM1 |
(696) 0x578ac VFMADD213SD (%RAX,%RSI,8),%XMM0,%XMM1 |
(696) 0x578b2 VMOVSD %XMM1,(%RAX,%RSI,8) |
(696) 0x578b7 INC %RSI |
(696) 0x578ba CMP %RSI,%RDI |
(696) 0x578bd JNE 578a0 |
(695) 0x578bf JMP 57880 |
0x578c1 NOPW %CS:(%RAX,%RAX,1) |
0x578d0 NOPW %CS:(%RAX,%RAX,1) |
0x578df NOPW %CS:(%RAX,%RAX,1) |
0x578ee NOPW %CS:(%RAX,%RAX,1) |
0x578fd NOPL (%RAX) |
0x57900 LEA 0x2bca79(%RIP),%RDI |
0x57907 MOV -0x74(%RBP),%ESI |
0x5790a ADD $0x248,%RSP |
0x57911 POP %RBX |
0x57912 POP %R12 |
0x57914 POP %R13 |
0x57916 POP %R14 |
0x57918 POP %R15 |
0x5791a POP %RBP |
0x5791b VZEROUPPER |
0x5791e JMP 9920 |
0x57923 NOPW %CS:(%RAX,%RAX,1) |
0x5792d NOPW %CS:(%RAX,%RAX,1) |
0x57937 NOPW (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 192 |
nb uops | 194 |
loop length | 1228 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 32.33 cycles |
front end | 32.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.50 | 5.40 | 11.67 | 11.67 | 28.50 | 5.47 | 5.30 | 28.50 | 28.50 | 28.50 | 5.33 | 11.67 |
cycles | 5.50 | 6.13 | 11.67 | 11.67 | 28.50 | 5.47 | 5.30 | 28.50 | 28.50 | 28.50 | 5.33 | 11.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 32.12-32.13 |
Stall cycles | 0.00 |
Front-end | 32.33 |
Dispatch | 28.50 |
Overall L1 | 32.33 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
all | 11% |
load | 10% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 13% |
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 $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%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 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%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 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 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 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x270(%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 -0x270(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2bd540(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x78(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x130(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x128(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x74(%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 99f0 <__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 -0x130(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x128(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 57900 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xbc0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x38(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 57900 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xbc0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x90(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x38(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RSI | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x40(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RSI,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,-0x168(%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 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ESI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RSI,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RCX,1),%R14 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R14,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x48(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%R15 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x258(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x98(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%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,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 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 (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RDX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 57058 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x318> | 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 |
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 |
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,%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 |
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 |
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 |
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 (%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 (%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 |
LEA 0x2bca79(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x74(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x248,%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 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9920 <__kmpc_for_static_fini@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 (%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 | 192 |
nb uops | 194 |
loop length | 1228 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 32.33 cycles |
front end | 32.33 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 5.50 | 5.40 | 11.67 | 11.67 | 28.50 | 5.47 | 5.30 | 28.50 | 28.50 | 28.50 | 5.33 | 11.67 |
cycles | 5.50 | 6.13 | 11.67 | 11.67 | 28.50 | 5.47 | 5.30 | 28.50 | 28.50 | 28.50 | 5.33 | 11.67 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 32.12-32.13 |
Stall cycles | 0.00 |
Front-end | 32.33 |
Dispatch | 28.50 |
Overall L1 | 32.33 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
all | 11% |
load | 10% |
store | 11% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | NA (no add-sub vectorizable/vectorized instructions) |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 13% |
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 $0x248,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%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 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%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 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 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 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc0(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x270(%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 -0x270(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2bd540(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x78(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x130(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x128(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x74(%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 99f0 <__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 -0x130(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x128(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 57900 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xbc0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
CMP -0x38(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 57900 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xbc0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x90(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x38(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RSI | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV -0x40(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RSI,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,-0x168(%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 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ESI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RSI,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RCX,1),%R14 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R14,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x48(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xd0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x68(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%R15 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x258(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x98(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%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,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 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 (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDX,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RDX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 57058 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x318> | 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 |
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 |
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,%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 |
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 |
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 |
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 (%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 (%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 |
LEA 0x2bca79(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x74(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x248,%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 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9920 <__kmpc_for_static_fini@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 (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void LPlusTimesSdom::operator() | 3.68 | 2.09 |
▼Loop 694 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 697 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 699 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 703 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.01 |
○Loop 704 - forall.hpp:59-59 - libkripke.so | 3.48 | 1.97 |
○Loop 698 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 701 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 702 - forall.hpp:59-59 - libkripke.so | 0.16 | 0.09 |
○Loop 700 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 695 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 696 - forall.hpp:59-59 - libkripke.so | 0 | 0 |