Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.28% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.28% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 79 - 110 |
-------------------------------------------------------------------------------- |
79: : layout(V.layout), data(V.data) |
[...] |
110: return data[idx]; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59 |
-------------------------------------------------------------------------------- |
59: for (decltype(distance_it) i = 0; i < distance_it; ++i) { |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/internal/Iterators.hpp: 55 - 177 |
-------------------------------------------------------------------------------- |
55: : val(rhs.val) |
[...] |
177: return value_type(val + rhs); |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/openmp/kernel/Collapse.hpp: 81 - 89 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
82: RAJA_COLLAPSE(2) |
83: for (i0 = 0; i0 < l0; ++i0) { |
[...] |
89: } |
/scratch_na/users/xoserete/qaas_runs/171-291-3153/intel/Kripke/build/Kripke/src/Kripke/Kernel/LTimes.cpp: 62 - 62 |
-------------------------------------------------------------------------------- |
62: phi(nm,g,z) += ell(nm, d) * psi(d, g, z); |
0x63880 PUSH %RBP |
0x63881 MOV %RSP,%RBP |
0x63884 PUSH %R15 |
0x63886 PUSH %R14 |
0x63888 PUSH %R13 |
0x6388a PUSH %R12 |
0x6388c PUSH %RBX |
0x6388d SUB $0x288,%RSP |
0x63894 MOV %RDX,%RBX |
0x63897 MOVL $0,-0x98(%RBP) |
0x638a1 MOV (%R8),%RAX |
0x638a4 MOV %RAX,-0x1d8(%RBP) |
0x638ab MOV 0x10(%R8),%RAX |
0x638af MOV %RAX,-0x60(%RBP) |
0x638b3 MOV 0x18(%R8),%RAX |
0x638b7 MOV %RAX,-0x70(%RBP) |
0x638bb MOV 0x20(%R8),%RAX |
0x638bf MOV %RAX,-0x1d0(%RBP) |
0x638c6 MOV 0x30(%R8),%RAX |
0x638ca MOV %RAX,-0x58(%RBP) |
0x638ce MOV 0x38(%R8),%RAX |
0x638d2 MOV %RAX,-0xd8(%RBP) |
0x638d9 MOV 0x60(%R8),%RAX |
0x638dd MOV %RAX,-0xd0(%RBP) |
0x638e4 MOV 0x68(%R8),%RAX |
0x638e8 MOV %RAX,-0xc8(%RBP) |
0x638ef MOV 0xa8(%R8),%RAX |
0x638f6 MOV %RAX,-0xc0(%RBP) |
0x638fd MOV (%RDI),%ESI |
0x638ff MOV %R9,-0x138(%RBP) |
0x63906 MOV 0xc8(%R8),%R13 |
0x6390d MOV 0xf0(%R8),%R15 |
0x63914 MOV 0x110(%R8),%R14 |
0x6391b MOV 0x118(%R8),%RAX |
0x63922 MOV %RAX,-0xb8(%RBP) |
0x63929 MOV 0x158(%R8),%R12 |
0x63930 MOVQ $0,-0x140(%RBP) |
0x6393b MOVQ $0x1,-0x2b0(%RBP) |
0x63946 SUB $0x8,%RSP |
0x6394a LEA -0x2b0(%RBP),%RAX |
0x63951 LEA 0x2b0c48(%RIP),%RDI |
0x63958 LEA -0x98(%RBP),%RCX |
0x6395f LEA -0x140(%RBP),%R8 |
0x63966 LEA -0x138(%RBP),%R9 |
0x6396d MOV %ESI,-0x94(%RBP) |
0x63973 MOV $0x22,%EDX |
0x63978 PUSH $0x1 |
0x6397a PUSH $0x1 |
0x6397c PUSH %RAX |
0x6397d CALL 99f0 <__kmpc_for_static_init_8@plt> |
0x63982 MOV -0x70(%RBP),%R10 |
0x63986 ADD $0x20,%RSP |
0x6398a MOV -0x140(%RBP),%RCX |
0x63991 MOV -0x138(%RBP),%RAX |
0x63998 MOV %RCX,-0xb0(%RBP) |
0x6399f CMP %RAX,%RCX |
0x639a2 JA 64580 |
0x639a8 CMP -0x60(%RBP),%R10 |
0x639ac JLE 64580 |
0x639b2 MOV -0xb0(%RBP),%RSI |
0x639b9 LEA 0x1(%RSI),%RCX |
0x639bd INC %RAX |
0x639c0 CMP %RAX,%RCX |
0x639c3 CMOVG %RCX,%RAX |
0x639c7 NOT %RSI |
0x639ca ADD %RAX,%RSI |
0x639cd MOV %RSI,-0x1c0(%RBP) |
0x639d4 MOV -0x60(%RBP),%RCX |
0x639d8 MOV %RCX,%RSI |
0x639db IMUL %R14,%RSI |
0x639df MOV %R14,%RAX |
0x639e2 SAR $0x3f,%RAX |
0x639e6 ANDN %R14,%RAX,%RAX |
0x639eb MOV %R10,%RDI |
0x639ee MOV %RAX,-0x1b0(%RBP) |
0x639f5 IMUL %RAX,%RDI |
0x639f9 MOV %RDI,-0x1a8(%RBP) |
0x63a00 XOR %EDI,%EDI |
0x63a02 TEST %R14,%R14 |
0x63a05 MOV $0,%EAX |
0x63a0a CMOVS %R14,%RAX |
0x63a0e MOV %R10,%R8 |
0x63a11 MOV %RAX,-0x1a0(%RBP) |
0x63a18 IMUL %RAX,%R8 |
0x63a1c MOV %R8,-0x198(%RBP) |
0x63a23 MOV %RCX,%RAX |
0x63a26 IMUL %R13,%RAX |
0x63a2a MOV %RAX,-0x190(%RBP) |
0x63a31 MOV %R13,%RAX |
0x63a34 SAR $0x3f,%RAX |
0x63a38 ANDN %R13,%RAX,%RAX |
0x63a3d MOV %R10,%R8 |
0x63a40 MOV %RAX,-0x188(%RBP) |
0x63a47 IMUL %RAX,%R8 |
0x63a4b MOV %R8,-0x180(%RBP) |
0x63a52 TEST %R13,%R13 |
0x63a55 MOV $0,%EAX |
0x63a5a CMOVS %R13,%RAX |
0x63a5e MOV %R10,%R8 |
0x63a61 MOV %RAX,-0x178(%RBP) |
0x63a68 IMUL %RAX,%R8 |
0x63a6c MOV %R8,-0x170(%RBP) |
0x63a73 NOT %RCX |
0x63a76 MOV %RCX,-0x168(%RBP) |
0x63a7d ADD %RCX,%R10 |
0x63a80 MOV %R10,%RAX |
0x63a83 SHR $0x6,%RAX |
0x63a87 MOV %RAX,-0x1f0(%RBP) |
0x63a8e MOV -0xd8(%RBP),%RAX |
0x63a95 MOV -0x58(%RBP),%RCX |
0x63a99 SUB %RCX,%RAX |
0x63a9c MOV %RAX,-0x78(%RBP) |
0x63aa0 DEC %RAX |
0x63aa3 MOV %RAX,-0xf8(%RBP) |
0x63aaa SHR $0x6,%RAX |
0x63aae MOV %RAX,-0x200(%RBP) |
0x63ab5 VPBROADCASTQ %R13,%YMM0 |
0x63abb VPMULLQ 0x9839b(%RIP),%YMM0,%YMM0 |
0x63ac5 MOV %R13,%RAX |
0x63ac8 SAL $0x6,%RAX |
0x63acc MOV %RAX,-0xf0(%RBP) |
0x63ad3 LEA (,%R13,8),%RAX |
0x63adb MOV %RAX,-0x268(%RBP) |
0x63ae2 SUB %R13,%RAX |
0x63ae5 MOV %RAX,-0x260(%RBP) |
0x63aec MOV %R14,%RAX |
0x63aef SAL $0x6,%RAX |
0x63af3 MOV %RAX,-0x80(%RBP) |
0x63af7 LEA (,%R14,8),%RAX |
0x63aff MOV %RAX,-0x38(%RBP) |
0x63b03 SUB %R14,%RAX |
0x63b06 MOV %RAX,-0x298(%RBP) |
0x63b0d LEA (,%RCX,8),%RAX |
0x63b15 LEA (%RAX,%RSI,8),%RAX |
0x63b19 ADD %R12,%RAX |
0x63b1c MOV %RAX,-0xa8(%RBP) |
0x63b23 MOV %R14,%RAX |
0x63b26 SAL $0x9,%RAX |
0x63b2a MOV %RAX,-0x1e8(%RBP) |
0x63b31 VMOVDQU 0x98347(%RIP),%YMM1 |
0x63b39 VMOVDQU 0x9835f(%RIP),%YMM2 |
0x63b41 LEA (%R13,%R13,1),%RAX |
0x63b46 MOV %RAX,-0x258(%RBP) |
0x63b4d LEA (%R14,%R14,1),%RAX |
0x63b51 MOV %RAX,-0x240(%RBP) |
0x63b58 LEA (%R14,%R14,2),%R8 |
0x63b5c MOV %R8,-0x238(%RBP) |
0x63b63 LEA (,%R14,4),%R8 |
0x63b6b MOV %R8,-0x230(%RBP) |
0x63b72 LEA (%R14,%R14,4),%R8 |
0x63b76 MOV %R8,-0x228(%RBP) |
0x63b7d LEA (%RAX,%RAX,2),%RAX |
0x63b81 MOV %RAX,-0x220(%RBP) |
0x63b88 MOV -0xb8(%RBP),%RAX |
0x63b8f LEA (,%RAX,8),%RAX |
0x63b97 MOV %RAX,-0xa0(%RBP) |
0x63b9e MOV -0xc0(%RBP),%RAX |
0x63ba5 LEA (%RAX,%RCX,8),%RAX |
0x63ba9 MOV %RAX,-0x158(%RBP) |
0x63bb0 MOV -0xc8(%RBP),%RAX |
0x63bb7 LEA (,%RAX,8),%RAX |
0x63bbf MOV %RAX,-0x150(%RBP) |
0x63bc6 MOV -0xd0(%RBP),%RAX |
0x63bcd LEA (,%RAX,8),%RAX |
0x63bd5 MOV %RAX,-0x148(%RBP) |
0x63bdc MOV %RSI,-0x1b8(%RBP) |
0x63be3 LEA (%RCX,%RSI,1),%RAX |
0x63be7 MOV %RAX,-0x160(%RBP) |
0x63bee MOV %RBX,-0x1c8(%RBP) |
0x63bf5 MOV %R15,-0x48(%RBP) |
0x63bf9 MOV %R10,-0x70(%RBP) |
0x63bfd MOV %R13,-0x270(%RBP) |
0x63c04 MOV %R14,-0x130(%RBP) |
0x63c0b JMP 63c5f |
0x63c0d NOPW %CS:(%RAX,%RAX,1) |
0x63c1c NOPW %CS:(%RAX,%RAX,1) |
0x63c2b NOPW %CS:(%RAX,%RAX,1) |
0x63c3a NOPW (%RAX,%RAX,1) |
(856) 0x63c40 MOV -0x1e0(%RBP),%RDI |
(856) 0x63c47 CMP -0x1c0(%RBP),%RDI |
(856) 0x63c4e LEA 0x1(%RDI),%RDI |
(856) 0x63c52 MOV -0x1c8(%RBP),%RBX |
(856) 0x63c59 JE 64580 |
(856) 0x63c5f MOV -0xb0(%RBP),%RAX |
(856) 0x63c66 ADD %RDI,%RAX |
(856) 0x63c69 MOV %RAX,%RCX |
(856) 0x63c6c OR %RBX,%RCX |
(856) 0x63c6f SHR $0x20,%RCX |
(856) 0x63c73 MOV %RDI,-0x1e0(%RBP) |
(856) 0x63c7a JE 63cc0 |
(856) 0x63c7c CQTO |
(856) 0x63c7e IDIV %RBX |
(856) 0x63c81 MOV %RAX,%RCX |
(856) 0x63c84 JMP 63cc6 |
0x63c86 NOPW %CS:(%RAX,%RAX,1) |
0x63c95 NOPW %CS:(%RAX,%RAX,1) |
0x63ca4 NOPW %CS:(%RAX,%RAX,1) |
0x63cb3 NOPW %CS:(%RAX,%RAX,1) |
(856) 0x63cc0 XOR %EDX,%EDX |
(856) 0x63cc2 DIV %EBX |
(856) 0x63cc4 MOV %EAX,%ECX |
(856) 0x63cc6 ADD -0x1d8(%RBP),%RCX |
(856) 0x63ccd ADD -0x1d0(%RBP),%RDX |
(856) 0x63cd4 MOV -0xb8(%RBP),%RBX |
(856) 0x63cdb IMUL %RDX,%RBX |
(856) 0x63cdf MOV -0xd8(%RBP),%R8 |
(856) 0x63ce6 MOV -0x1b8(%RBP),%RAX |
(856) 0x63ced ADD %R8,%RAX |
(856) 0x63cf0 MOV %RCX,%R11 |
(856) 0x63cf3 MOV -0x1b0(%RBP),%RCX |
(856) 0x63cfa MOV -0x168(%RBP),%R15 |
(856) 0x63d01 IMUL %R15,%RCX |
(856) 0x63d05 ADD %RAX,%RCX |
(856) 0x63d08 ADD -0x1a8(%RBP),%RCX |
(856) 0x63d0f ADD %RBX,%RCX |
(856) 0x63d12 LEA -0x8(%R12,%RCX,8),%RCX |
(856) 0x63d17 MOV -0xc8(%RBP),%RSI |
(856) 0x63d1e MOV %RDX,-0x30(%RBP) |
(856) 0x63d22 IMUL %RDX,%RSI |
(856) 0x63d26 MOV -0x58(%RBP),%RAX |
(856) 0x63d2a ADD %RSI,%RAX |
(856) 0x63d2d MOV -0xd0(%RBP),%RDI |
(856) 0x63d34 IMUL %R11,%RDI |
(856) 0x63d38 ADD %RDI,%RAX |
(856) 0x63d3b MOV -0xc0(%RBP),%R9 |
(856) 0x63d42 LEA (%R9,%RAX,8),%RAX |
(856) 0x63d46 CMP %RAX,%RCX |
(856) 0x63d49 SETAE %CL |
(856) 0x63d4c ADD %R8,%RSI |
(856) 0x63d4f ADD %RDI,%RSI |
(856) 0x63d52 LEA -0x8(%R9,%RSI,8),%RDI |
(856) 0x63d57 MOV -0x160(%RBP),%RSI |
(856) 0x63d5e LEA (%RSI,%RBX,1),%RDX |
(856) 0x63d62 MOV -0x1a0(%RBP),%RSI |
(856) 0x63d69 IMUL %R15,%RSI |
(856) 0x63d6d ADD -0x198(%RBP),%RSI |
(856) 0x63d74 MOV %RDX,-0x118(%RBP) |
(856) 0x63d7b ADD %RDX,%RSI |
(856) 0x63d7e LEA (%R12,%RSI,8),%RSI |
(856) 0x63d82 CMP %RSI,%RDI |
(856) 0x63d85 SETAE %R8B |
(856) 0x63d89 MOV -0x190(%RBP),%RSI |
(856) 0x63d90 MOV %R11,-0x68(%RBP) |
(856) 0x63d94 LEA (%R11,%RSI,1),%RDX |
(856) 0x63d98 MOV -0x188(%RBP),%RSI |
(856) 0x63d9f IMUL %R15,%RSI |
(856) 0x63da3 ADD -0x180(%RBP),%RSI |
(856) 0x63daa ADD %RDX,%RSI |
(856) 0x63dad MOV -0x48(%RBP),%R11 |
(856) 0x63db1 LEA (%R11,%RSI,8),%RSI |
(856) 0x63db5 CMP %RAX,%RSI |
(856) 0x63db8 SETB %SIL |
(856) 0x63dbc MOV -0x178(%RBP),%R9 |
(856) 0x63dc3 IMUL %R15,%R9 |
(856) 0x63dc7 ADD -0x170(%RBP),%R9 |
(856) 0x63dce MOV %RDX,-0x88(%RBP) |
(856) 0x63dd5 ADD %RDX,%R9 |
(856) 0x63dd8 LEA (%R11,%R9,8),%R9 |
(856) 0x63ddc CMP %R9,%RDI |
(856) 0x63ddf SETB %DIL |
(856) 0x63de3 TEST %R8B,%CL |
(856) 0x63de6 JNE 644c0 |
(856) 0x63dec OR %DIL,%SIL |
(856) 0x63def JE 644c0 |
(856) 0x63df5 MOV -0x150(%RBP),%RAX |
(856) 0x63dfc MOV -0x30(%RBP),%RCX |
(856) 0x63e00 IMUL %RCX,%RAX |
(856) 0x63e04 ADD -0x158(%RBP),%RAX |
(856) 0x63e0b MOV -0x68(%RBP),%RDX |
(856) 0x63e0f IMUL -0x148(%RBP),%RDX |
(856) 0x63e17 ADD %RAX,%RDX |
(856) 0x63e1a MOV %RDX,-0x68(%RBP) |
(856) 0x63e1e IMUL -0xa0(%RBP),%RCX |
(856) 0x63e26 ADD -0xa8(%RBP),%RCX |
(856) 0x63e2d MOV %RCX,-0x30(%RBP) |
(856) 0x63e31 ADD -0x58(%RBP),%RBX |
(856) 0x63e35 LEA (%R12,%RBX,8),%RAX |
(856) 0x63e39 MOV %RAX,-0xe8(%RBP) |
(856) 0x63e40 MOV %R10,%RAX |
(856) 0x63e43 MOV -0x118(%RBP),%RCX |
(856) 0x63e4a MOV %RCX,-0xe0(%RBP) |
(856) 0x63e51 XOR %EDX,%EDX |
(856) 0x63e53 MOV -0x48(%RBP),%R9 |
(856) 0x63e57 MOV -0x78(%RBP),%RCX |
(856) 0x63e5b MOV -0x80(%RBP),%R15 |
(856) 0x63e5f JMP 63ec1 |
0x63e61 NOPW %CS:(%RAX,%RAX,1) |
0x63e70 NOPW %CS:(%RAX,%RAX,1) |
0x63e7f NOP |
(859) 0x63e80 MOV -0x1e8(%RBP),%RAX |
(859) 0x63e87 ADD %RAX,-0x30(%RBP) |
(859) 0x63e8b ADD %R15,-0xe0(%RBP) |
(859) 0x63e92 ADD %RAX,-0xe8(%RBP) |
(859) 0x63e99 MOV -0x1f8(%RBP),%RAX |
(859) 0x63ea0 ADD $-0x40,%RAX |
(859) 0x63ea4 MOV -0x40(%RBP),%RDX |
(859) 0x63ea8 CMP -0x1f0(%RBP),%RDX |
(859) 0x63eaf LEA 0x1(%RDX),%RDX |
(859) 0x63eb3 MOV -0x70(%RBP),%R10 |
(859) 0x63eb7 MOV -0x78(%RBP),%RCX |
(859) 0x63ebb JE 63c40 |
(859) 0x63ec1 CMP $0x3f,%RAX |
(859) 0x63ec5 MOV $0x3f,%ESI |
(859) 0x63eca MOV %RAX,-0x1f8(%RBP) |
(859) 0x63ed1 CMOVL %RAX,%RSI |
(859) 0x63ed5 MOV %RDX,-0x40(%RBP) |
(859) 0x63ed9 MOV %RDX,%RAX |
(859) 0x63edc SAL $0x6,%RAX |
(859) 0x63ee0 SUB %RAX,%R10 |
(859) 0x63ee3 CMP $0x3f,%R10 |
(859) 0x63ee7 MOV $0x3f,%EAX |
(859) 0x63eec CMOVGE %RAX,%R10 |
(859) 0x63ef0 TEST %RCX,%RCX |
(859) 0x63ef3 JLE 63e80 |
(859) 0x63ef5 MOV %RSI,%RAX |
(859) 0x63ef8 INC %RAX |
(859) 0x63efb AND $-0x8,%RAX |
(859) 0x63eff ADD -0x60(%RBP),%RAX |
(859) 0x63f03 IMUL -0x38(%RBP),%RAX |
(859) 0x63f08 ADD -0xe8(%RBP),%RAX |
(859) 0x63f0f LEA 0x1(%R10),%RCX |
(859) 0x63f13 MOV %RCX,-0x110(%RBP) |
(859) 0x63f1a SHR $0x3,%RCX |
(859) 0x63f1e DEC %RCX |
(859) 0x63f21 MOV %RCX,-0x278(%RBP) |
(859) 0x63f28 MOV -0xe0(%RBP),%RCX |
(859) 0x63f2f MOV %RCX,-0x108(%RBP) |
(859) 0x63f36 MOV -0xf8(%RBP),%RCX |
(859) 0x63f3d MOV -0x30(%RBP),%RDX |
(859) 0x63f41 MOV %RDX,-0x100(%RBP) |
(859) 0x63f48 MOV -0x68(%RBP),%RDX |
(859) 0x63f4c XOR %ESI,%ESI |
(859) 0x63f4e MOV %R10,-0x208(%RBP) |
(859) 0x63f55 JMP 63fc0 |
0x63f57 NOPW %CS:(%RAX,%RAX,1) |
0x63f66 NOPW %CS:(%RAX,%RAX,1) |
0x63f75 NOPW %CS:(%RAX,%RAX,1) |
(861) 0x63f80 ADD $0x200,%RDX |
(861) 0x63f87 ADDQ $0x200,-0x100(%RBP) |
(861) 0x63f92 MOV -0x210(%RBP),%RCX |
(861) 0x63f99 ADD $-0x40,%RCX |
(861) 0x63f9d ADDQ $0x40,-0x108(%RBP) |
(861) 0x63fa5 ADD $0x200,%RAX |
(861) 0x63fab CMP -0x200(%RBP),%RSI |
(861) 0x63fb2 LEA 0x1(%RSI),%RSI |
(861) 0x63fb6 MOV -0x80(%RBP),%R15 |
(861) 0x63fba JE 63e80 |
(861) 0x63fc0 MOV %RAX,-0x218(%RBP) |
(861) 0x63fc7 CMP $0x3f,%RCX |
(861) 0x63fcb MOV $0x3f,%EDI |
(861) 0x63fd0 MOV %RCX,-0x210(%RBP) |
(861) 0x63fd7 CMOVL %RCX,%RDI |
(861) 0x63fdb INC %RDI |
(861) 0x63fde MOV %RSI,-0x120(%RBP) |
(861) 0x63fe5 SAL $0x6,%RSI |
(861) 0x63fe9 MOV -0xf8(%RBP),%RCX |
(861) 0x63ff0 MOV %RSI,-0x250(%RBP) |
(861) 0x63ff7 SUB %RSI,%RCX |
(861) 0x63ffa CMP $0x3f,%RCX |
(861) 0x63ffe MOV $0x3f,%EAX |
(861) 0x64003 CMOVGE %RAX,%RCX |
(861) 0x64007 MOV %RCX,-0x50(%RBP) |
(861) 0x6400b CMPQ $0x8,-0x110(%RBP) |
(861) 0x64013 MOV %RDI,-0x90(%RBP) |
(861) 0x6401a JAE 64140 |
(861) 0x64020 MOV -0x110(%RBP),%RAX |
(861) 0x64027 MOV %RAX,%RDI |
(861) 0x6402a AND $-0x8,%RDI |
(861) 0x6402e CMP %RAX,%RDI |
(861) 0x64031 MOV -0x218(%RBP),%RAX |
(861) 0x64038 MOV -0x208(%RBP),%R10 |
(861) 0x6403f MOV -0x120(%RBP),%RSI |
(861) 0x64046 MOV -0x88(%RBP),%RBX |
(861) 0x6404d JE 63f80 |
(861) 0x64053 INCQ -0x50(%RBP) |
(861) 0x64057 MOV -0xf0(%RBP),%R11 |
(861) 0x6405e IMUL -0x40(%RBP),%R11 |
(861) 0x64063 MOV %RAX,%R15 |
(861) 0x64066 JMP 64091 |
0x64068 NOPW %CS:(%RAX,%RAX,1) |
0x64077 NOPW (%RAX,%RAX,1) |
(863) 0x64080 ADD -0x38(%RBP),%R15 |
(863) 0x64084 CMP %R10,%RDI |
(863) 0x64087 LEA 0x1(%RDI),%RDI |
(863) 0x6408b JE 63f80 |
(863) 0x64091 MOV %R13,%RCX |
(863) 0x64094 IMUL %RDI,%RCX |
(863) 0x64098 ADD %R11,%RCX |
(863) 0x6409b ADD %RBX,%RCX |
(863) 0x6409e VMOVSD (%R9,%RCX,8),%XMM3 |
(863) 0x640a4 MOV -0x50(%RBP),%RCX |
(863) 0x640a8 AND $-0x4,%RCX |
(863) 0x640ac JE 64100 |
(863) 0x640ae LEA -0x1(%RCX),%RSI |
(863) 0x640b2 VBROADCASTSD %XMM3,%YMM4 |
(863) 0x640b7 XOR %R8D,%R8D |
(863) 0x640ba NOPW (%RAX,%RAX,1) |
(864) 0x640c0 VMOVUPD (%R15,%R8,8),%YMM5 |
(864) 0x640c6 VFMADD213PD (%RDX,%R8,8),%YMM4,%YMM5 |
(864) 0x640cc VMOVUPD %YMM5,(%RDX,%R8,8) |
(864) 0x640d2 ADD $0x4,%R8 |
(864) 0x640d6 CMP %RSI,%R8 |
(864) 0x640d9 JLE 640c0 |
(863) 0x640db CMP %RCX,-0x50(%RBP) |
(863) 0x640df MOV -0x120(%RBP),%RSI |
(863) 0x640e6 MOV -0x90(%RBP),%R8 |
(863) 0x640ed JNE 64110 |
(863) 0x640ef JMP 64080 |
0x640f1 NOPW %CS:(%RAX,%RAX,1) |
(863) 0x64100 XOR %ECX,%ECX |
(863) 0x64102 MOV -0x90(%RBP),%R8 |
(863) 0x64109 NOPL (%RAX) |
(862) 0x64110 VMOVSD (%R15,%RCX,8),%XMM4 |
(862) 0x64116 VFMADD213SD (%RDX,%RCX,8),%XMM3,%XMM4 |
(862) 0x6411c VMOVSD %XMM4,(%RDX,%RCX,8) |
(862) 0x64121 INC %RCX |
(862) 0x64124 CMP %RCX,%R8 |
(862) 0x64127 JNE 64110 |
(863) 0x64129 JMP 64080 |
0x6412e NOPW %CS:(%RAX,%RAX,1) |
0x6413d NOPL (%RAX) |
(861) 0x64140 MOV -0x50(%RBP),%RAX |
(861) 0x64144 INC %RAX |
(861) 0x64147 MOV -0xf0(%RBP),%RCX |
(861) 0x6414e IMUL -0x40(%RBP),%RCX |
(861) 0x64153 MOV %RCX,-0x280(%RBP) |
(861) 0x6415a MOV -0x108(%RBP),%R11 |
(861) 0x64161 MOV -0x100(%RBP),%RCX |
(861) 0x64168 XOR %EBX,%EBX |
(861) 0x6416a MOV %RAX,-0x248(%RBP) |
(861) 0x64171 JMP 641b4 |
0x64173 NOPW %CS:(%RAX,%RAX,1) |
(865) 0x64180 MOV -0x128(%RBP),%RCX |
(865) 0x64187 MOV %RBX,%R15 |
(865) 0x6418a ADD %RBX,%RCX |
(865) 0x6418d ADD -0x38(%RBP),%R11 |
(865) 0x64191 MOV -0x290(%RBP),%RBX |
(865) 0x64198 CMP -0x278(%RBP),%RBX |
(865) 0x6419f LEA 0x1(%RBX),%RBX |
(865) 0x641a3 MOV -0x270(%RBP),%R13 |
(865) 0x641aa MOV -0x48(%RBP),%R9 |
(865) 0x641ae JE 64020 |
(865) 0x641b4 MOV %RCX,-0x128(%RBP) |
(865) 0x641bb MOV -0x268(%RBP),%RCX |
(865) 0x641c2 IMUL %RBX,%RCX |
(865) 0x641c6 ADD -0x280(%RBP),%RCX |
(865) 0x641cd ADD -0x88(%RBP),%RCX |
(865) 0x641d4 VPBROADCASTQ %RCX,%YMM3 |
(865) 0x641da VPADDQ %YMM3,%YMM0,%YMM4 |
(865) 0x641de LEA (%RCX,%R13,1),%RSI |
(865) 0x641e2 MOV -0x258(%RBP),%R8 |
(865) 0x641e9 ADD %RCX,%R8 |
(865) 0x641ec MOV -0x260(%RBP),%R10 |
(865) 0x641f3 LEA (%RCX,%R10,1),%RCX |
(865) 0x641f7 VMOVQ %RSI,%XMM5 |
(865) 0x641fc VPUNPCKLQDQ %XMM5,%XMM3,%XMM3 |
(865) 0x64200 VMOVQ %R8,%XMM5 |
(865) 0x64205 VINSERTI128 $0x1,%XMM5,%YMM3,%YMM5 |
(865) 0x6420b VPERMT2Q %YMM4,%YMM1,%YMM5 |
(865) 0x64211 VPBROADCASTQ %RCX,%YMM3 |
(865) 0x64217 VPERMT2Q %YMM3,%YMM2,%YMM4 |
(865) 0x6421d KXNORW %K0,%K0,%K1 |
(865) 0x64221 VPXOR %XMM3,%XMM3,%XMM3 |
(865) 0x64225 VGATHERQPD (%R9,%YMM4,8),%YMM3{%K1} |
(865) 0x6422c KXNORW %K0,%K0,%K1 |
(865) 0x64230 VXORPD %XMM4,%XMM4,%XMM4 |
(865) 0x64234 VGATHERQPD (%R9,%YMM5,8),%YMM4{%K1} |
(865) 0x6423b MOV %RAX,%R13 |
(865) 0x6423e AND $-0x4,%R13 |
(865) 0x64242 MOV %RBX,-0x290(%RBP) |
(865) 0x64249 JE 643c0 |
(865) 0x6424f MOV %R11,-0x288(%RBP) |
(865) 0x64256 LEA -0x1(%R13),%RAX |
(865) 0x6425a MOV %RAX,-0x2a8(%RBP) |
(865) 0x64261 VBROADCASTSD %XMM4,%YMM5 |
(865) 0x64266 VXORPS %XMM6,%XMM6,%XMM6 |
(865) 0x6426a VPERMPD $0x55,%YMM4,%YMM6 |
(865) 0x64270 VPERMPD $-0x56,%YMM4,%YMM7 |
(865) 0x64276 VPERMPD $-0x1,%YMM4,%YMM8 |
(865) 0x6427c VBROADCASTSD %XMM3,%YMM9 |
(865) 0x64281 VPERMPD $0x55,%YMM3,%YMM10 |
(865) 0x64287 VPERMPD $-0x56,%YMM3,%YMM11 |
(865) 0x6428d VPERMPD $-0x1,%YMM3,%YMM12 |
(865) 0x64293 MOV -0x38(%RBP),%RAX |
(865) 0x64297 IMUL %RBX,%RAX |
(865) 0x6429b MOV %RAX,-0x2a0(%RBP) |
(865) 0x642a2 MOV %R15,%R10 |
(865) 0x642a5 IMUL -0x40(%RBP),%R10 |
(865) 0x642aa ADD -0x250(%RBP),%R10 |
(865) 0x642b1 XOR %R8D,%R8D |
(865) 0x642b4 MOV -0x240(%RBP),%R11 |
(865) 0x642bb MOV -0x238(%RBP),%RDI |
(865) 0x642c2 MOV -0x230(%RBP),%RAX |
(865) 0x642c9 MOV -0x228(%RBP),%RCX |
(865) 0x642d0 MOV -0x220(%RBP),%R14 |
(865) 0x642d7 MOV -0x118(%RBP),%RSI |
(865) 0x642de MOV -0x128(%RBP),%RBX |
(865) 0x642e5 NOPW %CS:(%RAX,%RAX,1) |
(866) 0x642f0 MOV -0x2a0(%RBP),%R9 |
(866) 0x642f7 ADD %R8,%R9 |
(866) 0x642fa ADD %R10,%R9 |
(866) 0x642fd ADD %RSI,%R9 |
(866) 0x64300 VMOVUPD (%RBX,%R8,8),%YMM13 |
(866) 0x64306 VFMADD213PD (%RDX,%R8,8),%YMM5,%YMM13 |
(866) 0x6430c MOV -0x130(%RBP),%R15 |
(866) 0x64313 ADD %R9,%R15 |
(866) 0x64316 VFMADD231PD (%R12,%R15,8),%YMM6,%YMM13 |
(866) 0x6431c LEA (%R9,%R11,1),%R15 |
(866) 0x64320 VFMADD231PD (%R12,%R15,8),%YMM7,%YMM13 |
(866) 0x64326 LEA (%R9,%RDI,1),%R15 |
(866) 0x6432a VFMADD231PD (%R12,%R15,8),%YMM8,%YMM13 |
(866) 0x64330 LEA (%R9,%RAX,1),%R15 |
(866) 0x64334 VFMADD231PD (%R12,%R15,8),%YMM9,%YMM13 |
(866) 0x6433a LEA (%R9,%RCX,1),%R15 |
(866) 0x6433e VFMADD231PD (%R12,%R15,8),%YMM10,%YMM13 |
(866) 0x64344 LEA (%R9,%R14,1),%R15 |
(866) 0x64348 VFMADD231PD (%R12,%R15,8),%YMM11,%YMM13 |
(866) 0x6434e ADD -0x298(%RBP),%R9 |
(866) 0x64355 VFMADD231PD (%R12,%R9,8),%YMM12,%YMM13 |
(866) 0x6435b VMOVUPD %YMM13,(%RDX,%R8,8) |
(866) 0x64361 ADD $0x4,%R8 |
(866) 0x64365 CMP -0x2a8(%RBP),%R8 |
(866) 0x6436c JLE 642f0 |
(865) 0x6436e MOV -0x248(%RBP),%RAX |
(865) 0x64375 CMP %R13,%RAX |
(865) 0x64378 MOV -0x80(%RBP),%RBX |
(865) 0x6437c MOV -0x130(%RBP),%R14 |
(865) 0x64383 MOV -0x90(%RBP),%RDI |
(865) 0x6438a MOV -0x288(%RBP),%R11 |
(865) 0x64391 JNE 643d0 |
(865) 0x64393 JMP 64180 |
0x64398 NOPW %CS:(%RAX,%RAX,1) |
0x643a7 NOPW %CS:(%RAX,%RAX,1) |
0x643b6 NOPW %CS:(%RAX,%RAX,1) |
(865) 0x643c0 XOR %R13D,%R13D |
(865) 0x643c3 MOV %R15,%RBX |
(865) 0x643c6 NOPW %CS:(%RAX,%RAX,1) |
(860) 0x643d0 LEA (%R11,%R13,1),%RCX |
(860) 0x643d4 LEA (%R14,%RCX,1),%RSI |
(860) 0x643d8 LEA (%R14,%RSI,1),%R8 |
(860) 0x643dc LEA (%R14,%R8,1),%R9 |
(860) 0x643e0 LEA (%R14,%R9,1),%R10 |
(860) 0x643e4 VMOVQ %R10,%XMM5 |
(860) 0x643e9 ADD %R14,%R10 |
(860) 0x643ec VMOVQ %R10,%XMM6 |
(860) 0x643f1 LEA (%R14,%R10,1),%R10 |
(860) 0x643f5 VMOVQ %R10,%XMM7 |
(860) 0x643fa LEA (%R14,%R10,1),%R10 |
(860) 0x643fe VMOVQ %R10,%XMM8 |
(860) 0x64403 VMOVQ %RCX,%XMM9 |
(860) 0x64408 VMOVQ %RSI,%XMM10 |
(860) 0x6440d VMOVQ %R8,%XMM11 |
(860) 0x64412 VMOVQ %R9,%XMM12 |
(860) 0x64417 VPUNPCKLQDQ %XMM10,%XMM9,%XMM9 |
(860) 0x6441c VPUNPCKLQDQ %XMM12,%XMM11,%XMM10 |
(860) 0x64421 VINSERTI128 $0x1,%XMM10,%YMM9,%YMM9 |
(860) 0x64427 KXNORW %K0,%K0,%K1 |
(860) 0x6442b VPXOR %XMM10,%XMM10,%XMM10 |
(860) 0x64430 VGATHERQPD (%R12,%YMM9,8),%YMM10{%K1} |
(860) 0x64437 VPUNPCKLQDQ %XMM6,%XMM5,%XMM5 |
(860) 0x6443b VPUNPCKLQDQ %XMM8,%XMM7,%XMM6 |
(860) 0x64440 VINSERTI128 $0x1,%XMM6,%YMM5,%YMM5 |
(860) 0x64446 KXNORW %K0,%K0,%K1 |
(860) 0x6444a VPXOR %XMM6,%XMM6,%XMM6 |
(860) 0x6444e VGATHERQPD (%R12,%YMM5,8),%YMM6{%K1} |
(860) 0x64455 VMULPD %YMM3,%YMM6,%YMM5 |
(860) 0x64459 VFMADD231PD %YMM10,%YMM4,%YMM5 |
(860) 0x6445e VEXTRACTF128 $0x1,%YMM5,%XMM6 |
(860) 0x64464 VADDPD %XMM6,%XMM5,%XMM5 |
(860) 0x64468 VSHUFPD $0x1,%XMM5,%XMM5,%XMM6 |
(860) 0x6446d VADDSD %XMM6,%XMM5,%XMM5 |
(860) 0x64471 VADDSD (%RDX,%R13,8),%XMM5,%XMM5 |
(860) 0x64477 VMOVSD %XMM5,(%RDX,%R13,8) |
(860) 0x6447d INC %R13 |
(860) 0x64480 CMP %R13,%RDI |
(860) 0x64483 JNE 643d0 |
(865) 0x64489 JMP 64180 |
0x6448e NOPW %CS:(%RAX,%RAX,1) |
0x6449d NOPW %CS:(%RAX,%RAX,1) |
0x644ac NOPW %CS:(%RAX,%RAX,1) |
0x644bb NOPL (%RAX,%RAX,1) |
(856) 0x644c0 MOV -0x30(%RBP),%R9 |
(856) 0x644c4 IMUL -0xa0(%RBP),%R9 |
(856) 0x644cc ADD -0xa8(%RBP),%R9 |
(856) 0x644d3 XOR %ECX,%ECX |
(856) 0x644d5 MOV -0x48(%RBP),%RDI |
(856) 0x644d9 MOV -0x78(%RBP),%R8 |
(856) 0x644dd MOV -0x88(%RBP),%R11 |
(856) 0x644e4 JMP 64511 |
0x644e6 NOPW %CS:(%RAX,%RAX,1) |
0x644f5 NOPW %CS:(%RAX,%RAX,1) |
(857) 0x64500 ADD -0x38(%RBP),%R9 |
(857) 0x64504 CMP %R10,%RCX |
(857) 0x64507 LEA 0x1(%RCX),%RCX |
(857) 0x6450b JE 63c40 |
(857) 0x64511 TEST %R8,%R8 |
(857) 0x64514 JLE 64500 |
(857) 0x64516 MOV %R13,%RDX |
(857) 0x64519 IMUL %RCX,%RDX |
(857) 0x6451d ADD %R11,%RDX |
(857) 0x64520 XOR %ESI,%ESI |
(857) 0x64522 NOPW %CS:(%RAX,%RAX,1) |
(858) 0x64530 VMOVSD (%R9,%RSI,8),%XMM3 |
(858) 0x64536 VMOVSD (%RDI,%RDX,8),%XMM4 |
(858) 0x6453b VFMADD213SD (%RAX,%RSI,8),%XMM3,%XMM4 |
(858) 0x64541 VMOVSD %XMM4,(%RAX,%RSI,8) |
(858) 0x64546 INC %RSI |
(858) 0x64549 CMP %RSI,%R8 |
(858) 0x6454c JNE 64530 |
(857) 0x6454e JMP 64500 |
0x64550 NOPW %CS:(%RAX,%RAX,1) |
0x6455f NOPW %CS:(%RAX,%RAX,1) |
0x6456e NOPW %CS:(%RAX,%RAX,1) |
0x6457d NOPL (%RAX) |
0x64580 LEA 0x2b0039(%RIP),%RDI |
0x64587 MOV -0x94(%RBP),%ESI |
0x6458d ADD $0x288,%RSP |
0x64594 POP %RBX |
0x64595 POP %R12 |
0x64597 POP %R13 |
0x64599 POP %R14 |
0x6459b POP %R15 |
0x6459d POP %RBP |
0x6459e VZEROUPPER |
0x645a1 JMP 9920 |
0x645a6 NOPW %CS:(%RAX,%RAX,1) |
0x645b0 NOPW %CS:(%RAX,%RAX,1) |
0x645ba NOPW (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 221 |
nb uops | 227 |
loop length | 1388 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 55 |
micro-operation queue | 37.83 cycles |
front end | 37.83 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 8.50 | 8.30 | 12.33 | 12.33 | 33.00 | 8.47 | 8.40 | 33.00 | 33.00 | 33.00 | 8.33 | 12.33 |
cycles | 8.50 | 10.27 | 12.33 | 12.33 | 33.00 | 8.47 | 8.40 | 33.00 | 33.00 | 33.00 | 8.33 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 37.65 |
Stall cycles | 0.00 |
Front-end | 37.83 |
Dispatch | 33.00 |
Overall L1 | 37.83 |
all | 5% |
load | 42% |
store | 0% |
mul | 100% |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
all | 13% |
load | 28% |
store | 12% |
mul | 50% |
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 $0x288,%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,-0x98(%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,-0x1d8(%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,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1d0(%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,-0x58(%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,-0xd8(%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,-0xd0(%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,-0xc8(%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,-0xc0(%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,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0xb8(%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,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2b0(%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 -0x2b0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2b0c48(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x98(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x140(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x138(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x94(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99f0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x70(%RBP),%R10 | 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 -0x140(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x138(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb0(%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 64580 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xd00> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x60(%RBP),%R10 | 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 64580 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xd00> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RSI),%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 %RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x60(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R14,%RSI | 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,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R10,%RDI | 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,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R14,%R14 | 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 %R14,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a0(%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,-0x198(%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 %R13,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R13,%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 %R13,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 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 |
IMUL %RAX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R13,%R13 | 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 %R13,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x178(%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,-0x170(%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,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%R10 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R10,%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,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%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,-0x78(%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,-0xf8(%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,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VPBROADCASTQ %R13,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPMULLQ 0x9839b(%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 %R13,%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,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R13,8),%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 |
SUB %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x260(%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,-0x80(%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,-0x298(%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,%RSI,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,-0xa8(%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,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVDQU 0x98347(%RIP),%YMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
VMOVDQU 0x9835f(%RIP),%YMM2 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
LEA (%R13,%R13,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x258(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x240(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,2),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,4),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x230(%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),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x228(%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,-0x220(%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,-0xa0(%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,%RCX,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 -0xc8(%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,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%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,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RSI,1),%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 %RBX,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 63c5f <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3df> | 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 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
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 |
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 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2b0039(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x94(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x288,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9920 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 221 |
nb uops | 227 |
loop length | 1388 |
used x86 registers | 15 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 3 |
used zmm registers | 0 |
nb stack references | 55 |
micro-operation queue | 37.83 cycles |
front end | 37.83 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 8.50 | 8.30 | 12.33 | 12.33 | 33.00 | 8.47 | 8.40 | 33.00 | 33.00 | 33.00 | 8.33 | 12.33 |
cycles | 8.50 | 10.27 | 12.33 | 12.33 | 33.00 | 8.47 | 8.40 | 33.00 | 33.00 | 33.00 | 8.33 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 37.65 |
Stall cycles | 0.00 |
Front-end | 37.83 |
Dispatch | 33.00 |
Overall L1 | 37.83 |
all | 5% |
load | 42% |
store | 0% |
mul | 100% |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
all | 13% |
load | 28% |
store | 12% |
mul | 50% |
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 $0x288,%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,-0x98(%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,-0x1d8(%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,-0x60(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1d0(%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,-0x58(%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,-0xd8(%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,-0xd0(%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,-0xc8(%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,-0xc0(%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,-0x138(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xc8(%R8),%R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
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,-0xb8(%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,-0x140(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x2b0(%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 -0x2b0(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2b0c48(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x98(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x140(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x138(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x94(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV $0x22,%EDX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH $0x1 | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
PUSH %RAX | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 5-12 | 0.50 |
CALL 99f0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
MOV -0x70(%RBP),%R10 | 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 -0x140(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x138(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xb0(%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 64580 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xd00> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP -0x60(%RBP),%R10 | 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 64580 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xd00> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xb0(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RSI),%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 %RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %RAX,%RSI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RSI,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0x60(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R14,%RSI | 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,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R10,%RDI | 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,%RDI | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDI,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %EDI,%EDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
TEST %R14,%R14 | 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 %R14,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a0(%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,-0x198(%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 %R13,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R13,%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 %R13,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 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 |
IMUL %RAX,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R8,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R13,%R13 | 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 %R13,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %R10,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x178(%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,-0x170(%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,-0x168(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
ADD %RCX,%R10 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %R10,%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,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd8(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%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,-0x78(%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,-0xf8(%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,-0x200(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VPBROADCASTQ %R13,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPMULLQ 0x9839b(%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 %R13,%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,-0xf0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R13,8),%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 |
SUB %R13,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RAX,-0x260(%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,-0x80(%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,-0x298(%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,%RSI,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,-0xa8(%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,-0x1e8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVDQU 0x98347(%RIP),%YMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
VMOVDQU 0x9835f(%RIP),%YMM2 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 0-1 | 0.33 |
LEA (%R13,%R13,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x258(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,1),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x240(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%R14,%R14,2),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (,%R14,4),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x230(%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),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %R8,-0x228(%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,-0x220(%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,-0xa0(%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,%RCX,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 -0xc8(%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,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%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,-0x148(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RSI,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
LEA (%RCX,%RSI,1),%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 %RBX,-0x1c8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R15,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R10,-0x70(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x270(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 63c5f <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3df> | 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 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 |
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 |
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 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPL (%RAX) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x2b0039(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x94(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x288,%RSP | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
POP %RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R12 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R13 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
POP %RBP | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1-6 | 0.33 |
VZEROUPPER | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
JMP 9920 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW %CS:(%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
NOPW (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
Name | Coverage (%) | Time (s) |
---|---|---|
▼void Kripke::DispatchHelper | 4.28 | 2.44 |
▼Loop 856 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 859 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
▼Loop 861 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0.01 |
▼Loop 865 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.01 |
○Loop 866 - forall.hpp:59-59 - libkripke.so | 2.76 | 1.56 |
○Loop 860 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 863 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0.01 |
○Loop 864 - forall.hpp:59-59 - libkripke.so | 1.49 | 0.84 |
○Loop 862 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 857 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 858 - forall.hpp:59-59 - libkripke.so | 0 | 0 |