@@ -342,7 +342,7 @@ int main(int argc, char **argv)
if ( !stack_exec )
printf("Warning: Stack could not be made executable (%d).\n", errno);
- printf("%-40s", "Testing addl %%ecx,(%%eax)...");
+ printf("%-40s", "Testing addl %ecx,(%eax)...");
instr[0] = 0x01; instr[1] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -357,7 +357,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing addl %%ecx,%%eax...");
+ printf("%-40s", "Testing addl %ecx,%eax...");
instr[0] = 0x01; instr[1] = 0xc8;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -372,7 +372,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing xorl (%%eax),%%ecx...");
+ printf("%-40s", "Testing xorl (%eax),%ecx...");
instr[0] = 0x33; instr[1] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -390,7 +390,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing movl (%%eax),%%ecx...");
+ printf("%-40s", "Testing movl (%eax),%ecx...");
instr[0] = 0x8b; instr[1] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -404,7 +404,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing lock cmpxchgb %%cl,(%%ebx)...");
+ printf("%-40s", "Testing lock cmpxchgb %cl,(%ebx)...");
instr[0] = 0xf0; instr[1] = 0x0f; instr[2] = 0xb0; instr[3] = 0x0b;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -420,7 +420,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing lock cmpxchgb %%cl,(%%ebx)...");
+ printf("%-40s", "Testing lock cmpxchgb %cl,(%ebx)...");
instr[0] = 0xf0; instr[1] = 0x0f; instr[2] = 0xb0; instr[3] = 0x0b;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -437,7 +437,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing xchgl %%ecx,(%%eax)...");
+ printf("%-40s", "Testing xchgl %ecx,(%eax)...");
instr[0] = 0x87; instr[1] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -452,7 +452,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing lock cmpxchgl %%ecx,(%%ebx)...");
+ printf("%-40s", "Testing lock cmpxchgl %ecx,(%ebx)...");
instr[0] = 0xf0; instr[1] = 0x0f; instr[2] = 0xb1; instr[3] = 0x0b;
regs.eflags = 0x200;
*res = 0x923456AA;
@@ -570,7 +570,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing movsxbd (%%eax),%%ecx...");
+ printf("%-40s", "Testing movsxbd (%eax),%ecx...");
instr[0] = 0x0f; instr[1] = 0xbe; instr[2] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -586,7 +586,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing movzxwd (%%eax),%%ecx...");
+ printf("%-40s", "Testing movzxwd (%eax),%ecx...");
instr[0] = 0x0f; instr[1] = 0xb7; instr[2] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -603,7 +603,7 @@ int main(int argc, char **argv)
printf("okay\n");
#ifndef __x86_64__
- printf("%-40s", "Testing arpl %cx,(%%eax)...");
+ printf("%-40s", "Testing arpl %cx,(%eax)...");
instr[0] = 0x63; instr[1] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -619,7 +619,7 @@ int main(int argc, char **argv)
(regs.eip != (unsigned long)&instr[2]) )
goto fail;
#else
- printf("%-40s", "Testing movsxd (%%rax),%%rcx...");
+ printf("%-40s", "Testing movsxd (%rax),%rcx...");
instr[0] = 0x48; instr[1] = 0x63; instr[2] = 0x08;
regs.eip = (unsigned long)&instr[0];
regs.ecx = 0x123456789abcdef;
@@ -640,7 +640,7 @@ int main(int argc, char **argv)
#endif
printf("okay\n");
- printf("%-40s", "Testing xadd %%ax,(%%ecx)...");
+ printf("%-40s", "Testing xadd %ax,(%ecx)...");
instr[0] = 0x66; instr[1] = 0x0f; instr[2] = 0xc1; instr[3] = 0x01;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -656,7 +656,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing dec %%ax...");
+ printf("%-40s", "Testing dec %ax...");
#ifndef __x86_64__
instr[0] = 0x66; instr[1] = 0x48;
#else
@@ -673,7 +673,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing lea 8(%%ebp),%%eax...");
+ printf("%-40s", "Testing lea 8(%ebp),%eax...");
instr[0] = 0x8d; instr[1] = 0x45; instr[2] = 0x08;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -770,7 +770,7 @@ int main(int argc, char **argv)
printf("okay\n");
#endif
- printf("%-40s", "Testing movbe (%%ecx),%%eax...");
+ printf("%-40s", "Testing movbe (%ecx),%eax...");
instr[0] = 0x0f; instr[1] = 0x38; instr[2] = 0xf0; instr[3] = 0x01;
regs.eflags = 0x200;
regs.eip = (unsigned long)&instr[0];
@@ -786,7 +786,7 @@ int main(int argc, char **argv)
goto fail;
printf("okay\n");
- printf("%-40s", "Testing movbe %%ax,(%%ecx)...");
+ printf("%-40s", "Testing movbe %ax,(%ecx)...");
instr[0] = 0x66; instr[1] = 0x0f; instr[2] = 0x38; instr[3] = 0xf1; instr[4] = 0x01;
regs.eip = (unsigned long)&instr[0];
rc = x86_emulate(&ctxt, &emulops);
@@ -1005,7 +1005,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movq %%xmm0,32(%%ecx)...");
+ printf("%-40s", "Testing movq %xmm0,32(%ecx)...");
if ( stack_exec && cpu_has_sse2 )
{
decl_insn(movq_to_mem2);
@@ -1029,7 +1029,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing vmovq %%xmm1,32(%%edx)...");
+ printf("%-40s", "Testing vmovq %xmm1,32(%edx)...");
if ( stack_exec && cpu_has_avx )
{
decl_insn(vmovq_to_mem);
@@ -1265,7 +1265,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movd %%mm3,32(%%ecx)...");
+ printf("%-40s", "Testing movd %mm3,32(%ecx)...");
if ( stack_exec && cpu_has_mmx )
{
decl_insn(movd_to_mem);
@@ -1289,7 +1289,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movd %%xmm2,32(%%edx)...");
+ printf("%-40s", "Testing movd %xmm2,32(%edx)...");
if ( stack_exec && cpu_has_sse2 )
{
decl_insn(movd_to_mem2);
@@ -1313,7 +1313,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing vmovd %%xmm1,32(%%ecx)...");
+ printf("%-40s", "Testing vmovd %xmm1,32(%ecx)...");
if ( stack_exec && cpu_has_avx )
{
decl_insn(vmovd_to_mem);
@@ -1337,7 +1337,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movd %%mm3,%%ebx...");
+ printf("%-40s", "Testing movd %mm3,%ebx...");
if ( stack_exec && cpu_has_mmx )
{
decl_insn(movd_to_reg);
@@ -1367,7 +1367,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movd %%xmm2,%%ebx...");
+ printf("%-40s", "Testing movd %xmm2,%ebx...");
if ( stack_exec && cpu_has_sse2 )
{
decl_insn(movd_to_reg2);
@@ -1392,7 +1392,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing vmovd %%xmm1,%%ebx...");
+ printf("%-40s", "Testing vmovd %xmm1,%ebx...");
if ( stack_exec && cpu_has_avx )
{
decl_insn(vmovd_to_reg);
@@ -1418,7 +1418,7 @@ int main(int argc, char **argv)
printf("skipped\n");
#ifdef __x86_64__
- printf("%-40s", "Testing movq %%mm3,32(%%ecx)...");
+ printf("%-40s", "Testing movq %mm3,32(%ecx)...");
if ( stack_exec && cpu_has_mmx )
{
decl_insn(movq_to_mem3);
@@ -1442,7 +1442,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movq %%xmm2,32(%%edx)...");
+ printf("%-40s", "Testing movq %xmm2,32(%edx)...");
if ( stack_exec )
{
decl_insn(movq_to_mem4);
@@ -1466,7 +1466,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing vmovq %%xmm1,32(%%ecx)...");
+ printf("%-40s", "Testing vmovq %xmm1,32(%ecx)...");
if ( stack_exec && cpu_has_avx )
{
decl_insn(vmovq_to_mem2);
@@ -1494,7 +1494,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movq %%mm3,%%rbx...");
+ printf("%-40s", "Testing movq %mm3,%rbx...");
if ( stack_exec && cpu_has_mmx )
{
decl_insn(movq_to_reg);
@@ -1514,7 +1514,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing movq %%xmm2,%%rbx...");
+ printf("%-40s", "Testing movq %xmm2,%rbx...");
if ( stack_exec )
{
decl_insn(movq_to_reg2);
@@ -1534,7 +1534,7 @@ int main(int argc, char **argv)
else
printf("skipped\n");
- printf("%-40s", "Testing vmovq %%xmm1,%%rbx...");
+ printf("%-40s", "Testing vmovq %xmm1,%rbx...");
if ( stack_exec && cpu_has_avx )
{
decl_insn(vmovq_to_reg);