user: 这段汇编代码用C语言表示是什么样的？

```asm
<GetBitRangeFromByte>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %edi,%eax
  mov    %esi,-0x8(%rbp)
  mov    %edx,-0xc(%rbp)
  mov    %al,-0x4(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    -0xc(%rbp),%eax
  setle  %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x0,-0x8(%rbp)
  js     L5
  cmpl   $0x7,-0x8(%rbp)
  jg     L5
  mov    $0x1,%eax
  jmp    L25
L5:
  mov    $0x0,%eax
L25:
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x0,-0xc(%rbp)
  js     L30
  cmpl   $0x7,-0xc(%rbp)
  jg     L30
  mov    $0x1,%eax
  jmp    L26
L30:
  mov    $0x0,%eax
L26:
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0xc(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%rdx
  lea    D5(%rip),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  and    -0x4(%rbp),%al
  movzbl %al,%edx
  mov    -0x8(%rbp),%eax
  mov    %eax,%ecx
  sar    %cl,%edx
  mov    %edx,%eax
  leave
  ret
```

assistant: ```c
unsigned char GetBitRangeFromByte(unsigned char theByte, int start, int end) {
  static unsigned char bitmask[8][8] = {{
                                            1,
                                            3,
                                            7,
                                            15,
                                            31,
                                            63,
                                            127,
                                            255,
                                        },
                                        {
                                            3,
                                            2,
                                            6,
                                            14,
                                            30,
                                            62,
                                            126,
                                            254,
                                        },
                                        {
                                            7,
                                            6,
                                            4,
                                            12,
                                            28,
                                            60,
                                            124,
                                            252,
                                        },
                                        {
                                            15,
                                            14,
                                            12,
                                            8,
                                            24,
                                            56,
                                            120,
                                            248,
                                        },
                                        {
                                            31,
                                            30,
                                            28,
                                            24,
                                            16,
                                            48,
                                            112,
                                            240,
                                        },
                                        {
                                            63,
                                            62,
                                            60,
                                            56,
                                            48,
                                            32,
                                            96,
                                            224,
                                        },
                                        {
                                            127,
                                            126,
                                            124,
                                            120,
                                            112,
                                            96,
                                            64,
                                            192,
                                        },
                                        {
                                            255,
                                            254,
                                            252,
                                            248,
                                            240,
                                            224,
                                            192,
                                            128,
                                        }};
  assert(start <= end);
  assert(start >= 0 && start <= 7);
  assert(end >= 0 && end <= 7);
  return (theByte & bitmask[start][end]) >> (start);
}
```