Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 8.11% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 8.11% |
---|
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/src/Kripke/Kernel/LTimes.cpp: 62 - 62 |
-------------------------------------------------------------------------------- |
62: phi(nm,g,z) += ell(nm, d) * psi(d, g, z); |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 83 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
/home/kcamus/qaas_runs/169-391-8990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
0x462140 PUSH %RBP |
0x462141 MOV %RSP,%RBP |
0x462144 PUSH %R15 |
0x462146 PUSH %R14 |
0x462148 PUSH %R13 |
0x46214a PUSH %R12 |
0x46214c PUSH %RBX |
0x46214d AND $-0x20,%RSP |
0x462151 SUB $0x2a0,%RSP |
0x462158 MOV %RDX,0x170(%RSP) |
0x462160 MOVL $0,0x54(%RSP) |
0x462168 MOV (%R8),%RAX |
0x46216b MOV %RAX,0x168(%RSP) |
0x462173 MOV 0x10(%R8),%R14 |
0x462177 MOV 0x18(%R8),%R12 |
0x46217b MOV 0x20(%R8),%RAX |
0x46217f MOV %RAX,0x160(%RSP) |
0x462187 MOV 0x30(%R8),%RAX |
0x46218b MOV %RAX,0x70(%RSP) |
0x462190 MOV 0x38(%R8),%RAX |
0x462194 MOV %RAX,0x68(%RSP) |
0x462199 MOV 0x60(%R8),%RAX |
0x46219d MOV %RAX,0x158(%RSP) |
0x4621a5 MOV 0x68(%R8),%RAX |
0x4621a9 MOV %RAX,0x150(%RSP) |
0x4621b1 MOV 0xa8(%R8),%RAX |
0x4621b8 MOV %RAX,0x38(%RSP) |
0x4621bd MOV (%RDI),%ESI |
0x4621bf MOV %R9,0xc0(%RSP) |
0x4621c7 MOV 0xc8(%R8),%RAX |
0x4621ce MOV %RAX,(%RSP) |
0x4621d2 MOV 0xf0(%R8),%R13 |
0x4621d9 MOV 0x110(%R8),%RBX |
0x4621e0 MOV 0x118(%R8),%RAX |
0x4621e7 MOV %RAX,0x148(%RSP) |
0x4621ef MOV 0x158(%R8),%R15 |
0x4621f6 MOVQ $0,0xc8(%RSP) |
0x462202 MOVQ $0x1,0x1d8(%RSP) |
0x46220e SUB $0x8,%RSP |
0x462212 LEA 0x1e0(%RSP),%RAX |
0x46221a LEA 0xcb2cf(%RIP),%RDI |
0x462221 LEA 0x5c(%RSP),%RCX |
0x462226 LEA 0xd0(%RSP),%R8 |
0x46222e LEA 0xc8(%RSP),%R9 |
0x462236 MOV %ESI,0x58(%RSP) |
0x46223a MOV $0x22,%EDX |
0x46223f PUSH $0x1 |
0x462241 PUSH $0x1 |
0x462243 PUSH %RAX |
0x462244 CALL 403150 <__kmpc_for_static_init_8@plt> |
0x462249 ADD $0x20,%RSP |
0x46224d MOV 0xc8(%RSP),%RCX |
0x462255 MOV 0xc0(%RSP),%RAX |
0x46225d MOV %RCX,0x60(%RSP) |
0x462262 CMP %RAX,%RCX |
0x462265 JA 462c80 |
0x46226b MOV %R12,%RCX |
0x46226e SUB %R14,%RCX |
0x462271 MOV %RCX,0x20(%RSP) |
0x462276 JLE 462c80 |
0x46227c MOV %RBX,%RSI |
0x46227f MOV 0x60(%RSP),%RDX |
0x462284 LEA 0x1(%RDX),%RCX |
0x462288 INC %RAX |
0x46228b CMP %RAX,%RCX |
0x46228e CMOVG %RCX,%RAX |
0x462292 MOV %RDX,%RCX |
0x462295 NOT %RCX |
0x462298 ADD %RAX,%RCX |
0x46229b MOV %RCX,0x140(%RSP) |
0x4622a3 MOV %RBX,%R9 |
0x4622a6 IMUL %R14,%R9 |
0x4622aa MOV %RBX,%RAX |
0x4622ad SAR $0x3f,%RAX |
0x4622b1 ANDN %RBX,%RAX,%RAX |
0x4622b6 MOV %R14,%RCX |
0x4622b9 NOT %RCX |
0x4622bc MOV %R12,%RDX |
0x4622bf IMUL %RAX,%RDX |
0x4622c3 MOV %RDX,0x128(%RSP) |
0x4622cb IMUL %RCX,%RAX |
0x4622cf MOV %RAX,0x130(%RSP) |
0x4622d7 XOR %EBX,%EBX |
0x4622d9 TEST %RSI,%RSI |
0x4622dc MOV $0,%EAX |
0x4622e1 CMOVS %RSI,%RAX |
0x4622e5 MOV %R12,%RDX |
0x4622e8 IMUL %RAX,%RDX |
0x4622ec MOV %RDX,0x118(%RSP) |
0x4622f4 IMUL %RCX,%RAX |
0x4622f8 MOV %RAX,0x120(%RSP) |
0x462300 MOV (%RSP),%RDX |
0x462304 MOV %RDX,%RAX |
0x462307 IMUL %R14,%RAX |
0x46230b MOV %RAX,0x110(%RSP) |
0x462313 MOV %RDX,%RAX |
0x462316 SAR $0x3f,%RAX |
0x46231a ANDN %RDX,%RAX,%RAX |
0x46231f MOV %R12,%RDI |
0x462322 IMUL %RAX,%RDI |
0x462326 MOV %RDI,0x100(%RSP) |
0x46232e IMUL %RCX,%RAX |
0x462332 MOV %RAX,0x108(%RSP) |
0x46233a TEST %RDX,%RDX |
0x46233d MOV $0,%EAX |
0x462342 CMOVS %RDX,%RAX |
0x462346 MOV %R12,%RDI |
0x462349 IMUL %RAX,%RDI |
0x46234d MOV %RDI,0xf0(%RSP) |
0x462355 IMUL %RCX,%RAX |
0x462359 MOV %RAX,0xf8(%RSP) |
0x462361 ADD %R12,%RCX |
0x462364 MOV %RCX,0xe8(%RSP) |
0x46236c MOV 0x68(%RSP),%R10 |
0x462371 MOV 0x70(%RSP),%R11 |
0x462376 SUB %R11,%R10 |
0x462379 MOV 0x20(%RSP),%R8 |
0x46237e MOV %R8,%RAX |
0x462381 SHR $0x3,%RAX |
0x462385 DEC %RAX |
0x462388 MOV %RAX,0x1d0(%RSP) |
0x462390 LEA (,%RDX,8),%RAX |
0x462398 MOV %RAX,0x1b8(%RSP) |
0x4623a0 SUB %RDX,%RAX |
0x4623a3 MOV %RAX,0x1b0(%RSP) |
0x4623ab MOV %R10,%RDI |
0x4623ae AND $-0x4,%RDI |
0x4623b2 LEA (,%RSI,8),%RAX |
0x4623ba MOV %RAX,0x10(%RSP) |
0x4623bf SUB %RSI,%RAX |
0x4623c2 MOV %RAX,0x48(%RSP) |
0x4623c7 VPBROADCASTQ %R10,%YMM27 |
0x4623cd MOV %R8,%RCX |
0x4623d0 AND $-0x8,%RCX |
0x4623d4 MOV %R9,0x138(%RSP) |
0x4623dc LEA (%R11,%R9,1),%RAX |
0x4623e0 LEA (%R15,%RAX,8),%RAX |
0x4623e4 MOV %RAX,0x58(%RSP) |
0x4623e9 MOV %RSI,%RAX |
0x4623ec SAL $0x6,%RAX |
0x4623f0 MOV %RAX,0x80(%RSP) |
0x4623f8 MOV %RCX,0xe0(%RSP) |
0x462400 ADD %RCX,%R14 |
0x462403 IMUL %RSI,%R14 |
0x462407 ADD %R11,%R14 |
0x46240a LEA (%R15,%R14,8),%RAX |
0x46240e MOV %RAX,0xd8(%RSP) |
0x462416 VMOVDQU64 0x7dd40(%RIP),%YMM25 |
0x462420 LEA (%RDX,%RDX,1),%RAX |
0x462424 LEA (%RDX,%RDX,2),%RCX |
0x462428 MOV %RCX,0x1a0(%RSP) |
0x462430 LEA (,%RDX,4),%RCX |
0x462438 MOV %RCX,0x198(%RSP) |
0x462440 LEA (%RDX,%RDX,4),%RCX |
0x462444 MOV %RCX,0x190(%RSP) |
0x46244c MOV %RAX,0x1a8(%RSP) |
0x462454 LEA (%RAX,%RAX,2),%RAX |
0x462458 MOV %RAX,0x188(%RSP) |
0x462460 MOV %RDI,0x18(%RSP) |
0x462465 LEA -0x1(%RDI),%RAX |
0x462469 MOV %RAX,0x78(%RSP) |
0x46246e LEA (%RSI,%RSI,1),%RAX |
0x462472 MOV %RAX,0x40(%RSP) |
0x462477 LEA (%RSI,%RSI,2),%RCX |
0x46247b MOV %RCX,0x98(%RSP) |
0x462483 LEA (,%RSI,4),%RCX |
0x46248b MOV %RCX,0x90(%RSP) |
0x462493 LEA (%RSI,%RSI,4),%R12 |
0x462497 LEA (%RAX,%RAX,2),%RAX |
0x46249b MOV %RAX,0x88(%RSP) |
0x4624a3 LEA -0x1(%R8),%RAX |
0x4624a7 MOV %RAX,0x1c8(%RSP) |
0x4624af MOV %RSI,0x8(%RSP) |
0x4624b4 MOV %R13,0x180(%RSP) |
0x4624bc MOV %R10,0x178(%RSP) |
0x4624c4 MOV %R12,0xd0(%RSP) |
0x4624cc JMP 4624f7 |
0x4624ce NOPW %CS:(%RAX,%RAX,1) |
0x4624dd NOPL (%RAX) |
(1053) 0x4624e0 MOV 0x30(%RSP),%RBX |
(1053) 0x4624e5 CMP 0x140(%RSP),%RBX |
(1053) 0x4624ed LEA 0x1(%RBX),%RBX |
(1053) 0x4624f1 JE 462c80 |
(1053) 0x4624f7 MOV 0x60(%RSP),%RAX |
(1053) 0x4624fc ADD %RBX,%RAX |
(1053) 0x4624ff MOV %RAX,%RCX |
(1053) 0x462502 MOV 0x170(%RSP),%RSI |
(1053) 0x46250a OR %RSI,%RCX |
(1053) 0x46250d SHR $0x20,%RCX |
(1053) 0x462511 MOV %RBX,0x30(%RSP) |
(1053) 0x462516 JE 462520 |
(1053) 0x462518 CQTO |
(1053) 0x46251a IDIV %RSI |
(1053) 0x46251d JMP 462524 |
0x46251f NOP |
(1053) 0x462520 XOR %EDX,%EDX |
(1053) 0x462522 DIV %ESI |
(1053) 0x462524 MOV (%RSP),%R14 |
(1053) 0x462528 ADD 0x168(%RSP),%RAX |
(1053) 0x462530 ADD 0x160(%RSP),%RDX |
(1053) 0x462538 MOV 0x148(%RSP),%RBX |
(1053) 0x462540 IMUL %RDX,%RBX |
(1053) 0x462544 MOV 0x68(%RSP),%R11 |
(1053) 0x462549 LEA (%R11,%RBX,1),%RCX |
(1053) 0x46254d MOV 0x138(%RSP),%R12 |
(1053) 0x462555 ADD %R12,%RCX |
(1053) 0x462558 ADD 0x130(%RSP),%RCX |
(1053) 0x462560 ADD 0x128(%RSP),%RCX |
(1053) 0x462568 LEA (%R15,%RCX,8),%R8 |
(1053) 0x46256c ADD $-0x8,%R8 |
(1053) 0x462570 MOV 0x158(%RSP),%RDI |
(1053) 0x462578 IMUL %RAX,%RDI |
(1053) 0x46257c MOV 0x70(%RSP),%RSI |
(1053) 0x462581 LEA (%RSI,%RDI,1),%R9 |
(1053) 0x462585 IMUL 0x150(%RSP),%RDX |
(1053) 0x46258e ADD %RDX,%R9 |
(1053) 0x462591 MOV 0x38(%RSP),%RCX |
(1053) 0x462596 MOV %R9,0xa0(%RSP) |
(1053) 0x46259e LEA (%RCX,%R9,8),%R9 |
(1053) 0x4625a2 CMP %R9,%R8 |
(1053) 0x4625a5 SETAE %R8B |
(1053) 0x4625a9 ADD %R11,%RDI |
(1053) 0x4625ac MOV %RAX,%R11 |
(1053) 0x4625af ADD %RDX,%RDI |
(1053) 0x4625b2 LEA (%RCX,%RDI,8),%RCX |
(1053) 0x4625b6 ADD $-0x8,%RCX |
(1053) 0x4625ba MOV %RBX,0x28(%RSP) |
(1053) 0x4625bf LEA (%RSI,%RBX,1),%RAX |
(1053) 0x4625c3 ADD %R12,%RAX |
(1053) 0x4625c6 MOV 0x120(%RSP),%RDX |
(1053) 0x4625ce ADD %RAX,%RDX |
(1053) 0x4625d1 ADD 0x118(%RSP),%RDX |
(1053) 0x4625d9 LEA (%R15,%RDX,8),%RDX |
(1053) 0x4625dd CMP %RDX,%RCX |
(1053) 0x4625e0 SETAE %DIL |
(1053) 0x4625e4 ADD 0x110(%RSP),%R11 |
(1053) 0x4625ec MOV 0x108(%RSP),%RDX |
(1053) 0x4625f4 ADD %R11,%RDX |
(1053) 0x4625f7 ADD 0x100(%RSP),%RDX |
(1053) 0x4625ff LEA (,%RDX,8),%RDX |
(1053) 0x462607 ADD %R13,%RDX |
(1053) 0x46260a CMP %R9,%RDX |
(1053) 0x46260d SETB %DL |
(1053) 0x462610 MOV 0xf8(%RSP),%RSI |
(1053) 0x462618 ADD %R11,%RSI |
(1053) 0x46261b ADD 0xf0(%RSP),%RSI |
(1053) 0x462623 LEA (,%RSI,8),%RSI |
(1053) 0x46262b ADD %R13,%RSI |
(1053) 0x46262e CMP %RSI,%RCX |
(1053) 0x462631 SETB %CL |
(1053) 0x462634 TEST %DIL,%R8B |
(1053) 0x462637 JNE 462780 |
(1053) 0x46263d OR %CL,%DL |
(1053) 0x46263f JE 462780 |
(1053) 0x462645 MOV %RAX,%R12 |
(1053) 0x462648 MOV %R11,0xa8(%RSP) |
(1053) 0x462650 CMPQ $0x8,0x20(%RSP) |
(1053) 0x462656 MOV 0x8(%RSP),%RSI |
(1053) 0x46265b MOV 0x80(%RSP),%R8 |
(1053) 0x462663 JAE 462800 |
(1053) 0x462669 MOV %R12,%R14 |
(1053) 0x46266c MOV 0xe0(%RSP),%RDI |
(1053) 0x462674 CMP 0x20(%RSP),%RDI |
(1053) 0x462679 JAE 4624e0 |
(1053) 0x46267f MOV 0xd8(%RSP),%RAX |
(1053) 0x462687 MOV 0x28(%RSP),%RCX |
(1053) 0x46268c LEA (%RAX,%RCX,8),%RCX |
(1053) 0x462690 MOV (%RSP),%R11 |
(1053) 0x462694 MOV 0x10(%RSP),%RBX |
(1053) 0x462699 MOV 0x78(%RSP),%RAX |
(1053) 0x46269e JMP 462712 |
(1056) 0x4626a0 MOV 0x8(%RSP),%R8 |
(1056) 0x4626a5 IMUL %RDI,%R8 |
(1056) 0x4626a9 VBROADCASTSD %XMM0,%YMM0 |
(1056) 0x4626ae XOR %ESI,%ESI |
(1056) 0x4626b0 VPBROADCASTQ %RSI,%YMM1 |
(1056) 0x4626b6 VPADDQ %YMM25,%YMM1,%YMM1 |
(1056) 0x4626bc VPCMPLTUQ %YMM27,%YMM1,%K1 |
(1056) 0x4626c3 ADD %R14,%R8 |
(1056) 0x4626c6 ADD %RSI,%R8 |
(1056) 0x4626c9 VMOVUPD (%R15,%R8,8),%YMM1{%K1}{z} |
(1056) 0x4626d0 VMOVAPD %YMM1,%YMM19{%K1} |
(1056) 0x4626d6 ADD 0xa0(%RSP),%RSI |
(1056) 0x4626de MOV 0x38(%RSP),%RDX |
(1056) 0x4626e3 VMOVUPD (%RDX,%RSI,8),%YMM1{%K1}{z} |
(1056) 0x4626ea VMOVAPD %YMM1,%YMM18{%K1} |
(1056) 0x4626f0 VFMADD213PD %YMM18,%YMM19,%YMM0 |
(1056) 0x4626f6 VMOVUPD %YMM0,(%RDX,%RSI,8){%K1} |
(1056) 0x4626fd ADD %RBX,%RCX |
(1056) 0x462700 CMP 0x1c8(%RSP),%RDI |
(1056) 0x462708 LEA 0x1(%RDI),%RDI |
(1056) 0x46270c JE 4624e0 |
(1056) 0x462712 TEST %R10,%R10 |
(1056) 0x462715 JLE 4626fd |
(1056) 0x462717 MOV %R11,%RDX |
(1056) 0x46271a IMUL %RDI,%RDX |
(1056) 0x46271e ADD 0xa8(%RSP),%RDX |
(1056) 0x462726 VMOVSD (%R13,%RDX,8),%XMM0 |
(1056) 0x46272d CMPQ $0,0x18(%RSP) |
(1056) 0x462733 JE 4626a0 |
(1056) 0x462739 MOV 0x8(%RSP),%R8 |
(1056) 0x46273e IMUL %RDI,%R8 |
(1056) 0x462742 VBROADCASTSD %XMM0,%YMM0 |
(1056) 0x462747 XOR %ESI,%ESI |
(1056) 0x462749 NOPL (%RAX) |
(1057) 0x462750 VMOVUPD (%RCX,%RSI,8),%YMM1 |
(1057) 0x462755 VFMADD213PD (%R9,%RSI,8),%YMM0,%YMM1 |
(1057) 0x46275b VMOVUPD %YMM1,(%R9,%RSI,8) |
(1057) 0x462761 ADD $0x4,%RSI |
(1057) 0x462765 CMP %RAX,%RSI |
(1057) 0x462768 JLE 462750 |
(1056) 0x46276a MOV 0x18(%RSP),%RDX |
(1056) 0x46276f MOV %RDX,%RSI |
(1056) 0x462772 CMP %RDX,%R10 |
(1056) 0x462775 JNE 4626b0 |
(1056) 0x46277b JMP 4626fd |
0x46277d NOPL (%RAX) |
(1053) 0x462780 MOV 0x58(%RSP),%RAX |
(1053) 0x462785 MOV 0x28(%RSP),%RCX |
(1053) 0x46278a LEA (%RAX,%RCX,8),%RCX |
(1053) 0x46278e XOR %EDX,%EDX |
(1053) 0x462790 MOV 0xe8(%RSP),%RAX |
(1053) 0x462798 MOV 0x10(%RSP),%RBX |
(1053) 0x46279d JMP 4627b0 |
0x46279f NOP |
(1054) 0x4627a0 ADD %RBX,%RCX |
(1054) 0x4627a3 CMP %RAX,%RDX |
(1054) 0x4627a6 LEA 0x1(%RDX),%RDX |
(1054) 0x4627aa JE 4624e0 |
(1054) 0x4627b0 TEST %R10,%R10 |
(1054) 0x4627b3 JLE 4627a0 |
(1054) 0x4627b5 MOV %R14,%RSI |
(1054) 0x4627b8 IMUL %RDX,%RSI |
(1054) 0x4627bc ADD %R11,%RSI |
(1054) 0x4627bf XOR %EDI,%EDI |
(1054) 0x4627c1 NOPW %CS:(%RAX,%RAX,1) |
(1055) 0x4627d0 VMOVSD (%RCX,%RDI,8),%XMM0 |
(1055) 0x4627d5 VMOVSD (%R13,%RSI,8),%XMM1 |
(1055) 0x4627dc VFMADD213SD (%R9,%RDI,8),%XMM0,%XMM1 |
(1055) 0x4627e2 VMOVSD %XMM1,(%R9,%RDI,8) |
(1055) 0x4627e8 INC %RDI |
(1055) 0x4627eb CMP %RDI,%R10 |
(1055) 0x4627ee JNE 4627d0 |
(1054) 0x4627f0 JMP 4627a0 |
0x4627f2 NOPW %CS:(%RAX,%RAX,1) |
(1053) 0x462800 MOV 0x58(%RSP),%RAX |
(1053) 0x462805 MOV 0x28(%RSP),%RCX |
(1053) 0x46280a LEA (%RAX,%RCX,8),%R11 |
(1053) 0x46280e XOR %EDI,%EDI |
(1053) 0x462810 MOV 0x48(%RSP),%RAX |
(1053) 0x462815 MOV 0x40(%RSP),%RBX |
(1053) 0x46281a MOV %R12,%R14 |
(1053) 0x46281d MOV 0xd0(%RSP),%R12 |
(1053) 0x462825 MOV %R14,0xb0(%RSP) |
(1053) 0x46282d JMP 462864 |
0x46282f NOPW %CS:(%RAX,%RAX,1) |
0x46283e XCHG %AX,%AX |
(1058) 0x462840 ADD %R8,%R11 |
(1058) 0x462843 CMP 0x1d0(%RSP),%RDI |
(1058) 0x46284b LEA 0x1(%RDI),%RDI |
(1058) 0x46284f MOV 0x8(%RSP),%RSI |
(1058) 0x462854 MOV 0x48(%RSP),%RAX |
(1058) 0x462859 MOV 0x40(%RSP),%RBX |
(1058) 0x46285e JE 46266c |
(1058) 0x462864 TEST %R10,%R10 |
(1058) 0x462867 JLE 462840 |
(1058) 0x462869 MOV 0x1b8(%RSP),%RCX |
(1058) 0x462871 IMUL %RDI,%RCX |
(1058) 0x462875 ADD 0xa8(%RSP),%RCX |
(1058) 0x46287d MOV (%RSP),%RDX |
(1058) 0x462881 ADD %RCX,%RDX |
(1058) 0x462884 VMOVSD (%R13,%RDX,8),%XMM7 |
(1058) 0x46288b MOV 0x1a8(%RSP),%RDX |
(1058) 0x462893 LEA (%RCX,%RDX,1),%RDX |
(1058) 0x462897 VMOVSD (%R13,%RDX,8),%XMM6 |
(1058) 0x46289e MOV 0x1a0(%RSP),%RDX |
(1058) 0x4628a6 LEA (%RCX,%RDX,1),%RDX |
(1058) 0x4628aa VMOVSD (%R13,%RDX,8),%XMM5 |
(1058) 0x4628b1 MOV 0x198(%RSP),%RDX |
(1058) 0x4628b9 LEA (%RCX,%RDX,1),%RDX |
(1058) 0x4628bd VMOVSD (%R13,%RDX,8),%XMM4 |
(1058) 0x4628c4 MOV 0x190(%RSP),%RDX |
(1058) 0x4628cc ADD %RCX,%RDX |
(1058) 0x4628cf VMOVSD (%R13,%RDX,8),%XMM3 |
(1058) 0x4628d6 MOV 0x188(%RSP),%RDX |
(1058) 0x4628de ADD %RCX,%RDX |
(1058) 0x4628e1 VMOVSD (%R13,%RDX,8),%XMM2 |
(1058) 0x4628e8 VMOVSD (%R13,%RCX,8),%XMM0 |
(1058) 0x4628ef MOV 0x1b0(%RSP),%RDX |
(1058) 0x4628f7 ADD %RDX,%RCX |
(1058) 0x4628fa VMOVSD (%R13,%RCX,8),%XMM1 |
(1058) 0x462901 CMPQ $0,0x18(%RSP) |
(1058) 0x462907 JE 462a60 |
(1058) 0x46290d MOV 0x10(%RSP),%RCX |
(1058) 0x462912 MOV %RDI,0x1c0(%RSP) |
(1058) 0x46291a IMUL %RDI,%RCX |
(1058) 0x46291e VBROADCASTSD %XMM0,%YMM28 |
(1058) 0x462924 VBROADCASTSD %XMM7,%YMM29 |
(1058) 0x46292a VBROADCASTSD %XMM6,%YMM30 |
(1058) 0x462930 VBROADCASTSD %XMM5,%YMM31 |
(1058) 0x462936 VBROADCASTSD %XMM4,%YMM20 |
(1058) 0x46293c VBROADCASTSD %XMM3,%YMM21 |
(1058) 0x462942 VBROADCASTSD %XMM2,%YMM22 |
(1058) 0x462948 VBROADCASTSD %XMM1,%YMM23 |
(1058) 0x46294e XOR %EDX,%EDX |
(1058) 0x462950 MOV %R11,0xb8(%RSP) |
(1058) 0x462958 MOV 0x98(%RSP),%R8 |
(1058) 0x462960 MOV %R12,%R14 |
(1058) 0x462963 MOV 0x90(%RSP),%R12 |
(1058) 0x46296b MOV 0x78(%RSP),%R13 |
(1058) 0x462970 MOV 0x88(%RSP),%R10 |
(1058) 0x462978 MOV %RSI,%R11 |
(1058) 0x46297b NOPL (%RAX,%RAX,1) |
(1059) 0x462980 LEA (%RCX,%RDX,1),%RSI |
(1059) 0x462984 ADD 0xb0(%RSP),%RSI |
(1059) 0x46298c MOV 0xb8(%RSP),%RDI |
(1059) 0x462994 VMOVUPD (%RDI,%RDX,8),%YMM24 |
(1059) 0x46299b VFMADD213PD (%R9,%RDX,8),%YMM28,%YMM24 |
(1059) 0x4629a2 LEA (%RSI,%R11,1),%RDI |
(1059) 0x4629a6 VFMADD231PD (%R15,%RDI,8),%YMM29,%YMM24 |
(1059) 0x4629ad LEA (%RSI,%RBX,1),%RDI |
(1059) 0x4629b1 VFMADD231PD (%R15,%RDI,8),%YMM30,%YMM24 |
(1059) 0x4629b8 LEA (%RSI,%R8,1),%RDI |
(1059) 0x4629bc VFMADD231PD (%R15,%RDI,8),%YMM31,%YMM24 |
(1059) 0x4629c3 LEA (%RSI,%R12,1),%RDI |
(1059) 0x4629c7 VFMADD231PD (%R15,%RDI,8),%YMM20,%YMM24 |
(1059) 0x4629ce LEA (%RSI,%R14,1),%RDI |
(1059) 0x4629d2 VFMADD231PD (%R15,%RDI,8),%YMM21,%YMM24 |
(1059) 0x4629d9 LEA (%RSI,%R10,1),%RDI |
(1059) 0x4629dd VFMADD231PD (%R15,%RDI,8),%YMM22,%YMM24 |
(1059) 0x4629e4 ADD %RAX,%RSI |
(1059) 0x4629e7 VFMADD231PD (%R15,%RSI,8),%YMM23,%YMM24 |
(1059) 0x4629ee VMOVUPD %YMM24,(%R9,%RDX,8) |
(1059) 0x4629f5 ADD $0x4,%RDX |
(1059) 0x4629f9 CMP %R13,%RDX |
(1059) 0x4629fc JLE 462980 |
(1058) 0x4629fe MOV 0x18(%RSP),%RCX |
(1058) 0x462a03 MOV %RCX,%RBX |
(1058) 0x462a06 MOV 0x178(%RSP),%R10 |
(1058) 0x462a0e CMP %RCX,%R10 |
(1058) 0x462a11 MOV 0x80(%RSP),%R8 |
(1058) 0x462a19 MOV %R14,%R12 |
(1058) 0x462a1c MOV 0x180(%RSP),%R13 |
(1058) 0x462a24 MOV 0xb0(%RSP),%R14 |
(1058) 0x462a2c MOV 0xb8(%RSP),%R11 |
(1058) 0x462a34 MOV 0x1c0(%RSP),%RDI |
(1058) 0x462a3c JE 462840 |
(1058) 0x462a42 JMP 462a62 |
0x462a44 NOPW %CS:(%RAX,%RAX,1) |
0x462a53 NOPW %CS:(%RAX,%RAX,1) |
(1058) 0x462a60 XOR %EBX,%EBX |
(1058) 0x462a62 VPBROADCASTQ %RBX,%YMM20 |
(1058) 0x462a68 VPADDQ %YMM25,%YMM20,%YMM20 |
(1058) 0x462a6e VPCMPLTUQ %YMM27,%YMM20,%K1 |
(1058) 0x462a75 KORTESTB %K1,%K1 |
(1058) 0x462a79 JE 462840 |
(1058) 0x462a7f MOV 0x10(%RSP),%RCX |
(1058) 0x462a84 IMUL %RDI,%RCX |
(1058) 0x462a88 ADD %R14,%RCX |
(1058) 0x462a8b ADD %RBX,%RCX |
(1058) 0x462a8e VMOVUPD (%R15,%RCX,8),%YMM20{%K1}{z} |
(1058) 0x462a95 VMOVAPD %YMM20,%YMM17{%K1} |
(1058) 0x462a9b VBROADCASTSD %XMM0,%YMM0 |
(1058) 0x462aa0 ADD 0xa0(%RSP),%RBX |
(1058) 0x462aa8 MOV 0x38(%RSP),%RSI |
(1058) 0x462aad VMOVUPD (%RSI,%RBX,8),%YMM20{%K1}{z} |
(1058) 0x462ab4 VMOVAPD %YMM20,%YMM16{%K1} |
(1058) 0x462aba VFMADD213PD %YMM16,%YMM17,%YMM0 |
(1058) 0x462ac0 VMOVUPD %YMM0,(%RSI,%RBX,8){%K1} |
(1058) 0x462ac7 MOV 0x8(%RSP),%RDX |
(1058) 0x462acc ADD %RCX,%RDX |
(1058) 0x462acf VMOVUPD (%R15,%RDX,8),%YMM20{%K1}{z} |
(1058) 0x462ad6 VMOVAPD %YMM20,%YMM15{%K1} |
(1058) 0x462adc VBROADCASTSD %XMM7,%YMM7 |
(1058) 0x462ae1 VMOVAPD %YMM0,%YMM14{%K1} |
(1058) 0x462ae7 VFMADD213PD %YMM14,%YMM15,%YMM7 |
(1058) 0x462aec VMOVUPD %YMM7,(%RSI,%RBX,8){%K1} |
(1058) 0x462af3 MOV 0x40(%RSP),%RAX |
(1058) 0x462af8 LEA (%RCX,%RAX,1),%RDX |
(1058) 0x462afc VMOVUPD (%R15,%RDX,8),%YMM0{%K1}{z} |
(1058) 0x462b03 VMOVAPD %YMM0,%YMM13{%K1} |
(1058) 0x462b09 VBROADCASTSD %XMM6,%YMM0 |
(1058) 0x462b0e VMOVAPD %YMM7,%YMM12{%K1} |
(1058) 0x462b14 VFMADD213PD %YMM12,%YMM13,%YMM0 |
(1058) 0x462b19 VMOVUPD %YMM0,(%RSI,%RBX,8){%K1} |
(1058) 0x462b20 MOV 0x98(%RSP),%RAX |
(1058) 0x462b28 LEA (%RCX,%RAX,1),%RDX |
(1058) 0x462b2c VMOVUPD (%R15,%RDX,8),%YMM6{%K1}{z} |
(1058) 0x462b33 VMOVAPD %YMM6,%YMM11{%K1} |
(1058) 0x462b39 VBROADCASTSD %XMM5,%YMM5 |
(1058) 0x462b3e VMOVAPD %YMM0,%YMM10{%K1} |
(1058) 0x462b44 VFMADD213PD %YMM10,%YMM11,%YMM5 |
(1058) 0x462b49 VMOVUPD %YMM5,(%RSI,%RBX,8){%K1} |
(1058) 0x462b50 MOV 0x90(%RSP),%RAX |
(1058) 0x462b58 LEA (%RCX,%RAX,1),%RDX |
(1058) 0x462b5c VMOVUPD (%R15,%RDX,8),%YMM0{%K1}{z} |
(1058) 0x462b63 VMOVAPD %YMM0,%YMM9{%K1} |
(1058) 0x462b69 VBROADCASTSD %XMM4,%YMM0 |
(1058) 0x462b6e VMOVAPD %YMM5,%YMM8{%K1} |
(1058) 0x462b74 VFMADD213PD %YMM8,%YMM9,%YMM0 |
(1058) 0x462b79 VMOVUPD %YMM0,(%RSI,%RBX,8){%K1} |
(1058) 0x462b80 LEA (%RCX,%R12,1),%RDX |
(1058) 0x462b84 VMOVUPD (%R15,%RDX,8),%YMM4{%K1}{z} |
(1058) 0x462b8b VMOVAPD %YMM4,%YMM26{%K1} |
(1058) 0x462b91 VBROADCASTSD %XMM3,%YMM3 |
(1058) 0x462b96 VMOVUPD 0x1e0(%RSP),%YMM4 |
(1058) 0x462b9f VMOVAPD %YMM0,%YMM4{%K1} |
(1058) 0x462ba5 VMOVUPD %YMM4,0x1e0(%RSP) |
(1058) 0x462bae VFMADD213PD %YMM4,%YMM26,%YMM3 |
(1058) 0x462bb4 VMOVUPD %YMM3,(%RSI,%RBX,8){%K1} |
(1058) 0x462bbb MOV 0x88(%RSP),%RAX |
(1058) 0x462bc3 LEA (%RCX,%RAX,1),%RDX |
(1058) 0x462bc7 VMOVUPD (%R15,%RDX,8),%YMM0{%K1}{z} |
(1058) 0x462bce VMOVUPD 0x200(%RSP),%YMM4 |
(1058) 0x462bd7 VMOVAPD %YMM0,%YMM4{%K1} |
(1058) 0x462bdd VBROADCASTSD %XMM2,%YMM0 |
(1058) 0x462be2 VMOVUPD 0x220(%RSP),%YMM2 |
(1058) 0x462beb VMOVAPD %YMM3,%YMM2{%K1} |
(1058) 0x462bf1 VMOVUPD %YMM2,0x220(%RSP) |
(1058) 0x462bfa VMOVUPD %YMM4,0x200(%RSP) |
(1058) 0x462c03 VFMADD213PD %YMM2,%YMM4,%YMM0 |
(1058) 0x462c08 VMOVUPD %YMM0,(%RSI,%RBX,8){%K1} |
(1058) 0x462c0f ADD 0x48(%RSP),%RCX |
(1058) 0x462c14 VMOVUPD (%R15,%RCX,8),%YMM2{%K1}{z} |
(1058) 0x462c1b VMOVUPD 0x240(%RSP),%YMM3 |
(1058) 0x462c24 VMOVAPD %YMM2,%YMM3{%K1} |
(1058) 0x462c2a VBROADCASTSD %XMM1,%YMM1 |
(1058) 0x462c2f VMOVUPD 0x260(%RSP),%YMM2 |
(1058) 0x462c38 VMOVAPD %YMM0,%YMM2{%K1} |
(1058) 0x462c3e VMOVUPD %YMM2,0x260(%RSP) |
(1058) 0x462c47 VMOVUPD %YMM3,0x240(%RSP) |
(1058) 0x462c50 VFMADD213PD %YMM2,%YMM3,%YMM1 |
(1058) 0x462c55 VMOVUPD %YMM1,(%RSI,%RBX,8){%K1} |
(1058) 0x462c5c JMP 462840 |
0x462c61 NOPW %CS:(%RAX,%RAX,1) |
0x462c70 NOPW %CS:(%RAX,%RAX,1) |
0x462c7f NOP |
0x462c80 LEA 0xca889(%RIP),%RDI |
0x462c87 MOV 0x50(%RSP),%ESI |
0x462c8b LEA -0x28(%RBP),%RSP |
0x462c8f POP %RBX |
0x462c90 POP %R12 |
0x462c92 POP %R13 |
0x462c94 POP %R14 |
0x462c96 POP %R15 |
0x462c98 POP %RBP |
0x462c99 VZEROUPPER |
0x462c9c JMP 403050 |
0x462ca1 NOPW %CS:(%RAX,%RAX,1) |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00+ | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_fork_call | libiomp5.so | |
○ | __kmpc_fork_call | libiomp5.so | |
○ | void Kripke::DispatchHelper<Kr[...] | internal.hpp:345 | exec |
○ | Kripke::Kernel::LTimes(Kripke:[...] | ArchLayout.h:145 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | basic_string.h:202 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_init_first | libc.so.6 |
Path / |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 202 |
nb uops | 206 |
loop length | 1071 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 57 |
micro-operation queue | 51.50 cycles |
front end | 51.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 18.50 | 19.50 | 31.33 | 31.33 | 64.00 | 19.50 | 18.50 | 31.33 |
cycles | 18.50 | 30.75 | 31.33 | 31.33 | 64.00 | 19.50 | 18.50 | 31.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 63.13 |
Stall cycles | 12.21 |
SB full (events) | 17.58 |
Front-end | 51.50 |
Dispatch | 64.00 |
Overall L1 | 64.00 |
all | 2% |
load | 16% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 7% |
all | 12% |
load | 18% |
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 | 12% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
PUSH %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
AND $-0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
SUB $0x2a0,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x170(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOVL $0,0x54(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x168(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x10(%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x18(%R8),%R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x160(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x70(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x68(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x158(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x150(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x38(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %R9,0xc0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xc8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x148(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x158(%R8),%R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOVQ $0x1,0x1d8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
SUB $0x8,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA 0x1e0(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xcb2cf(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x5c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd0(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc8(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x58(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV $0x22,%EDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RAX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CALL 403150 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0xc8(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xc0(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RCX,0x60(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMP %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JA 462c80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb40> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R12,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SUB %R14,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 462c80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb40> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x60(%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
INC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RDX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
ADD %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RBX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %R14,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
ANDN %RBX,%RAX,%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x128(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x130(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
XOR %EBX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
TEST %RSI,%RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%EAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %RSI,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x118(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x120(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %R14,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
ANDN %RDX,%RAX,%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
TEST %RDX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%EAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %RDX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %R12,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x68(%RSP),%R10 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x70(%RSP),%R11 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB %R11,%R10 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x20(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %R8,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SHR $0x3,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x1d0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x1b8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %RDX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x1b0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R10,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%RDI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (,%RSI,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %RSI,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x48(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %R10,%YMM27 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R9,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R11,%R9,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%RAX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x58(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RAX,0x80(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RCX,0xe0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %RCX,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
IMUL %RSI,%R14 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %R11,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (%R15,%R14,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VMOVDQU64 0x7dd40(%RIP),%YMM25 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 5 | 0.50 |
LEA (%RDX,%RDX,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%RDX,2),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x1a0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RDX,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x198(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RDX,%RDX,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x190(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,0x1a8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x188(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDI,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RDI),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x78(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x40(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,2),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RSI,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x90(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,4),%R12 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x88(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%R8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x1c8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSI,0x8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R13,0x180(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R10,0x178(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R12,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 4624f7 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3b7> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xca889(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x50(%RSP),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
VZEROUPPER | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 403050 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
Source file and lines | Collapse.hpp:81-83 |
Module | exec |
nb instructions | 202 |
nb uops | 206 |
loop length | 1071 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 57 |
micro-operation queue | 51.50 cycles |
front end | 51.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 18.50 | 19.50 | 31.33 | 31.33 | 64.00 | 19.50 | 18.50 | 31.33 |
cycles | 18.50 | 30.75 | 31.33 | 31.33 | 64.00 | 19.50 | 18.50 | 31.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 63.13 |
Stall cycles | 12.21 |
SB full (events) | 17.58 |
Front-end | 51.50 |
Dispatch | 64.00 |
Overall L1 | 64.00 |
all | 2% |
load | 16% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 7% |
all | 12% |
load | 18% |
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 | 12% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
PUSH %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
AND $-0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
SUB $0x2a0,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x170(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOVL $0,0x54(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x168(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x10(%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x18(%R8),%R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x160(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x70(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x68(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x158(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x150(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x38(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %R9,0xc0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xc8(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x110(%R8),%RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x148(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x158(%R8),%R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOVQ $0x1,0x1d8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
SUB $0x8,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA 0x1e0(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xcb2cf(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x5c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd0(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xc8(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x58(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV $0x22,%EDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH $0x1 | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
PUSH %RAX | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CALL 403150 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 1 | 0.33 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0xc8(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xc0(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RCX,0x60(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
CMP %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
JA 462c80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb40> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R12,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SUB %R14,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 462c80 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb40> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %RBX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x60(%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
INC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMP %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RDX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
ADD %RAX,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RBX,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %R14,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
ANDN %RBX,%RAX,%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x128(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x130(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
XOR %EBX,%EBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
TEST %RSI,%RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%EAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %RSI,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %R12,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x118(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x120(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV (%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %R14,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
ANDN %RDX,%RAX,%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
TEST %RDX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%EAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %RDX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %R12,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RAX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %R12,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RCX,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x68(%RSP),%R10 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x70(%RSP),%R11 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB %R11,%R10 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x20(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %R8,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SHR $0x3,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x1d0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x1b8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %RDX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x1b0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R10,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%RDI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (,%RSI,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x10(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %RSI,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0x48(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %R10,%YMM27 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R9,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R11,%R9,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%RAX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x58(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RAX,0x80(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RCX,0xe0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %RCX,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
IMUL %RSI,%R14 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %R11,%R14 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (%R15,%R14,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VMOVDQU64 0x7dd40(%RIP),%YMM25 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 5 | 0.50 |
LEA (%RDX,%RDX,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%RDX,2),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x1a0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RDX,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x198(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RDX,%RDX,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x190(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,0x1a8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x188(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RDI,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RDI),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x78(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x40(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,2),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x98(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (,%RSI,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0x90(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RSI,%RSI,4),%R12 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x88(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%R8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x1c8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RSI,0x8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R13,0x180(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R10,0x178(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R12,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 4624f7 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3b7> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xca889(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x50(%RSP),%ESI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
LEA -0x28(%RBP),%RSP | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
POP %RBX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R12 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %R15 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
POP %RBP | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 2 | 0.50 |
VZEROUPPER | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 403050 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1-2 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void Kripke::DispatchHelper | 8.11 | 3.36 |
▼Loop 1053 - forall.hpp:59-59 - exec– | 0.01 | 0 |
▼Loop 1058 - forall.hpp:59-59 - exec– | 0.01 | 0 |
○Loop 1059 - forall.hpp:59-59 - exec | 5.09 | 2.11 |
▼Loop 1056 - forall.hpp:59-59 - exec– | 0.01 | 0 |
○Loop 1057 - forall.hpp:59-59 - exec | 2.99 | 1.24 |
▼Loop 1054 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 1055 - forall.hpp:59-59 - exec | 0 | 0 |