user: What is the c source code of the assembly code below?

```asm
<gen_bit>:
  endbr64
  push   %r15
  xor    %eax,%eax
  push   %r14
  mov    %ecx,%r14d
  push   %r13
  push   %r12
  mov    %esi,%r12d
  mov    %rdx,%rsi
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %edi,%ebx
  lea    D110(%rip),%rdi
  sub    $0x38,%rsp
  mov    %ecx,0x14(%rsp)
  call   <printf@plt>
  xor    %eax,%eax
  mov    %r14d,%edx
  mov    %rbp,%rsi
  lea    D10(%rip),%rdi
  call   <printf@plt>
  test   %r14d,%r14d
  jle    L57
  test   %r12d,%r12d
  je     L35
  xor    %r15d,%r15d
  lea    D45(%rip),%rax
  cmp    $0x20,%ebx
  mov    %rax,0x8(%rsp)
  lea    D96(%rip),%r14
  lea    D120(%rip),%r13
  lea    D136(%rip),%r12
  lea    D35(%rip),%rbx
  je     L33
  mov    %r12,0x18(%rsp)
  nopl   0x0(%rax)
L88:
  mov    %r15d,%ecx
  mov    %r14,%rdi
  mov    $0x1,%r12d
  xor    %eax,%eax
  shl    %cl,%r12
  call   <printf@plt>
  mov    %r15d,%edx
  mov    $0xffffffff,%esi
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x18(%rsp),%rdi
  mov    %r15d,%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  add    $0x1,%r15d
  call   <printf@plt>
  mov    %r12,%rsi
  mov    %r12,%rdx
  mov    %rbx,%rdi
  shr    $0x20,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%rdi
  call   <puts@plt>
  cmp    %r15d,0x14(%rsp)
  jne    L88
L57:
  lea    D60(%rip),%rdi
  call   <puts@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    0x14(%rsp),%ecx
  mov    %rbp,%r8
  mov    %rbp,%rdx
  mov    %rbp,%rsi
  lea    D25(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x38,%rsp
  mov    $0xa,%edi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <putchar@plt>
  nopl   0x0(%rax)
L35:
  mov    0x14(%rsp),%eax
  lea    D96(%rip),%r14
  lea    D120(%rip),%r13
  lea    D136(%rip),%r12
  sub    $0x1,%eax
  cmp    $0x20,%ebx
  lea    D35(%rip),%rbx
  mov    %eax,0x18(%rsp)
  mov    %eax,%r15d
  lea    D45(%rip),%rax
  mov    %rax,0x8(%rsp)
  je     L61
  mov    %r13,0x20(%rsp)
  mov    %r12,0x28(%rsp)
  nopl   0x0(%rax)
L41:
  mov    0x18(%rsp),%r13d
  mov    %r15d,%ecx
  mov    %r14,%rdi
  xor    %eax,%eax
  mov    $0x1,%r12d
  shl    %cl,%r12
  sub    %r15d,%r13d
  call   <printf@plt>
  mov    0x20(%rsp),%rdi
  mov    %r13d,%edx
  xor    %eax,%eax
  mov    $0xffffffff,%esi
  call   <printf@plt>
  mov    0x28(%rsp),%rdi
  mov    %r13d,%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r12,%rsi
  mov    %rbx,%rdi
  xor    %eax,%eax
  shr    $0x20,%rsi
  mov    %r12,%rdx
  call   <printf@plt>
  mov    0x8(%rsp),%rdi
  call   <puts@plt>
  sub    $0x1,%r15d
  jae    L41
  jmp    L57
  nopl   (%rax)
L33:
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%edx
  mov    $0xffffffff,%esi
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%ecx
  mov    $0x1,%edx
  xor    %esi,%esi
  shl    %cl,%rdx
  mov    %rbx,%rdi
  xor    %eax,%eax
  add    $0x1,%r15d
  mov    %edx,%edx
  call   <printf@plt>
  mov    0x8(%rsp),%rdi
  call   <puts@plt>
  cmp    %r15d,0x14(%rsp)
  jne    L33
  jmp    L57
  nopw   0x0(%rax,%rax,1)
L61:
  mov    %r12,0x20(%rsp)
  nopl   (%rax)
L40:
  mov    0x18(%rsp),%r12d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xffffffff,%esi
  mov    %r13,%rdi
  xor    %eax,%eax
  sub    %r15d,%r12d
  mov    %r12d,%edx
  call   <printf@plt>
  mov    0x20(%rsp),%rdi
  mov    %r12d,%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%ecx
  mov    $0x1,%edx
  xor    %esi,%esi
  shl    %cl,%rdx
  mov    %rbx,%rdi
  xor    %eax,%eax
  mov    %edx,%edx
  call   <printf@plt>
  mov    0x8(%rsp),%rdi
  call   <puts@plt>
  sub    $0x1,%r15d
  jae    L40
  jmp    L57
```

tool_calls: name: disassemble_data
arguments: tag: D110
type: string
name: disassemble_data
arguments: tag: D10
type: string
name: disassemble_data
arguments: tag: D45
type: string
name: disassemble_data
arguments: tag: D96
type: string
name: disassemble_data
arguments: tag: D120
type: string
name: disassemble_data
arguments: tag: D136
type: string
name: disassemble_data
arguments: tag: D35
type: string
name: disassemble_data
arguments: tag: D60
type: string
name: disassemble_data
arguments: tag: D25
type: string

tool: D110: 
/* Test the %s macro */


tool: D10: test_tuples %s_tuples[%d] = {


tool: D45: },

tool: D96:   { __LINE__, 

tool: D120: %d, %2d, 

tool: D136: %s (%2d), 

tool: D35: UNSIGNED64 (0x%08lx%08lx), 

tool: D60: };

tool: D25: test_spec %s_test = { __FILE__, "%s", 1, %d, %s_tuples, };


assistant: ```c
void gen_bit(int bitsize, int msb, const char *macro, int nr_bits) {
  int i;
  printf("\n/* Test the %s macro */\n", macro);
  printf("test_tuples %s_tuples[%d] = {\n", macro, nr_bits);
  for (i = 0; i < nr_bits; i++) {
    unsigned long long bit = 1;
    if (msb == 0)
      bit <<= nr_bits - i - 1;
    else
      bit <<= i;
    if (bitsize == 32)
      bit = (unsigned)bit;
    printf("  { __LINE__, ");
    printf("%d, %2d, ", -1, i);
    printf("%s (%2d), ", macro, i);
    printf("UNSIGNED64 (0x%08lx%08lx), ", (long)(bit >> 32), (long)bit);
    printf("},\n");
  }
  printf("};\n");
  printf("\n");
  printf("test_spec %s_test = { __FILE__, \"%s\", 1, %d, %s_tuples, };\n", macro, macro, nr_bits, macro);
  printf("\n");
}
```