/*
$ x86_64-unknown-linux-gnu-gcc-4.9.2 test.c -Os   
/tmp/ccVBOZcD.s: Assembler messages:
/tmp/ccVBOZcD.s:15: Error: no such instruction: `fcmovnc %st(1),%st'

$ x86_64-unknown-linux-gnu-gcc-4.9.2 -v
Using built-in specs.
COLLECT_GCC=x86_64-unknown-linux-gnu-gcc-4.9.2
COLLECT_LTO_WRAPPER=/usr/local/x86_64-tools/gcc-4.9.2/libexec/gcc/x86_64-unknown-linux-gnu/4.9.2/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --prefix=/usr/local/x86_64-tools/gcc-4.9.2/ --with-gmp=/usr/local/gmp-5.0.5/ --with-mpfr=/usr/local/mpfr-3.1.0/ --with-mpc=/usr/local/mpc-0.9/ --disable-multilib --disable-nls --enable-languages=c
Thread model: posix
gcc version 4.9.2 (GCC) 
*/

#include <stdio.h>
#define OK()  printf("@OK@\n")
#define NG(fmt,val)  printf("@NG@ (test = " fmt ")\n",val)

unsigned int x1 = 0U;
int t1 = 0;

int main (void)
{
        int x2 = 0;
        volatile int x3 = 0;
        long double x4 = 1.0L;
        int x5 = 0;
        
        t1 = (((x2+x5)/x4)-(x1>(x3+x1)));

        return 0;
}