user: Converte this assembly snippet into its equivalent C code:

```asm
<test_fcmov>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  mov    $0x0,%r13d
  mov    $0x0,%ebx
  mov    D96(%rip),%r12
  lea    D98(%rip),%r14
  lea    D73(%rip),%rbp
L13:
  mov    %r12,0x8(%rsp)
  fldl   0xee4(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmovb %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  mov    %r14,%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,0x8(%rsp)
  fldl   0xeb2(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmove %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  lea    D20(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,0x8(%rsp)
  fldl   0xe7c(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmovbe %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  lea    D83(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,0x8(%rsp)
  fldl   0xe46(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmovnb %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  lea    D17(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,0x8(%rsp)
  fldl   0xe10(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmovne %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  lea    D1(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,0x8(%rsp)
  fldl   0xdda(%rip)        # 2038 <_fini+0xcb0>
  fldl   0x8(%rsp)
  push   %rbx
  popf
  fcmovnbe %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdx
  lea    D87(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  add    $0x1,%r13
  cmp    $0x4,%r13
  je     L15
  mov    %r13,%rax
  and    $0x1,%eax
  mov    %rax,%rbx
  or     $0x40,%rbx
  test   $0x2,%r13b
  cmove  %rax,%rbx
  jmp    L13
L15:
  fldl   0xd85(%rip)        # 2038 <_fini+0xcb0>
  fld1
  push   $0x0
  popf
  fcmovu %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    $0x0,%edx
  lea    D85(%rip),%rbp
  mov    %rbp,%rsi
  lea    D73(%rip),%rbx
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  fldl   0xd49(%rip)        # 2038 <_fini+0xcb0>
  fld1
  push   $0x4
  popf
  fcmovu %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    $0x4,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  fldl   0xd1b(%rip)        # 2038 <_fini+0xcb0>
  fld1
  push   $0x0
  popf
  fcmovnu %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    $0x0,%edx
  lea    D43(%rip),%rbp
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  fldl   0xce6(%rip)        # 2038 <_fini+0xcb0>
  fld1
  push   $0x4
  popf
  fcmovnu %st(1),%st
  fstp   %st(1)
  fstpl  0x8(%rsp)
  movsd  0x8(%rsp),%xmm0
  mov    $0x4,%edx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  add    $0x10,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D96
datatype: f64
name: extract_symbolic_data
arguments: data_label: D98
datatype: string
name: extract_symbolic_data
arguments: data_label: D73
datatype: string
name: extract_symbolic_data
arguments: data_label: D20
datatype: string
name: extract_symbolic_data
arguments: data_label: D83
datatype: string
name: extract_symbolic_data
arguments: data_label: D17
datatype: string
name: extract_symbolic_data
arguments: data_label: D1
datatype: string
name: extract_symbolic_data
arguments: data_label: D87
datatype: string
name: extract_symbolic_data
arguments: data_label: D85
datatype: string
name: extract_symbolic_data
arguments: data_label: D43
datatype: string

tool: D96: 1

tool: D98: b

tool: D73: fcmov%s eflags=0x%04llx-> %f


tool: D20: e

tool: D83: be

tool: D17: nb

tool: D1: ne

tool: D87: nbe

tool: D85: u

tool: D43: nu

assistant: ```c
void test_fcmov(void) {
  double a, b;
  long long int eflags, i;
  a = 1.0;
  b = 2.0;
  for (i = 0; i < 4; i++) {
    eflags = 0;
    if (i & 1)
      eflags |= 0x0001;
    if (i & 2)
      eflags |= 0x0040;
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "b"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "b", (long long int)eflags, res);
    };
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "e"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "e", (long long int)eflags, res);
    };
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "be"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "be", (long long int)eflags, res);
    };
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "nb"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "nb", (long long int)eflags, res);
    };
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "ne"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "ne", (long long int)eflags, res);
    };
    {
      double res;
      asm("pushq %3\n"
          "popfq\n"
          "fcmov"
          "nbe"
          " %2, %0\n"
          : "=t"(res)
          : "0"(a), "u"(b), "g"((long long int)eflags));
      printf("fcmov%s eflags=0x%04llx-> %f\n", "nbe", (long long int)eflags, res);
    };
  }
  {
    double res;
    asm("pushq %3\n"
        "popfq\n"
        "fcmov"
        "u"
        " %2, %0\n"
        : "=t"(res)
        : "0"(a), "u"(b), "g"((long long int)0));
    printf("fcmov%s eflags=0x%04llx-> %f\n", "u", (long long int)0, res);
  };
  {
    double res;
    asm("pushq %3\n"
        "popfq\n"
        "fcmov"
        "u"
        " %2, %0\n"
        : "=t"(res)
        : "0"(a), "u"(b), "g"((long long int)0x0004));
    printf("fcmov%s eflags=0x%04llx-> %f\n", "u", (long long int)0x0004, res);
  };
  {
    double res;
    asm("pushq %3\n"
        "popfq\n"
        "fcmov"
        "nu"
        " %2, %0\n"
        : "=t"(res)
        : "0"(a), "u"(b), "g"((long long int)0));
    printf("fcmov%s eflags=0x%04llx-> %f\n", "nu", (long long int)0, res);
  };
  {
    double res;
    asm("pushq %3\n"
        "popfq\n"
        "fcmov"
        "nu"
        " %2, %0\n"
        : "=t"(res)
        : "0"(a), "u"(b), "g"((long long int)0x0004));
    printf("fcmov%s eflags=0x%04llx-> %f\n", "nu", (long long int)0x0004, res);
  };
}
```