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

```asm
<verif_contrainte>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rdi,%r12
  mov    %rsi,0x18(%rsp)
  mov    %edx,%ebx
  mov    %rcx,%rbp
  mov    $0x1,%esi
  mov    $0x1e,%edi
  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    %rbp,%rdi
  call   <recupere1@plt>
  mov    %rax,(%rsp)
  mov    %rbp,%rdi
  call   <recupere2@plt>
  mov    %rax,0x10(%rsp)
  mov    %rbp,%rdi
  call   <recupere3@plt>
  test   %ebx,%ebx
  jle    L52
  mov    %rax,%r15
  mov    %ebx,%eax
  mov    %rax,0x8(%rsp)
  mov    $0x0,%ebx
  mov    $0xffffffff,%r13d
  mov    $0xffffffff,%ebp
L23:
  mov    (%r12,%rbx,8),%rdi
  mov    (%rsp),%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  cmove  %ebx,%ebp
  mov    (%r12,%rbx,8),%rdi
  mov    %r15,%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  cmove  %ebx,%r13d
  add    $0x1,%rbx
  cmp    0x8(%rsp),%rbx
  jne    L23
  cmp    $0xffffffff,%ebp
  je     L212
  cmp    $0xffffffff,%r13d
  je     L45
  lea    D68(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L37
  movslq %r13d,%rax
  mov    0x18(%rsp),%rdx
  mov    (%rdx,%rax,8),%rsi
  movslq %ebp,%rax
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L110
L37:
  lea    D79(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L77
  movslq %r13d,%rax
  mov    0x18(%rsp),%rcx
  mov    (%rcx,%rax,8),%rsi
  movslq %ebp,%rax
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  js     L283
L77:
  lea    D91(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L222
  movslq %r13d,%rax
  mov    0x18(%rsp),%rcx
  mov    (%rcx,%rax,8),%rsi
  movslq %ebp,%rax
  mov    (%rcx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jg     L297
L222:
  lea    D83(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L178
  movslq %r13d,%rax
  mov    0x18(%rsp),%rdx
  mov    (%rdx,%rax,8),%rsi
  movslq %ebp,%rax
  mov    (%rdx,%rax,8),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jle    L20
L178:
  lea    D67(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L267
  mov    $0x0,%ebp
L212:
  mov    %ebp,%eax
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L45:
  mov    %r15,%rdi
  call   <enleve@plt>
  mov    %rax,%rbx
  test   %rax,%rax
  je     L234
  lea    D68(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L60
  movslq %ebp,%rax
  mov    0x18(%rsp),%rcx
  mov    (%rcx,%rax,8),%rdi
  mov    %rbx,%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L284
L60:
  lea    D79(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L63
  movslq %ebp,%rax
  mov    0x18(%rsp),%rdx
  mov    (%rdx,%rax,8),%rdi
  mov    %rbx,%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  js     L197
L63:
  lea    D91(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L27
  movslq %ebp,%rax
  mov    0x18(%rsp),%rcx
  mov    (%rcx,%rax,8),%rdi
  mov    %rbx,%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jg     L261
L27:
  lea    D83(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L34
  movslq %ebp,%rax
  mov    0x18(%rsp),%rdx
  mov    (%rdx,%rax,8),%rdi
  mov    %rbx,%rsi
  call   <strcmp@plt>
  test   %rax,%rax
  jle    L319
L34:
  lea    D67(%rip),%rsi
  mov    0x10(%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L41
  mov    $0x0,%ebp
  jmp    L212
L41:
  movslq %ebp,%rbp
  mov    0x18(%rsp),%rax
  mov    (%rax,%rbp,8),%rdi
  mov    %rbx,%rsi
  call   <strcmp@plt>
  not    %rax
  mov    %rax,%rbp
  shr    $0x3f,%rbp
  jmp    L212
L267:
  movslq %r13d,%r13
  mov    0x18(%rsp),%rax
  mov    (%rax,%r13,8),%rsi
  movslq %ebp,%rbp
  mov    (%rax,%rbp,8),%rdi
  call   <strcmp@plt>
  not    %rax
  mov    %rax,%rbp
  shr    $0x3f,%rbp
  jmp    L212
L52:
  mov    $0xffffffff,%ebp
  jmp    L212
L234:
  mov    %r13d,%ebp
  jmp    L212
L284:
  mov    $0x1,%ebp
  jmp    L212
L197:
  mov    $0x1,%ebp
  jmp    L212
L261:
  mov    $0x1,%ebp
  jmp    L212
L319:
  mov    $0x1,%ebp
  jmp    L212
L110:
  mov    $0x1,%ebp
  jmp    L212
L283:
  mov    $0x1,%ebp
  jmp    L212
L297:
  mov    $0x1,%ebp
  jmp    L212
L20:
  mov    $0x1,%ebp
  jmp    L212
```

tool_calls: name: unpack_data
arguments: label: D68
type_infered: string
name: unpack_data
arguments: label: D79
type_infered: string
name: unpack_data
arguments: label: D91
type_infered: string
name: unpack_data
arguments: label: D83
type_infered: string
name: unpack_data
arguments: label: D67
type_infered: string

tool: D68: =

tool: D79: <

tool: D91: >

tool: D83: <=

tool: D67: >=

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;
}
```