l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/amd64/loopnel.c

   1 #include <stdio.h>
   2
   3 int
   4 main (void)
   5 {
   6   long rcx = 0x200000005UL;
   7   long rax = 5UL;
   8   asm volatile ("1: addq $1, %0; loopnel 1b" : "+a" (rax), "+c" (rcx) : : "cc");
   9   printf ("%ld %ld\n", rax, rcx);
  10   return 0;
  11 }