#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 */
struct Cyc_Absyn_Stmt {
  int dummy;
};

/* Variables and functions */
struct Cyc_Absyn_Stmt *Cyc_Absyn_seq_stmt(struct Cyc_Absyn_Stmt *,
                                          struct Cyc_Absyn_Stmt *,
                                          unsigned int);
struct Cyc_Absyn_Stmt *Cyc_Toc_seq_stmt_opt(struct Cyc_Absyn_Stmt *s1,
                                            struct Cyc_Absyn_Stmt *s2) {
  struct Cyc_Absyn_Stmt *_T0;
  struct Cyc_Absyn_Stmt *_T1;
  struct Cyc_Absyn_Stmt *_T2;
  if (s1 != 0)
    goto _TL352;
  _T0 = s2;
  return _T0;
_TL352:
  if (s2 != 0)
    goto _TL354;
  _T1 = s1;
  return _T1;
_TL354:
  _T2 = Cyc_Absyn_seq_stmt(s1, s2, 0U);
  return _T2;
}


x86 assembly (clang, -O0):
<Cyc_Toc_seq_stmt_opt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1130 <Cyc_Toc_seq_stmt_opt+0x20>
jmp    1145 <Cyc_Toc_seq_stmt_opt+0x35>
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1185 <Cyc_Toc_seq_stmt_opt+0x75>
cmpq   $0x0,-0x18(%rbp)
je     1155 <Cyc_Toc_seq_stmt_opt+0x45>
jmp    116a <Cyc_Toc_seq_stmt_opt+0x5a>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1185 <Cyc_Toc_seq_stmt_opt+0x75>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
xor    %edx,%edx
call   1030 <Cyc_Absyn_seq_stmt@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Cyc_Toc_seq_stmt_opt>:
test   %rdi,%rdi
je     1124 <Cyc_Toc_seq_stmt_opt+0x14>
test   %rsi,%rsi
je     1121 <Cyc_Toc_seq_stmt_opt+0x11>
xor    %edx,%edx
jmp    1030 <Cyc_Absyn_seq_stmt@plt>
mov    %rdi,%rsi
mov    %rsi,%rax
ret

LLVM IR (-O0):
%struct.Cyc_Absyn_Stmt = type { i32 }
define %struct.Cyc_Absyn_Stmt* @Cyc_Toc_seq_stmt_opt(%struct.Cyc_Absyn_Stmt* %0, %struct.Cyc_Absyn_Stmt* %1) {
%3 = alloca %struct.Cyc_Absyn_Stmt*
%4 = alloca %struct.Cyc_Absyn_Stmt*
%5 = alloca %struct.Cyc_Absyn_Stmt*
%6 = alloca %struct.Cyc_Absyn_Stmt*
%7 = alloca %struct.Cyc_Absyn_Stmt*
%8 = alloca %struct.Cyc_Absyn_Stmt*
store %struct.Cyc_Absyn_Stmt* %0, %struct.Cyc_Absyn_Stmt** %4
store %struct.Cyc_Absyn_Stmt* %1, %struct.Cyc_Absyn_Stmt** %5
%9 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %4
%10 = icmp ne %struct.Cyc_Absyn_Stmt* %9, null
br i1 %10, label %11, label %12
11: ; preds = %2
br label %15
12: ; preds = %2
%13 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %5
store %struct.Cyc_Absyn_Stmt* %13, %struct.Cyc_Absyn_Stmt** %6
%14 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %6
store %struct.Cyc_Absyn_Stmt* %14, %struct.Cyc_Absyn_Stmt** %3
br label %27
15: ; preds = %11
%16 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %5
%17 = icmp ne %struct.Cyc_Absyn_Stmt* %16, null
br i1 %17, label %18, label %19
18: ; preds = %15
br label %22
19: ; preds = %15
%20 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %4
store %struct.Cyc_Absyn_Stmt* %20, %struct.Cyc_Absyn_Stmt** %7
%21 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %7
store %struct.Cyc_Absyn_Stmt* %21, %struct.Cyc_Absyn_Stmt** %3
br label %27
22: ; preds = %18
%23 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %4
%24 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %5
%25 = call %struct.Cyc_Absyn_Stmt* @Cyc_Absyn_seq_stmt(%struct.Cyc_Absyn_Stmt* %23, %struct.Cyc_Absyn_Stmt* %24, i32 0)
store %struct.Cyc_Absyn_Stmt* %25, %struct.Cyc_Absyn_Stmt** %8
%26 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %8
store %struct.Cyc_Absyn_Stmt* %26, %struct.Cyc_Absyn_Stmt** %3
br label %27
27: ; preds = %22, %19, %12
%28 = load %struct.Cyc_Absyn_Stmt*, %struct.Cyc_Absyn_Stmt** %3
ret %struct.Cyc_Absyn_Stmt* %28
}

LLVM IR (-O2):
%struct.Cyc_Absyn_Stmt = type { i32 }
define %struct.Cyc_Absyn_Stmt* @Cyc_Toc_seq_stmt_opt(%struct.Cyc_Absyn_Stmt* %0, %struct.Cyc_Absyn_Stmt* %1) {
%3 = icmp eq %struct.Cyc_Absyn_Stmt* %0, null
br i1 %3, label %8, label %4
4: ; preds = %2
%5 = icmp eq %struct.Cyc_Absyn_Stmt* %1, null
br i1 %5, label %8, label %6
6: ; preds = %4
%7 = tail call %struct.Cyc_Absyn_Stmt* @Cyc_Absyn_seq_stmt(%struct.Cyc_Absyn_Stmt* %0, %struct.Cyc_Absyn_Stmt* %1, i32 0)
br label %8
8: ; preds = %4, %2, %6
%9 = phi %struct.Cyc_Absyn_Stmt* [ %7, %6 ], [ %1, %2 ], [ %0, %4 ]
ret %struct.Cyc_Absyn_Stmt* %9
}