user: What would the C source look like for the assembly code provided here:

```asm
<verif_contrainte>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %rcx,%r12
  push   %rbp
  mov    %rdi,%rbp
  mov    $0x1e,%edi
  push   %rbx
  mov    %edx,%ebx
  sub    $0x28,%rsp
  mov    %rsi,0x18(%rsp)
  mov    $0x1,%esi
  call   <sdb_calloc@plt>
  mov    $0x1,%esi
  mov    $0x1e,%edi
  call   <sdb_calloc@plt>
  mov    $0x1,%esi
  mov    $0x3,%edi
  call   <sdb_calloc@plt>
  mov    %r12,%rdi
  call   <recupere1@plt>
  mov    %r12,%rdi
  mov    %rax,(%rsp)
  call   <recupere2@plt>
  mov    %r12,%rdi
  mov    %rax,0x10(%rsp)
  call   <recupere3@plt>
  test   %ebx,%ebx
  jle    L189
  mov    %rax,%r14
  movslq %ebx,%rax
  xor    %r15d,%r15d
  mov    $0xffffffffffffffff,%r12
  mov    %rax,0x8(%rsp)
  mov    $0xffffffff,%ebx
  nop
L6:
  mov    0x0(%rbp,%r15,8),%rdi
  mov    (%rsp),%rsi
  movslq %r15d,%r13
  call   <strcmp@plt>
  mov    0x0(%rbp,%r15,8),%rdi
  mov    %r14,%rsi
  test   %rax,%rax
  cmove  %r15d,%ebx
  call   <strcmp@plt>
  test   %rax,%rax
  cmove  %r13,%r12
  add    $0x1,%r15
  cmp    0x8(%rsp),%r15
  jne    L6
  cmp    $0xffffffff,%ebx
  je     L189
  cmp    $0xffffffff,%r12d
  je     L151
  mov    0x10(%rsp),%rdi
  lea    D2(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L102
L143:
  mov    0x10(%rsp),%rdi
  lea    D12(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L150
  mov    0x18(%rsp),%rcx
  movslq %r12d,%rax
  mov    (%rcx,%rax,8),%rsi
  movslq %ebx,%rax
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  js     L88
L150:
  mov    0x10(%rsp),%rdi
  lea    D78(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L108
  mov    0x18(%rsp),%rcx
  movslq %r12d,%rax
  mov    (%rcx,%rax,8),%rsi
  movslq %ebx,%rax
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jg     L88
L108:
  mov    0x10(%rsp),%rdi
  lea    D36(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L235
  mov    0x18(%rsp),%rdx
  movslq %r12d,%rax
  mov    (%rdx,%rax,8),%rsi
  movslq %ebx,%rax
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jle    L88
L235:
  mov    0x10(%rsp),%rdi
  lea    D32(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L236
L73:
  xor    %eax,%eax
L126:
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L102:
  mov    0x18(%rsp),%rdx
  movslq %r12d,%rax
  mov    (%rdx,%rax,8),%rsi
  movslq %ebx,%rax
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L143
L88:
  add    $0x28,%rsp
  mov    $0x1,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L151:
  mov    %r14,%rdi
  call   <enleve@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  jne    L161
L189:
  add    $0x28,%rsp
  mov    $0xffffffff,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L161:
  mov    0x10(%rsp),%rdi
  lea    D2(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L212
  mov    0x18(%rsp),%rcx
  movslq %ebx,%rax
  mov    %rbp,%rsi
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L88
L212:
  mov    0x10(%rsp),%rdi
  lea    D12(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L36
  mov    0x18(%rsp),%rdx
  movslq %ebx,%rax
  mov    %rbp,%rsi
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  js     L88
L36:
  mov    0x10(%rsp),%rdi
  lea    D78(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L246
  mov    0x18(%rsp),%rcx
  movslq %ebx,%rax
  mov    %rbp,%rsi
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jg     L88
L246:
  mov    0x10(%rsp),%rdi
  lea    D36(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L160
  mov    0x18(%rsp),%rdx
  movslq %ebx,%rax
  mov    %rbp,%rsi
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jle    L88
L160:
  mov    0x10(%rsp),%rdi
  lea    D32(%rip),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L73
  mov    0x18(%rsp),%rax
  movslq %ebx,%rbx
  mov    %rbp,%rsi
  mov    (%rax,%rbx,8),%rdi
  call   <strcmp@plt>
  not    %rax
  shr    $0x3f,%rax
  jmp    L126
L236:
  mov    0x18(%rsp),%rax
  movslq %ebx,%rbx
  mov    (%rax,%r12,8),%rsi
  mov    (%rax,%rbx,8),%rdi
  call   <strcmp@plt>
  not    %rax
  shr    $0x3f,%rax
  jmp    L126
```

tool_calls: name: unpack_data
arguments: data_label: D2
type_infered: string
name: unpack_data
arguments: data_label: D12
type_infered: string
name: unpack_data
arguments: data_label: D78
type_infered: string
name: unpack_data
arguments: data_label: D36
type_infered: string
name: unpack_data
arguments: data_label: D32
type_infered: string

tool: D2: =

tool: D12: <

tool: D78: >

tool: D36: <=

tool: D32: >=

assistant: ```c
int verif_contrainte(char **nom_champs, char **champs, int nbre, char *contr) {
  char *arg1;
  char *comp;
  char *arg2;
  int compare[2];
  int i;
  arg1 = (char *)sdb_calloc(30, sizeof(char));
  arg2 = (char *)sdb_calloc(30, sizeof(char));
  comp = (char *)sdb_calloc(3, sizeof(char));
  arg1 = recupere1(contr);
  comp = recupere2(contr);
  arg2 = recupere3(contr);
  compare[0] = compare[1] = -1;
  for (i = 0; i < nbre; i++) {
    if (strcmp(nom_champs[i], arg1) == 0) {
      compare[0] = i;
    }
    if (strcmp(nom_champs[i], arg2) == 0) {
      compare[1] = i;
    }
  }
  if (compare[0] == -1) {
    return (-1);
  }
  if (compare[1] == -1) {
    arg2 = enleve(arg2);
    if (!arg2) {
      return (-1);
    }
    if (strcmp(comp, "=") == 0 && strcmp(champs[compare[0]], arg2) == 0) {
      return 1;
    }
    if (strcmp(comp, "<") == 0 && strcmp(champs[compare[0]], arg2) < 0) {
      return 1;
    }
    if (strcmp(comp, ">") == 0 && strcmp(champs[compare[0]], arg2) > 0) {
      return 1;
    }
    if (strcmp(comp, "<=") == 0 && strcmp(champs[compare[0]], arg2) <= 0) {
      return 1;
    }
    if (strcmp(comp, ">=") == 0 && strcmp(champs[compare[0]], arg2) >= 0) {
      return 1;
    }
  } else {
    if (strcmp(comp, "=") == 0 && strcmp(champs[compare[0]], champs[compare[1]]) == 0) {
      return 1;
    }
    if (strcmp(comp, "<") == 0 && strcmp(champs[compare[0]], champs[compare[1]]) < 0) {
      return 1;
    }
    if (strcmp(comp, ">") == 0 && strcmp(champs[compare[0]], champs[compare[1]]) > 0) {
      return 1;
    }
    if (strcmp(comp, "<=") == 0 && strcmp(champs[compare[0]], champs[compare[1]]) <= 0) {
      return 1;
    }
    if (strcmp(comp, ">=") == 0 && strcmp(champs[compare[0]], champs[compare[1]]) >= 0) {
      return 1;
    }
  }
  return 0;
}
```