user: 请从给定的汇编指令推导出C源代码:

```asm
<test_tlb_mmio>:
  endbr64
  push   %r14
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    $0xf7000000,%ebx
  mov    $0xffffffff,%ebp
  mov    $0xf7004000,%r12d
L6:
  movq   $0x0,(%rbx)
  mov    $0xffffffff,%eax
  mov    %rax,-0x1000000(%rbx)
  mov    -0x1000000(%rbx),%rax
  cmp    %rbp,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    (%rbx),%rax
  cmp    $0x104,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   $0x0,-0x1000000(%rbx)
  mov    -0x1000000(%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    (%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    %rbp,(%rbx)
  mov    (%rbx),%rax
  cmp    $0x1ffffdff,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    -0x1000000(%rbx),%rax
  cmp    $0x300,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   $0x0,(%rbx)
  mov    (%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    -0x1000000(%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    %rbp,0x800000(%rbx)
  mov    0x800000(%rbx),%rax
  cmp    $0xf,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   $0x0,0x800000(%rbx)
  mov    0x800000(%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  add    $0x100,%rbx
  cmp    %r12,%rbx
  jne    L6
  mov    $0xf3000000,%ebx
  mov    $0xfffffdff,%r12d
  mov    $0xf3000400,%ebp
L7:
  movq   $0x0,(%rbx)
  mov    $0xffffffff,%r14d
  mov    %r14,-0x1000000(%rbx)
  mov    -0x1000000(%rbx),%rax
  cmp    %r12,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    (%rbx),%rax
  cmp    $0x100,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   $0x0,-0x1000000(%rbx)
  mov    -0x1000000(%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    (%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    %r14,(%rbx)
  mov    (%rbx),%rax
  cmp    $0x1ffffdda,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    -0x1000000(%rbx),%rax
  cmp    $0x100,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   $0x0,(%rbx)
  mov    (%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  mov    -0x1000000(%rbx),%rax
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  add    $0x100,%rbx
  cmp    %rbp,%rbx
  jne    L7
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r14
  ret
```

assistant: ```c
void test_tlb_mmio() {
  int entry;
  for (entry = 0; entry < 64; entry++) {
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) = (0));
    ((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) = (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) == 0xFFFFFFFF);
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) == 0x00000104);
    ((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) = (0x00000000));
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) == 0x00000000);
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) == 0x00000000);
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) = (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) == 0x1FFFFDFF);
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) == 0x00000300);
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) = (0x00000000));
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) == 0x00000000);
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) == 0x00000000);
    ((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) = (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) == 0x0000000F);
    ((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) = (0x00000000));
    assert((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) == 0x00000000);
  }
  for (entry = 0; entry < 4; entry++) {
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) = (0));
    ((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) = (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) == 0xFFFFFDFF);
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) == 0x00000100);
    ((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) = (0x00000000));
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) == 0x00000000);
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) == 0x00000000);
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) = (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) == 0x1FFFFDDA);
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) == 0x00000100);
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) = (0x00000000));
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) == 0x00000000);
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) == 0x00000000);
  }
}
```