#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ GenPrintInstr1Operand(int, int /*<<< orphan*/, int,
                                         int /*<<< orphan*/);
int /*<<< orphan*/ GenPrintInstr2Operands(int, int /*<<< orphan*/, int,
                                          int /*<<< orphan*/, int, int);
int /*<<< orphan*/ GenPrintInstrNoOperand(int, int /*<<< orphan*/);
int /*<<< orphan*/ GenSaveRestoreRegs(int /*<<< orphan*/);
int /*<<< orphan*/ GenUpdateFrameSize();
void GenFxnEpilog(void) {
  GenUpdateFrameSize();
  GenSaveRestoreRegs(0);
  GenPrintInstr2Operands(0x0B, 0, 0x22, 0, 0x80, 4);
  GenPrintInstr2Operands(0x80, 0, 0x20, 0, 0x22, 0);
  GenPrintInstr1Operand(0x1C, 0, 0x22, 0);
  GenPrintInstrNoOperand(0x1A, 0);
}


x86 assembly (clang, -O0):
<GenFxnEpilog>:
push   %rbp
mov    %rsp,%rbp
mov    $0x0,%al
call   1070 <GenUpdateFrameSize@plt>
xor    %edi,%edi
call   1030 <GenSaveRestoreRegs@plt>
mov    $0xb,%edi
xor    %ecx,%ecx
mov    $0x22,%edx
mov    $0x80,%r8d
mov    $0x4,%r9d
mov    %ecx,%esi
call   1040 <GenPrintInstr2Operands@plt>
mov    $0x80,%edi
xor    %r9d,%r9d
mov    $0x20,%edx
mov    $0x22,%r8d
mov    %r9d,%esi
mov    %r9d,%ecx
call   1040 <GenPrintInstr2Operands@plt>
mov    $0x1c,%edi
xor    %ecx,%ecx
mov    $0x22,%edx
mov    %ecx,%esi
call   1050 <GenPrintInstr1Operand@plt>
mov    $0x1a,%edi
xor    %esi,%esi
call   1060 <GenPrintInstrNoOperand@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<GenFxnEpilog>:
push   %rax
xor    %eax,%eax
call   1070 <GenUpdateFrameSize@plt>
xor    %edi,%edi
call   1030 <GenSaveRestoreRegs@plt>
mov    $0xb,%edi
xor    %esi,%esi
mov    $0x22,%edx
xor    %ecx,%ecx
mov    $0x80,%r8d
mov    $0x4,%r9d
call   1040 <GenPrintInstr2Operands@plt>
mov    $0x80,%edi
xor    %esi,%esi
mov    $0x20,%edx
xor    %ecx,%ecx
mov    $0x22,%r8d
xor    %r9d,%r9d
call   1040 <GenPrintInstr2Operands@plt>
mov    $0x1c,%edi
xor    %esi,%esi
mov    $0x22,%edx
xor    %ecx,%ecx
call   1050 <GenPrintInstr1Operand@plt>
mov    $0x1a,%edi
xor    %esi,%esi
pop    %rax
jmp    1060 <GenPrintInstrNoOperand@plt>

LLVM IR (-O0):
define void @GenFxnEpilog() {
%1 = call i32 (...) @GenUpdateFrameSize()
%2 = call i32 @GenSaveRestoreRegs(i32 0)
%3 = call i32 @GenPrintInstr2Operands(i32 11, i32 0, i32 34, i32 0, i32 128, i32 4)
%4 = call i32 @GenPrintInstr2Operands(i32 128, i32 0, i32 32, i32 0, i32 34, i32 0)
%5 = call i32 @GenPrintInstr1Operand(i32 28, i32 0, i32 34, i32 0)
%6 = call i32 @GenPrintInstrNoOperand(i32 26, i32 0)
ret void
}

LLVM IR (-O2):
define void @GenFxnEpilog() {
%1 = tail call i32 (...) @GenUpdateFrameSize()
%2 = tail call i32 @GenSaveRestoreRegs(i32 0)
%3 = tail call i32 @GenPrintInstr2Operands(i32 11, i32 0, i32 34, i32 0, i32 128, i32 4)
%4 = tail call i32 @GenPrintInstr2Operands(i32 128, i32 0, i32 32, i32 0, i32 34, i32 0)
%5 = tail call i32 @GenPrintInstr1Operand(i32 28, i32 0, i32 34, i32 0)
%6 = tail call i32 @GenPrintInstrNoOperand(i32 26, i32 0)
ret void
}