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

```asm
<generate_tune1>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  movl   $0x2f6,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    $0x145,%eax
  mov    %eax,-0x18(%rbp)
  lea    D9(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x1c(%rbp),%eax
  mov    %eax,-0x20(%rbp)
  jmp    L11
L8:
  mov    -0x20(%rbp),%eax
  add    $0xe,%eax
  movslq %eax,%rdx
  imul   $0xffffffff88888889,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0x3,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  sub    $0x30,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x20(%rbp),%eax
  movslq %eax,%rdx
  imul   $0xffffffff88888889,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0x3,%edx
  mov    %eax,%esi
  sar    $0x1f,%esi
  mov    %edx,%ecx
  sub    %esi,%ecx
  mov    %ecx,%edx
  shl    $0x4,%edx
  sub    %ecx,%edx
  sub    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  D70(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  D107(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D46(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0xc(%rbp)
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x20(%rbp),%xmm1
  movsd  D97(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D25(%rip),%xmm1
  divsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0xc(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  D50(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  D50(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D47(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D16(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D126(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D130(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x8(%rbp)
  movl   $0x0,-0x4(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x9,%eax
  and    $0x7e00,%eax
  or     %eax,-0x4(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x4,%eax
  and    $0x1ff,%eax
  or     %eax,-0x4(%rbp)
  mov    -0x10(%rbp),%eax
  and    $0x1ff,%eax
  or     %eax,-0x4(%rbp)
  mov    -0x8(%rbp),%ecx
  mov    -0x4(%rbp),%edx
  mov    -0x20(%rbp),%eax
  mov    %eax,%esi
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  addl   $0x1,-0x20(%rbp)
L11:
  mov    -0x20(%rbp),%eax
  cmp    -0x18(%rbp),%eax
  jl     L8
  lea    D15(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D9
datatype: string
name: parse_data
arguments: data_tag: D70
datatype: f64
name: parse_data
arguments: data_tag: D107
datatype: f64
name: parse_data
arguments: data_tag: D46
datatype: f64
name: parse_data
arguments: data_tag: D97
datatype: f64
name: parse_data
arguments: data_tag: D25
datatype: f64
name: parse_data
arguments: data_tag: D50
datatype: f64
name: parse_data
arguments: data_tag: D47
datatype: f64
name: parse_data
arguments: data_tag: D16
datatype: f64
name: parse_data
arguments: data_tag: D126
datatype: f64
name: parse_data
arguments: data_tag: D130
datatype: byte[8]
name: parse_data
arguments: data_tag: D58
datatype: string
name: parse_data
arguments: data_tag: D15
datatype: string

tool: D9: const struct stfm1000_tune1
stfm1000_tune1_table[STFM1000_FREQUENCY_100KHZ_RANGE] = {

tool: D70: 3

tool: D107: 16

tool: D46: 0.5

tool: D97: 100000

tool: D25: 1.5

tool: D50: 2

tool: D47: 8

tool: D16: 256

tool: D126: 228000

tool: {"D130": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x40]}

tool: D58: 	[%d - STFM1000_FREQUENCY_100KHZ_MIN] = { .tune1 = 0x%08x, .sdnom = 0x%08x },


tool: D15: };

assistant: ```c
void generate_tune1(void) {
  int start, end;
  int ndiv;
  int incr;
  int cicosr;
  int sdnominal;
  int i, temp;
  start = 758;
  end = start + 325;
  printf("const struct stfm1000_tune1\n"
         "stfm1000_tune1_table[STFM1000_FREQUENCY_100KHZ_RANGE] = {\n");
  for (i = start; i < end; i++) {
    ndiv = (int)((i + 14) / 15) - 48;
    incr = i - (int)(i / 15) * 15;
    cicosr = (int)(i * 2 / 3.0 / 16.0 + 0.5);
    sdnominal = (int)(i * 100.0e3 / 1.5 / (double)cicosr / 2.0 / 2.0 * 2.0 * 8.0 * 256.0 / 228.0e3 * 65536);
    temp = 0x00000000;
    temp = temp | ((cicosr << 9) & 0x00007E00);
    temp = temp | ((ndiv << 4) & 0x000001FF);
    temp = temp | ((incr)&0x000001FF);
    printf("\t[%d - STFM1000_FREQUENCY_100KHZ_MIN] = "
           "{ .tune1 = 0x%08x, .sdnom = 0x%08x },\n",
           i, temp, sdnominal);
  }
  printf("};\n");
}
```