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

```asm
<main>:
  endbr64
  sub    $0x8,%rsp
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  je     L177
L282:
  add    $0x8,%rsp
  ret
L177:
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xa,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0xa,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x89abcdef,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x89abcdef,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xfffffff6,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0xfffffff6,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x76543211,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x76543211,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%edx
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xa,%edx
  mov    $0xa,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xa,%edx
  mov    $0x1,%esi
  mov    $0xa,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x89abcdef,%edx
  mov    $0x89abcdef,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x89abcdef,%edx
  mov    $0x1,%esi
  mov    $0x89abcdef,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%edx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xfffffff6,%edx
  mov    $0xfffffff6,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xfffffff6,%edx
  mov    $0x1,%esi
  mov    $0xfffffff6,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x76543211,%edx
  mov    $0x76543211,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x76543211,%edx
  mov    $0x1,%esi
  mov    $0x76543211,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x9ea1dc29,%edx
  mov    $0xb504f333,%esi
  mov    $0xb504f333,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x615e23d7,%edx
  mov    $0xb504f333,%esi
  mov    $0x4afb0ccd,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x615e23d7,%edx
  mov    $0x4afb0ccd,%esi
  mov    $0xb504f333,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x9ea1dc29,%edx
  mov    $0x4afb0ccd,%esi
  mov    $0x4afb0ccd,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffe00000,%edx
  mov    $0x200000,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x200000,%edx
  mov    $0x200000,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x200000,%edx
  mov    $0xffe00000,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffe00000,%edx
  mov    $0xffe00000,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffe00000,%edx
  mov    $0xffffffff,%esi
  mov    $0x200000,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x200000,%edx
  mov    $0xffffffff,%esi
  mov    $0xffe00000,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x200000,%edx
  mov    $0x1,%esi
  mov    $0x200000,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffe00000,%edx
  mov    $0x1,%esi
  mov    $0xffe00000,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%edx
  mov    $0xffffffff,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%edx
  mov    $0xffffffff,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%edx
  mov    $0x1,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%edx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%edx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0xffffffff,%edx
  mov    $0x1,%esi
  mov    $0xffffffff,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%edx
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  jne    L282
  mov    $0x1,%edx
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <test__mulvdi3@plt>
  test   %rax,%rax
  setne  %al
  movzbl %al,%eax
  jmp    L282
```

assistant: ```c
int main() {
  if (test__mulvdi3(0, 0, 0))
    return 1;
  if (test__mulvdi3(0, 1, 0))
    return 1;
  if (test__mulvdi3(1, 0, 0))
    return 1;
  if (test__mulvdi3(0, 10, 0))
    return 1;
  if (test__mulvdi3(10, 0, 0))
    return 1;
  if (test__mulvdi3(0, 81985529216486895LL, 0))
    return 1;
  if (test__mulvdi3(81985529216486895LL, 0, 0))
    return 1;
  if (test__mulvdi3(0, -1, 0))
    return 1;
  if (test__mulvdi3(-1, 0, 0))
    return 1;
  if (test__mulvdi3(0, -10, 0))
    return 1;
  if (test__mulvdi3(-10, 0, 0))
    return 1;
  if (test__mulvdi3(0, -81985529216486895LL, 0))
    return 1;
  if (test__mulvdi3(-81985529216486895LL, 0, 0))
    return 1;
  if (test__mulvdi3(1, 1, 1))
    return 1;
  if (test__mulvdi3(1, 10, 10))
    return 1;
  if (test__mulvdi3(10, 1, 10))
    return 1;
  if (test__mulvdi3(1, 81985529216486895LL, 81985529216486895LL))
    return 1;
  if (test__mulvdi3(81985529216486895LL, 1, 81985529216486895LL))
    return 1;
  if (test__mulvdi3(1, -1, -1))
    return 1;
  if (test__mulvdi3(1, -10, -10))
    return 1;
  if (test__mulvdi3(-10, 1, -10))
    return 1;
  if (test__mulvdi3(1, -81985529216486895LL, -81985529216486895LL))
    return 1;
  if (test__mulvdi3(-81985529216486895LL, 1, -81985529216486895LL))
    return 1;
  if (test__mulvdi3(3037000499LL, 3037000499LL, 9223372030926249001LL))
    return 1;
  if (test__mulvdi3(-3037000499LL, 3037000499LL, -9223372030926249001LL))
    return 1;
  if (test__mulvdi3(3037000499LL, -3037000499LL, -9223372030926249001LL))
    return 1;
  if (test__mulvdi3(-3037000499LL, -3037000499LL, 9223372030926249001LL))
    return 1;
  if (test__mulvdi3(4398046511103LL, 2097152LL, 9223372036852678656LL))
    return 1;
  if (test__mulvdi3(-4398046511103LL, 2097152LL, -9223372036852678656LL))
    return 1;
  if (test__mulvdi3(4398046511103LL, -2097152LL, -9223372036852678656LL))
    return 1;
  if (test__mulvdi3(-4398046511103LL, -2097152LL, 9223372036852678656LL))
    return 1;
  if (test__mulvdi3(2097152LL, 4398046511103LL, 9223372036852678656LL))
    return 1;
  if (test__mulvdi3(-2097152LL, 4398046511103LL, -9223372036852678656LL))
    return 1;
  if (test__mulvdi3(2097152LL, -4398046511103LL, -9223372036852678656LL))
    return 1;
  if (test__mulvdi3(-2097152LL, -4398046511103LL, 9223372036852678656LL))
    return 1;
  if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, -1, 0x8000000000000001LL))
    return 1;
  if (test__mulvdi3(-1, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL))
    return 1;
  if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 0, 0))
    return 1;
  if (test__mulvdi3(0, 0x7FFFFFFFFFFFFFFFLL, 0))
    return 1;
  if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 1, 0x7FFFFFFFFFFFFFFFLL))
    return 1;
  if (test__mulvdi3(1, 0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFFLL))
    return 1;
  if (test__mulvdi3(0x8000000000000000LL, 0, 0))
    return 1;
  if (test__mulvdi3(0, 0x8000000000000000LL, 0))
    return 1;
  if (test__mulvdi3(0x8000000000000000LL, 1, 0x8000000000000000LL))
    return 1;
  if (test__mulvdi3(1, 0x8000000000000000LL, 0x8000000000000000LL))
    return 1;
  if (test__mulvdi3(0x8000000000000001LL, -1, 0x7FFFFFFFFFFFFFFFLL))
    return 1;
  if (test__mulvdi3(-1, 0x8000000000000001LL, 0x7FFFFFFFFFFFFFFFLL))
    return 1;
  if (test__mulvdi3(0x8000000000000001LL, 0, 0))
    return 1;
  if (test__mulvdi3(0, 0x8000000000000001LL, 0))
    return 1;
  if (test__mulvdi3(0x8000000000000001LL, 1, 0x8000000000000001LL))
    return 1;
  if (test__mulvdi3(1, 0x8000000000000001LL, 0x8000000000000001LL))
    return 1;
  return 0;
}
```