Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 7.29% |
---|
Function: void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_ ... | Module: exec | Source: Collapse.hpp:81-83 [...] | Coverage: 7.29% |
---|
/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/LPlusTimes.cpp: 57 - 57 |
-------------------------------------------------------------------------------- |
57: rhs(d,g,z) += ell_plus(d, nm) * phi_out(nm, 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]; |
0x458100 PUSH %RBP |
0x458101 MOV %RSP,%RBP |
0x458104 PUSH %R15 |
0x458106 PUSH %R14 |
0x458108 PUSH %R13 |
0x45810a PUSH %R12 |
0x45810c PUSH %RBX |
0x45810d AND $-0x20,%RSP |
0x458111 SUB $0x260,%RSP |
0x458118 MOV %RDX,%R12 |
0x45811b MOVL $0,0x84(%RSP) |
0x458126 MOV (%R8),%RAX |
0x458129 MOV %RAX,0x168(%RSP) |
0x458131 MOV 0x10(%R8),%RAX |
0x458135 MOV %RAX,0x40(%RSP) |
0x45813a MOV 0x18(%R8),%RAX |
0x45813e MOV %RAX,0x38(%RSP) |
0x458143 MOV 0x20(%R8),%RAX |
0x458147 MOV %RAX,0x160(%RSP) |
0x45814f MOV 0x30(%R8),%RAX |
0x458153 MOV %RAX,0xa0(%RSP) |
0x45815b MOV 0x38(%R8),%RAX |
0x45815f MOV %RAX,0x98(%RSP) |
0x458167 MOV 0x60(%R8),%RAX |
0x45816b MOV %RAX,0x158(%RSP) |
0x458173 MOV 0x68(%R8),%RAX |
0x458177 MOV %RAX,0x150(%RSP) |
0x45817f MOV 0xa8(%R8),%RAX |
0x458186 MOV %RAX,0x58(%RSP) |
0x45818b MOV (%RDI),%ESI |
0x45818d MOV %R9,0xe8(%RSP) |
0x458195 MOV 0xc0(%R8),%RAX |
0x45819c MOV %RAX,0x148(%RSP) |
0x4581a4 MOV 0xf0(%R8),%R13 |
0x4581ab MOV 0x110(%R8),%R15 |
0x4581b2 MOV 0x118(%R8),%RAX |
0x4581b9 MOV %RAX,0x140(%RSP) |
0x4581c1 MOV 0x158(%R8),%R14 |
0x4581c8 MOVQ $0,0xf0(%RSP) |
0x4581d4 MOVQ $0x1,0x198(%RSP) |
0x4581e0 SUB $0x8,%RSP |
0x4581e4 LEA 0x1a0(%RSP),%RAX |
0x4581ec LEA 0xd50bd(%RIP),%RDI |
0x4581f3 LEA 0x8c(%RSP),%RCX |
0x4581fb LEA 0xf8(%RSP),%R8 |
0x458203 LEA 0xf0(%RSP),%R9 |
0x45820b MOV %ESI,0x88(%RSP) |
0x458212 MOV $0x22,%EDX |
0x458217 PUSH $0x1 |
0x458219 PUSH $0x1 |
0x45821b PUSH %RAX |
0x45821c CALL 403150 <__kmpc_for_static_init_8@plt> |
0x458221 ADD $0x20,%RSP |
0x458225 MOV 0xf0(%RSP),%RCX |
0x45822d MOV 0xe8(%RSP),%RAX |
0x458235 MOV %RCX,0x90(%RSP) |
0x45823d CMP %RAX,%RCX |
0x458240 JA 458b60 |
0x458246 MOV 0x38(%RSP),%RCX |
0x45824b SUB 0x40(%RSP),%RCX |
0x458250 MOV %RCX,0x30(%RSP) |
0x458255 JLE 458b60 |
0x45825b MOV %R15,%R10 |
0x45825e MOV 0x90(%RSP),%RDX |
0x458266 LEA 0x1(%RDX),%RCX |
0x45826a INC %RAX |
0x45826d CMP %RAX,%RCX |
0x458270 CMOVG %RCX,%RAX |
0x458274 NOT %RDX |
0x458277 ADD %RAX,%RDX |
0x45827a MOV %RDX,0x138(%RSP) |
0x458282 MOV %R15,%R11 |
0x458285 MOV 0x40(%RSP),%R9 |
0x45828a IMUL %R9,%R11 |
0x45828e MOV %R15,%RAX |
0x458291 SAR $0x3f,%RAX |
0x458295 ANDN %R15,%RAX,%RDX |
0x45829a MOV %R9,%RSI |
0x45829d NOT %RSI |
0x4582a0 MOV 0x38(%RSP),%RAX |
0x4582a5 MOV %RAX,%RCX |
0x4582a8 IMUL %RDX,%RCX |
0x4582ac MOV %RCX,0x120(%RSP) |
0x4582b4 IMUL %RSI,%RDX |
0x4582b8 MOV %RDX,0x128(%RSP) |
0x4582c0 XOR %EDI,%EDI |
0x4582c2 TEST %R15,%R15 |
0x4582c5 MOV $0,%ECX |
0x4582ca CMOVS %R15,%RCX |
0x4582ce MOV %RAX,%RDX |
0x4582d1 IMUL %RCX,%RDX |
0x4582d5 MOV %RDX,0x110(%RSP) |
0x4582dd IMUL %RSI,%RCX |
0x4582e1 MOV %RCX,0x118(%RSP) |
0x4582e9 ADD %RAX,%RSI |
0x4582ec MOV %RSI,0x108(%RSP) |
0x4582f4 MOV 0x98(%RSP),%R8 |
0x4582fc MOV 0xa0(%RSP),%RDX |
0x458304 SUB %RDX,%R8 |
0x458307 MOV 0x30(%RSP),%RSI |
0x45830c MOV %RSI,%RAX |
0x45830f SHR $0x3,%RAX |
0x458313 DEC %RAX |
0x458316 MOV %RAX,0x190(%RSP) |
0x45831e MOV %R8,%RCX |
0x458321 AND $-0x4,%RCX |
0x458325 LEA (,%R15,8),%RAX |
0x45832d MOV %RAX,0x18(%RSP) |
0x458332 SUB %R15,%RAX |
0x458335 MOV %RAX,0xd8(%RSP) |
0x45833d VPBROADCASTQ %R8,%YMM27 |
0x458343 MOV %RSI,%RBX |
0x458346 AND $-0x8,%RBX |
0x45834a MOV %R11,0x130(%RSP) |
0x458352 LEA (%RDX,%R11,1),%RAX |
0x458356 LEA (%R14,%RAX,8),%RAX |
0x45835a MOV %RAX,0x88(%RSP) |
0x458362 MOV %R15,%RAX |
0x458365 SAL $0x6,%RAX |
0x458369 MOV %RAX,0xb0(%RSP) |
0x458371 MOV %RBX,0x100(%RSP) |
0x458379 LEA (%R9,%RBX,1),%RAX |
0x45837d IMUL %R15,%RAX |
0x458381 ADD %RDX,%RAX |
0x458384 LEA (%R14,%RAX,8),%RAX |
0x458388 MOV %RAX,0xf8(%RSP) |
0x458390 VMOVDQU64 0x87dc6(%RIP),%YMM25 |
0x45839a MOV %RCX,0x20(%RSP) |
0x45839f LEA -0x1(%RCX),%RAX |
0x4583a3 MOV %RAX,0xa8(%RSP) |
0x4583ab LEA (%R15,%R15,1),%RAX |
0x4583af MOV %RAX,0xd0(%RSP) |
0x4583b7 LEA (%R15,%R15,2),%R11 |
0x4583bb LEA (,%R15,4),%RCX |
0x4583c3 MOV %RCX,0xc8(%RSP) |
0x4583cb LEA (%R15,%R15,4),%RCX |
0x4583cf MOV %RCX,0xc0(%RSP) |
0x4583d7 LEA (%RAX,%RAX,2),%RAX |
0x4583db MOV %RAX,0xb8(%RSP) |
0x4583e3 LEA -0x1(%RSI),%RAX |
0x4583e7 MOV %R12,0x28(%RSP) |
0x4583ec MOV %R15,0x78(%RSP) |
0x4583f1 MOV %RAX,%R10 |
0x4583f4 MOV %R13,0x180(%RSP) |
0x4583fc MOV %R8,0x178(%RSP) |
0x458404 MOV %RAX,0x170(%RSP) |
0x45840c MOV %R11,0x68(%RSP) |
0x458411 JMP 45843c |
0x458413 NOPW %CS:(%RAX,%RAX,1) |
(933) 0x458420 MOV 0x28(%RSP),%R12 |
(933) 0x458425 MOV 0x50(%RSP),%RDI |
(933) 0x45842a CMP 0x138(%RSP),%RDI |
(933) 0x458432 LEA 0x1(%RDI),%RDI |
(933) 0x458436 JE 458b60 |
(933) 0x45843c MOV 0x90(%RSP),%RAX |
(933) 0x458444 ADD %RDI,%RAX |
(933) 0x458447 MOV %RAX,%RCX |
(933) 0x45844a OR %R12,%RCX |
(933) 0x45844d SHR $0x20,%RCX |
(933) 0x458451 MOV %RDI,0x50(%RSP) |
(933) 0x458456 JE 458460 |
(933) 0x458458 CQTO |
(933) 0x45845a IDIV %R12 |
(933) 0x45845d JMP 458465 |
0x45845f NOP |
(933) 0x458460 XOR %EDX,%EDX |
(933) 0x458462 DIV %R12D |
(933) 0x458465 ADD 0x168(%RSP),%RAX |
(933) 0x45846d ADD 0x160(%RSP),%RDX |
(933) 0x458475 MOV 0x140(%RSP),%R11 |
(933) 0x45847d IMUL %RDX,%R11 |
(933) 0x458481 MOV 0x98(%RSP),%RDI |
(933) 0x458489 LEA (%RDI,%R11,1),%RCX |
(933) 0x45848d MOV 0x130(%RSP),%R12 |
(933) 0x458495 ADD %R12,%RCX |
(933) 0x458498 ADD 0x128(%RSP),%RCX |
(933) 0x4584a0 ADD 0x120(%RSP),%RCX |
(933) 0x4584a8 LEA (%R14,%RCX,8),%R9 |
(933) 0x4584ac ADD $-0x8,%R9 |
(933) 0x4584b0 MOV 0x158(%RSP),%RSI |
(933) 0x4584b8 IMUL %RAX,%RSI |
(933) 0x4584bc MOV 0xa0(%RSP),%RBX |
(933) 0x4584c4 LEA (%RBX,%RSI,1),%R15 |
(933) 0x4584c8 IMUL 0x150(%RSP),%RDX |
(933) 0x4584d1 ADD %RDX,%R15 |
(933) 0x4584d4 MOV 0x58(%RSP),%RCX |
(933) 0x4584d9 MOV %R15,0xe0(%RSP) |
(933) 0x4584e1 LEA (%RCX,%R15,8),%R15 |
(933) 0x4584e5 CMP %R15,%R9 |
(933) 0x4584e8 SETAE %R9B |
(933) 0x4584ec ADD %RDI,%RSI |
(933) 0x4584ef ADD %RDX,%RSI |
(933) 0x4584f2 LEA (%RCX,%RSI,8),%RSI |
(933) 0x4584f6 ADD $-0x8,%RSI |
(933) 0x4584fa MOV %R11,0x48(%RSP) |
(933) 0x4584ff LEA (%RBX,%R11,1),%RCX |
(933) 0x458503 ADD %R12,%RCX |
(933) 0x458506 MOV %RCX,%R12 |
(933) 0x458509 MOV 0x118(%RSP),%RCX |
(933) 0x458511 ADD %R12,%RCX |
(933) 0x458514 ADD 0x110(%RSP),%RCX |
(933) 0x45851c LEA (%R14,%RCX,8),%RCX |
(933) 0x458520 CMP %RCX,%RSI |
(933) 0x458523 SETAE %DL |
(933) 0x458526 IMUL 0x148(%RSP),%RAX |
(933) 0x45852f MOV 0x38(%RSP),%RCX |
(933) 0x458534 ADD %RAX,%RCX |
(933) 0x458537 LEA -0x8(,%RCX,8),%RCX |
(933) 0x45853f ADD %R13,%RCX |
(933) 0x458542 CMP %R15,%RCX |
(933) 0x458545 SETB %CL |
(933) 0x458548 ADD 0x40(%RSP),%RAX |
(933) 0x45854d MOV %RAX,0x60(%RSP) |
(933) 0x458552 LEA (,%RAX,8),%RBX |
(933) 0x45855a ADD %R13,%RBX |
(933) 0x45855d CMP %RBX,%RSI |
(933) 0x458560 SETB %BL |
(933) 0x458563 TEST %DL,%R9B |
(933) 0x458566 JNE 4586a0 |
(933) 0x45856c OR %BL,%CL |
(933) 0x45856e JE 4586a0 |
(933) 0x458574 CMPQ $0x8,0x30(%RSP) |
(933) 0x45857a MOV 0x78(%RSP),%R9 |
(933) 0x45857f JAE 458740 |
(933) 0x458585 MOV 0x100(%RSP),%RDI |
(933) 0x45858d CMP 0x30(%RSP),%RDI |
(933) 0x458592 JAE 458420 |
(933) 0x458598 MOV %R12,%R11 |
(933) 0x45859b MOV 0xf8(%RSP),%RAX |
(933) 0x4585a3 MOV 0x48(%RSP),%RCX |
(933) 0x4585a8 LEA (%RAX,%RCX,8),%RSI |
(933) 0x4585ac MOV 0x18(%RSP),%R12 |
(933) 0x4585b1 MOV 0xa8(%RSP),%RAX |
(933) 0x4585b9 JMP 45862b |
0x4585bb NOPL (%RAX,%RAX,1) |
(936) 0x4585c0 MOV %R9,%RBX |
(936) 0x4585c3 IMUL %RDI,%RBX |
(936) 0x4585c7 VBROADCASTSD %XMM0,%YMM0 |
(936) 0x4585cc XOR %ECX,%ECX |
(936) 0x4585ce VPBROADCASTQ %RCX,%YMM1 |
(936) 0x4585d4 VPADDQ %YMM25,%YMM1,%YMM1 |
(936) 0x4585da VPCMPLTUQ %YMM27,%YMM1,%K1 |
(936) 0x4585e1 ADD %R11,%RBX |
(936) 0x4585e4 ADD %RCX,%RBX |
(936) 0x4585e7 VMOVUPD (%R14,%RBX,8),%YMM1{%K1}{z} |
(936) 0x4585ee VMOVAPD %YMM1,%YMM19{%K1} |
(936) 0x4585f4 ADD 0xe0(%RSP),%RCX |
(936) 0x4585fc MOV 0x58(%RSP),%RDX |
(936) 0x458601 VMOVUPD (%RDX,%RCX,8),%YMM1{%K1}{z} |
(936) 0x458608 VMOVAPD %YMM1,%YMM18{%K1} |
(936) 0x45860e VFMADD213PD %YMM18,%YMM19,%YMM0 |
(936) 0x458614 VMOVUPD %YMM0,(%RDX,%RCX,8){%K1} |
(936) 0x45861b ADD %R12,%RSI |
(936) 0x45861e CMP %R10,%RDI |
(936) 0x458621 LEA 0x1(%RDI),%RDI |
(936) 0x458625 JE 458420 |
(936) 0x45862b TEST %R8,%R8 |
(936) 0x45862e JLE 45861b |
(936) 0x458630 MOV 0x60(%RSP),%RCX |
(936) 0x458635 ADD %RDI,%RCX |
(936) 0x458638 VMOVSD (%R13,%RCX,8),%XMM0 |
(936) 0x45863f CMPQ $0,0x20(%RSP) |
(936) 0x458645 JE 4585c0 |
(936) 0x45864b MOV %R9,%RBX |
(936) 0x45864e IMUL %RDI,%RBX |
(936) 0x458652 VBROADCASTSD %XMM0,%YMM0 |
(936) 0x458657 XOR %ECX,%ECX |
(936) 0x458659 NOPL (%RAX) |
(937) 0x458660 VMOVUPD (%RSI,%RCX,8),%YMM1 |
(937) 0x458665 VFMADD213PD (%R15,%RCX,8),%YMM0,%YMM1 |
(937) 0x45866b VMOVUPD %YMM1,(%R15,%RCX,8) |
(937) 0x458671 ADD $0x4,%RCX |
(937) 0x458675 CMP %RAX,%RCX |
(937) 0x458678 JLE 458660 |
(936) 0x45867a MOV 0x20(%RSP),%RDX |
(936) 0x45867f MOV %RDX,%RCX |
(936) 0x458682 CMP %RDX,%R8 |
(936) 0x458685 JNE 4585ce |
(936) 0x45868b JMP 45861b |
0x45868d NOPW %CS:(%RAX,%RAX,1) |
0x45869c NOPL (%RAX) |
(933) 0x4586a0 MOV 0x88(%RSP),%RAX |
(933) 0x4586a8 MOV 0x48(%RSP),%RCX |
(933) 0x4586ad LEA (%RAX,%RCX,8),%RDX |
(933) 0x4586b1 XOR %ESI,%ESI |
(933) 0x4586b3 MOV 0x28(%RSP),%R12 |
(933) 0x4586b8 MOV 0x108(%RSP),%RAX |
(933) 0x4586c0 MOV 0x18(%RSP),%RBX |
(933) 0x4586c5 MOV 0x60(%RSP),%R9 |
(933) 0x4586ca JMP 4586f0 |
0x4586cc NOPW %CS:(%RAX,%RAX,1) |
0x4586db NOPL (%RAX,%RAX,1) |
(934) 0x4586e0 ADD %RBX,%RDX |
(934) 0x4586e3 CMP %RAX,%RSI |
(934) 0x4586e6 LEA 0x1(%RSI),%RSI |
(934) 0x4586ea JE 458425 |
(934) 0x4586f0 TEST %R8,%R8 |
(934) 0x4586f3 JLE 4586e0 |
(934) 0x4586f5 LEA (%R9,%RSI,1),%RCX |
(934) 0x4586f9 XOR %EDI,%EDI |
(934) 0x4586fb NOPL (%RAX,%RAX,1) |
(935) 0x458700 VMOVSD (%RDX,%RDI,8),%XMM0 |
(935) 0x458705 VMOVSD (%R13,%RCX,8),%XMM1 |
(935) 0x45870c VFMADD213SD (%R15,%RDI,8),%XMM0,%XMM1 |
(935) 0x458712 VMOVSD %XMM1,(%R15,%RDI,8) |
(935) 0x458718 INC %RDI |
(935) 0x45871b CMP %RDI,%R8 |
(935) 0x45871e JNE 458700 |
(934) 0x458720 JMP 4586e0 |
0x458722 NOPW %CS:(%RAX,%RAX,1) |
0x458731 NOPW %CS:(%RAX,%RAX,1) |
(933) 0x458740 MOV 0x88(%RSP),%RAX |
(933) 0x458748 MOV 0x48(%RSP),%RCX |
(933) 0x45874d LEA (%RAX,%RCX,8),%RDX |
(933) 0x458751 XOR %EBX,%EBX |
(933) 0x458753 MOV 0xb0(%RSP),%RAX |
(933) 0x45875b MOV 0x68(%RSP),%R11 |
(933) 0x458760 MOV %R12,0x70(%RSP) |
(933) 0x458765 JMP 458795 |
0x458767 NOPW %CS:(%RAX,%RAX,1) |
0x458776 NOPW %CS:(%RAX,%RAX,1) |
(938) 0x458780 ADD %RAX,%RDX |
(938) 0x458783 CMP 0x190(%RSP),%RBX |
(938) 0x45878b LEA 0x1(%RBX),%RBX |
(938) 0x45878f JE 458585 |
(938) 0x458795 TEST %R8,%R8 |
(938) 0x458798 JLE 458780 |
(938) 0x45879a MOV 0x60(%RSP),%RCX |
(938) 0x45879f LEA (%RCX,%RBX,8),%RCX |
(938) 0x4587a3 VMOVSD (%R13,%RCX,8),%XMM0 |
(938) 0x4587aa VMOVSD 0x8(%R13,%RCX,8),%XMM7 |
(938) 0x4587b1 VMOVSD 0x10(%R13,%RCX,8),%XMM6 |
(938) 0x4587b8 VMOVSD 0x18(%R13,%RCX,8),%XMM5 |
(938) 0x4587bf VMOVSD 0x20(%R13,%RCX,8),%XMM4 |
(938) 0x4587c6 VMOVSD 0x28(%R13,%RCX,8),%XMM3 |
(938) 0x4587cd VMOVSD 0x30(%R13,%RCX,8),%XMM2 |
(938) 0x4587d4 VMOVSD 0x38(%R13,%RCX,8),%XMM1 |
(938) 0x4587db CMPQ $0,0x20(%RSP) |
(938) 0x4587e1 JE 458940 |
(938) 0x4587e7 MOV 0x18(%RSP),%RSI |
(938) 0x4587ec MOV %RBX,0x188(%RSP) |
(938) 0x4587f4 IMUL %RBX,%RSI |
(938) 0x4587f8 VBROADCASTSD %XMM0,%YMM28 |
(938) 0x4587fe VBROADCASTSD %XMM7,%YMM29 |
(938) 0x458804 VBROADCASTSD %XMM6,%YMM30 |
(938) 0x45880a VBROADCASTSD %XMM5,%YMM31 |
(938) 0x458810 VBROADCASTSD %XMM4,%YMM20 |
(938) 0x458816 VBROADCASTSD %XMM3,%YMM21 |
(938) 0x45881c VBROADCASTSD %XMM2,%YMM22 |
(938) 0x458822 VBROADCASTSD %XMM1,%YMM23 |
(938) 0x458828 XOR %EDI,%EDI |
(938) 0x45882a MOV 0xd8(%RSP),%RAX |
(938) 0x458832 MOV 0xd0(%RSP),%R11 |
(938) 0x45883a MOV 0xa8(%RSP),%R10 |
(938) 0x458842 MOV 0xc8(%RSP),%R13 |
(938) 0x45884a MOV 0xc0(%RSP),%R8 |
(938) 0x458852 MOV 0xb8(%RSP),%RBX |
(938) 0x45885a NOPW (%RAX,%RAX,1) |
(939) 0x458860 LEA (%RSI,%RDI,1),%RCX |
(939) 0x458864 ADD 0x70(%RSP),%RCX |
(939) 0x458869 VMOVUPD (%RDX,%RDI,8),%YMM24 |
(939) 0x458870 VFMADD213PD (%R15,%RDI,8),%YMM28,%YMM24 |
(939) 0x458877 MOV %RDX,%R12 |
(939) 0x45887a MOV 0x78(%RSP),%RDX |
(939) 0x45887f LEA (%RCX,%RDX,1),%R9 |
(939) 0x458883 VFMADD231PD (%R14,%R9,8),%YMM29,%YMM24 |
(939) 0x45888a MOV 0x78(%RSP),%R9 |
(939) 0x45888f LEA (%RCX,%R11,1),%RDX |
(939) 0x458893 VFMADD231PD (%R14,%RDX,8),%YMM30,%YMM24 |
(939) 0x45889a MOV 0x68(%RSP),%RDX |
(939) 0x45889f ADD %RCX,%RDX |
(939) 0x4588a2 VFMADD231PD (%R14,%RDX,8),%YMM31,%YMM24 |
(939) 0x4588a9 LEA (%RCX,%R13,1),%RDX |
(939) 0x4588ad VFMADD231PD (%R14,%RDX,8),%YMM20,%YMM24 |
(939) 0x4588b4 LEA (%RCX,%R8,1),%RDX |
(939) 0x4588b8 VFMADD231PD (%R14,%RDX,8),%YMM21,%YMM24 |
(939) 0x4588bf LEA (%RCX,%RBX,1),%RDX |
(939) 0x4588c3 VFMADD231PD (%R14,%RDX,8),%YMM22,%YMM24 |
(939) 0x4588ca MOV %R12,%RDX |
(939) 0x4588cd ADD %RAX,%RCX |
(939) 0x4588d0 VFMADD231PD (%R14,%RCX,8),%YMM23,%YMM24 |
(939) 0x4588d7 VMOVUPD %YMM24,(%R15,%RDI,8) |
(939) 0x4588de ADD $0x4,%RDI |
(939) 0x4588e2 CMP %R10,%RDI |
(939) 0x4588e5 JLE 458860 |
(938) 0x4588eb MOV 0x20(%RSP),%RCX |
(938) 0x4588f0 MOV %RCX,%RSI |
(938) 0x4588f3 MOV 0x178(%RSP),%R8 |
(938) 0x4588fb CMP %RCX,%R8 |
(938) 0x4588fe MOV 0xb0(%RSP),%RAX |
(938) 0x458906 MOV 0x68(%RSP),%R11 |
(938) 0x45890b MOV 0x180(%RSP),%R13 |
(938) 0x458913 MOV 0x170(%RSP),%R10 |
(938) 0x45891b MOV 0x70(%RSP),%R12 |
(938) 0x458920 MOV 0x188(%RSP),%RBX |
(938) 0x458928 JE 458780 |
(938) 0x45892e JMP 458942 |
0x458930 NOPW %CS:(%RAX,%RAX,1) |
0x45893f NOP |
(938) 0x458940 XOR %ESI,%ESI |
(938) 0x458942 VPBROADCASTQ %RSI,%YMM20 |
(938) 0x458948 VPADDQ %YMM25,%YMM20,%YMM20 |
(938) 0x45894e VPCMPLTUQ %YMM27,%YMM20,%K1 |
(938) 0x458955 KORTESTB %K1,%K1 |
(938) 0x458959 JE 458780 |
(938) 0x45895f MOV 0x18(%RSP),%RDI |
(938) 0x458964 IMUL %RBX,%RDI |
(938) 0x458968 ADD %R12,%RDI |
(938) 0x45896b ADD %RSI,%RDI |
(938) 0x45896e VMOVUPD (%R14,%RDI,8),%YMM20{%K1}{z} |
(938) 0x458975 VMOVAPD %YMM20,%YMM17{%K1} |
(938) 0x45897b VBROADCASTSD %XMM0,%YMM0 |
(938) 0x458980 ADD 0xe0(%RSP),%RSI |
(938) 0x458988 MOV %R10,%R12 |
(938) 0x45898b MOV %RBX,%R10 |
(938) 0x45898e MOV %RDX,%RBX |
(938) 0x458991 MOV 0x58(%RSP),%RDX |
(938) 0x458996 VMOVUPD (%RDX,%RSI,8),%YMM20{%K1}{z} |
(938) 0x45899d VMOVAPD %YMM20,%YMM16{%K1} |
(938) 0x4589a3 VFMADD213PD %YMM16,%YMM17,%YMM0 |
(938) 0x4589a9 VMOVUPD %YMM0,(%RDX,%RSI,8){%K1} |
(938) 0x4589b0 LEA (%RDI,%R9,1),%RCX |
(938) 0x4589b4 VMOVUPD (%R14,%RCX,8),%YMM20{%K1}{z} |
(938) 0x4589bb VMOVAPD %YMM20,%YMM15{%K1} |
(938) 0x4589c1 VBROADCASTSD %XMM7,%YMM7 |
(938) 0x4589c6 VMOVAPD %YMM0,%YMM14{%K1} |
(938) 0x4589cc VFMADD213PD %YMM14,%YMM15,%YMM7 |
(938) 0x4589d1 VMOVUPD %YMM7,(%RDX,%RSI,8){%K1} |
(938) 0x4589d8 MOV 0xd0(%RSP),%RCX |
(938) 0x4589e0 LEA (%RDI,%RCX,1),%RCX |
(938) 0x4589e4 VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(938) 0x4589eb VMOVAPD %YMM0,%YMM13{%K1} |
(938) 0x4589f1 VBROADCASTSD %XMM6,%YMM0 |
(938) 0x4589f6 VMOVAPD %YMM7,%YMM12{%K1} |
(938) 0x4589fc VFMADD213PD %YMM12,%YMM13,%YMM0 |
(938) 0x458a01 VMOVUPD %YMM0,(%RDX,%RSI,8){%K1} |
(938) 0x458a08 LEA (%RDI,%R11,1),%RCX |
(938) 0x458a0c VMOVUPD (%R14,%RCX,8),%YMM6{%K1}{z} |
(938) 0x458a13 VMOVAPD %YMM6,%YMM11{%K1} |
(938) 0x458a19 VBROADCASTSD %XMM5,%YMM5 |
(938) 0x458a1e VMOVAPD %YMM0,%YMM10{%K1} |
(938) 0x458a24 VFMADD213PD %YMM10,%YMM11,%YMM5 |
(938) 0x458a29 VMOVUPD %YMM5,(%RDX,%RSI,8){%K1} |
(938) 0x458a30 MOV 0xc8(%RSP),%RCX |
(938) 0x458a38 LEA (%RDI,%RCX,1),%RCX |
(938) 0x458a3c VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(938) 0x458a43 VMOVAPD %YMM0,%YMM9{%K1} |
(938) 0x458a49 VBROADCASTSD %XMM4,%YMM0 |
(938) 0x458a4e VMOVAPD %YMM5,%YMM8{%K1} |
(938) 0x458a54 VFMADD213PD %YMM8,%YMM9,%YMM0 |
(938) 0x458a59 VMOVUPD %YMM0,(%RDX,%RSI,8){%K1} |
(938) 0x458a60 MOV 0xc0(%RSP),%RCX |
(938) 0x458a68 LEA (%RDI,%RCX,1),%RCX |
(938) 0x458a6c VMOVUPD (%R14,%RCX,8),%YMM4{%K1}{z} |
(938) 0x458a73 VMOVAPD %YMM4,%YMM26{%K1} |
(938) 0x458a79 VBROADCASTSD %XMM3,%YMM3 |
(938) 0x458a7e VMOVUPD 0x1a0(%RSP),%YMM4 |
(938) 0x458a87 VMOVAPD %YMM0,%YMM4{%K1} |
(938) 0x458a8d VMOVUPD %YMM4,0x1a0(%RSP) |
(938) 0x458a96 VFMADD213PD %YMM4,%YMM26,%YMM3 |
(938) 0x458a9c VMOVUPD %YMM3,(%RDX,%RSI,8){%K1} |
(938) 0x458aa3 MOV 0xb8(%RSP),%RCX |
(938) 0x458aab LEA (%RDI,%RCX,1),%RCX |
(938) 0x458aaf VMOVUPD (%R14,%RCX,8),%YMM0{%K1}{z} |
(938) 0x458ab6 VMOVUPD 0x1c0(%RSP),%YMM4 |
(938) 0x458abf VMOVAPD %YMM0,%YMM4{%K1} |
(938) 0x458ac5 VBROADCASTSD %XMM2,%YMM0 |
(938) 0x458aca VMOVUPD 0x1e0(%RSP),%YMM2 |
(938) 0x458ad3 VMOVAPD %YMM3,%YMM2{%K1} |
(938) 0x458ad9 VMOVUPD %YMM2,0x1e0(%RSP) |
(938) 0x458ae2 VMOVUPD %YMM4,0x1c0(%RSP) |
(938) 0x458aeb VFMADD213PD %YMM2,%YMM4,%YMM0 |
(938) 0x458af0 VMOVUPD %YMM0,(%RDX,%RSI,8){%K1} |
(938) 0x458af7 ADD 0xd8(%RSP),%RDI |
(938) 0x458aff VMOVUPD (%R14,%RDI,8),%YMM2{%K1}{z} |
(938) 0x458b06 VMOVUPD 0x200(%RSP),%YMM3 |
(938) 0x458b0f VMOVAPD %YMM2,%YMM3{%K1} |
(938) 0x458b15 VBROADCASTSD %XMM1,%YMM1 |
(938) 0x458b1a VMOVUPD 0x220(%RSP),%YMM2 |
(938) 0x458b23 VMOVAPD %YMM0,%YMM2{%K1} |
(938) 0x458b29 VMOVUPD %YMM2,0x220(%RSP) |
(938) 0x458b32 VMOVUPD %YMM3,0x200(%RSP) |
(938) 0x458b3b VFMADD213PD %YMM2,%YMM3,%YMM1 |
(938) 0x458b40 VMOVUPD %YMM1,(%RDX,%RSI,8){%K1} |
(938) 0x458b47 MOV %RBX,%RDX |
(938) 0x458b4a MOV %R10,%RBX |
(938) 0x458b4d MOV %R12,%R10 |
(938) 0x458b50 MOV 0x70(%RSP),%R12 |
(938) 0x458b55 JMP 458780 |
0x458b5a NOPW (%RAX,%RAX,1) |
0x458b60 LEA 0xd4769(%RIP),%RDI |
0x458b67 MOV 0x80(%RSP),%ESI |
0x458b6e LEA -0x28(%RBP),%RSP |
0x458b72 POP %RBX |
0x458b73 POP %R12 |
0x458b75 POP %R13 |
0x458b77 POP %R14 |
0x458b79 POP %R15 |
0x458b7b POP %RBP |
0x458b7c VZEROUPPER |
0x458b7f JMP 403050 |
0x458b84 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 LPlusTimesSdom::operator([...] | internal.hpp:345 | exec |
○ | Kripke::Kernel::LPlusTimes(Kri[...] | ArchLayout.h:179 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:71 | 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 | 174 |
nb uops | 178 |
loop length | 970 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 44.50 cycles |
front end | 44.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 14.75 | 14.75 | 29.17 | 28.83 | 54.00 | 14.75 | 14.75 | 29.00 |
cycles | 14.75 | 21.75 | 29.17 | 28.83 | 54.00 | 14.75 | 14.75 | 29.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 53.13 |
Stall cycles | 9.19 |
SB full (events) | 16.45 |
Front-end | 44.50 |
Dispatch | 54.00 |
Overall L1 | 54.00 |
all | 3% |
load | 50% |
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 | 12% |
load | 31% |
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 | 14% |
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 $0x260,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOVL $0,0x84(%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),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x40(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x18(%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 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,0xa0(%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,0x98(%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,0x58(%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,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xc0(%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 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x110(%R8),%R15 | 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,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x158(%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOVQ $0x1,0x198(%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 0x1a0(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd50bd(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x8c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xf8(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xf0(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x88(%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 0xf0(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xe8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RCX,0x90(%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 458b60 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa60> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0x38(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB 0x40(%RSP),%RCX | 1 | 0.25 | 0.25 | 0.50 | 0.50 | 0 | 0.25 | 0.25 | 0 | 1 | 0.50 |
MOV %RCX,0x30(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 458b60 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa60> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x90(%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 |
NOT %RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
ADD %RAX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R15,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x40(%RSP),%R9 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
IMUL %R9,%R11 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R15,%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 %R15,%RAX,%RDX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x38(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RDX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RCX,0x120(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RSI,%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 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
TEST %R15,%R15 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%ECX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %R15,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RAX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RCX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RSI,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RCX,0x118(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %RAX,%RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RSI,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x98(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xa0(%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB %RDX,%R8 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x30(%RSP),%RSI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RSI,%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,0x190(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (,%R15,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %R15,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %R8,%YMM27 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
MOV %RSI,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%RBX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R11,0x130(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RDX,%R11,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%RAX,8),%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 |
MOV %R15,%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,0xb0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RBX,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R9,%RBX,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %R15,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RDX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (%R14,%RAX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VMOVDQU64 0x87dc6(%RIP),%YMM25 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 5 | 0.50 |
MOV %RCX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RCX),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xa8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,2),%R11 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R15,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xc0(%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,0xb8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RSI),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,0x28(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R15,0x78(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R13,0x180(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R8,0x178(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,0x170(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R11,0x68(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 45843c <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x33c> | 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 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
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 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xd4769(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x80(%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 | 174 |
nb uops | 178 |
loop length | 970 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 2 |
used zmm registers | 0 |
nb stack references | 47 |
micro-operation queue | 44.50 cycles |
front end | 44.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | |
---|---|---|---|---|---|---|---|---|
uops | 14.75 | 14.75 | 29.17 | 28.83 | 54.00 | 14.75 | 14.75 | 29.00 |
cycles | 14.75 | 21.75 | 29.17 | 28.83 | 54.00 | 14.75 | 14.75 | 29.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 53.13 |
Stall cycles | 9.19 |
SB full (events) | 16.45 |
Front-end | 44.50 |
Dispatch | 54.00 |
Overall L1 | 54.00 |
all | 3% |
load | 50% |
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 | 12% |
load | 31% |
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 | 14% |
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 $0x260,%RSP | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,%R12 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOVL $0,0x84(%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),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,0x40(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x18(%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 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,0xa0(%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,0x98(%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,0x58(%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,0xe8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0xc0(%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 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0x110(%R8),%R15 | 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,0x140(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x158(%R8),%R14 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOVQ $0,0xf0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 2 | 1 |
MOVQ $0x1,0x198(%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 0x1a0(%RSP),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xd50bd(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0x8c(%RSP),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xf8(%RSP),%R8 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA 0xf0(%RSP),%R9 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %ESI,0x88(%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 0xf0(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xe8(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RCX,0x90(%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 458b60 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa60> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV 0x38(%RSP),%RCX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB 0x40(%RSP),%RCX | 1 | 0.25 | 0.25 | 0.50 | 0.50 | 0 | 0.25 | 0.25 | 0 | 1 | 0.50 |
MOV %RCX,0x30(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JLE 458b60 <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0xa60> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50-1 |
MOV %R15,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x90(%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 |
NOT %RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
ADD %RAX,%RDX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RDX,0x138(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R15,%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV 0x40(%RSP),%R9 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
IMUL %R9,%R11 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R15,%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 %R15,%RAX,%RDX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOT %RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x38(%RSP),%RAX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RAX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RDX,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RCX,0x120(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RSI,%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 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
TEST %R15,%R15 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV $0,%ECX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
CMOVS %R15,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 1 | 0.50 |
MOV %RAX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
IMUL %RCX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,0x110(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
IMUL %RSI,%RCX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RCX,0x118(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
ADD %RAX,%RSI | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RSI,0x108(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV 0x98(%RSP),%R8 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV 0xa0(%RSP),%RDX | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
SUB %RDX,%R8 | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV 0x30(%RSP),%RSI | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 4-5 | 0.50 |
MOV %RSI,%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,0x190(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R8,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x4,%RCX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (,%R15,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0x18(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
SUB %R15,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %RAX,0xd8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VPBROADCASTQ %R8,%YMM27 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
MOV %RSI,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
AND $-0x8,%RBX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
MOV %R11,0x130(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%RDX,%R11,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%RAX,8),%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 |
MOV %R15,%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,0xb0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RBX,0x100(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R9,%RBX,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %R15,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RDX,%RAX | 1 | 0.25 | 0.25 | 0 | 0 | 0 | 0.25 | 0.25 | 0 | 1 | 0.25 |
LEA (%R14,%RAX,8),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xf8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
VMOVDQU64 0x87dc6(%RIP),%YMM25 | 1 | 0 | 0 | 0.50 | 0.50 | 0 | 0 | 0 | 0 | 5 | 0.50 |
MOV %RCX,0x20(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RCX),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xa8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,1),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,0xd0(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,2),%R11 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R15,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xc8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA (%R15,%R15,4),%RCX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,0xc0(%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,0xb8(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
LEA -0x1(%RSI),%RAX | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R12,0x28(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R15,0x78(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,%R10 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
MOV %R13,0x180(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R8,0x178(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %RAX,0x170(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
MOV %R11,0x68(%RSP) | 1 | 0 | 0 | 0.33 | 0.33 | 1 | 0 | 0 | 0.33 | 3 | 1 |
JMP 45843c <_ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted+0x33c> | 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 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
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 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.25 |
LEA 0xd4769(%RIP),%RDI | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x80(%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 LPlusTimesSdom::operator() | 7.29 | 3.02 |
▼Loop 933 - forall.hpp:59-59 - exec– | 0 | 0 |
▼Loop 938 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 939 - forall.hpp:59-59 - exec | 6.85 | 2.84 |
▼Loop 934 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 935 - forall.hpp:59-59 - exec | 0 | 0 |
▼Loop 936 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 937 - forall.hpp:59-59 - exec | 0.45 | 0.18 |