Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.84% |
---|
Function: void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesS ... | Module: libkripke.so | Source: Collapse.hpp:81-89 [...] | Coverage: 4.84% |
---|
/scratch_na/users/xoserete/qaas_runs/171-291-2973/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-2973/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-2973/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-291-2973/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-2973/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-2973/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Layout.hpp: 55 - 55 |
-------------------------------------------------------------------------------- |
55: return a * b; |
0x469e0 PUSH %RBP |
0x469e1 MOV %RSP,%RBP |
0x469e4 PUSH %R15 |
0x469e6 PUSH %R14 |
0x469e8 PUSH %R13 |
0x469ea PUSH %R12 |
0x469ec PUSH %RBX |
0x469ed SUB $0x258,%RSP |
0x469f4 MOV %RDX,%RBX |
0x469f7 MOVL $0,-0x90(%RBP) |
0x46a01 MOV (%R8),%RAX |
0x46a04 MOV %RAX,-0x68(%RBP) |
0x46a08 MOV 0x10(%R8),%RAX |
0x46a0c MOV %RAX,-0x40(%RBP) |
0x46a10 MOV 0x18(%R8),%R14 |
0x46a14 MOV 0x20(%R8),%RAX |
0x46a18 MOV %RAX,-0x1c8(%RBP) |
0x46a1f MOV 0x30(%R8),%RAX |
0x46a23 MOV %RAX,-0xd8(%RBP) |
0x46a2a MOV 0x38(%R8),%RAX |
0x46a2e MOV %RAX,-0xd0(%RBP) |
0x46a35 MOV 0x60(%R8),%RAX |
0x46a39 MOV %RAX,-0xc8(%RBP) |
0x46a40 MOV 0x68(%R8),%RAX |
0x46a44 MOV %RAX,-0xc0(%RBP) |
0x46a4b MOV 0xa8(%R8),%RAX |
0x46a52 MOV %RAX,-0xb8(%RBP) |
0x46a59 MOV 0xc8(%R8),%RAX |
0x46a60 MOV %RAX,-0x48(%RBP) |
0x46a64 MOV 0xf0(%R8),%RAX |
0x46a6b MOV %RAX,-0x70(%RBP) |
0x46a6f MOV 0x110(%R8),%R13 |
0x46a76 MOV 0x118(%R8),%RAX |
0x46a7d MOV %RAX,-0xb0(%RBP) |
0x46a84 MOV 0x158(%R8),%R12 |
0x46a8b MOV (%RDI),%ESI |
0x46a8d MOV %R9,-0x150(%RBP) |
0x46a94 MOVQ $0,-0x158(%RBP) |
0x46a9f MOVQ $0x1,-0x278(%RBP) |
0x46aaa SUB $0x8,%RSP |
0x46aae LEA -0x278(%RBP),%RAX |
0x46ab5 LEA 0x268ad4(%RIP),%RDI |
0x46abc LEA -0x90(%RBP),%RCX |
0x46ac3 LEA -0x158(%RBP),%R8 |
0x46aca LEA -0x150(%RBP),%R9 |
0x46ad1 MOV %ESI,-0x8c(%RBP) |
0x46ad7 MOV $0x22,%EDX |
0x46adc PUSH $0x1 |
0x46ade PUSH $0x1 |
0x46ae0 PUSH %RAX |
0x46ae1 CALL 99a0 <__kmpc_for_static_init_8@plt> |
0x46ae6 ADD $0x20,%RSP |
0x46aea MOV -0x158(%RBP),%RCX |
0x46af1 MOV -0x150(%RBP),%RAX |
0x46af8 MOV %RCX,-0xa8(%RBP) |
0x46aff CMP %RAX,%RCX |
0x46b02 JA 47601 |
0x46b08 MOV %R14,%RCX |
0x46b0b SUB -0x40(%RBP),%RCX |
0x46b0f MOV %RCX,-0xe0(%RBP) |
0x46b16 TEST %RCX,%RCX |
0x46b19 JLE 47601 |
0x46b1f MOV -0xa8(%RBP),%RDX |
0x46b26 LEA 0x1(%RDX),%RCX |
0x46b2a INC %RAX |
0x46b2d CMP %RAX,%RCX |
0x46b30 CMOVG %RCX,%RAX |
0x46b34 NOT %RDX |
0x46b37 ADD %RAX,%RDX |
0x46b3a MOV %RDX,-0x1b0(%RBP) |
0x46b41 MOV -0x40(%RBP),%RCX |
0x46b45 MOV %RCX,%R8 |
0x46b48 IMUL %R13,%R8 |
0x46b4c MOV %R13,%RAX |
0x46b4f SAR $0x3f,%RAX |
0x46b53 ANDN %R13,%RAX,%RAX |
0x46b58 MOV %R14,%RDX |
0x46b5b MOV %RAX,-0x1a8(%RBP) |
0x46b62 IMUL %RAX,%RDX |
0x46b66 MOV %RDX,-0x1a0(%RBP) |
0x46b6d XOR %ESI,%ESI |
0x46b6f TEST %R13,%R13 |
0x46b72 MOV $0,%EAX |
0x46b77 CMOVS %R13,%RAX |
0x46b7b MOV %R14,%RDX |
0x46b7e MOV %RAX,-0x198(%RBP) |
0x46b85 IMUL %RAX,%RDX |
0x46b89 MOV %RDX,-0x190(%RBP) |
0x46b90 MOV %RCX,%RAX |
0x46b93 MOV -0x48(%RBP),%R9 |
0x46b97 IMUL %R9,%RAX |
0x46b9b MOV %RAX,-0x120(%RBP) |
0x46ba2 MOV %R9,%RAX |
0x46ba5 SAR $0x3f,%RAX |
0x46ba9 ANDN %R9,%RAX,%RAX |
0x46bae MOV %R14,%RDX |
0x46bb1 MOV %RAX,-0x188(%RBP) |
0x46bb8 IMUL %RAX,%RDX |
0x46bbc MOV %RDX,-0x180(%RBP) |
0x46bc3 TEST %R9,%R9 |
0x46bc6 MOV $0,%EAX |
0x46bcb CMOVS %R9,%RAX |
0x46bcf MOV %RAX,-0x178(%RBP) |
0x46bd6 IMUL %RAX,%R14 |
0x46bda MOV %R14,-0x1b8(%RBP) |
0x46be1 MOV -0xe0(%RBP),%RAX |
0x46be8 DEC %RAX |
0x46beb MOV %RAX,-0xe8(%RBP) |
0x46bf2 SHR $0x6,%RAX |
0x46bf6 MOV %RAX,-0x1f0(%RBP) |
0x46bfd MOV -0xd0(%RBP),%R14 |
0x46c04 MOV -0xd8(%RBP),%RDX |
0x46c0b SUB %RDX,%R14 |
0x46c0e LEA -0x1(%R14),%RAX |
0x46c12 MOV %RAX,-0x1d8(%RBP) |
0x46c19 SHR $0x6,%RAX |
0x46c1d MOV %RAX,-0x200(%RBP) |
0x46c24 MOV %R9,%RAX |
0x46c27 SAL $0x6,%RAX |
0x46c2b MOV %RAX,-0x138(%RBP) |
0x46c32 MOV %R13,%RAX |
0x46c35 SAL $0x6,%RAX |
0x46c39 MOV %RAX,-0x78(%RBP) |
0x46c3d LEA (,%R13,8),%RAX |
0x46c45 MOV %RAX,-0x30(%RBP) |
0x46c49 MOV %RAX,%RDI |
0x46c4c SUB %R13,%RDI |
0x46c4f MOV %RDI,-0x260(%RBP) |
0x46c56 LEA (,%RDX,8),%RAX |
0x46c5e LEA (%RAX,%R8,8),%RAX |
0x46c62 ADD %R12,%RAX |
0x46c65 MOV %RAX,-0xa0(%RBP) |
0x46c6c MOV %R13,%RAX |
0x46c6f SAL $0x9,%RAX |
0x46c73 MOV %RAX,-0x1e8(%RBP) |
0x46c7a VPBROADCASTQ %R9,%YMM0 |
0x46c80 VPBROADCASTQ %RCX,%YMM1 |
0x46c86 VPADDQ 0x51412(%RIP),%YMM1,%YMM1 |
0x46c8e VPMULLQ %YMM1,%YMM0,%YMM0 |
0x46c94 VMOVQ -0x68(%RBP),%XMM1 |
0x46c99 VMOVQ %RDI,%XMM2 |
0x46c9e LEA (%R13,%R13,1),%RAX |
0x46ca3 MOV %RAX,-0x240(%RBP) |
0x46caa LEA (%RAX,%RAX,2),%RCX |
0x46cae MOV %RCX,-0x238(%RBP) |
0x46cb5 VMOVQ %RCX,%XMM3 |
0x46cba VPUNPCKLQDQ %XMM2,%XMM3,%XMM2 |
0x46cbe LEA (%R13,%R13,4),%RCX |
0x46cc3 MOV %RCX,-0x230(%RBP) |
0x46cca VMOVQ %RCX,%XMM3 |
0x46ccf LEA (,%R13,4),%RCX |
0x46cd7 MOV %RCX,-0x228(%RBP) |
0x46cde VMOVQ %RCX,%XMM4 |
0x46ce3 VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 |
0x46ce7 VINSERTI128 $0x1,%XMM2,%YMM3,%YMM2 |
0x46ced LEA (%R13,%R13,2),%RCX |
0x46cf2 MOV %RCX,-0x220(%RBP) |
0x46cf9 VMOVQ %RCX,%XMM3 |
0x46cfe VMOVQ %RAX,%XMM4 |
0x46d03 VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 |
0x46d07 VMOVQ %R13,%XMM4 |
0x46d0c VPBROADCASTQ %R8,%YMM5 |
0x46d12 LEA (,%R9,8),%RAX |
0x46d1a MOV %RAX,-0x250(%RBP) |
0x46d21 MOV -0xb0(%RBP),%RAX |
0x46d28 LEA (,%RAX,8),%RAX |
0x46d30 MOV %RAX,-0x98(%RBP) |
0x46d37 MOV -0xb8(%RBP),%RAX |
0x46d3e LEA (%RAX,%RDX,8),%RAX |
0x46d42 MOV %RAX,-0x170(%RBP) |
0x46d49 MOV -0xc0(%RBP),%RAX |
0x46d50 LEA (,%RAX,8),%RAX |
0x46d58 MOV %RAX,-0x168(%RBP) |
0x46d5f MOV -0xc8(%RBP),%RAX |
0x46d66 LEA (,%RAX,8),%RAX |
0x46d6e MOV %RAX,-0x160(%RBP) |
0x46d75 MOV %RBX,-0x1c0(%RBP) |
0x46d7c MOV %R13,-0x268(%RBP) |
0x46d83 MOV %R14,-0x208(%RBP) |
0x46d8a MOV %R8,-0x110(%RBP) |
0x46d91 JMP 46dc6 |
0x46d93 NOPW %CS:(%RAX,%RAX,1) |
(813) 0x46da0 MOV -0x1d0(%RBP),%RCX |
(813) 0x46da7 LEA 0x1(%RCX),%RSI |
(813) 0x46dab CMP -0x1b0(%RBP),%RCX |
(813) 0x46db2 MOV -0x1c0(%RBP),%RBX |
(813) 0x46db9 MOV -0x110(%RBP),%R8 |
(813) 0x46dc0 JE 47601 |
(813) 0x46dc6 MOV -0xa8(%RBP),%RAX |
(813) 0x46dcd ADD %RSI,%RAX |
(813) 0x46dd0 MOV %RAX,%RCX |
(813) 0x46dd3 OR %RBX,%RCX |
(813) 0x46dd6 SHR $0x20,%RCX |
(813) 0x46dda MOV %RSI,-0x1d0(%RBP) |
(813) 0x46de1 JE 46df0 |
(813) 0x46de3 CQTO |
(813) 0x46de5 IDIV %RBX |
(813) 0x46de8 MOV %RAX,%R15 |
(813) 0x46deb JMP 46df7 |
0x46ded NOPL (%RAX) |
(813) 0x46df0 XOR %EDX,%EDX |
(813) 0x46df2 DIV %EBX |
(813) 0x46df4 MOV %EAX,%R15D |
(813) 0x46df7 ADD -0x1c8(%RBP),%RDX |
(813) 0x46dfe MOV -0xb0(%RBP),%R13 |
(813) 0x46e05 IMUL %RDX,%R13 |
(813) 0x46e09 MOV -0xd0(%RBP),%R11 |
(813) 0x46e10 MOV -0x40(%RBP),%RCX |
(813) 0x46e14 NOT %RCX |
(813) 0x46e17 MOV -0x1a8(%RBP),%RSI |
(813) 0x46e1e IMUL %RCX,%RSI |
(813) 0x46e22 ADD %R11,%RSI |
(813) 0x46e25 ADD %R8,%RSI |
(813) 0x46e28 ADD -0x1a0(%RBP),%RSI |
(813) 0x46e2f ADD %R13,%RSI |
(813) 0x46e32 LEA -0x8(%R12,%RSI,8),%RSI |
(813) 0x46e37 MOV -0xc0(%RBP),%RDI |
(813) 0x46e3e MOV %RDX,-0x38(%RBP) |
(813) 0x46e42 IMUL %RDX,%RDI |
(813) 0x46e46 MOV -0xd8(%RBP),%R10 |
(813) 0x46e4d LEA (%R10,%RDI,1),%RAX |
(813) 0x46e51 MOV -0x68(%RBP),%R9 |
(813) 0x46e55 LEA (%R9,%R15,1),%RDX |
(813) 0x46e59 MOV -0xc8(%RBP),%R9 |
(813) 0x46e60 IMUL %RDX,%R9 |
(813) 0x46e64 ADD %R9,%RAX |
(813) 0x46e67 MOV -0xb8(%RBP),%RBX |
(813) 0x46e6e LEA (%RBX,%RAX,8),%RAX |
(813) 0x46e72 CMP %RAX,%RSI |
(813) 0x46e75 SETAE %SIL |
(813) 0x46e79 ADD %R11,%RDI |
(813) 0x46e7c ADD %R9,%RDI |
(813) 0x46e7f LEA -0x8(%RBX,%RDI,8),%RDI |
(813) 0x46e84 ADD %R10,%R13 |
(813) 0x46e87 ADD %R13,%R8 |
(813) 0x46e8a MOV -0x198(%RBP),%R9 |
(813) 0x46e91 IMUL %RCX,%R9 |
(813) 0x46e95 ADD -0x190(%RBP),%R9 |
(813) 0x46e9c MOV %R8,-0x118(%RBP) |
(813) 0x46ea3 ADD %R8,%R9 |
(813) 0x46ea6 LEA (%R12,%R9,8),%R9 |
(813) 0x46eaa CMP %R9,%RDI |
(813) 0x46ead SETAE %R10B |
(813) 0x46eb1 MOV -0x120(%RBP),%R9 |
(813) 0x46eb8 MOV %RDX,%R8 |
(813) 0x46ebb ADD %R9,%RDX |
(813) 0x46ebe MOV -0x188(%RBP),%R9 |
(813) 0x46ec5 IMUL %RCX,%R9 |
(813) 0x46ec9 ADD -0x180(%RBP),%R9 |
(813) 0x46ed0 ADD %RDX,%R9 |
(813) 0x46ed3 MOV -0x70(%RBP),%R11 |
(813) 0x46ed7 LEA (%R11,%R9,8),%R9 |
(813) 0x46edb CMP %RAX,%R9 |
(813) 0x46ede SETB %R9B |
(813) 0x46ee2 IMUL -0x178(%RBP),%RCX |
(813) 0x46eea ADD -0x1b8(%RBP),%RCX |
(813) 0x46ef1 MOV %RDX,-0x60(%RBP) |
(813) 0x46ef5 ADD %RDX,%RCX |
(813) 0x46ef8 LEA (%R11,%RCX,8),%RCX |
(813) 0x46efc CMP %RCX,%RDI |
(813) 0x46eff SETB %CL |
(813) 0x46f02 TEST %R10B,%SIL |
(813) 0x46f05 JNE 47590 |
(813) 0x46f0b OR %CL,%R9B |
(813) 0x46f0e JE 47590 |
(813) 0x46f14 MOV %R15,%RDX |
(813) 0x46f17 MOV -0x168(%RBP),%RAX |
(813) 0x46f1e MOV -0x38(%RBP),%R15 |
(813) 0x46f22 IMUL %R15,%RAX |
(813) 0x46f26 ADD -0x170(%RBP),%RAX |
(813) 0x46f2d IMUL -0x160(%RBP),%R8 |
(813) 0x46f35 ADD %RAX,%R8 |
(813) 0x46f38 MOV %R8,-0x1e0(%RBP) |
(813) 0x46f3f IMUL -0x98(%RBP),%R15 |
(813) 0x46f47 ADD -0xa0(%RBP),%R15 |
(813) 0x46f4e LEA (%R12,%R13,8),%RAX |
(813) 0x46f52 MOV %RAX,-0xf0(%RBP) |
(813) 0x46f59 VMOVQ -0x60(%RBP),%XMM6 |
(813) 0x46f5e VMOVQ %RDX,%XMM7 |
(813) 0x46f63 VPADDQ %XMM7,%XMM1,%XMM7 |
(813) 0x46f67 VPBROADCASTQ %XMM7,%YMM7 |
(813) 0x46f6c VPADDQ %YMM0,%YMM7,%YMM7 |
(813) 0x46f70 VPBROADCASTQ %R13,%YMM8 |
(813) 0x46f76 VPADDQ %YMM5,%YMM8,%YMM9 |
(813) 0x46f7a VPADDQ %YMM2,%YMM9,%YMM9 |
(813) 0x46f7e MOV -0xe8(%RBP),%RCX |
(813) 0x46f85 XOR %R10D,%R10D |
(813) 0x46f88 MOV -0x48(%RBP),%R8 |
(813) 0x46f8c MOV %RDX,-0x248(%RBP) |
(813) 0x46f93 JMP 46fd4 |
0x46f95 NOPW %CS:(%RAX,%RAX,1) |
(816) 0x46fa0 LEA 0x1(%R10),%RAX |
(816) 0x46fa4 MOV -0x1e8(%RBP),%RCX |
(816) 0x46fab MOV -0x38(%RBP),%R15 |
(816) 0x46faf ADD %RCX,%R15 |
(816) 0x46fb2 ADD %RCX,-0xf0(%RBP) |
(816) 0x46fb9 MOV -0x1f8(%RBP),%RCX |
(816) 0x46fc0 ADD $-0x40,%RCX |
(816) 0x46fc4 CMP -0x1f0(%RBP),%R10 |
(816) 0x46fcb MOV %RAX,%R10 |
(816) 0x46fce JE 46da0 |
(816) 0x46fd4 MOV %R15,-0x38(%RBP) |
(816) 0x46fd8 CMP $0x3f,%RCX |
(816) 0x46fdc MOV $0x3f,%EAX |
(816) 0x46fe1 MOV %RCX,-0x1f8(%RBP) |
(816) 0x46fe8 CMOVL %RCX,%RAX |
(816) 0x46fec MOV %RAX,%RCX |
(816) 0x46fef MOV %R10,%RSI |
(816) 0x46ff2 SAL $0x6,%RSI |
(816) 0x46ff6 NOT %RSI |
(816) 0x46ff9 ADD -0xe0(%RBP),%RSI |
(816) 0x47000 CMP $0x3f,%RSI |
(816) 0x47004 MOV $0x3f,%EAX |
(816) 0x47009 CMOVGE %RAX,%RSI |
(816) 0x4700d MOV %RSI,-0x128(%RBP) |
(816) 0x47014 TEST %R14,%R14 |
(816) 0x47017 JLE 46fa0 |
(816) 0x47019 INC %RCX |
(816) 0x4701c AND $-0x8,%RCX |
(816) 0x47020 ADD -0x40(%RBP),%RCX |
(816) 0x47024 IMUL -0x30(%RBP),%RCX |
(816) 0x47029 ADD -0xf0(%RBP),%RCX |
(816) 0x47030 MOV %RCX,-0x100(%RBP) |
(816) 0x47037 MOV -0x128(%RBP),%RAX |
(816) 0x4703e INC %RAX |
(816) 0x47041 MOV %RAX,-0x108(%RBP) |
(816) 0x47048 SHR $0x3,%RAX |
(816) 0x4704c DEC %RAX |
(816) 0x4704f MOV %RAX,-0x258(%RBP) |
(816) 0x47056 MOV -0x1d8(%RBP),%RCX |
(816) 0x4705d MOV -0x38(%RBP),%RAX |
(816) 0x47061 MOV %RAX,-0xf8(%RBP) |
(816) 0x47068 MOV -0x1e0(%RBP),%R9 |
(816) 0x4706f XOR %EAX,%EAX |
(816) 0x47071 MOV %R10,-0x148(%RBP) |
(816) 0x47078 JMP 470c0 |
0x4707a NOPW (%RAX,%RAX,1) |
(818) 0x47080 MOV -0x210(%RBP),%RSI |
(818) 0x47087 LEA 0x1(%RSI),%RAX |
(818) 0x4708b ADD $0x200,%R9 |
(818) 0x47092 ADDQ $0x200,-0xf8(%RBP) |
(818) 0x4709d MOV -0x218(%RBP),%RCX |
(818) 0x470a4 ADD $-0x40,%RCX |
(818) 0x470a8 ADDQ $0x200,-0x100(%RBP) |
(818) 0x470b3 CMP -0x200(%RBP),%RSI |
(818) 0x470ba JE 46fa0 |
(818) 0x470c0 CMP $0x3f,%RCX |
(818) 0x470c4 MOV $0x3f,%ESI |
(818) 0x470c9 MOV %RCX,-0x218(%RBP) |
(818) 0x470d0 CMOVL %RCX,%RSI |
(818) 0x470d4 INC %RSI |
(818) 0x470d7 MOV %RSI,-0x58(%RBP) |
(818) 0x470db MOV %RAX,-0x210(%RBP) |
(818) 0x470e2 MOV %RAX,%RBX |
(818) 0x470e5 SAL $0x6,%RBX |
(818) 0x470e9 MOV %RBX,%RCX |
(818) 0x470ec NOT %RCX |
(818) 0x470ef ADD %R14,%RCX |
(818) 0x470f2 CMP $0x3f,%RCX |
(818) 0x470f6 MOV $0x3f,%EAX |
(818) 0x470fb CMOVGE %RAX,%RCX |
(818) 0x470ff MOV %RCX,-0x50(%RBP) |
(818) 0x47103 CMPQ $0x8,-0x108(%RBP) |
(818) 0x4710b MOV -0x118(%RBP),%RAX |
(818) 0x47112 JAE 47200 |
(818) 0x47118 MOV -0x108(%RBP),%RCX |
(818) 0x4711f MOV %RCX,%RAX |
(818) 0x47122 AND $-0x8,%RAX |
(818) 0x47126 CMP %RCX,%RAX |
(818) 0x47129 MOV -0x70(%RBP),%RBX |
(818) 0x4712d MOV -0x208(%RBP),%R14 |
(818) 0x47134 MOV -0x60(%RBP),%R11 |
(818) 0x47138 MOV -0x58(%RBP),%R15 |
(818) 0x4713c JE 47080 |
(818) 0x47142 INCQ -0x50(%RBP) |
(818) 0x47146 MOV -0x100(%RBP),%RCX |
(818) 0x4714d JMP 47168 |
0x4714f NOP |
(820) 0x47150 LEA 0x1(%RAX),%RSI |
(820) 0x47154 ADD -0x30(%RBP),%RCX |
(820) 0x47158 CMP -0x128(%RBP),%RAX |
(820) 0x4715f MOV %RSI,%RAX |
(820) 0x47162 JE 47080 |
(820) 0x47168 MOV -0x138(%RBP),%RSI |
(820) 0x4716f IMUL %R10,%RSI |
(820) 0x47173 MOV %R8,%RDI |
(820) 0x47176 IMUL %RAX,%RDI |
(820) 0x4717a ADD %RSI,%RDI |
(820) 0x4717d ADD %R11,%RDI |
(820) 0x47180 VMOVSD (%RBX,%RDI,8),%XMM10 |
(820) 0x47185 MOV -0x50(%RBP),%RSI |
(820) 0x47189 AND $-0x4,%RSI |
(820) 0x4718d JE 471d0 |
(820) 0x4718f MOV %R10,%R15 |
(820) 0x47192 LEA -0x1(%RSI),%RDI |
(820) 0x47196 VBROADCASTSD %XMM10,%YMM11 |
(820) 0x4719b XOR %R10D,%R10D |
(820) 0x4719e XCHG %AX,%AX |
(821) 0x471a0 VMOVUPD (%RCX,%R10,8),%YMM12 |
(821) 0x471a6 VFMADD213PD (%R9,%R10,8),%YMM11,%YMM12 |
(821) 0x471ac VMOVUPD %YMM12,(%R9,%R10,8) |
(821) 0x471b2 ADD $0x4,%R10 |
(821) 0x471b6 CMP %RDI,%R10 |
(821) 0x471b9 JLE 471a0 |
(820) 0x471bb CMP %RSI,-0x50(%RBP) |
(820) 0x471bf MOV %R15,%R10 |
(820) 0x471c2 MOV -0x58(%RBP),%R15 |
(820) 0x471c6 JNE 471e0 |
(820) 0x471c8 JMP 47150 |
0x471ca NOPW (%RAX,%RAX,1) |
(820) 0x471d0 XOR %ESI,%ESI |
(820) 0x471d2 NOPW %CS:(%RAX,%RAX,1) |
(819) 0x471e0 VMOVSD (%RCX,%RSI,8),%XMM11 |
(819) 0x471e5 VFMADD213SD (%R9,%RSI,8),%XMM10,%XMM11 |
(819) 0x471eb VMOVSD %XMM11,(%R9,%RSI,8) |
(819) 0x471f1 INC %RSI |
(819) 0x471f4 CMP %RSI,%R15 |
(819) 0x471f7 JNE 471e0 |
(820) 0x471f9 JMP 47150 |
0x471fe XCHG %AX,%AX |
(818) 0x47200 MOV -0x50(%RBP),%RCX |
(818) 0x47204 INC %RCX |
(818) 0x47207 MOV %RCX,-0x130(%RBP) |
(818) 0x4720e MOV -0xf8(%RBP),%RCX |
(818) 0x47215 XOR %R11D,%R11D |
(818) 0x47218 MOV %RBX,-0x80(%RBP) |
(818) 0x4721c JMP 4723b |
0x4721e XCHG %AX,%AX |
(822) 0x47220 LEA 0x1(%R14),%R11 |
(822) 0x47224 MOV -0x140(%RBP),%RCX |
(822) 0x4722b ADD %R15,%RCX |
(822) 0x4722e CMP -0x258(%RBP),%R14 |
(822) 0x47235 JE 47118 |
(822) 0x4723b MOV %RCX,-0x140(%RBP) |
(822) 0x47242 MOV -0x138(%RBP),%RDI |
(822) 0x47249 IMUL %R10,%RDI |
(822) 0x4724d MOV -0x250(%RBP),%RSI |
(822) 0x47254 MOV %R11,-0x88(%RBP) |
(822) 0x4725b IMUL %R11,%RSI |
(822) 0x4725f ADD %RDI,%RSI |
(822) 0x47262 MOV -0x120(%RBP),%RCX |
(822) 0x47269 LEA (%R8,%RCX,1),%RDI |
(822) 0x4726d ADD %RDX,%RDI |
(822) 0x47270 MOV -0x68(%RBP),%RBX |
(822) 0x47274 ADD %RBX,%RDI |
(822) 0x47277 VPINSRQ $0x1,%RDI,%XMM6,%XMM10 |
(822) 0x4727d MOV -0x40(%RBP),%R14 |
(822) 0x47281 LEA 0x6(%R14),%RDI |
(822) 0x47285 IMUL %R8,%RDI |
(822) 0x47289 ADD %RDX,%RDI |
(822) 0x4728c ADD %RBX,%RDI |
(822) 0x4728f VPBROADCASTQ %RDI,%YMM11 |
(822) 0x47295 VPBROADCASTQ %RSI,%YMM12 |
(822) 0x4729b LEA 0x7(%R14),%RSI |
(822) 0x4729f IMUL %R8,%RSI |
(822) 0x472a3 ADD %RDX,%RSI |
(822) 0x472a6 ADD %RBX,%RSI |
(822) 0x472a9 VINSERTI128 $0x1,%XMM7,%YMM10,%YMM10 |
(822) 0x472af VPERM2I128 $0x31,%YMM11,%YMM7,%YMM11 |
(822) 0x472b5 VPADDQ %YMM12,%YMM10,%YMM13 |
(822) 0x472ba VPXOR %XMM10,%XMM10,%XMM10 |
(822) 0x472bf KXNORW %K0,%K0,%K1 |
(822) 0x472c3 MOV -0x70(%RBP),%RDI |
(822) 0x472c7 VGATHERQPD (%RDI,%YMM13,8),%YMM10{%K1} |
(822) 0x472ce VPBROADCASTQ %RSI,%YMM13 |
(822) 0x472d4 VPBLENDD $-0x40,%YMM13,%YMM11,%YMM11 |
(822) 0x472da VPADDQ %YMM12,%YMM11,%YMM12 |
(822) 0x472df VPXOR %XMM11,%XMM11,%XMM11 |
(822) 0x472e4 KXNORW %K0,%K0,%K1 |
(822) 0x472e8 VGATHERQPD (%RDI,%YMM12,8),%YMM11{%K1} |
(822) 0x472ef MOV -0x130(%RBP),%RSI |
(822) 0x472f6 AND $-0x4,%RSI |
(822) 0x472fa JE 47490 |
(822) 0x47300 LEA -0x1(%RSI),%RAX |
(822) 0x47304 MOV %RAX,-0x270(%RBP) |
(822) 0x4730b VBROADCASTSD %XMM10,%YMM12 |
(822) 0x47310 VXORPS %XMM13,%XMM13,%XMM13 |
(822) 0x47315 VPERMPD $0x55,%YMM10,%YMM13 |
(822) 0x4731b VPERMPD $-0x56,%YMM10,%YMM14 |
(822) 0x47321 VPERMPD $-0x1,%YMM10,%YMM15 |
(822) 0x47327 VBROADCASTSD %XMM11,%YMM16 |
(822) 0x4732d VPERMPD $0x55,%YMM11,%YMM17 |
(822) 0x47334 VPERMPD $-0x56,%YMM11,%YMM18 |
(822) 0x4733b VPERMPD $-0x1,%YMM11,%YMM19 |
(822) 0x47342 XOR %EBX,%EBX |
(822) 0x47344 MOV -0x240(%RBP),%RDX |
(822) 0x4734b MOV -0x238(%RBP),%R10 |
(822) 0x47352 MOV -0x230(%RBP),%R8 |
(822) 0x47359 MOV -0x110(%RBP),%RCX |
(822) 0x47360 MOV -0x228(%RBP),%R11 |
(822) 0x47367 MOV -0x220(%RBP),%R15 |
(822) 0x4736e MOV -0x140(%RBP),%RAX |
(822) 0x47375 NOPW %CS:(%RAX,%RAX,1) |
(823) 0x47380 MOV -0x78(%RBP),%R14 |
(823) 0x47384 IMUL -0x148(%RBP),%R14 |
(823) 0x4738c ADD -0x80(%RBP),%R14 |
(823) 0x47390 MOV -0x30(%RBP),%RDI |
(823) 0x47394 IMUL -0x88(%RBP),%RDI |
(823) 0x4739c ADD %RBX,%RDI |
(823) 0x4739f VMOVUPD (%RAX,%RBX,8),%YMM20 |
(823) 0x473a6 VFMADD213PD (%R9,%RBX,8),%YMM12,%YMM20 |
(823) 0x473ad ADD %R14,%RDI |
(823) 0x473b0 MOV -0x268(%RBP),%R14 |
(823) 0x473b7 ADD %R13,%R14 |
(823) 0x473ba ADD %RCX,%R14 |
(823) 0x473bd ADD %RDI,%R14 |
(823) 0x473c0 VFMADD231PD (%R12,%R14,8),%YMM13,%YMM20 |
(823) 0x473c7 LEA (%R13,%RDX,1),%R14 |
(823) 0x473cc ADD %RCX,%R14 |
(823) 0x473cf ADD %RDI,%R14 |
(823) 0x473d2 VFMADD231PD (%R12,%R14,8),%YMM14,%YMM20 |
(823) 0x473d9 LEA (%R13,%R15,1),%R14 |
(823) 0x473de ADD %RCX,%R14 |
(823) 0x473e1 ADD %RDI,%R14 |
(823) 0x473e4 VFMADD231PD (%R12,%R14,8),%YMM15,%YMM20 |
(823) 0x473eb LEA (%R13,%R11,1),%R14 |
(823) 0x473f0 ADD %RCX,%R14 |
(823) 0x473f3 ADD %RDI,%R14 |
(823) 0x473f6 VFMADD231PD (%R12,%R14,8),%YMM16,%YMM20 |
(823) 0x473fd LEA (%R13,%R8,1),%R14 |
(823) 0x47402 ADD %RCX,%R14 |
(823) 0x47405 ADD %RDI,%R14 |
(823) 0x47408 VFMADD231PD (%R12,%R14,8),%YMM17,%YMM20 |
(823) 0x4740f LEA (%R13,%R10,1),%R14 |
(823) 0x47414 ADD %RCX,%R14 |
(823) 0x47417 ADD %RDI,%R14 |
(823) 0x4741a VFMADD231PD (%R12,%R14,8),%YMM18,%YMM20 |
(823) 0x47421 MOV -0x260(%RBP),%R14 |
(823) 0x47428 ADD %R13,%R14 |
(823) 0x4742b ADD %RCX,%R14 |
(823) 0x4742e ADD %RDI,%R14 |
(823) 0x47431 VFMADD231PD (%R12,%R14,8),%YMM19,%YMM20 |
(823) 0x47438 VMOVUPD %YMM20,(%R9,%RBX,8) |
(823) 0x4743f ADD $0x4,%RBX |
(823) 0x47443 CMP -0x270(%RBP),%RBX |
(823) 0x4744a JLE 47380 |
(822) 0x47450 CMP %RSI,-0x130(%RBP) |
(822) 0x47457 MOV -0x48(%RBP),%R8 |
(822) 0x4745b MOV -0x78(%RBP),%R15 |
(822) 0x4745f MOV -0x30(%RBP),%R11 |
(822) 0x47463 MOV -0x248(%RBP),%RDX |
(822) 0x4746a MOV -0x118(%RBP),%RAX |
(822) 0x47471 MOV -0x148(%RBP),%R10 |
(822) 0x47478 MOV -0x58(%RBP),%RCX |
(822) 0x4747c MOV -0x80(%RBP),%RBX |
(822) 0x47480 MOV -0x88(%RBP),%R14 |
(822) 0x47487 JNE 474b0 |
(822) 0x47489 JMP 47220 |
0x4748e XCHG %AX,%AX |
(822) 0x47490 XOR %ESI,%ESI |
(822) 0x47492 MOV -0x78(%RBP),%R15 |
(822) 0x47496 MOV -0x30(%RBP),%R11 |
(822) 0x4749a MOV -0x58(%RBP),%RCX |
(822) 0x4749e MOV -0x80(%RBP),%RBX |
(822) 0x474a2 MOV -0x88(%RBP),%R14 |
(822) 0x474a9 NOPL (%RAX) |
(817) 0x474b0 MOV %R15,%RDI |
(817) 0x474b3 IMUL %R10,%RDI |
(817) 0x474b7 ADD %RBX,%RDI |
(817) 0x474ba VMOVQ %RDI,%XMM12 |
(817) 0x474bf MOV %R11,%RDI |
(817) 0x474c2 IMUL %R14,%RDI |
(817) 0x474c6 VMOVQ %RDI,%XMM13 |
(817) 0x474cb VPUNPCKLQDQ %XMM8,%XMM12,%XMM12 |
(817) 0x474d0 VINSERTI128 $0x1,%XMM8,%YMM12,%YMM12 |
(817) 0x474d6 VPUNPCKLQDQ %XMM4,%XMM13,%XMM13 |
(817) 0x474da VINSERTI128 $0x1,%XMM3,%YMM13,%YMM13 |
(817) 0x474e0 VMOVQ %RSI,%XMM14 |
(817) 0x474e5 VPUNPCKLQDQ %XMM5,%XMM14,%XMM14 |
(817) 0x474e9 VINSERTI128 $0x1,%XMM5,%YMM14,%YMM14 |
(817) 0x474ef VPADDQ %YMM14,%YMM13,%YMM13 |
(817) 0x474f4 VPADDQ %YMM13,%YMM12,%YMM12 |
(817) 0x474f9 VPBROADCASTQ %XMM12,%XMM13 |
(817) 0x474fe VPINSRQ $0,%RAX,%XMM13,%XMM13 |
(817) 0x47504 VXORPS %XMM14,%XMM14,%XMM14 |
(817) 0x47509 VPERMQ $0x54,%YMM13,%YMM14 |
(817) 0x4750f VPADDQ %YMM14,%YMM12,%YMM12 |
(817) 0x47514 VPXOR %XMM14,%XMM14,%XMM14 |
(817) 0x47519 KXNORW %K0,%K0,%K1 |
(817) 0x4751d VGATHERQPD (%R12,%YMM12,8),%YMM14{%K1} |
(817) 0x47524 VXORPS %XMM12,%XMM12,%XMM12 |
(817) 0x47529 VPERMQ $0x55,%YMM13,%YMM12 |
(817) 0x4752f VPADDQ %YMM12,%YMM9,%YMM12 |
(817) 0x47534 VPXOR %XMM13,%XMM13,%XMM13 |
(817) 0x47539 KXNORW %K0,%K0,%K1 |
(817) 0x4753d VGATHERQPD (%R12,%YMM12,8),%YMM13{%K1} |
(817) 0x47544 VMULPD %YMM11,%YMM13,%YMM12 |
(817) 0x47549 VFMADD231PD %YMM14,%YMM10,%YMM12 |
(817) 0x4754e VEXTRACTF128 $0x1,%YMM12,%XMM13 |
(817) 0x47554 VADDPD %XMM13,%XMM12,%XMM12 |
(817) 0x47559 VSHUFPD $0x1,%XMM12,%XMM12,%XMM13 |
(817) 0x4755f VADDSD %XMM13,%XMM12,%XMM12 |
(817) 0x47564 VADDSD (%R9,%RSI,8),%XMM12,%XMM12 |
(817) 0x4756a VMOVSD %XMM12,(%R9,%RSI,8) |
(817) 0x47570 INC %RSI |
(817) 0x47573 CMP %RSI,%RCX |
(817) 0x47576 JNE 474b0 |
(822) 0x4757c JMP 47220 |
0x47581 NOPW %CS:(%RAX,%RAX,1) |
(813) 0x47590 MOV -0x38(%RBP),%R15 |
(813) 0x47594 IMUL -0x98(%RBP),%R15 |
(813) 0x4759c ADD -0xa0(%RBP),%R15 |
(813) 0x475a3 XOR %ECX,%ECX |
(813) 0x475a5 MOV -0x48(%RBP),%R8 |
(813) 0x475a9 JMP 475c8 |
0x475ab NOPL (%RAX,%RAX,1) |
(814) 0x475b0 LEA 0x1(%RCX),%RDX |
(814) 0x475b4 ADD -0x30(%RBP),%R15 |
(814) 0x475b8 CMP -0xe8(%RBP),%RCX |
(814) 0x475bf MOV %RDX,%RCX |
(814) 0x475c2 JE 46da0 |
(814) 0x475c8 TEST %R14,%R14 |
(814) 0x475cb JLE 475b0 |
(814) 0x475cd MOV %R8,%RDX |
(814) 0x475d0 IMUL %RCX,%RDX |
(814) 0x475d4 ADD -0x60(%RBP),%RDX |
(814) 0x475d8 XOR %ESI,%ESI |
(814) 0x475da NOPW (%RAX,%RAX,1) |
(815) 0x475e0 VMOVSD (%R15,%RSI,8),%XMM6 |
(815) 0x475e6 VMOVSD (%R11,%RDX,8),%XMM7 |
(815) 0x475ec VFMADD213SD (%RAX,%RSI,8),%XMM6,%XMM7 |
(815) 0x475f2 VMOVSD %XMM7,(%RAX,%RSI,8) |
(815) 0x475f7 INC %RSI |
(815) 0x475fa CMP %RSI,%R14 |
(815) 0x475fd JNE 475e0 |
(814) 0x475ff JMP 475b0 |
0x47601 LEA 0x267fa8(%RIP),%RDI |
0x47608 MOV -0x8c(%RBP),%ESI |
0x4760e ADD $0x258,%RSP |
0x47615 POP %RBX |
0x47616 POP %R12 |
0x47618 POP %R13 |
0x4761a POP %R14 |
0x4761c POP %R15 |
0x4761e POP %RBP |
0x4761f VZEROUPPER |
0x47622 JMP 98d0 |
0x47627 NOPW (%RAX,%RAX,1) |
Path / |
Source file and lines | Collapse.hpp:81-89 |
Module | libkripke.so |
nb instructions | 204 |
nb uops | 210 |
loop length | 1060 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 4 |
used ymm registers | 5 |
used zmm registers | 0 |
nb stack references | 52 |
micro-operation queue | 35.00 cycles |
front end | 35.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 10.70 | 10.70 | 12.33 | 12.33 | 31.00 | 11.00 | 10.80 | 31.00 | 31.00 | 31.00 | 10.80 | 12.33 |
cycles | 10.70 | 10.70 | 12.33 | 12.33 | 31.00 | 11.00 | 10.80 | 31.00 | 31.00 | 31.00 | 10.80 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 34.84 |
Stall cycles | 0.00 |
Front-end | 35.00 |
Dispatch | 31.00 |
Overall L1 | 35.00 |
all | 4% |
load | 12% |
store | 0% |
mul | 100% |
add-sub | 50% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 8% |
all | 13% |
load | 15% |
store | 12% |
mul | 50% |
add-sub | 31% |
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 $0x258,%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,-0x90(%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,-0x68(%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,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1c8(%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,-0xd8(%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,-0xd0(%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,-0xc8(%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,-0xc0(%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,-0xb8(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%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 0x110(%R8),%R13 | 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,-0xb0(%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 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x278(%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 -0x278(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x268ad4(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x90(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x158(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x150(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x8c(%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 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x158(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x150(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa8(%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 47601 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc21> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R14,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x40(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RCX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JLE 47601 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc21> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa8(%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 -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R13,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %ESI,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x190(%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 |
MOV -0x48(%RBP),%R9 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
IMUL %R9,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R9,%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 %R9,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%RDX | 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,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 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 %R9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
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,%R14 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R14,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xe0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xe8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%RBP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xd8(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
LEA -0x1(%R14),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
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 |
MOV %R9,%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,-0x138(%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 |
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 (,%R13,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R13,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,-0x260(%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,%R8,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,-0xa0(%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 |
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 |
VPBROADCASTQ %R9,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPBROADCASTQ %RCX,%YMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPADDQ 0x51412(%RIP),%YMM1,%YMM1 | 1 | 0.33 | 0.33 | 0.33 | 0.33 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.40 |
VPMULLQ %YMM1,%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15 | 1.50 |
VMOVQ -0x68(%RBP),%XMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %RDI,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (%R13,%R13,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 (%RAX,%RAX,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM2,%XMM3,%XMM2 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
LEA (%R13,%R13,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (,%R13,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VINSERTI128 $0x1,%XMM2,%YMM3,%YMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (%R13,%R13,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VMOVQ %RAX,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VMOVQ %R13,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPBROADCASTQ %R8,%YMM5 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (,%R9,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x250(%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,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 -0xb8(%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,-0x170(%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,-0x168(%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,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R8,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 46dc6 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3e6> | 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 |
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 (%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 (%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 |
XCHG %AX,%AX | 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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x267fa8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x8c(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x258,%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 98d0 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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 | 204 |
nb uops | 210 |
loop length | 1060 |
used x86 registers | 14 |
used mmx registers | 0 |
used xmm registers | 4 |
used ymm registers | 5 |
used zmm registers | 0 |
nb stack references | 52 |
micro-operation queue | 35.00 cycles |
front end | 35.00 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 10.70 | 10.70 | 12.33 | 12.33 | 31.00 | 11.00 | 10.80 | 31.00 | 31.00 | 31.00 | 10.80 | 12.33 |
cycles | 10.70 | 10.70 | 12.33 | 12.33 | 31.00 | 11.00 | 10.80 | 31.00 | 31.00 | 31.00 | 10.80 | 12.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 34.84 |
Stall cycles | 0.00 |
Front-end | 35.00 |
Dispatch | 31.00 |
Overall L1 | 35.00 |
all | 4% |
load | 12% |
store | 0% |
mul | 100% |
add-sub | 50% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 8% |
all | 13% |
load | 15% |
store | 12% |
mul | 50% |
add-sub | 31% |
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 $0x258,%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,-0x90(%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,-0x68(%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,-0x40(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0x18(%R8),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV 0x20(%R8),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RAX,-0x1c8(%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,-0xd8(%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,-0xd0(%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,-0xc8(%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,-0xc0(%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,-0xb8(%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,-0x48(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV 0xf0(%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 0x110(%R8),%R13 | 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,-0xb0(%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 |
MOV (%RDI),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %R9,-0x150(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0,-0x158(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOVQ $0x1,-0x278(%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 -0x278(%RBP),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x268ad4(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x90(%RBP),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x158(%RBP),%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA -0x150(%RBP),%R9 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %ESI,-0x8c(%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 99a0 <__kmpc_for_static_init_8@plt> | 2 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 0 | 1 |
ADD $0x20,%RSP | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV -0x158(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x150(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xa8(%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 47601 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc21> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV %R14,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB -0x40(%RBP),%RCX | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
MOV %RCX,-0xe0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %RCX,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 2 | 0.20 |
JLE 47601 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0xc21> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0xa8(%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 -0x40(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%R8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
IMUL %R13,%R8 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x1a8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x1a0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
XOR %ESI,%ESI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 %R14,%RDX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0x198(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
IMUL %RAX,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x190(%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 |
MOV -0x48(%RBP),%R9 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
IMUL %R9,%RAX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
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 %R9,%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 %R9,%RAX,%RAX | 1 | 0 | 0.33 | 0 | 0 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0.33 | 0 | 1-2 | 0.33 |
MOV %R14,%RDX | 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,%RDX | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %RDX,-0x180(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
TEST %R9,%R9 | 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 %R9,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
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,%R14 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
MOV %R14,-0x1b8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xe0(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
DEC %RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RAX,-0xe8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
SHR $0x6,%RAX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RAX,-0x1f0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xd0(%RBP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0xd8(%RBP),%RDX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
SUB %RDX,%R14 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
LEA -0x1(%R14),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x1d8(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
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 |
MOV %R9,%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,-0x138(%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 |
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 (,%R13,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x30(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SUB %R13,%RDI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RDI,-0x260(%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,%R8,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,-0xa0(%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 |
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 |
VPBROADCASTQ %R9,%YMM0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPBROADCASTQ %RCX,%YMM1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
VPADDQ 0x51412(%RIP),%YMM1,%YMM1 | 1 | 0.33 | 0.33 | 0.33 | 0.33 | 0 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.40 |
VPMULLQ %YMM1,%YMM0,%YMM0 | 5 | 1.50 | 1.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15 | 1.50 |
VMOVQ -0x68(%RBP),%XMM1 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
VMOVQ %RDI,%XMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (%R13,%R13,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 (%RAX,%RAX,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x238(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM2,%XMM3,%XMM2 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
LEA (%R13,%R13,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x230(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
LEA (,%R13,4),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x228(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VINSERTI128 $0x1,%XMM2,%YMM3,%YMM2 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (%R13,%R13,2),%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RCX,-0x220(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
VMOVQ %RCX,%XMM3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VMOVQ %RAX,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPUNPCKLQDQ %XMM3,%XMM4,%XMM3 | 1 | 0 | 0.50 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
VMOVQ %R13,%XMM4 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
VPBROADCASTQ %R8,%YMM5 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 |
LEA (,%R9,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RAX,-0x250(%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,8),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
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 -0xb8(%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,-0x170(%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,-0x168(%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,-0x160(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RBX,-0x1c0(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R13,-0x268(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R14,-0x208(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %R8,-0x110(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 46dc6 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x3e6> | 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 |
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 (%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 (%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 |
XCHG %AX,%AX | 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 |
NOPL (%RAX,%RAX,1) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
LEA 0x267fa8(%RIP),%RDI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV -0x8c(%RBP),%ESI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $0x258,%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 98d0 <__kmpc_for_static_fini@plt> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.08 |
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.84 | 3.43 |
▼Loop 813 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 814 - forall.hpp:59-59 - libkripke.so– | 0 | 0 |
○Loop 815 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 816 - forall.hpp:59-59 - libkripke.so– | 0 | 0.01 |
▼Loop 818 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0.01 |
▼Loop 822 - forall.hpp:59-59 - libkripke.so– | 0.02 | 0.01 |
○Loop 823 - forall.hpp:59-59 - libkripke.so | 2.92 | 2.06 |
○Loop 817 - forall.hpp:59-59 - libkripke.so | 0 | 0 |
▼Loop 820 - forall.hpp:59-59 - libkripke.so– | 0.01 | 0.01 |
○Loop 821 - forall.hpp:59-59 - libkripke.so | 1.87 | 1.32 |
○Loop 819 - forall.hpp:59-59 - libkripke.so | 0 | 0 |