
#include <stdio.h>

double zzz;

int main ( void )
{
  zzz = 1.234;
  printf("zzz = %f\n", zzz);
  __asm__ __volatile__(
    "finit\n\t"
    "fldpi\n\t"
    "fldl2e\n\t"
    "pushq %r15\n\t"
    "movq $0,%r15\n\t"
    "add %r15,%r15\n\t"
    "fcmovnu %st(1), %st(0)\n\t"
    "fstl zzz\n\t"
    "finit\n\t"
    "popq %r15\n\t"
    );
  printf("zzz = %f\n", zzz);
  return 0;
}