Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-89 [...] | Coverage: 3.67% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: exec | Source: Collapse.hpp:81-89 [...] | Coverage: 3.67% |
---|
/scratch_na/users/xoserete/qaas_runs/171-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/scratch_na/users/xoserete/qaas_runs/171-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/scratch_na/users/xoserete/qaas_runs/171-420-0328/intel/Kripke/build/Kripke/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-420-0328/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
0x472c20 PUSH %RBP |
0x472c21 MOV %RSP,%RBP |
0x472c24 PUSH %R15 |
0x472c26 PUSH %R14 |
0x472c28 PUSH %R13 |
0x472c2a PUSH %R12 |
0x472c2c PUSH %RBX |
0x472c2d SUB $0x278,%RSP |
0x472c34 MOV %RDX,%RBX |
0x472c37 MOVL $0,-0x88(%RBP) |
0x472c41 MOV (%R8),%RAX |
0x472c44 MOV %RAX,-0x1c8(%RBP) |
0x472c4b MOV 0x10(%R8),%RAX |
0x472c4f MOV %RAX,-0x48(%RBP) |
0x472c53 MOV 0x18(%R8),%R13 |
0x472c57 MOV 0x20(%R8),%RAX |
0x472c5b MOV %RAX,-0x1c0(%RBP) |
0x472c62 MOV 0x30(%R8),%RAX |
0x472c66 MOV %RAX,-0x40(%RBP) |
0x472c6a MOV 0x38(%R8),%RAX |
0x472c6e MOV %RAX,-0xc8(%RBP) |
0x472c75 MOV 0x60(%R8),%RAX |
0x472c79 MOV %RAX,-0xc0(%RBP) |
0x472c80 MOV 0x68(%R8),%RAX |
0x472c84 MOV %RAX,-0xb8(%RBP) |
0x472c8b MOV 0xa8(%R8),%RAX |
0x472c92 MOV %RAX,-0xb0(%RBP) |
0x472c99 MOV (%RDI),%ESI |
0x472c9b MOV %R9,-0x148(%RBP) |
0x472ca2 MOV 0xc8(%R8),%RAX |
0x472ca9 MOV %RAX,-0x120(%RBP) |
0x472cb0 MOV 0xf0(%R8),%R15 |
0x472cb7 MOV 0x110(%R8),%R14 |
0x472cbe MOV 0x118(%R8),%RAX |
0x472cc5 MOV %RAX,-0xa8(%RBP) |
0x472ccc MOV 0x158(%R8),%R12 |
0x472cd3 MOVQ $0,-0x150(%RBP) |
0x472cde MOVQ $0x1,-0x2a0(%RBP) |
0x472ce9 SUB $0x8,%RSP |
0x472ced LEA -0x2a0(%RBP),%RAX |
0x472cf4 LEA 0x2eb835(%RIP),%RDI |
0x472cfb LEA -0x88(%RBP),%RCX |
0x472d02 LEA -0x150(%RBP),%R8 |
0x472d09 LEA -0x148(%RBP),%R9 |
0x472d10 MOV %ESI,-0x84(%RBP) |
0x472d16 MOV $0x22,%EDX |
0x472d1b PUSH $0x1 |
0x472d1d PUSH $0x1 |
0x472d1f PUSH %RAX |
0x472d20 CALL 402a70 <__kmpc_for_static_init_8@plt> |
0x472d25 MOV -0x120(%RBP),%R11 |
0x472d2c ADD $0x20,%RSP |
0x472d30 MOV -0x150(%RBP),%RCX |
0x472d37 MOV -0x148(%RBP),%RAX |
0x472d3e MOV %RCX,-0xa0(%RBP) |
0x472d45 CMP %RAX,%RCX |
0x472d48 JA 473900 |
0x472d4e CMP -0x48(%RBP),%R13 |
0x472d52 JLE 473900 |
0x472d58 MOV -0xa0(%RBP),%RDX |
0x472d5f LEA 0x1(%RDX),%RCX |
0x472d63 INC %RAX |
0x472d66 CMP %RAX,%RCX |
0x472d69 CMOVG %RCX,%RAX |
0x472d6d NOT %RDX |
0x472d70 ADD %RAX,%RDX |
0x472d73 MOV %RDX,-0x1b0(%RBP) |
0x472d7a MOV -0x48(%RBP),%RDI |
0x472d7e MOV %RDI,%R9 |
0x472d81 IMUL %R14,%R9 |
0x472d85 MOV %R14,%RAX |
0x472d88 SAR $0x3f,%RAX |
0x472d8c ANDN %R14,%RAX,%R10 |
0x472d91 MOV %R13,%RAX |
0x472d94 IMUL %R10,%RAX |
0x472d98 MOV %RAX,-0x198(%RBP) |
0x472d9f TEST %R14,%R14 |
0x472da2 MOV %R15,-0x128(%RBP) |
0x472da9 MOV $0,%R15D |
0x472daf CMOVS %R14,%R15 |
0x472db3 MOV %R13,%RDX |
0x472db6 IMUL %R15,%RDX |
0x472dba MOV %RDI,%RAX |
0x472dbd IMUL %R11,%RAX |
0x472dc1 MOV %RAX,-0x188(%RBP) |
0x472dc8 MOV %R11,%RAX |
0x472dcb SAR $0x3f,%RAX |
0x472dcf ANDN %R11,%RAX,%R8 |
0x472dd4 MOV %R13,%RSI |
0x472dd7 IMUL %R8,%RSI |
0x472ddb TEST %R11,%R11 |
0x472dde MOV $0,%ECX |
0x472de3 CMOVS %R11,%RCX |
0x472de7 MOV %R13,%RAX |
0x472dea IMUL %RCX,%RAX |
0x472dee NOT %RDI |
0x472df1 ADD %RDI,%R13 |
0x472df4 IMUL %RDI,%R15 |
0x472df8 ADD %RDX,%R15 |
0x472dfb MOV %R15,-0x190(%RBP) |
0x472e02 MOV %R13,%RDX |
0x472e05 SHR $0x6,%RDX |
0x472e09 MOV %RDX,-0x1e8(%RBP) |
0x472e10 IMUL %RDI,%R8 |
0x472e14 ADD %RSI,%R8 |
0x472e17 MOV %R8,-0x180(%RBP) |
0x472e1e MOV -0xc8(%RBP),%RSI |
0x472e25 MOV -0x40(%RBP),%RDX |
0x472e29 SUB %RDX,%RSI |
0x472e2c MOV %RSI,-0x58(%RBP) |
0x472e30 IMUL %RDI,%R10 |
0x472e34 MOV %R10,-0x1a0(%RBP) |
0x472e3b IMUL %RCX,%RDI |
0x472e3f XOR %ECX,%ECX |
0x472e41 DEC %RSI |
0x472e44 ADD %RAX,%RDI |
0x472e47 MOV %RDI,-0x178(%RBP) |
0x472e4e MOV %RSI,-0xe0(%RBP) |
0x472e55 SHR $0x6,%RSI |
0x472e59 MOV %RSI,-0x208(%RBP) |
0x472e60 VPBROADCASTQ %R11,%YMM0 |
0x472e66 VPMULLQ 0xa5e50(%RIP),%YMM0,%YMM0 |
0x472e70 MOV %R11,%RAX |
0x472e73 SAL $0x6,%RAX |
0x472e77 MOV %RAX,-0x1d8(%RBP) |
0x472e7e LEA (,%R11,8),%RAX |
0x472e86 MOV %RAX,-0x278(%RBP) |
0x472e8d SUB %R11,%RAX |
0x472e90 MOV %RAX,-0x270(%RBP) |
0x472e97 MOV %R14,%RAX |
0x472e9a SAL $0x6,%RAX |
0x472e9e MOV %RAX,-0x78(%RBP) |
0x472ea2 LEA (,%R14,8),%RAX |
0x472eaa MOV %RAX,-0x38(%RBP) |
0x472eae SUB %R14,%RAX |
0x472eb1 MOV %RAX,-0x250(%RBP) |
0x472eb8 LEA (,%RDX,8),%RAX |
0x472ec0 LEA (%RAX,%R9,8),%RAX |
0x472ec4 ADD %R12,%RAX |
0x472ec7 MOV %RAX,-0x98(%RBP) |
0x472ece MOV %R14,%RAX |
0x472ed1 SAL $0x9,%RAX |
0x472ed5 MOV %RAX,-0x1e0(%RBP) |
0x472edc VMOVDQU 0xa5dfc(%RIP),%YMM1 |
0x472ee4 VMOVDQU 0xa5e14(%RIP),%YMM2 |
0x472eec LEA (%R11,%R11,1),%RAX |
0x472ef0 MOV %RAX,-0x268(%RBP) |
0x472ef7 LEA (%R14,%R14,1),%RAX |
0x472efb LEA (%R14,%R14,2),%RSI |
0x472eff MOV %RSI,-0x240(%RBP) |
0x472f06 LEA (,%R14,4),%RSI |
0x472f0e MOV %RSI,-0x238(%RBP) |
0x472f15 LEA (%R14,%R14,4),%RSI |
0x472f19 MOV %RSI,-0x230(%RBP) |
0x472f20 MOV %RAX,-0x248(%RBP) |
0x472f27 LEA (%RAX,%RAX,2),%RAX |
0x472f2b MOV %RAX,-0x228(%RBP) |
0x472f32 MOV -0xa8(%RBP),%RAX |
0x472f39 LEA (,%RAX,8),%RAX |
0x472f41 MOV %RAX,-0x90(%RBP) |
0x472f48 MOV -0xb0(%RBP),%RAX |
0x472f4f LEA (%RAX,%RDX,8),%RAX |
0x472f53 MOV %RAX,-0x168(%RBP) |
0x472f5a MOV -0xb8(%RBP),%RAX |
0x472f61 LEA (,%RAX,8),%RAX |
0x472f69 MOV %RAX,-0x160(%RBP) |
0x472f70 MOV -0xc0(%RBP),%RAX |
0x472f77 LEA (,%RAX,8),%RAX |
0x472f7f MOV %RAX,-0x158(%RBP) |
0x472f86 MOV %R9,-0x1a8(%RBP) |
0x472f8d LEA (%RDX,%R9,1),%RAX |
0x472f91 MOV %RAX,-0x170(%RBP) |
0x472f98 MOV %RBX,-0x1b8(%RBP) |
0x472f9f MOV %R13,-0x1f0(%RBP) |
0x472fa6 MOV %R14,-0x140(%RBP) |
0x472fad JMP 472fdf |
0x472faf NOPW %CS:(%RAX,%RAX,1) |
0x472fbe XCHG %AX,%AX |
(945) 0x472fc0 MOV -0x1d0(%RBP),%RCX |
(945) 0x472fc7 CMP -0x1b0(%RBP),%RCX |
(945) 0x472fce LEA 0x1(%RCX),%RCX |
(945) 0x472fd2 MOV -0x1b8(%RBP),%RBX |
(945) 0x472fd9 JE 473900 |
(945) 0x472fdf MOV -0xa0(%RBP),%RAX |
(945) 0x472fe6 MOV %RCX,-0x1d0(%RBP) |
(945) 0x472fed ADD %RCX,%RAX |
(945) 0x472ff0 MOV %RAX,%RCX |
(945) 0x472ff3 OR %RBX,%RCX |
(945) 0x472ff6 SHR $0x20,%RCX |
(945) 0x472ffa JE 473040 |
(945) 0x472ffc CQTO |
(945) 0x472ffe IDIV %RBX |
(945) 0x473001 MOV %RAX,%RCX |
(945) 0x473004 JMP 473046 |
0x473006 NOPW %CS:(%RAX,%RAX,1) |
0x473015 NOPW %CS:(%RAX,%RAX,1) |
0x473024 NOPW %CS:(%RAX,%RAX,1) |
0x473033 NOPW %CS:(%RAX,%RAX,1) |
(945) 0x473040 XOR %EDX,%EDX |
(945) 0x473042 DIV %EBX |
(945) 0x473044 MOV %EAX,%ECX |
(945) 0x473046 ADD -0x1c8(%RBP),%RCX |
(945) 0x47304d ADD -0x1c0(%RBP),%RDX |
(945) 0x473054 MOV -0xa8(%RBP),%RBX |
(945) 0x47305b IMUL %RDX,%RBX |
(945) 0x47305f MOV -0xc8(%RBP),%R8 |
(945) 0x473066 MOV -0x1a8(%RBP),%RAX |
(945) 0x47306d ADD %R8,%RAX |
(945) 0x473070 ADD -0x1a0(%RBP),%RAX |
(945) 0x473077 ADD -0x198(%RBP),%RAX |
(945) 0x47307e ADD %RBX,%RAX |
(945) 0x473081 MOV %RCX,%R15 |
(945) 0x473084 LEA -0x8(%R12,%RAX,8),%RCX |
(945) 0x473089 MOV -0xb8(%RBP),%RSI |
(945) 0x473090 MOV %RDX,-0x30(%RBP) |
(945) 0x473094 IMUL %RDX,%RSI |
(945) 0x473098 MOV -0x40(%RBP),%RAX |
(945) 0x47309c ADD %RSI,%RAX |
(945) 0x47309f MOV -0xc0(%RBP),%RDI |
(945) 0x4730a6 IMUL %R15,%RDI |
(945) 0x4730aa ADD %RDI,%RAX |
(945) 0x4730ad MOV -0xb0(%RBP),%R10 |
(945) 0x4730b4 LEA (%R10,%RAX,8),%RAX |
(945) 0x4730b8 CMP %RAX,%RCX |
(945) 0x4730bb SETAE %R9B |
(945) 0x4730bf ADD %R8,%RSI |
(945) 0x4730c2 ADD %RDI,%RSI |
(945) 0x4730c5 LEA -0x8(%R10,%RSI,8),%RSI |
(945) 0x4730ca MOV -0x170(%RBP),%RCX |
(945) 0x4730d1 LEA (%RCX,%RBX,1),%RDX |
(945) 0x4730d5 MOV -0x190(%RBP),%RCX |
(945) 0x4730dc MOV %RDX,-0x118(%RBP) |
(945) 0x4730e3 ADD %RDX,%RCX |
(945) 0x4730e6 LEA (%R12,%RCX,8),%RCX |
(945) 0x4730ea CMP %RCX,%RSI |
(945) 0x4730ed SETAE %DIL |
(945) 0x4730f1 MOV -0x188(%RBP),%RCX |
(945) 0x4730f8 MOV %R15,-0x50(%RBP) |
(945) 0x4730fc LEA (%R15,%RCX,1),%RDX |
(945) 0x473100 MOV -0x180(%RBP),%RCX |
(945) 0x473107 ADD %RDX,%RCX |
(945) 0x47310a MOV -0x128(%RBP),%R8 |
(945) 0x473111 LEA (%R8,%RCX,8),%RCX |
(945) 0x473115 CMP %RAX,%RCX |
(945) 0x473118 SETB %CL |
(945) 0x47311b MOV -0x178(%RBP),%R10 |
(945) 0x473122 MOV %RDX,-0x68(%RBP) |
(945) 0x473126 LEA (%R10,%RDX,1),%R15 |
(945) 0x47312a LEA (%R8,%R15,8),%R15 |
(945) 0x47312e CMP %R15,%RSI |
(945) 0x473131 SETB %SIL |
(945) 0x473135 TEST %DIL,%R9B |
(945) 0x473138 JNE 473840 |
(945) 0x47313e OR %SIL,%CL |
(945) 0x473141 JE 473840 |
(945) 0x473147 MOV -0x160(%RBP),%RAX |
(945) 0x47314e MOV -0x30(%RBP),%RDX |
(945) 0x473152 IMUL %RDX,%RAX |
(945) 0x473156 ADD -0x168(%RBP),%RAX |
(945) 0x47315d MOV -0x50(%RBP),%RCX |
(945) 0x473161 IMUL -0x158(%RBP),%RCX |
(945) 0x473169 ADD %RAX,%RCX |
(945) 0x47316c MOV %RCX,-0x50(%RBP) |
(945) 0x473170 IMUL -0x90(%RBP),%RDX |
(945) 0x473178 ADD -0x98(%RBP),%RDX |
(945) 0x47317f ADD -0x40(%RBP),%RBX |
(945) 0x473183 LEA (%R12,%RBX,8),%RAX |
(945) 0x473187 MOV %RAX,-0xd0(%RBP) |
(945) 0x47318e MOV %R13,%RAX |
(945) 0x473191 MOV -0x118(%RBP),%RCX |
(945) 0x473198 MOV %RCX,-0x60(%RBP) |
(945) 0x47319c XOR %ESI,%ESI |
(945) 0x47319e MOV -0x58(%RBP),%RCX |
(945) 0x4731a2 MOV -0x68(%RBP),%RBX |
(945) 0x4731a6 JMP 47320f |
0x4731a8 NOPW %CS:(%RAX,%RAX,1) |
0x4731b7 NOPW (%RAX,%RAX,1) |
(948) 0x4731c0 MOV -0x1e0(%RBP),%RAX |
(948) 0x4731c7 MOV -0x30(%RBP),%RDX |
(948) 0x4731cb ADD %RAX,%RDX |
(948) 0x4731ce MOV -0x60(%RBP),%RCX |
(948) 0x4731d2 ADD -0x78(%RBP),%RCX |
(948) 0x4731d6 MOV %RCX,-0x60(%RBP) |
(948) 0x4731da ADD %RAX,-0xd0(%RBP) |
(948) 0x4731e1 MOV -0x1f8(%RBP),%RAX |
(948) 0x4731e8 ADD $-0x40,%RAX |
(948) 0x4731ec MOV -0xd8(%RBP),%RSI |
(948) 0x4731f3 CMP -0x1e8(%RBP),%RSI |
(948) 0x4731fa LEA 0x1(%RSI),%RSI |
(948) 0x4731fe MOV -0x1f0(%RBP),%R13 |
(948) 0x473205 MOV -0x58(%RBP),%RCX |
(948) 0x473209 JE 472fc0 |
(948) 0x47320f MOV %RDX,-0x30(%RBP) |
(948) 0x473213 CMP $0x3f,%RAX |
(948) 0x473217 MOV $0x3f,%EDI |
(948) 0x47321c MOV %RAX,-0x1f8(%RBP) |
(948) 0x473223 CMOVL %RAX,%RDI |
(948) 0x473227 MOV %RSI,-0xd8(%RBP) |
(948) 0x47322e MOV %RSI,%RAX |
(948) 0x473231 SAL $0x6,%RAX |
(948) 0x473235 MOV %R13,%R9 |
(948) 0x473238 SUB %RAX,%R9 |
(948) 0x47323b CMP $0x3f,%R9 |
(948) 0x47323f MOV $0x3f,%EAX |
(948) 0x473244 CMOVGE %RAX,%R9 |
(948) 0x473248 TEST %RCX,%RCX |
(948) 0x47324b JLE 4731c0 |
(948) 0x473251 INC %RDI |
(948) 0x473254 AND $-0x8,%RDI |
(948) 0x473258 ADD -0x48(%RBP),%RDI |
(948) 0x47325c IMUL -0x38(%RBP),%RDI |
(948) 0x473261 ADD -0xd0(%RBP),%RDI |
(948) 0x473268 LEA 0x1(%R9),%RSI |
(948) 0x47326c MOV %RSI,%RAX |
(948) 0x47326f SHR $0x3,%RAX |
(948) 0x473273 DEC %RAX |
(948) 0x473276 MOV %RAX,-0x280(%RBP) |
(948) 0x47327d MOV -0x1d8(%RBP),%RCX |
(948) 0x473284 MOV -0xd8(%RBP),%RAX |
(948) 0x47328b IMUL %RAX,%RCX |
(948) 0x47328f MOV %RCX,-0x130(%RBP) |
(948) 0x473296 MOV -0x78(%RBP),%RCX |
(948) 0x47329a IMUL %RAX,%RCX |
(948) 0x47329e MOV %RCX,-0x200(%RBP) |
(948) 0x4732a5 MOV %RSI,%RAX |
(948) 0x4732a8 AND $-0x8,%RAX |
(948) 0x4732ac MOV %RAX,-0xf8(%RBP) |
(948) 0x4732b3 MOV -0x60(%RBP),%RAX |
(948) 0x4732b7 MOV %RAX,-0xf0(%RBP) |
(948) 0x4732be MOV -0xe0(%RBP),%RAX |
(948) 0x4732c5 MOV -0x30(%RBP),%RCX |
(948) 0x4732c9 MOV %RCX,-0xe8(%RBP) |
(948) 0x4732d0 MOV -0x50(%RBP),%RDX |
(948) 0x4732d4 XOR %ECX,%ECX |
(948) 0x4732d6 MOV %R9,-0x210(%RBP) |
(948) 0x4732dd MOV %RSI,-0x108(%RBP) |
(948) 0x4732e4 JMP 473352 |
0x4732e6 NOPW %CS:(%RAX,%RAX,1) |
0x4732f5 NOPW %CS:(%RAX,%RAX,1) |
(950) 0x473300 ADD $0x200,%RDX |
(950) 0x473307 ADDQ $0x200,-0xe8(%RBP) |
(950) 0x473312 MOV -0x220(%RBP),%RAX |
(950) 0x473319 ADD $-0x40,%RAX |
(950) 0x47331d ADDQ $0x40,-0xf0(%RBP) |
(950) 0x473325 MOV -0x110(%RBP),%RDI |
(950) 0x47332c ADD $0x200,%RDI |
(950) 0x473333 MOV -0x218(%RBP),%RCX |
(950) 0x47333a CMP -0x208(%RBP),%RCX |
(950) 0x473341 LEA 0x1(%RCX),%RCX |
(950) 0x473345 MOV -0x108(%RBP),%RSI |
(950) 0x47334c JE 4731c0 |
(950) 0x473352 MOV %RDI,-0x110(%RBP) |
(950) 0x473359 CMP $0x3f,%RAX |
(950) 0x47335d MOV $0x3f,%R9D |
(950) 0x473363 MOV %RAX,-0x220(%RBP) |
(950) 0x47336a CMOVL %RAX,%R9 |
(950) 0x47336e INC %R9 |
(950) 0x473371 MOV %RCX,-0x218(%RBP) |
(950) 0x473378 MOV %RCX,%RAX |
(950) 0x47337b SAL $0x6,%RAX |
(950) 0x47337f MOV -0xe0(%RBP),%RCX |
(950) 0x473386 MOV %RAX,-0x70(%RBP) |
(950) 0x47338a SUB %RAX,%RCX |
(950) 0x47338d CMP $0x3f,%RCX |
(950) 0x473391 MOV $0x3f,%EAX |
(950) 0x473396 CMOVGE %RAX,%RCX |
(950) 0x47339a MOV %RCX,-0x100(%RBP) |
(950) 0x4733a1 CMP $0x8,%RSI |
(950) 0x4733a5 MOV %R9,-0x80(%RBP) |
(950) 0x4733a9 JAE 4734c0 |
(950) 0x4733af MOV -0x108(%RBP),%RAX |
(950) 0x4733b6 CMP %RAX,-0xf8(%RBP) |
(950) 0x4733bd MOV -0x210(%RBP),%R9 |
(950) 0x4733c4 JE 473300 |
(950) 0x4733ca MOV -0x100(%RBP),%RAX |
(950) 0x4733d1 INC %RAX |
(950) 0x4733d4 MOV %RAX,%RDI |
(950) 0x4733d7 AND $-0x4,%RAX |
(950) 0x4733db LEA -0x1(%RAX),%RSI |
(950) 0x4733df MOV -0x110(%RBP),%R15 |
(950) 0x4733e6 MOV -0xf8(%RBP),%R13 |
(950) 0x4733ed JMP 473411 |
0x4733ef NOPW %CS:(%RAX,%RAX,1) |
0x4733fe XCHG %AX,%AX |
(952) 0x473400 ADD -0x38(%RBP),%R15 |
(952) 0x473404 CMP %R9,%R13 |
(952) 0x473407 LEA 0x1(%R13),%R13 |
(952) 0x47340b JE 473300 |
(952) 0x473411 MOV %R11,%RCX |
(952) 0x473414 IMUL %R13,%RCX |
(952) 0x473418 ADD -0x130(%RBP),%RCX |
(952) 0x47341f ADD %RBX,%RCX |
(952) 0x473422 VMOVSD (%R8,%RCX,8),%XMM3 |
(952) 0x473428 TEST %RAX,%RAX |
(952) 0x47342b JE 473480 |
(952) 0x47342d VBROADCASTSD %XMM3,%YMM4 |
(952) 0x473432 XOR %ECX,%ECX |
(952) 0x473434 NOPW %CS:(%RAX,%RAX,1) |
(953) 0x473440 VMOVUPD (%R15,%RCX,8),%YMM5 |
(953) 0x473446 VFMADD213PD (%RDX,%RCX,8),%YMM4,%YMM5 |
(953) 0x47344c VMOVUPD %YMM5,(%RDX,%RCX,8) |
(953) 0x473451 ADD $0x4,%RCX |
(953) 0x473455 CMP %RSI,%RCX |
(953) 0x473458 JLE 473440 |
(952) 0x47345a MOV %RAX,%RCX |
(952) 0x47345d CMP %RAX,%RDI |
(952) 0x473460 MOV -0x80(%RBP),%R10 |
(952) 0x473464 JNE 473490 |
(952) 0x473466 JMP 473400 |
0x473468 NOPW %CS:(%RAX,%RAX,1) |
0x473477 NOPW (%RAX,%RAX,1) |
(952) 0x473480 XOR %ECX,%ECX |
(952) 0x473482 MOV -0x80(%RBP),%R10 |
(952) 0x473486 NOPW %CS:(%RAX,%RAX,1) |
(951) 0x473490 VMOVSD (%R15,%RCX,8),%XMM4 |
(951) 0x473496 VFMADD213SD (%RDX,%RCX,8),%XMM3,%XMM4 |
(951) 0x47349c VMOVSD %XMM4,(%RDX,%RCX,8) |
(951) 0x4734a1 INC %RCX |
(951) 0x4734a4 CMP %RCX,%R10 |
(951) 0x4734a7 JNE 473490 |
(952) 0x4734a9 JMP 473400 |
0x4734ae NOPW %CS:(%RAX,%RAX,1) |
0x4734bd NOPL (%RAX) |
(950) 0x4734c0 MOV -0x100(%RBP),%RAX |
(950) 0x4734c7 INC %RAX |
(950) 0x4734ca MOV %RAX,-0x260(%RBP) |
(950) 0x4734d1 MOV %RAX,%R15 |
(950) 0x4734d4 AND $-0x4,%R15 |
(950) 0x4734d8 LEA -0x1(%R15),%R13 |
(950) 0x4734dc MOV -0x70(%RBP),%RAX |
(950) 0x4734e0 ADD -0x200(%RBP),%RAX |
(950) 0x4734e7 MOV %RAX,-0x70(%RBP) |
(950) 0x4734eb MOV -0xf0(%RBP),%RAX |
(950) 0x4734f2 MOV -0xe8(%RBP),%RCX |
(950) 0x4734f9 XOR %ESI,%ESI |
(950) 0x4734fb MOV %R15,-0x258(%RBP) |
(950) 0x473502 MOV %R13,-0x298(%RBP) |
(950) 0x473509 MOV -0x238(%RBP),%R13 |
(950) 0x473510 JMP 473575 |
0x473512 NOPW %CS:(%RAX,%RAX,1) |
0x473521 NOPW %CS:(%RAX,%RAX,1) |
0x473530 NOPW %CS:(%RAX,%RAX,1) |
0x47353f NOP |
(954) 0x473540 MOV -0x138(%RBP),%RCX |
(954) 0x473547 ADD -0x78(%RBP),%RCX |
(954) 0x47354b ADD -0x38(%RBP),%RAX |
(954) 0x47354f MOV -0x290(%RBP),%RSI |
(954) 0x473556 CMP -0x280(%RBP),%RSI |
(954) 0x47355d LEA 0x1(%RSI),%RSI |
(954) 0x473561 MOV -0x120(%RBP),%R11 |
(954) 0x473568 MOV -0x128(%RBP),%R8 |
(954) 0x47356f JE 4733af |
(954) 0x473575 MOV %RCX,-0x138(%RBP) |
(954) 0x47357c MOV -0x278(%RBP),%RCX |
(954) 0x473583 IMUL %RSI,%RCX |
(954) 0x473587 ADD -0x130(%RBP),%RCX |
(954) 0x47358e ADD %RBX,%RCX |
(954) 0x473591 VPBROADCASTQ %RCX,%YMM3 |
(954) 0x473597 LEA (%RCX,%R11,1),%RDI |
(954) 0x47359b MOV %RSI,%R11 |
(954) 0x47359e MOV -0x268(%RBP),%RSI |
(954) 0x4735a5 LEA (%RCX,%RSI,1),%R10 |
(954) 0x4735a9 MOV -0x270(%RBP),%RSI |
(954) 0x4735b0 ADD %RSI,%RCX |
(954) 0x4735b3 VPADDQ %YMM3,%YMM0,%YMM4 |
(954) 0x4735b7 VMOVQ %RDI,%XMM5 |
(954) 0x4735bc VPUNPCKLQDQ %XMM5,%XMM3,%XMM3 |
(954) 0x4735c0 VMOVQ %R10,%XMM5 |
(954) 0x4735c5 VINSERTI128 $0x1,%XMM5,%YMM3,%YMM5 |
(954) 0x4735cb VPERMT2Q %YMM4,%YMM1,%YMM5 |
(954) 0x4735d1 VPBROADCASTQ %RCX,%YMM3 |
(954) 0x4735d7 VPERMT2Q %YMM3,%YMM2,%YMM4 |
(954) 0x4735dd KXNORW %K0,%K0,%K1 |
(954) 0x4735e1 VPXOR %XMM3,%XMM3,%XMM3 |
(954) 0x4735e5 VGATHERQPD (%R8,%YMM4,8),%YMM3{%K1} |
(954) 0x4735ec KXNORW %K0,%K0,%K1 |
(954) 0x4735f0 VXORPD %XMM4,%XMM4,%XMM4 |
(954) 0x4735f4 VGATHERQPD (%R8,%YMM5,8),%YMM4{%K1} |
(954) 0x4735fb TEST %R15,%R15 |
(954) 0x4735fe MOV %R11,-0x290(%RBP) |
(954) 0x473605 JE 473740 |
(954) 0x47360b MOV %RAX,-0x288(%RBP) |
(954) 0x473612 VBROADCASTSD %XMM4,%YMM5 |
(954) 0x473617 VXORPS %XMM6,%XMM6,%XMM6 |
(954) 0x47361b VPERMPD $0x55,%YMM4,%YMM6 |
(954) 0x473621 VPERMPD $-0x56,%YMM4,%YMM7 |
(954) 0x473627 VPERMPD $-0x1,%YMM4,%YMM8 |
(954) 0x47362d VBROADCASTSD %XMM3,%YMM9 |
(954) 0x473632 VXORPS %XMM10,%XMM10,%XMM10 |
(954) 0x473637 VPERMPD $0x55,%YMM3,%YMM10 |
(954) 0x47363d VPERMPD $-0x56,%YMM3,%YMM11 |
(954) 0x473643 VPERMPD $-0x1,%YMM3,%YMM12 |
(954) 0x473649 MOV -0x38(%RBP),%RDI |
(954) 0x47364d IMUL %R11,%RDI |
(954) 0x473651 ADD -0x70(%RBP),%RDI |
(954) 0x473655 XOR %ECX,%ECX |
(954) 0x473657 MOV -0x250(%RBP),%RSI |
(954) 0x47365e MOV -0x248(%RBP),%R11 |
(954) 0x473665 MOV -0x240(%RBP),%RBX |
(954) 0x47366c MOV -0x230(%RBP),%R15 |
(954) 0x473673 MOV -0x228(%RBP),%RAX |
(954) 0x47367a MOV -0x118(%RBP),%R9 |
(954) 0x473681 MOV -0x138(%RBP),%R14 |
(954) 0x473688 NOPL (%RAX,%RAX,1) |
(955) 0x473690 LEA (%RDI,%RCX,1),%R10 |
(955) 0x473694 ADD %R9,%R10 |
(955) 0x473697 VMOVUPD (%R14,%RCX,8),%YMM13 |
(955) 0x47369d VFMADD213PD (%RDX,%RCX,8),%YMM5,%YMM13 |
(955) 0x4736a3 MOV -0x140(%RBP),%R8 |
(955) 0x4736aa ADD %R10,%R8 |
(955) 0x4736ad VFMADD231PD (%R12,%R8,8),%YMM6,%YMM13 |
(955) 0x4736b3 LEA (%R10,%R11,1),%R8 |
(955) 0x4736b7 VFMADD231PD (%R12,%R8,8),%YMM7,%YMM13 |
(955) 0x4736bd LEA (%R10,%RBX,1),%R8 |
(955) 0x4736c1 VFMADD231PD (%R12,%R8,8),%YMM8,%YMM13 |
(955) 0x4736c7 LEA (%R10,%R13,1),%R8 |
(955) 0x4736cb VFMADD231PD (%R12,%R8,8),%YMM9,%YMM13 |
(955) 0x4736d1 LEA (%R10,%R15,1),%R8 |
(955) 0x4736d5 VFMADD231PD (%R12,%R8,8),%YMM10,%YMM13 |
(955) 0x4736db LEA (%R10,%RAX,1),%R8 |
(955) 0x4736df VFMADD231PD (%R12,%R8,8),%YMM11,%YMM13 |
(955) 0x4736e5 ADD %RSI,%R10 |
(955) 0x4736e8 VFMADD231PD (%R12,%R10,8),%YMM12,%YMM13 |
(955) 0x4736ee VMOVUPD %YMM13,(%RDX,%RCX,8) |
(955) 0x4736f3 ADD $0x4,%RCX |
(955) 0x4736f7 CMP -0x298(%RBP),%RCX |
(955) 0x4736fe JLE 473690 |
(954) 0x473700 MOV -0x258(%RBP),%R15 |
(954) 0x473707 MOV %R15,%RDI |
(954) 0x47370a CMP %R15,-0x260(%RBP) |
(954) 0x473711 MOV -0x68(%RBP),%RBX |
(954) 0x473715 MOV -0x80(%RBP),%R9 |
(954) 0x473719 MOV -0x140(%RBP),%R14 |
(954) 0x473720 MOV -0x288(%RBP),%RAX |
(954) 0x473727 JNE 473750 |
(954) 0x473729 JMP 473540 |
0x47372e NOPW %CS:(%RAX,%RAX,1) |
0x47373d NOPL (%RAX) |
(954) 0x473740 XOR %EDI,%EDI |
(954) 0x473742 NOPW %CS:(%RAX,%RAX,1) |
(949) 0x473750 LEA (%RAX,%RDI,1),%RCX |
(949) 0x473754 LEA (%R14,%RCX,1),%R8 |
(949) 0x473758 LEA (%R14,%R8,1),%R10 |
(949) 0x47375c LEA (%R14,%R10,1),%R11 |
(949) 0x473760 LEA (%R14,%R11,1),%RSI |
(949) 0x473764 VMOVQ %RSI,%XMM5 |
(949) 0x473769 ADD %R14,%RSI |
(949) 0x47376c VMOVQ %RSI,%XMM6 |
(949) 0x473771 LEA (%R14,%RSI,1),%RSI |
(949) 0x473775 VMOVQ %RSI,%XMM7 |
(949) 0x47377a LEA (%R14,%RSI,1),%RSI |
(949) 0x47377e VMOVQ %RSI,%XMM8 |
(949) 0x473783 VMOVQ %RCX,%XMM9 |
(949) 0x473788 VMOVQ %R8,%XMM10 |
(949) 0x47378d VMOVQ %R10,%XMM11 |
(949) 0x473792 VMOVQ %R11,%XMM12 |
(949) 0x473797 VPUNPCKLQDQ %XMM10,%XMM9,%XMM9 |
(949) 0x47379c VPUNPCKLQDQ %XMM12,%XMM11,%XMM10 |
(949) 0x4737a1 VINSERTI128 $0x1,%XMM10,%YMM9,%YMM9 |
(949) 0x4737a7 KXNORW %K0,%K0,%K1 |
(949) 0x4737ab VPXOR %XMM10,%XMM10,%XMM10 |
(949) 0x4737b0 VGATHERQPD (%R12,%YMM9,8),%YMM10{%K1} |
(949) 0x4737b7 VPUNPCKLQDQ %XMM6,%XMM5,%XMM5 |
(949) 0x4737bb VPUNPCKLQDQ %XMM8,%XMM7,%XMM6 |
(949) 0x4737c0 VINSERTI128 $0x1,%XMM6,%YMM5,%YMM5 |
(949) 0x4737c6 KXNORW %K0,%K0,%K1 |
(949) 0x4737ca VPXOR %XMM6,%XMM6,%XMM6 |
(949) 0x4737ce VGATHERQPD (%R12,%YMM5,8),%YMM6{%K1} |
(949) 0x4737d5 VMULPD %YMM3,%YMM6,%YMM5 |
(949) 0x4737d9 VFMADD231PD %YMM10,%YMM4,%YMM5 |
(949) 0x4737de VEXTRACTF128 $0x1,%YMM5,%XMM6 |
(949) 0x4737e4 VADDPD %XMM6,%XMM5,%XMM5 |
(949) 0x4737e8 VSHUFPD $0x1,%XMM5,%XMM5,%XMM6 |
(949) 0x4737ed VADDSD %XMM6,%XMM5,%XMM5 |
(949) 0x4737f1 VADDSD (%RDX,%RDI,8),%XMM5,%XMM5 |
(949) 0x4737f6 VMOVSD %XMM5,(%RDX,%RDI,8) |
(949) 0x4737fb INC %RDI |
(949) 0x4737fe CMP %RDI,%R9 |
(949) 0x473801 JNE 473750 |
(954) 0x473807 JMP 473540 |
0x47380c NOPW %CS:(%RAX,%RAX,1) |
0x47381b NOPW %CS:(%RAX,%RAX,1) |
0x47382a NOPW %CS:(%RAX,%RAX,1) |
0x473839 NOPL (%RAX) |
(945) 0x473840 MOV -0x30(%RBP),%R9 |
(945) 0x473844 IMUL -0x90(%RBP),%R9 |
(945) 0x47384c ADD -0x98(%RBP),%R9 |
(945) 0x473853 XOR %ECX,%ECX |
(945) 0x473855 MOV -0x58(%RBP),%RDI |
(945) 0x473859 MOV -0x68(%RBP),%R10 |
(945) 0x47385d JMP 473891 |
0x47385f NOPW %CS:(%RAX,%RAX,1) |
0x47386e NOPW %CS:(%RAX,%RAX,1) |
0x47387d NOPL (%RAX) |
(946) 0x473880 ADD -0x38(%RBP),%R9 |
(946) 0x473884 CMP %R13,%RCX |
(946) 0x473887 LEA 0x1(%RCX),%RCX |
(946) 0x47388b JE 472fc0 |
(946) 0x473891 TEST %RDI,%RDI |
(946) 0x473894 JLE 473880 |
(946) 0x473896 MOV %R11,%RDX |
(946) 0x473899 IMUL %RCX,%RDX |
(946) 0x47389d ADD %R10,%RDX |
(946) 0x4738a0 XOR %ESI,%ESI |
(946) 0x4738a2 NOPW %CS:(%RAX,%RAX,1) |
(947) 0x4738b0 VMOVSD (%R9,%RSI,8),%XMM3 |
(947) 0x4738b6 VMOVSD (%R8,%RDX,8),%XMM4 |
(947) 0x4738bc VFMADD213SD (%RAX,%RSI,8),%XMM3,%XMM4 |
(947) 0x4738c2 VMOVSD %XMM4,(%RAX,%RSI,8) |
(947) 0x4738c7 INC %RSI |
(947) 0x4738ca CMP %RSI,%RDI |
(947) 0x4738cd JNE 4738b0 |
(946) 0x4738cf JMP 473880 |
0x4738d1 NOPW %CS:(%RAX,%RAX,1) |
0x4738e0 NOPW %CS:(%RAX,%RAX,1) |
0x4738ef NOPW %CS:(%RAX,%RAX,1) |
0x4738fe XCHG %AX,%AX |
0x473900 LEA 0x2eac49(%RIP),%RDI |
0x473907 MOV -0x84(%RBP),%ESI |
0x47390d ADD $0x278,%RSP |
0x473914 POP %RBX |
0x473915 POP %R12 |
0x473917 POP %R13 |
0x473919 POP %R14 |
0x47391b POP %R15 |
0x47391d POP %RBP |
0x47391e VZEROUPPER |
0x473921 JMP 402940 |
0x473926 NOPW %CS:(%RAX,%RAX,1) |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00+ | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | exec |
nb instructions | 221 |
nb uops | 227 |
loop length | 1339 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 51 |
micro-operation queue | 37.83 cycles |
front end | 37.83 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 9.70 | 10.00 | 12.33 | 12.33 | 30.50 | 9.87 | 9.70 | 30.50 | 30.50 | 30.50 | 9.73 | 12.33 |
cycles | 9.70 | 14.87 | 12.33 | 12.33 | 30.50 | 9.87 | 9.70 | 30.50 | 30.50 | 30.50 | 9.73 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 37.65 |
Stall cycles | 0.00 |
Front-end | 37.83 |
Dispatch | 30.50 |
Overall L1 | 37.83 |
all | 4% |
load | 27% |
store | 0% |
mul | 25% |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 6% |
all | 13% |
load | 21% |
store | 12% |
mul | 21% |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | 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 $0x278,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
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,-0x1c8(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R13 | 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,-0x1c0(%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,-0x40(%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,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R14 | 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,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2a0(%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 -0x2a0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2eb835(%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 -0x150(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x148(%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 402a70 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x120(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x150(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x148(%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 473900 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xce0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x48(%RBP),%R13 | 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 473900 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xce0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa0(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RDI,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R14,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R14,%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 %R14,%RAX,%R10 | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R10,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R14,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV %R15,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0,%R15D | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R14,%R15 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R15,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R11,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R11,%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 %R11,%RAX,%R8 | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R13,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R8,%RSI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
TEST %R11,%R11 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ECX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R11,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
NOT %RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RDI,%R13 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
IMUL %RDI,%R15 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RDX,%R15 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R15,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RDX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDI,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RSI,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R8,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDI,%R10 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R10,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
DEC %RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
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,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RSI,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VPBROADCASTQ %R11,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPMULLQ 0xa5e50(%RIP),%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 15 | 1.50 |
MOV %R11,%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,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R11,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x278(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %R11,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,%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,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,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 %R14,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x250(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%R9,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 %R14,%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,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVDQU 0xa5dfc(%RIP),%YMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
VMOVDQU 0xa5e14(%RIP),%YMM2 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
LEA (%R11,%R11,1),%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 (%R14,%R14,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%R14,%R14,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x240(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 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 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x228(%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,%RDX,8),%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 |
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,-0x160(%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,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%R9,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 472fdf <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3bf> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2eac49(%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 $0x278,%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 402940 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | exec |
nb instructions | 221 |
nb uops | 227 |
loop length | 1339 |
used x86 registers | 16 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 51 |
micro-operation queue | 37.83 cycles |
front end | 37.83 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 9.70 | 10.00 | 12.33 | 12.33 | 30.50 | 9.87 | 9.70 | 30.50 | 30.50 | 30.50 | 9.73 | 12.33 |
cycles | 9.70 | 14.87 | 12.33 | 12.33 | 30.50 | 9.87 | 9.70 | 30.50 | 30.50 | 30.50 | 9.73 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 37.65 |
Stall cycles | 0.00 |
Front-end | 37.83 |
Dispatch | 30.50 |
Overall L1 | 37.83 |
all | 4% |
load | 27% |
store | 0% |
mul | 25% |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 6% |
all | 13% |
load | 21% |
store | 12% |
mul | 21% |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 12% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | 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 $0x278,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
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,-0x1c8(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R13 | 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,-0x1c0(%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,-0x40(%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,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x120(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%R8),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x110(%R8),%R14 | 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,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2a0(%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 -0x2a0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2eb835(%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 -0x150(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x148(%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 402a70 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x120(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x150(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x148(%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 473900 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xce0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x48(%RBP),%R13 | 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 473900 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xce0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa0(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RDX),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
INC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
CMP %RAX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVG %RCX,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
NOT %RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDX,-0x1b0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x48(%RBP),%RDI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RDI,%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R14,%R9 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R14,%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 %R14,%RAX,%R10 | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R10,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R14,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV %R15,-0x128(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0,%R15D | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R14,%R15 | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R15,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R11,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R11,%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 %R11,%RAX,%R8 | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R13,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R8,%RSI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
TEST %R11,%R11 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
MOV $0,%ECX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVS %R11,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %RCX,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
NOT %RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RDI,%R13 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
IMUL %RDI,%R15 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RDX,%R15 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R15,-0x190(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SHR $0x6,%RDX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RDX,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDI,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
ADD %RSI,%R8 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R8,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xc8(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x40(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RDI,%R10 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R10,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RCX,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
XOR %ECX,%ECX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
DEC %RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
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,-0x178(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RSI,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VPBROADCASTQ %R11,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPMULLQ 0xa5e50(%RIP),%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 15 | 1.50 |
MOV %R11,%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,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R11,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x278(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SUB %R11,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,%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,-0x78(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,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 %R14,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x250(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%RDX,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%RAX,%R9,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 %R14,%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,-0x1e0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVDQU 0xa5dfc(%RIP),%YMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
VMOVDQU 0xa5e14(%RIP),%YMM2 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
LEA (%R11,%R11,1),%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 (%R14,%R14,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA (%R14,%R14,2),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x240(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,4),%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RSI,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 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 |
LEA (%RAX,%RAX,2),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x228(%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,%RDX,8),%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 |
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,-0x160(%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,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R9,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RDX,%R9,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x170(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 472fdf <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3bf> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
XCHG %AX,%AX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2eac49(%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 $0x278,%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 402940 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void Kripke::DispatchHelper | 3.67 | 2.47 |
▼Loop 945 - forall.hpp:59-59 - exec– | 0 | 0.01 |
▼Loop 948 - forall.hpp:59-59 - exec– | 0 | 0.01 |
▼Loop 950 - forall.hpp:59-59 - exec– | 0.01 | 0.01 |
▼Loop 954 - forall.hpp:59-59 - exec– | 0.02 | 0.01 |
○Loop 955 - forall.hpp:59-59 - exec | 2.14 | 1.41 |
○Loop 949 - forall.hpp:59-59 - exec | 0 | 0 |
▼Loop 952 - forall.hpp:59-59 - exec– | 0.01 | 0.01 |
○Loop 953 - forall.hpp:59-59 - exec | 1.48 | 0.98 |
○Loop 951 - forall.hpp:59-59 - exec | 0 | 0 |
▼Loop 946 - forall.hpp:59-59 - exec– | 0 | 0 |
○Loop 947 - forall.hpp:59-59 - exec | 0 | 0 |