#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 ACS_BTEE;
int ACS_HLINE;
int ACS_LLCORNER;
int ACS_LRCORNER;
int ACS_LTEE;
int ACS_PLUS;
int ACS_RTEE;
int ACS_TTEE;
int ACS_ULCORNER;
int ACS_URCORNER;
int /*<<< orphan*/ WriteBoard(int, int *, int *, int *);
void SetUpScreen() {
  int top[4], middle[4], bottom[4];
  top[0] = ACS_ULCORNER;
  top[1] = ACS_HLINE;
  top[2] = ACS_TTEE;
  top[3] = ACS_URCORNER;
  middle[0] = ACS_LTEE;
  middle[1] = ACS_HLINE;
  middle[2] = ACS_PLUS;
  middle[3] = ACS_RTEE;
  bottom[0] = ACS_LLCORNER;
  bottom[1] = ACS_HLINE;
  bottom[2] = ACS_BTEE;
  bottom[3] = ACS_LRCORNER;
  WriteBoard(19, top, middle, bottom);
}


x86 assembly (clang, -O0):
<SetUpScreen>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x2ec1(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x10(%rbp)
mov    0x2e8d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0xc(%rbp)
mov    0x2e79(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x8(%rbp)
mov    0x2e7d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    0x2e99(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x20(%rbp)
mov    0x2e5d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    0x2e41(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    0x2e2d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x14(%rbp)
mov    0x2e11(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    0x2e2d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    0x2e41(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    0x2e2d(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
lea    -0x10(%rbp),%rsi
lea    -0x20(%rbp),%rdx
lea    -0x30(%rbp),%rcx
mov    $0x13,%edi
call   1030 <WriteBoard@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SetUpScreen>:
sub    $0x38,%rsp
mov    0x2ec5(%rip),%rax
mov    (%rax),%eax
mov    %eax,0x20(%rsp)
mov    0x2e90(%rip),%rax
mov    (%rax),%eax
mov    %eax,0x24(%rsp)
mov    0x2e7b(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,0x28(%rsp)
mov    0x2e7e(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,0x2c(%rsp)
mov    0x2e99(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,0x10(%rsp)
mov    %eax,0x14(%rsp)
mov    0x2e48(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,0x18(%rsp)
mov    0x2e33(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,0x1c(%rsp)
mov    0x2e16(%rip),%rcx
mov    (%rcx),%ecx
mov    %ecx,(%rsp)
mov    %eax,0x4(%rsp)
mov    0x2e4e(%rip),%rax
mov    (%rax),%eax
mov    %eax,0x8(%rsp)
mov    0x2e39(%rip),%rax
mov    (%rax),%eax
mov    %eax,0xc(%rsp)
lea    0x20(%rsp),%rsi
lea    0x10(%rsp),%rdx
mov    %rsp,%rcx
mov    $0x13,%edi
call   1030 <WriteBoard@plt>
add    $0x38,%rsp
ret

LLVM IR (-O0):
@ACS_ULCORNER = global i32 0
@ACS_HLINE = global i32 0
@ACS_TTEE = global i32 0
@ACS_URCORNER = global i32 0
@ACS_LTEE = global i32 0
@ACS_PLUS = global i32 0
@ACS_RTEE = global i32 0
@ACS_LLCORNER = global i32 0
@ACS_BTEE = global i32 0
@ACS_LRCORNER = global i32 0
define void @SetUpScreen() {
%1 = alloca [4 x i32]
%2 = alloca [4 x i32]
%3 = alloca [4 x i32]
%4 = load i32, i32* @ACS_ULCORNER
%5 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 0
store i32 %4, i32* %5
%6 = load i32, i32* @ACS_HLINE
%7 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 1
store i32 %6, i32* %7
%8 = load i32, i32* @ACS_TTEE
%9 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 2
store i32 %8, i32* %9
%10 = load i32, i32* @ACS_URCORNER
%11 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 3
store i32 %10, i32* %11
%12 = load i32, i32* @ACS_LTEE
%13 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
store i32 %12, i32* %13
%14 = load i32, i32* @ACS_HLINE
%15 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 1
store i32 %14, i32* %15
%16 = load i32, i32* @ACS_PLUS
%17 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 2
store i32 %16, i32* %17
%18 = load i32, i32* @ACS_RTEE
%19 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 3
store i32 %18, i32* %19
%20 = load i32, i32* @ACS_LLCORNER
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
store i32 %20, i32* %21
%22 = load i32, i32* @ACS_HLINE
%23 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
store i32 %22, i32* %23
%24 = load i32, i32* @ACS_BTEE
%25 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
store i32 %24, i32* %25
%26 = load i32, i32* @ACS_LRCORNER
%27 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 3
store i32 %26, i32* %27
%28 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 0
%29 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
%30 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
%31 = call i32 @WriteBoard(i32 19, i32* %28, i32* %29, i32* %30)
ret void
}

LLVM IR (-O2):
@ACS_ULCORNER = global i32 0
@ACS_HLINE = global i32 0
@ACS_TTEE = global i32 0
@ACS_URCORNER = global i32 0
@ACS_LTEE = global i32 0
@ACS_PLUS = global i32 0
@ACS_RTEE = global i32 0
@ACS_LLCORNER = global i32 0
@ACS_BTEE = global i32 0
@ACS_LRCORNER = global i32 0
define void @SetUpScreen() {
%1 = alloca [4 x i32]
%2 = alloca [4 x i32]
%3 = alloca [4 x i32]
%4 = bitcast [4 x i32]* %1 to i8*
%5 = bitcast [4 x i32]* %2 to i8*
%6 = bitcast [4 x i32]* %3 to i8*
%7 = load i32, i32* @ACS_ULCORNER
%8 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 0
store i32 %7, i32* %8
%9 = load i32, i32* @ACS_HLINE
%10 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 1
store i32 %9, i32* %10
%11 = load i32, i32* @ACS_TTEE
%12 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 2
store i32 %11, i32* %12
%13 = load i32, i32* @ACS_URCORNER
%14 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 3
store i32 %13, i32* %14
%15 = load i32, i32* @ACS_LTEE
%16 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
store i32 %15, i32* %16
%17 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 1
store i32 %9, i32* %17
%18 = load i32, i32* @ACS_PLUS
%19 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 2
store i32 %18, i32* %19
%20 = load i32, i32* @ACS_RTEE
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 3
store i32 %20, i32* %21
%22 = load i32, i32* @ACS_LLCORNER
%23 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
store i32 %22, i32* %23
%24 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
store i32 %9, i32* %24
%25 = load i32, i32* @ACS_BTEE
%26 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
store i32 %25, i32* %26
%27 = load i32, i32* @ACS_LRCORNER
%28 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 3
store i32 %27, i32* %28
%29 = call i32 @WriteBoard(i32 19, i32* %8, i32* %16, i32* %23)
ret void
}