Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.18% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.18% |
---|
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/src/Kripke/Kernel/LTimes.cpp: 62 - 62 |
-------------------------------------------------------------------------------- |
62: phi(nm,g,z) += ell(nm, d) * psi(d, g, z); |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-319-6990/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
0x4aaf0 PUSH %RBP |
0x4aaf1 MOV %RSP,%RBP |
0x4aaf4 PUSH %R15 |
0x4aaf6 PUSH %R14 |
0x4aaf8 PUSH %R13 |
0x4aafa PUSH %R12 |
0x4aafc PUSH %RBX |
0x4aafd SUB $0x2a8,%RSP |
0x4ab04 MOV %RDX,-0x210(%RBP) |
0x4ab0b MOVL $0,-0x88(%RBP) |
0x4ab15 MOV (%R8),%RAX |
0x4ab18 MOV %RAX,-0x208(%RBP) |
0x4ab1f MOV 0x10(%R8),%RAX |
0x4ab23 MOV %RAX,-0x58(%RBP) |
0x4ab27 MOV 0x18(%R8),%R14 |
0x4ab2b MOV 0x20(%R8),%RAX |
0x4ab2f MOV %RAX,-0x200(%RBP) |
0x4ab36 MOV 0x30(%R8),%RAX |
0x4ab3a MOV %RAX,-0x50(%RBP) |
0x4ab3e MOV 0x38(%R8),%RAX |
0x4ab42 MOV %RAX,-0xc8(%RBP) |
0x4ab49 MOV 0x60(%R8),%RAX |
0x4ab4d MOV %RAX,-0xc0(%RBP) |
0x4ab54 MOV 0x68(%R8),%RAX |
0x4ab58 MOV %RAX,-0xb8(%RBP) |
0x4ab5f MOV 0xa8(%R8),%RAX |
0x4ab66 MOV %RAX,-0xb0(%RBP) |
0x4ab6d MOV (%RDI),%ESI |
0x4ab6f MOV %R9,-0x170(%RBP) |
0x4ab76 MOV 0xc8(%R8),%RBX |
0x4ab7d MOV 0xf0(%R8),%R13 |
0x4ab84 MOV 0x110(%R8),%R15 |
0x4ab8b MOV 0x118(%R8),%RAX |
0x4ab92 MOV %RAX,-0xa8(%RBP) |
0x4ab99 MOV 0x158(%R8),%R12 |
0x4aba0 MOVQ $0,-0x178(%RBP) |
0x4abab MOVQ $0x1,-0x2c0(%RBP) |
0x4abb6 SUB $0x8,%RSP |
0x4abba LEA -0x2c0(%RBP),%RAX |
0x4abc1 LEA 0x2899c8(%RIP),%RDI |
0x4abc8 LEA -0x88(%RBP),%RCX |
0x4abcf LEA -0x178(%RBP),%R8 |
0x4abd6 LEA -0x170(%RBP),%R9 |
0x4abdd MOV %ESI,-0x84(%RBP) |
0x4abe3 MOV $0x22,%EDX |
0x4abe8 PUSH $0x1 |
0x4abea PUSH $0x1 |
0x4abec PUSH %RAX |
0x4abed CALL 9930 <__kmpc_for_static_init_8@plt> |
0x4abf2 ADD $0x20,%RSP |
0x4abf6 MOV -0x178(%RBP),%RCX |
0x4abfd MOV -0x170(%RBP),%RAX |
0x4ac04 MOV %RCX,-0xa0(%RBP) |
0x4ac0b CMP %RAX,%RCX |
0x4ac0e JA 4b672 |
0x4ac14 CMP -0x58(%RBP),%R14 |
0x4ac18 JLE 4b672 |
0x4ac1e MOV %R15,%RSI |
0x4ac21 MOV %RBX,%RDX |
0x4ac24 MOV -0xa0(%RBP),%RDI |
0x4ac2b LEA 0x1(%RDI),%RCX |
0x4ac2f INC %RAX |
0x4ac32 CMP %RAX,%RCX |
0x4ac35 CMOVG %RCX,%RAX |
0x4ac39 NOT %RDI |
0x4ac3c ADD %RAX,%RDI |
0x4ac3f MOV %RDI,-0x1f8(%RBP) |
0x4ac46 MOV -0x58(%RBP),%RCX |
0x4ac4a MOV %RCX,%RDI |
0x4ac4d IMUL %R15,%RDI |
0x4ac51 MOV %R15,%RAX |
0x4ac54 SAR $0x3f,%RAX |
0x4ac58 ANDN %R15,%RAX,%RAX |
0x4ac5d MOV %R14,%R8 |
0x4ac60 MOV %RAX,-0x1e8(%RBP) |
0x4ac67 IMUL %RAX,%R8 |
0x4ac6b MOV %R8,-0x1e0(%RBP) |
0x4ac72 XOR %R8D,%R8D |
0x4ac75 TEST %R15,%R15 |
0x4ac78 MOV $0,%EAX |
0x4ac7d CMOVS %R15,%RAX |
0x4ac81 MOV %R14,%R9 |
0x4ac84 MOV %RAX,-0x1d8(%RBP) |
0x4ac8b IMUL %RAX,%R9 |
0x4ac8f MOV %R9,-0x1d0(%RBP) |
0x4ac96 MOV %RCX,%RAX |
0x4ac99 IMUL %RBX,%RAX |
0x4ac9d MOV %RAX,-0x1c8(%RBP) |
0x4aca4 MOV %RBX,%RAX |
0x4aca7 SAR $0x3f,%RAX |
0x4acab ANDN %RBX,%RAX,%RAX |
0x4acb0 MOV %R14,%R9 |
0x4acb3 MOV %RAX,-0x1c0(%RBP) |
0x4acba IMUL %RAX,%R9 |
0x4acbe MOV %R9,-0x1b8(%RBP) |
0x4acc5 TEST %RBX,%RBX |
0x4acc8 MOV $0,%EAX |
0x4accd CMOVS %RBX,%RAX |
0x4acd1 MOV %R14,%R9 |
0x4acd4 MOV %RAX,-0x1b0(%RBP) |
0x4acdb IMUL %RAX,%R9 |
0x4acdf MOV %R9,-0x1a8(%RBP) |
0x4ace6 NOT %RCX |
0x4ace9 MOV %RCX,-0x1a0(%RBP) |
0x4acf0 ADD %RCX,%R14 |
0x4acf3 MOV %R14,%RAX |
0x4acf6 SHR $0x6,%RAX |
0x4acfa MOV %RAX,-0x230(%RBP) |
0x4ad01 MOV -0xc8(%RBP),%RAX |
0x4ad08 MOV -0x50(%RBP),%RCX |
0x4ad0c SUB %RCX,%RAX |
0x4ad0f MOV %RAX,-0x60(%RBP) |
0x4ad13 DEC %RAX |
0x4ad16 MOV %RAX,-0xe8(%RBP) |
0x4ad1d SHR $0x6,%RAX |
0x4ad21 MOV %RAX,-0x248(%RBP) |
0x4ad28 MOV %RBX,%RAX |
0x4ad2b SAL $0x6,%RAX |
0x4ad2f MOV %RAX,-0xe0(%RBP) |
0x4ad36 LEA (,%RBX,8),%RAX |
0x4ad3e MOV %RAX,-0x298(%RBP) |
0x4ad45 SUB %RBX,%RAX |
0x4ad48 MOV %RAX,-0x290(%RBP) |
0x4ad4f MOV %R15,%RAX |
0x4ad52 SAL $0x6,%RAX |
0x4ad56 MOV %RAX,-0x130(%RBP) |
0x4ad5d LEA (,%R15,8),%RAX |
0x4ad65 MOV %RAX,-0x38(%RBP) |
0x4ad69 SUB %R15,%RAX |
0x4ad6c MOV %RAX,-0x118(%RBP) |
0x4ad73 LEA (,%RCX,8),%RAX |
0x4ad7b LEA (%RAX,%RDI,8),%RAX |
0x4ad7f ADD %R12,%RAX |
0x4ad82 MOV %RAX,-0x98(%RBP) |
0x4ad89 MOV %R15,%RAX |
0x4ad8c SAL $0x9,%RAX |
0x4ad90 MOV %RAX,-0x228(%RBP) |
0x4ad97 LEA (%RBX,%RBX,1),%RAX |
0x4ad9b LEA (%RBX,%RBX,2),%R9 |
0x4ad9f MOV %R9,-0x280(%RBP) |
0x4ada6 LEA (,%RBX,4),%R9 |
0x4adae MOV %R9,-0x278(%RBP) |
0x4adb5 LEA (%RBX,%RBX,4),%R9 |
0x4adb9 MOV %R9,-0x270(%RBP) |
0x4adc0 MOV %RAX,-0x288(%RBP) |
0x4adc7 LEA (%RAX,%RAX,2),%RAX |
0x4adcb MOV %RAX,-0x268(%RBP) |
0x4add2 LEA (%R15,%R15,1),%R9 |
0x4add6 LEA (%R15,%R15,2),%R11 |
0x4adda LEA (,%R15,4),%RAX |
0x4ade2 MOV %RAX,-0x168(%RBP) |
0x4ade9 LEA (%R15,%R15,4),%RAX |
0x4aded MOV %RAX,-0x160(%RBP) |
0x4adf4 LEA (%R9,%R9,2),%RAX |
0x4adf8 MOV %RAX,-0x158(%RBP) |
0x4adff MOV -0xa8(%RBP),%RAX |
0x4ae06 LEA (,%RAX,8),%RAX |
0x4ae0e MOV %RAX,-0x90(%RBP) |
0x4ae15 MOV -0xb0(%RBP),%RAX |
0x4ae1c LEA (%RAX,%RCX,8),%RAX |
0x4ae20 MOV %RAX,-0x190(%RBP) |
0x4ae27 MOV -0xb8(%RBP),%RAX |
0x4ae2e LEA (,%RAX,8),%RAX |
0x4ae36 MOV %RAX,-0x188(%RBP) |
0x4ae3d MOV -0xc0(%RBP),%RAX |
0x4ae44 LEA (,%RAX,8),%RAX |
0x4ae4c MOV %RAX,-0x180(%RBP) |
0x4ae53 MOV %RDI,-0x1f0(%RBP) |
0x4ae5a LEA (%RCX,%RDI,1),%RAX |
0x4ae5e MOV %RAX,-0x198(%RBP) |
0x4ae65 MOV %RBX,-0x40(%RBP) |
0x4ae69 MOV %R15,-0x120(%RBP) |
0x4ae70 MOV %R14,-0x238(%RBP) |
0x4ae77 MOV %R13,-0x2a0(%RBP) |
0x4ae7e MOV %R9,-0x110(%RBP) |
0x4ae85 MOV %R11,-0x78(%RBP) |
0x4ae89 JMP 4aea8 |
0x4ae8b NOPL (%RAX,%RAX,1) |
(843) 0x4ae90 MOV -0x218(%RBP),%R8 |
(843) 0x4ae97 CMP -0x1f8(%RBP),%R8 |
(843) 0x4ae9e LEA 0x1(%R8),%R8 |
(843) 0x4aea2 JE 4b672 |
(843) 0x4aea8 MOV -0xa0(%RBP),%RAX |
(843) 0x4aeaf ADD %R8,%RAX |
(843) 0x4aeb2 MOV %RAX,%RCX |
(843) 0x4aeb5 MOV -0x210(%RBP),%RSI |
(843) 0x4aebc OR %RSI,%RCX |
(843) 0x4aebf SHR $0x20,%RCX |
(843) 0x4aec3 MOV %R8,-0x218(%RBP) |
(843) 0x4aeca JE 4aee0 |
(843) 0x4aecc CQTO |
(843) 0x4aece IDIV %RSI |
(843) 0x4aed1 MOV %RAX,%RBX |
(843) 0x4aed4 JMP 4aee6 |
0x4aed6 NOPW %CS:(%RAX,%RAX,1) |
(843) 0x4aee0 XOR %EDX,%EDX |
(843) 0x4aee2 DIV %ESI |
(843) 0x4aee4 MOV %EAX,%EBX |
(843) 0x4aee6 ADD -0x208(%RBP),%RBX |
(843) 0x4aeed ADD -0x200(%RBP),%RDX |
(843) 0x4aef4 MOV -0xa8(%RBP),%R15 |
(843) 0x4aefb IMUL %RDX,%R15 |
(843) 0x4aeff MOV -0xc8(%RBP),%R9 |
(843) 0x4af06 MOV -0x1f0(%RBP),%RAX |
(843) 0x4af0d ADD %R9,%RAX |
(843) 0x4af10 MOV -0x1e8(%RBP),%RCX |
(843) 0x4af17 MOV -0x1a0(%RBP),%R8 |
(843) 0x4af1e IMUL %R8,%RCX |
(843) 0x4af22 ADD %RAX,%RCX |
(843) 0x4af25 ADD -0x1e0(%RBP),%RCX |
(843) 0x4af2c ADD %R15,%RCX |
(843) 0x4af2f LEA (%R12,%RCX,8),%RCX |
(843) 0x4af33 ADD $-0x8,%RCX |
(843) 0x4af37 MOV -0xb8(%RBP),%RSI |
(843) 0x4af3e MOV %RDX,-0x30(%RBP) |
(843) 0x4af42 IMUL %RDX,%RSI |
(843) 0x4af46 MOV -0x50(%RBP),%RAX |
(843) 0x4af4a ADD %RSI,%RAX |
(843) 0x4af4d MOV -0xc0(%RBP),%RDI |
(843) 0x4af54 IMUL %RBX,%RDI |
(843) 0x4af58 ADD %RDI,%RAX |
(843) 0x4af5b MOV -0xb0(%RBP),%R10 |
(843) 0x4af62 LEA (%R10,%RAX,8),%RAX |
(843) 0x4af66 CMP %RAX,%RCX |
(843) 0x4af69 SETAE %CL |
(843) 0x4af6c ADD %R9,%RSI |
(843) 0x4af6f ADD %RDI,%RSI |
(843) 0x4af72 LEA (%R10,%RSI,8),%RDI |
(843) 0x4af76 ADD $-0x8,%RDI |
(843) 0x4af7a MOV -0x198(%RBP),%RSI |
(843) 0x4af81 LEA (%RSI,%R15,1),%RDX |
(843) 0x4af85 MOV -0x1d8(%RBP),%RSI |
(843) 0x4af8c IMUL %R8,%RSI |
(843) 0x4af90 ADD -0x1d0(%RBP),%RSI |
(843) 0x4af97 MOV %RDX,-0x70(%RBP) |
(843) 0x4af9b ADD %RDX,%RSI |
(843) 0x4af9e LEA (%R12,%RSI,8),%RSI |
(843) 0x4afa2 CMP %RSI,%RDI |
(843) 0x4afa5 SETAE %R9B |
(843) 0x4afa9 MOV -0x1c8(%RBP),%RSI |
(843) 0x4afb0 MOV %RBX,%RDX |
(843) 0x4afb3 LEA (%RBX,%RSI,1),%R10 |
(843) 0x4afb7 MOV -0x1c0(%RBP),%RSI |
(843) 0x4afbe IMUL %R8,%RSI |
(843) 0x4afc2 ADD -0x1b8(%RBP),%RSI |
(843) 0x4afc9 ADD %R10,%RSI |
(843) 0x4afcc LEA (,%RSI,8),%RSI |
(843) 0x4afd4 ADD %R13,%RSI |
(843) 0x4afd7 CMP %RAX,%RSI |
(843) 0x4afda SETB %SIL |
(843) 0x4afde MOV -0x1b0(%RBP),%RBX |
(843) 0x4afe5 IMUL %R8,%RBX |
(843) 0x4afe9 ADD -0x1a8(%RBP),%RBX |
(843) 0x4aff0 MOV %R10,-0x80(%RBP) |
(843) 0x4aff4 ADD %R10,%RBX |
(843) 0x4aff7 LEA (,%RBX,8),%RBX |
(843) 0x4afff ADD %R13,%RBX |
(843) 0x4b002 CMP %RBX,%RDI |
(843) 0x4b005 SETB %DIL |
(843) 0x4b009 TEST %R9B,%CL |
(843) 0x4b00c JNE 4b600 |
(843) 0x4b012 OR %DIL,%SIL |
(843) 0x4b015 JE 4b600 |
(843) 0x4b01b MOV -0x188(%RBP),%RAX |
(843) 0x4b022 MOV -0x30(%RBP),%RCX |
(843) 0x4b026 IMUL %RCX,%RAX |
(843) 0x4b02a ADD -0x190(%RBP),%RAX |
(843) 0x4b031 IMUL -0x180(%RBP),%RDX |
(843) 0x4b039 ADD %RAX,%RDX |
(843) 0x4b03c MOV %RDX,-0x220(%RBP) |
(843) 0x4b043 IMUL -0x90(%RBP),%RCX |
(843) 0x4b04b ADD -0x98(%RBP),%RCX |
(843) 0x4b052 MOV %RCX,-0x30(%RBP) |
(843) 0x4b056 MOV -0x70(%RBP),%RAX |
(843) 0x4b05a LEA (%R12,%RAX,8),%RAX |
(843) 0x4b05e MOV %RAX,-0xd8(%RBP) |
(843) 0x4b065 ADD -0x50(%RBP),%R15 |
(843) 0x4b069 LEA (%R12,%R15,8),%RAX |
(843) 0x4b06d MOV %RAX,-0xd0(%RBP) |
(843) 0x4b074 MOV %R14,%RAX |
(843) 0x4b077 XOR %EDX,%EDX |
(843) 0x4b079 MOV -0x60(%RBP),%RCX |
(843) 0x4b07d JMP 4b0c8 |
0x4b07f NOP |
(846) 0x4b080 MOV -0x228(%RBP),%RAX |
(846) 0x4b087 ADD %RAX,-0x30(%RBP) |
(846) 0x4b08b ADD %RAX,-0xd8(%RBP) |
(846) 0x4b092 ADD %RAX,-0xd0(%RBP) |
(846) 0x4b099 MOV -0x240(%RBP),%RAX |
(846) 0x4b0a0 ADD $-0x40,%RAX |
(846) 0x4b0a4 MOV -0x68(%RBP),%RDX |
(846) 0x4b0a8 CMP -0x230(%RBP),%RDX |
(846) 0x4b0af LEA 0x1(%RDX),%RDX |
(846) 0x4b0b3 MOV -0x238(%RBP),%R14 |
(846) 0x4b0ba MOV -0x60(%RBP),%RCX |
(846) 0x4b0be MOV -0x78(%RBP),%R11 |
(846) 0x4b0c2 JE 4ae90 |
(846) 0x4b0c8 CMP $0x3f,%RAX |
(846) 0x4b0cc MOV $0x3f,%R10D |
(846) 0x4b0d2 MOV %RAX,-0x240(%RBP) |
(846) 0x4b0d9 CMOVL %RAX,%R10 |
(846) 0x4b0dd MOV %RDX,-0x68(%RBP) |
(846) 0x4b0e1 MOV %RDX,%RAX |
(846) 0x4b0e4 SAL $0x6,%RAX |
(846) 0x4b0e8 SUB %RAX,%R14 |
(846) 0x4b0eb CMP $0x40,%R14 |
(846) 0x4b0ef MOV $0x3f,%EAX |
(846) 0x4b0f4 CMOVGE %RAX,%R14 |
(846) 0x4b0f8 MOV %R14,-0x128(%RBP) |
(846) 0x4b0ff TEST %RCX,%RCX |
(846) 0x4b102 JLE 4b080 |
(846) 0x4b108 INC %R10 |
(846) 0x4b10b AND $-0x8,%R10 |
(846) 0x4b10f ADD -0x58(%RBP),%R10 |
(846) 0x4b113 IMUL -0x38(%RBP),%R10 |
(846) 0x4b118 ADD -0xd0(%RBP),%R10 |
(846) 0x4b11f MOV -0x128(%RBP),%RCX |
(846) 0x4b126 INC %RCX |
(846) 0x4b129 MOV %RCX,-0x100(%RBP) |
(846) 0x4b130 SHR $0x3,%RCX |
(846) 0x4b134 DEC %RCX |
(846) 0x4b137 MOV %RCX,-0x2a8(%RBP) |
(846) 0x4b13e MOV -0xd8(%RBP),%RCX |
(846) 0x4b145 MOV %RCX,-0xf8(%RBP) |
(846) 0x4b14c MOV -0xe8(%RBP),%RCX |
(846) 0x4b153 MOV -0x30(%RBP),%RDX |
(846) 0x4b157 MOV %RDX,-0xf0(%RBP) |
(846) 0x4b15e MOV -0x220(%RBP),%RDX |
(846) 0x4b165 XOR %EDI,%EDI |
(846) 0x4b167 JMP 4b1b7 |
0x4b169 NOPL (%RAX) |
(848) 0x4b170 ADD $0x200,%RDX |
(848) 0x4b177 ADDQ $0x200,-0xf0(%RBP) |
(848) 0x4b182 MOV -0x258(%RBP),%RCX |
(848) 0x4b189 ADD $-0x40,%RCX |
(848) 0x4b18d ADDQ $0x200,-0xf8(%RBP) |
(848) 0x4b198 ADD $0x200,%R10 |
(848) 0x4b19f MOV -0x250(%RBP),%RDI |
(848) 0x4b1a6 CMP -0x248(%RBP),%RDI |
(848) 0x4b1ad LEA 0x1(%RDI),%RDI |
(848) 0x4b1b1 JE 4b080 |
(848) 0x4b1b7 MOV %R10,-0x260(%RBP) |
(848) 0x4b1be CMP $0x3f,%RCX |
(848) 0x4b1c2 MOV $0x3f,%ESI |
(848) 0x4b1c7 MOV %RCX,-0x258(%RBP) |
(848) 0x4b1ce CMOVL %RCX,%RSI |
(848) 0x4b1d2 INC %RSI |
(848) 0x4b1d5 MOV %RSI,-0x48(%RBP) |
(848) 0x4b1d9 MOV %RDI,-0x250(%RBP) |
(848) 0x4b1e0 MOV %RDI,%RCX |
(848) 0x4b1e3 SAL $0x6,%RCX |
(848) 0x4b1e7 MOV -0xe8(%RBP),%RDI |
(848) 0x4b1ee SUB %RCX,%RDI |
(848) 0x4b1f1 CMP $0x40,%RDI |
(848) 0x4b1f5 MOV $0x3f,%ESI |
(848) 0x4b1fa CMOVGE %RSI,%RDI |
(848) 0x4b1fe MOV %RDI,-0x108(%RBP) |
(848) 0x4b205 CMPQ $0x8,-0x100(%RBP) |
(848) 0x4b20d JAE 4b2f0 |
(848) 0x4b213 MOV -0x100(%RBP),%RCX |
(848) 0x4b21a MOV %RCX,%RDI |
(848) 0x4b21d AND $-0x8,%RDI |
(848) 0x4b221 CMP %RCX,%RDI |
(848) 0x4b224 MOV -0x260(%RBP),%R10 |
(848) 0x4b22b MOV -0x40(%RBP),%RSI |
(848) 0x4b22f MOV -0x108(%RBP),%R8 |
(848) 0x4b236 JE 4b170 |
(848) 0x4b23c INC %R8 |
(848) 0x4b23f MOV -0xe0(%RBP),%RBX |
(848) 0x4b246 IMUL -0x68(%RBP),%RBX |
(848) 0x4b24b MOV %R10,%R14 |
(848) 0x4b24e JMP 4b265 |
(850) 0x4b250 ADD -0x38(%RBP),%R14 |
(850) 0x4b254 CMP -0x128(%RBP),%RDI |
(850) 0x4b25b LEA 0x1(%RDI),%RDI |
(850) 0x4b25f JE 4b170 |
(850) 0x4b265 MOV %RSI,%RCX |
(850) 0x4b268 IMUL %RDI,%RCX |
(850) 0x4b26c ADD %RBX,%RCX |
(850) 0x4b26f ADD -0x80(%RBP),%RCX |
(850) 0x4b273 VMOVSD (%R13,%RCX,8),%XMM0 |
(850) 0x4b27a MOV %R8,%R9 |
(850) 0x4b27d AND $-0x4,%R9 |
(850) 0x4b281 JE 4b2c0 |
(850) 0x4b283 LEA -0x1(%R9),%RCX |
(850) 0x4b287 VBROADCASTSD %XMM0,%YMM1 |
(850) 0x4b28c XOR %ESI,%ESI |
(850) 0x4b28e XCHG %AX,%AX |
(851) 0x4b290 VMOVUPD (%R14,%RSI,8),%YMM2 |
(851) 0x4b296 VFMADD213PD (%RDX,%RSI,8),%YMM1,%YMM2 |
(851) 0x4b29c VMOVUPD %YMM2,(%RDX,%RSI,8) |
(851) 0x4b2a1 ADD $0x4,%RSI |
(851) 0x4b2a5 CMP %RCX,%RSI |
(851) 0x4b2a8 JLE 4b290 |
(850) 0x4b2aa CMP %R9,%R8 |
(850) 0x4b2ad MOV -0x40(%RBP),%RSI |
(850) 0x4b2b1 MOV -0x48(%RBP),%RCX |
(850) 0x4b2b5 JNE 4b2d0 |
(850) 0x4b2b7 JMP 4b250 |
0x4b2b9 NOPL (%RAX) |
(850) 0x4b2c0 XOR %R9D,%R9D |
(850) 0x4b2c3 MOV -0x48(%RBP),%RCX |
(850) 0x4b2c7 NOPW (%RAX,%RAX,1) |
(849) 0x4b2d0 VMOVSD (%R14,%R9,8),%XMM1 |
(849) 0x4b2d6 VFMADD213SD (%RDX,%R9,8),%XMM0,%XMM1 |
(849) 0x4b2dc VMOVSD %XMM1,(%RDX,%R9,8) |
(849) 0x4b2e2 INC %R9 |
(849) 0x4b2e5 CMP %R9,%RCX |
(849) 0x4b2e8 JNE 4b2d0 |
(850) 0x4b2ea JMP 4b250 |
0x4b2ef NOP |
(848) 0x4b2f0 MOV -0x108(%RBP),%RSI |
(848) 0x4b2f7 INC %RSI |
(848) 0x4b2fa MOV %RSI,-0x138(%RBP) |
(848) 0x4b301 MOV -0xe0(%RBP),%RDI |
(848) 0x4b308 MOV -0x68(%RBP),%RSI |
(848) 0x4b30c IMUL %RSI,%RDI |
(848) 0x4b310 MOV %RDI,-0x2b0(%RBP) |
(848) 0x4b317 MOV -0x130(%RBP),%R9 |
(848) 0x4b31e IMUL %RSI,%R9 |
(848) 0x4b322 ADD %RCX,%R9 |
(848) 0x4b325 MOV -0xf8(%RBP),%R10 |
(848) 0x4b32c MOV -0xf0(%RBP),%RSI |
(848) 0x4b333 XOR %EDI,%EDI |
(848) 0x4b335 JMP 4b373 |
0x4b337 NOPW (%RAX,%RAX,1) |
(852) 0x4b340 MOV -0x130(%RBP),%RCX |
(852) 0x4b347 MOV -0x148(%RBP),%RSI |
(852) 0x4b34e ADD %RCX,%RSI |
(852) 0x4b351 ADD %RCX,%R10 |
(852) 0x4b354 MOV -0x150(%RBP),%RDI |
(852) 0x4b35b CMP -0x2a8(%RBP),%RDI |
(852) 0x4b362 LEA 0x1(%RDI),%RDI |
(852) 0x4b366 MOV -0x2a0(%RBP),%R13 |
(852) 0x4b36d JE 4b213 |
(852) 0x4b373 MOV %RSI,-0x148(%RBP) |
(852) 0x4b37a MOV %R10,-0x140(%RBP) |
(852) 0x4b381 MOV -0x298(%RBP),%RCX |
(852) 0x4b388 IMUL %RDI,%RCX |
(852) 0x4b38c ADD -0x2b0(%RBP),%RCX |
(852) 0x4b393 ADD -0x80(%RBP),%RCX |
(852) 0x4b397 MOV -0x40(%RBP),%RSI |
(852) 0x4b39b ADD %RCX,%RSI |
(852) 0x4b39e VMOVSD (%R13,%RSI,8),%XMM9 |
(852) 0x4b3a5 MOV -0x288(%RBP),%RSI |
(852) 0x4b3ac LEA (%RCX,%RSI,1),%RSI |
(852) 0x4b3b0 VMOVSD (%R13,%RSI,8),%XMM1 |
(852) 0x4b3b7 MOV -0x280(%RBP),%RSI |
(852) 0x4b3be LEA (%RCX,%RSI,1),%RSI |
(852) 0x4b3c2 VMOVSD (%R13,%RSI,8),%XMM2 |
(852) 0x4b3c9 MOV -0x278(%RBP),%RSI |
(852) 0x4b3d0 ADD %RCX,%RSI |
(852) 0x4b3d3 VMOVSD (%R13,%RSI,8),%XMM3 |
(852) 0x4b3da MOV -0x270(%RBP),%RSI |
(852) 0x4b3e1 ADD %RCX,%RSI |
(852) 0x4b3e4 VMOVSD (%R13,%RSI,8),%XMM4 |
(852) 0x4b3eb MOV -0x268(%RBP),%RSI |
(852) 0x4b3f2 ADD %RCX,%RSI |
(852) 0x4b3f5 VMOVSD (%R13,%RSI,8),%XMM5 |
(852) 0x4b3fc VMOVSD (%R13,%RCX,8),%XMM6 |
(852) 0x4b403 ADD -0x290(%RBP),%RCX |
(852) 0x4b40a VMOVSD (%R13,%RCX,8),%XMM7 |
(852) 0x4b411 MOV -0x138(%RBP),%R14 |
(852) 0x4b418 AND $-0x4,%R14 |
(852) 0x4b41c MOV %RDI,-0x150(%RBP) |
(852) 0x4b423 JE 4b540 |
(852) 0x4b429 LEA -0x1(%R14),%RCX |
(852) 0x4b42d MOV %RCX,-0x2b8(%RBP) |
(852) 0x4b434 VBROADCASTSD %XMM6,%YMM8 |
(852) 0x4b439 VMOVUPD %XMM9,-0x2d0(%RBP) |
(852) 0x4b441 VBROADCASTSD %XMM9,%YMM9 |
(852) 0x4b446 VBROADCASTSD %XMM1,%YMM10 |
(852) 0x4b44b VBROADCASTSD %XMM2,%YMM11 |
(852) 0x4b450 VBROADCASTSD %XMM3,%YMM12 |
(852) 0x4b455 VBROADCASTSD %XMM4,%YMM13 |
(852) 0x4b45a VBROADCASTSD %XMM5,%YMM14 |
(852) 0x4b45f VBROADCASTSD %XMM7,%YMM15 |
(852) 0x4b464 MOV -0x78(%RBP),%RBX |
(852) 0x4b468 MOV -0x110(%RBP),%R15 |
(852) 0x4b46f MOV -0x118(%RBP),%R11 |
(852) 0x4b476 MOV -0x120(%RBP),%R8 |
(852) 0x4b47d MOV -0x38(%RBP),%R13 |
(852) 0x4b481 IMUL %RDI,%R13 |
(852) 0x4b485 XOR %ECX,%ECX |
(852) 0x4b487 MOV -0x70(%RBP),%RDI |
(852) 0x4b48b MOV -0x148(%RBP),%RAX |
(852) 0x4b492 NOPW %CS:(%RAX,%RAX,1) |
(853) 0x4b4a0 LEA (%RCX,%R13,1),%RSI |
(853) 0x4b4a4 ADD %R9,%RSI |
(853) 0x4b4a7 VMOVUPD (%RAX,%RCX,8),%YMM0 |
(853) 0x4b4ac VFMADD213PD (%RDX,%RCX,8),%YMM8,%YMM0 |
(853) 0x4b4b2 ADD %RDI,%RSI |
(853) 0x4b4b5 LEA (%RSI,%R8,1),%R10 |
(853) 0x4b4b9 VFMADD231PD (%R12,%R10,8),%YMM9,%YMM0 |
(853) 0x4b4bf LEA (%RSI,%R15,1),%R10 |
(853) 0x4b4c3 VFMADD231PD (%R12,%R10,8),%YMM10,%YMM0 |
(853) 0x4b4c9 LEA (%RSI,%RBX,1),%R10 |
(853) 0x4b4cd VFMADD231PD (%R12,%R10,8),%YMM11,%YMM0 |
(853) 0x4b4d3 MOV -0x168(%RBP),%R10 |
(853) 0x4b4da ADD %RSI,%R10 |
(853) 0x4b4dd VFMADD231PD (%R12,%R10,8),%YMM12,%YMM0 |
(853) 0x4b4e3 MOV -0x160(%RBP),%R10 |
(853) 0x4b4ea ADD %RSI,%R10 |
(853) 0x4b4ed VFMADD231PD (%R12,%R10,8),%YMM13,%YMM0 |
(853) 0x4b4f3 MOV -0x158(%RBP),%R10 |
(853) 0x4b4fa ADD %RSI,%R10 |
(853) 0x4b4fd VFMADD231PD (%R12,%R10,8),%YMM14,%YMM0 |
(853) 0x4b503 ADD %R11,%RSI |
(853) 0x4b506 VFMADD231PD (%R12,%RSI,8),%YMM15,%YMM0 |
(853) 0x4b50c VMOVUPD %YMM0,(%RDX,%RCX,8) |
(853) 0x4b511 ADD $0x4,%RCX |
(853) 0x4b515 CMP -0x2b8(%RBP),%RCX |
(853) 0x4b51c JLE 4b4a0 |
(852) 0x4b51e CMP %R14,-0x138(%RBP) |
(852) 0x4b525 MOV -0x48(%RBP),%RAX |
(852) 0x4b529 MOV -0x140(%RBP),%R10 |
(852) 0x4b530 VMOVUPD -0x2d0(%RBP),%XMM9 |
(852) 0x4b538 JE 4b340 |
(852) 0x4b53e JMP 4b56b |
(852) 0x4b540 XOR %R14D,%R14D |
(852) 0x4b543 MOV -0x70(%RBP),%RDI |
(852) 0x4b547 MOV -0x48(%RBP),%RAX |
(852) 0x4b54b MOV -0x110(%RBP),%R15 |
(852) 0x4b552 MOV -0x78(%RBP),%RBX |
(852) 0x4b556 MOV -0x118(%RBP),%R11 |
(852) 0x4b55d MOV -0x120(%RBP),%R8 |
(852) 0x4b564 MOV -0x140(%RBP),%R10 |
(852) 0x4b56b MOV -0x38(%RBP),%R13 |
(852) 0x4b56f IMUL -0x150(%RBP),%R13 |
(852) 0x4b577 NOPW (%RAX,%RAX,1) |
(847) 0x4b580 LEA (%R14,%R13,1),%RCX |
(847) 0x4b584 ADD %R9,%RCX |
(847) 0x4b587 VMOVSD (%R10,%R14,8),%XMM0 |
(847) 0x4b58d VFMADD213SD (%RDX,%R14,8),%XMM6,%XMM0 |
(847) 0x4b593 ADD %RDI,%RCX |
(847) 0x4b596 LEA (%RCX,%R8,1),%RSI |
(847) 0x4b59a VFMADD231SD (%R12,%RSI,8),%XMM9,%XMM0 |
(847) 0x4b5a0 LEA (%RCX,%R15,1),%RSI |
(847) 0x4b5a4 VFMADD231SD (%R12,%RSI,8),%XMM1,%XMM0 |
(847) 0x4b5aa LEA (%RCX,%RBX,1),%RSI |
(847) 0x4b5ae VFMADD231SD (%R12,%RSI,8),%XMM2,%XMM0 |
(847) 0x4b5b4 MOV -0x168(%RBP),%RSI |
(847) 0x4b5bb ADD %RCX,%RSI |
(847) 0x4b5be VFMADD231SD (%R12,%RSI,8),%XMM3,%XMM0 |
(847) 0x4b5c4 MOV -0x160(%RBP),%RSI |
(847) 0x4b5cb ADD %RCX,%RSI |
(847) 0x4b5ce VFMADD231SD (%R12,%RSI,8),%XMM4,%XMM0 |
(847) 0x4b5d4 MOV -0x158(%RBP),%RSI |
(847) 0x4b5db ADD %RCX,%RSI |
(847) 0x4b5de VFMADD231SD (%R12,%RSI,8),%XMM5,%XMM0 |
(847) 0x4b5e4 ADD %R11,%RCX |
(847) 0x4b5e7 VFMADD231SD (%R12,%RCX,8),%XMM7,%XMM0 |
(847) 0x4b5ed VMOVSD %XMM0,(%RDX,%R14,8) |
(847) 0x4b5f3 INC %R14 |
(847) 0x4b5f6 CMP %R14,%RAX |
(847) 0x4b5f9 JNE 4b580 |
(852) 0x4b5fb JMP 4b340 |
(843) 0x4b600 MOV -0x30(%RBP),%R9 |
(843) 0x4b604 IMUL -0x90(%RBP),%R9 |
(843) 0x4b60c ADD -0x98(%RBP),%R9 |
(843) 0x4b613 XOR %ECX,%ECX |
(843) 0x4b615 MOV -0x40(%RBP),%RDI |
(843) 0x4b619 MOV -0x60(%RBP),%R8 |
(843) 0x4b61d JMP 4b631 |
0x4b61f NOP |
(844) 0x4b620 ADD -0x38(%RBP),%R9 |
(844) 0x4b624 CMP %R14,%RCX |
(844) 0x4b627 LEA 0x1(%RCX),%RCX |
(844) 0x4b62b JE 4ae90 |
(844) 0x4b631 TEST %R8,%R8 |
(844) 0x4b634 JLE 4b620 |
(844) 0x4b636 MOV %RDI,%RDX |
(844) 0x4b639 IMUL %RCX,%RDX |
(844) 0x4b63d ADD -0x80(%RBP),%RDX |
(844) 0x4b641 XOR %ESI,%ESI |
(844) 0x4b643 NOPW %CS:(%RAX,%RAX,1) |
(845) 0x4b650 VMOVSD (%R9,%RSI,8),%XMM0 |
(845) 0x4b656 VMOVSD (%R13,%RDX,8),%XMM1 |
(845) 0x4b65d VFMADD213SD (%RAX,%RSI,8),%XMM0,%XMM1 |
(845) 0x4b663 VMOVSD %XMM1,(%RAX,%RSI,8) |
(845) 0x4b668 INC %RSI |
(845) 0x4b66b CMP %RSI,%R8 |
(845) 0x4b66e JNE 4b650 |
(844) 0x4b670 JMP 4b620 |
0x4b672 LEA 0x288f37(%RIP),%RDI |
0x4b679 MOV -0x84(%RBP),%ESI |
0x4b67f ADD $0x2a8,%RSP |
0x4b686 POP %RBX |
0x4b687 POP %R12 |
0x4b689 POP %R13 |
0x4b68b POP %R14 |
0x4b68d POP %R15 |
0x4b68f POP %RBP |
0x4b690 VZEROUPPER |
0x4b693 JMP 9860 |
0x4b698 NOPL (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 197 |
nb uops | 199 |
loop length | 1010 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 59 |
micro-operation queue | 33.17 cycles |
front end | 33.17 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 7.60 | 7.60 | 11.00 | 11.00 | 34.50 | 7.60 | 7.60 | 34.50 | 34.50 | 34.50 | 7.60 | 11.00 |
cycles | 7.60 | 10.27 | 11.00 | 11.00 | 34.50 | 7.60 | 7.60 | 34.50 | 34.50 | 34.50 | 7.60 | 11.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 34.59 |
Stall cycles | 1.26-1.26 |
RS full (events) | 4.42-4.43 |
Front-end | 33.17 |
Dispatch | 34.50 |
Overall L1 | 34.50 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 10% |
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 | 13% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x2a8,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x2c0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2899c8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x88(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x178(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x170(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x84(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 9930 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x178(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x170(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 4b672 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb82> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x58(%RBP),%R14 | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 4b672 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb82> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RBX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0xa0(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDI),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x58(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R15,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %R15,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R15,%R15 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R15,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xe8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x248(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x298(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x290(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R15,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %R15,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R12,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RBX,%RBX,2),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x280(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,4),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x278(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,4),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x288(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%R15,1),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%R15,%R15,2),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (,%R15,4),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%R15,4),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R9,%R9,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDI,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RDI,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x2a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 4aea8 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3b8> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x288f37(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x84(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x2a8,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9860 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 197 |
nb uops | 199 |
loop length | 1010 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 59 |
micro-operation queue | 33.17 cycles |
front end | 33.17 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 7.60 | 7.60 | 11.00 | 11.00 | 34.50 | 7.60 | 7.60 | 34.50 | 34.50 | 34.50 | 7.60 | 11.00 |
cycles | 7.60 | 10.27 | 11.00 | 11.00 | 34.50 | 7.60 | 7.60 | 34.50 | 34.50 | 34.50 | 7.60 | 11.00 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 34.59 |
Stall cycles | 1.26-1.26 |
RS full (events) | 4.42-4.43 |
Front-end | 33.17 |
Dispatch | 34.50 |
Overall L1 | 34.50 |
all | 1% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
all | 12% |
load | 10% |
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 | 13% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PUSH %RBP | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
MOV %RSP,%RBP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
PUSH %R15 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R14 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R13 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %R12 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RBX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
SUB $0x2a8,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVL $0,-0x88(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x10(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x30(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x38(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x60(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xc0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x68(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xa8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xb0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0xf0(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x118(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0xa8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x158(%R8),%R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOVQ $0,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB $0x8,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
LEA -0x2c0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2899c8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x88(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x178(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x170(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x84(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 9930 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x178(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x170(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
JA 4b672 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb82> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x58(%RBP),%R14 | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JLE 4b672 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xb82> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R15,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RBX,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0xa0(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDI),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,-0x1f8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x58(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R15,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %R15,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %R8D,%R8D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R15,%R15 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R15,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1d0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RCX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RBX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAR $0x3f,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
ANDN %RBX,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RBX,%RBX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %RBX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R14,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R9,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R14,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xe8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x248(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x298(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %RBX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x290(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R15,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x38(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %R15,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x118(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%RDI,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD %R12,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x98(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RBX,%RBX,2),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x280(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RBX,4),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x278(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RBX,%RBX,4),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R9,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x288(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%R15,1),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%R15,%R15,2),%R11 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (,%R15,4),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R15,%R15,4),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R9,%R9,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xa8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x90(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (%RAX,%RCX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xb8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x188(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA (,%RAX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RDI,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RDI,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x2a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R11,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 4aea8 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3b8> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x288f37(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x84(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x2a8,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9860 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void Kripke::DispatchHelper | 4.18 | 2.32 |
▼Loop 843 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 846 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 848 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.01 |
▼Loop 852 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.01 |
○Loop 853 - forall.hpp:59-59 - libkripke.so | 2.65 | 1.46 |
○Loop 847 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 850 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0.01 |
○Loop 851 - forall.hpp:59-59 - libkripke.so | 1.48 | 0.82 |
○Loop 849 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 844 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 845 - forall.hpp:59-59 - libkripke.so | 0 | 0 |