Loop Id: 818 | Module: libkripke.so | Source: forall.hpp:59-59 [...] | Coverage: 0.01% |
---|
Loop Id: 818 | Module: libkripke.so | Source: forall.hpp:59-59 [...] | Coverage: 0.01% |
---|
0x47080 MOV -0x210(%RBP),%RSI |
0x47087 LEA 0x1(%RSI),%RAX |
0x4708b ADD $0x200,%R9 |
0x47092 ADDQ $0x200,-0xf8(%RBP) |
0x4709d MOV -0x218(%RBP),%RCX |
0x470a4 ADD $-0x40,%RCX |
0x470a8 ADDQ $0x200,-0x100(%RBP) |
0x470b3 CMP -0x200(%RBP),%RSI |
0x470ba JE 46fa0 |
0x470c0 CMP $0x3f,%RCX |
0x470c4 MOV $0x3f,%ESI |
0x470c9 MOV %RCX,-0x218(%RBP) |
0x470d0 CMOVL %RCX,%RSI |
0x470d4 INC %RSI |
0x470d7 MOV %RSI,-0x58(%RBP) |
0x470db MOV %RAX,-0x210(%RBP) |
0x470e2 MOV %RAX,%RBX |
0x470e5 SAL $0x6,%RBX |
0x470e9 MOV %RBX,%RCX |
0x470ec NOT %RCX |
0x470ef ADD %R14,%RCX |
0x470f2 CMP $0x3f,%RCX |
0x470f6 MOV $0x3f,%EAX |
0x470fb CMOVGE %RAX,%RCX |
0x470ff MOV %RCX,-0x50(%RBP) |
0x47103 CMPQ $0x8,-0x108(%RBP) |
0x4710b MOV -0x118(%RBP),%RAX |
0x47112 JAE 47200 |
0x47118 MOV -0x108(%RBP),%RCX |
0x4711f MOV %RCX,%RAX |
0x47122 AND $-0x8,%RAX |
0x47126 CMP %RCX,%RAX |
0x47129 MOV -0x70(%RBP),%RBX |
0x4712d MOV -0x208(%RBP),%R14 |
0x47134 MOV -0x60(%RBP),%R11 |
0x47138 MOV -0x58(%RBP),%R15 |
0x4713c JE 47080 |
0x47142 INCQ -0x50(%RBP) |
0x47146 MOV -0x100(%RBP),%RCX |
0x4714d JMP 47168 |
(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 |
(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 |
0x47200 MOV -0x50(%RBP),%RCX |
0x47204 INC %RCX |
0x47207 MOV %RCX,-0x130(%RBP) |
0x4720e MOV -0xf8(%RBP),%RCX |
0x47215 XOR %R11D,%R11D |
0x47218 MOV %RBX,-0x80(%RBP) |
0x4721c JMP 4723b |
(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 |
(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 |
/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/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/policy/openmp/kernel/Collapse.hpp: 81 - 81 |
-------------------------------------------------------------------------------- |
81: #pragma omp parallel for private(i0, i1) firstprivate(privatizer) \ |
Path / |
Metric | Value |
---|---|
CQA speedup if no scalar integer | 1.00 |
CQA speedup if FP arith vectorized | 1.00 |
CQA speedup if fully vectorized | 10.90 |
CQA speedup if no inter-iteration dependency | NA |
CQA speedup if next bottleneck killed | 1.59 |
Bottlenecks | micro-operation queue, |
Function | void Kripke::DispatchHelper |
Source | forall.hpp:59-59,Collapse.hpp:81-81 |
Source loop unroll info | NA |
Source loop unroll confidence level | NA |
Unroll/vectorization loop type | NA |
Unroll factor | NA |
CQA cycles | 8.50 |
CQA cycles if no scalar integer | 8.50 |
CQA cycles if FP arith vectorized | 8.50 |
CQA cycles if fully vectorized | 0.78 |
Front-end cycles | 8.50 |
DIV/SQRT cycles | 4.00 |
P0 cycles | 4.00 |
P1 cycles | 5.33 |
P2 cycles | 5.33 |
P3 cycles | 4.50 |
P4 cycles | 4.00 |
P5 cycles | 4.00 |
P6 cycles | 4.50 |
P7 cycles | 4.50 |
P8 cycles | 4.50 |
P9 cycles | 4.00 |
P10 cycles | 5.33 |
P11 cycles | 0.00 |
Inter-iter dependencies cycles | NA |
FE+BE cycles (UFS) | 8.96 |
Stall cycles (UFS) | 0.00 |
Nb insns | 47.00 |
Nb uops | 51.00 |
Nb loads | 16.00 |
Nb stores | 9.00 |
Nb stack references | 14.00 |
FLOP/cycle | 0.00 |
Nb FLOP add-sub | 0.00 |
Nb FLOP mul | 0.00 |
Nb FLOP fma | 0.00 |
Nb FLOP div | 0.00 |
Nb FLOP rcp | 0.00 |
Nb FLOP sqrt | 0.00 |
Nb FLOP rsqrt | 0.00 |
Bytes/cycle | 23.53 |
Bytes prefetched | 0.00 |
Bytes loaded | 128.00 |
Bytes stored | 72.00 |
Stride 0 | NA |
Stride 1 | NA |
Stride n | NA |
Stride unknown | NA |
Stride indirect | NA |
Vectorization ratio all | 0.00 |
Vectorization ratio load | 0.00 |
Vectorization ratio store | 0.00 |
Vectorization ratio mul | NA |
Vectorization ratio add_sub | 0.00 |
Vectorization ratio fma | NA |
Vectorization ratio div_sqrt | NA |
Vectorization ratio other | 0.00 |
Vector-efficiency ratio all | 12.02 |
Vector-efficiency ratio load | 12.50 |
Vector-efficiency ratio store | 12.50 |
Vector-efficiency ratio mul | NA |
Vector-efficiency ratio add_sub | 12.50 |
Vector-efficiency ratio fma | NA |
Vector-efficiency ratio div_sqrt | NA |
Vector-efficiency ratio other | 11.36 |
Metric | Value |
---|---|
CQA speedup if no scalar integer | 1.00 |
CQA speedup if FP arith vectorized | 1.00 |
CQA speedup if fully vectorized | 10.90 |
CQA speedup if no inter-iteration dependency | NA |
CQA speedup if next bottleneck killed | 1.59 |
Bottlenecks | micro-operation queue, |
Function | void Kripke::DispatchHelper |
Source | forall.hpp:59-59,Collapse.hpp:81-81 |
Source loop unroll info | NA |
Source loop unroll confidence level | NA |
Unroll/vectorization loop type | NA |
Unroll factor | NA |
CQA cycles | 8.50 |
CQA cycles if no scalar integer | 8.50 |
CQA cycles if FP arith vectorized | 8.50 |
CQA cycles if fully vectorized | 0.78 |
Front-end cycles | 8.50 |
DIV/SQRT cycles | 4.00 |
P0 cycles | 4.00 |
P1 cycles | 5.33 |
P2 cycles | 5.33 |
P3 cycles | 4.50 |
P4 cycles | 4.00 |
P5 cycles | 4.00 |
P6 cycles | 4.50 |
P7 cycles | 4.50 |
P8 cycles | 4.50 |
P9 cycles | 4.00 |
P10 cycles | 5.33 |
P11 cycles | 0.00 |
Inter-iter dependencies cycles | NA |
FE+BE cycles (UFS) | 8.96 |
Stall cycles (UFS) | 0.00 |
Nb insns | 47.00 |
Nb uops | 51.00 |
Nb loads | 16.00 |
Nb stores | 9.00 |
Nb stack references | 14.00 |
FLOP/cycle | 0.00 |
Nb FLOP add-sub | 0.00 |
Nb FLOP mul | 0.00 |
Nb FLOP fma | 0.00 |
Nb FLOP div | 0.00 |
Nb FLOP rcp | 0.00 |
Nb FLOP sqrt | 0.00 |
Nb FLOP rsqrt | 0.00 |
Bytes/cycle | 23.53 |
Bytes prefetched | 0.00 |
Bytes loaded | 128.00 |
Bytes stored | 72.00 |
Stride 0 | NA |
Stride 1 | NA |
Stride n | NA |
Stride unknown | NA |
Stride indirect | NA |
Vectorization ratio all | 0.00 |
Vectorization ratio load | 0.00 |
Vectorization ratio store | 0.00 |
Vectorization ratio mul | NA |
Vectorization ratio add_sub | 0.00 |
Vectorization ratio fma | NA |
Vectorization ratio div_sqrt | NA |
Vectorization ratio other | 0.00 |
Vector-efficiency ratio all | 12.02 |
Vector-efficiency ratio load | 12.50 |
Vector-efficiency ratio store | 12.50 |
Vector-efficiency ratio mul | NA |
Vector-efficiency ratio add_sub | 12.50 |
Vector-efficiency ratio fma | NA |
Vector-efficiency ratio div_sqrt | NA |
Vector-efficiency ratio other | 11.36 |
Path / |
nb instructions | 47 |
nb uops | 51 |
loop length | 237 |
used x86 registers | 9 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 14 |
micro-operation queue | 8.50 cycles |
front end | 8.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 4.00 | 4.00 | 5.33 | 5.33 | 4.50 | 4.00 | 4.00 | 4.50 | 4.50 | 4.50 | 4.00 | 5.33 |
cycles | 4.00 | 4.00 | 5.33 | 5.33 | 4.50 | 4.00 | 4.00 | 4.50 | 4.50 | 4.50 | 4.00 | 5.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 8.96 |
Stall cycles | 0.00 |
Front-end | 8.50 |
Dispatch | 5.33 |
Overall L1 | 8.50 |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 0% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
MOV -0x210(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RSI),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x200,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADDQ $0x200,-0xf8(%RBP) | 2 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 1 |
MOV -0x218(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $-0x40,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
ADDQ $0x200,-0x100(%RBP) | 2 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 1 |
CMP -0x200(%RBP),%RSI | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JE 46fa0 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x5c0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP $0x3f,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV $0x3f,%ESI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVL %RCX,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
INC %RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RBX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RBX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %R14,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x3f,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV $0x3f,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVGE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMPQ $0x8,-0x108(%RBP) | 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 -0x118(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JAE 47200 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x820> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV -0x70(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x208(%RBP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x60(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%RBP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JE 47080 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x6a0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
INCQ -0x50(%RBP) | 3 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 0.50 |
MOV -0x100(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 47168 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x788> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xf8(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
XOR %R11D,%R11D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RBX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 4723b <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x85b> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
nb instructions | 47 |
nb uops | 51 |
loop length | 237 |
used x86 registers | 9 |
used mmx registers | 0 |
used xmm registers | 0 |
used ymm registers | 0 |
used zmm registers | 0 |
nb stack references | 14 |
micro-operation queue | 8.50 cycles |
front end | 8.50 cycles |
P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
uops | 4.00 | 4.00 | 5.33 | 5.33 | 4.50 | 4.00 | 4.00 | 4.50 | 4.50 | 4.50 | 4.00 | 5.33 |
cycles | 4.00 | 4.00 | 5.33 | 5.33 | 4.50 | 4.00 | 4.00 | 4.50 | 4.50 | 4.50 | 4.00 | 5.33 |
Cycles executing div or sqrt instructions | NA |
FE+BE cycles | 8.96 |
Stall cycles | 0.00 |
Front-end | 8.50 |
Dispatch | 5.33 |
Overall L1 | 8.50 |
all | 0% |
load | 0% |
store | 0% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 0% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 0% |
all | 12% |
load | 12% |
store | 12% |
mul | NA (no mul vectorizable/vectorized instructions) |
add-sub | 12% |
fma | NA (no fma vectorizable/vectorized instructions) |
div/sqrt | NA (no div/sqrt vectorizable/vectorized instructions) |
other | 11% |
Instruction | Nb FU | P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | Latency | Recip. throughput |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
MOV -0x210(%RBP),%RSI | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
LEA 0x1(%RSI),%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
ADD $0x200,%R9 | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADDQ $0x200,-0xf8(%RBP) | 2 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 1 |
MOV -0x218(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
ADD $-0x40,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
ADDQ $0x200,-0x100(%RBP) | 2 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 1 |
CMP -0x200(%RBP),%RSI | 1 | 0.20 | 0.20 | 0.33 | 0.33 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.33 | 1 | 0.33 |
JE 46fa0 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x5c0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
CMP $0x3f,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV $0x3f,%ESI | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV %RCX,-0x218(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMOVL %RCX,%RSI | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
INC %RSI | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RSI,-0x58(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,-0x210(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV %RAX,%RBX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
SAL $0x6,%RBX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0-2 | 0.50 |
MOV %RBX,%RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
NOT %RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
ADD %R14,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMP $0x3f,%RCX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV $0x3f,%EAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
CMOVGE %RAX,%RCX | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 1 | 0.50 |
MOV %RCX,-0x50(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
CMPQ $0x8,-0x108(%RBP) | 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 -0x118(%RBP),%RAX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JAE 47200 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x820> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
MOV -0x108(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV %RCX,%RAX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
AND $-0x8,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1-2 | 0.20 |
CMP %RCX,%RAX | 1 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0.20 | 0 | 0 | 0 | 0.20 | 0 | 1 | 0.20 |
MOV -0x70(%RBP),%RBX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x208(%RBP),%R14 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x60(%RBP),%R11 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
MOV -0x58(%RBP),%R15 | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JE 47080 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x6a0> | 1 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0 | 0 | 0 | 0 | 0.50 |
INCQ -0x50(%RBP) | 3 | 0.20 | 0.20 | 0.33 | 0.33 | 0.50 | 0.20 | 0.20 | 0.50 | 0.50 | 0.50 | 0.20 | 0.33 | 1 | 0.50 |
MOV -0x100(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
JMP 47168 <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x788> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |
MOV -0x50(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
INC %RCX | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0.17 |
MOV %RCX,-0x130(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
MOV -0xf8(%RBP),%RCX | 1 | 0 | 0 | 0.33 | 0.33 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.33 | 1 | 0.33 |
XOR %R11D,%R11D | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.17 |
MOV %RBX,-0x80(%RBP) | 1 | 0 | 0 | 0 | 0 | 0.50 | 0 | 0 | 0.50 | 0.50 | 0.50 | 0 | 0 | 1 | 0.50 |
JMP 4723b <_ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted+0x85b> | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.84 |