#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 choose(int, char *, int, char *);
int /*<<< orphan*/ printf(char *);
page12() {
  printf("You walk up to the door and push the button labelled \"push to "
         "exit.\"\n");
  printf("Within seconds a surly looking guard shoves his face into the small "
         "plexiglass\n");
  printf("window.  You can see his mouth forming words but you can\'t hear any "
         "of them.\n");
  printf("You just stare at him blankly  for a few moments until he points "
         "down to a\n");
  printf("speaker on your side of the door.  When you put your ear to it you "
         "can barely\n");
  printf("hear him say, \"Let\'s see your briefing release form, bud.  You "
         "aren\'t\n");
  printf("getting out of here without it.\"\n");
  return choose(11, "You sit down at the table and read the Orange packet", 57,
                "You stare around the room some more");
}


x86 assembly (clang, -O0):
<page12>:
push   %rbp
mov    %rsp,%rbp
lea    0xed5(%rip),%rdi
call   1040 <printf@plt>
lea    0xf0f(%rip),%rdi
call   1040 <printf@plt>
lea    0xf53(%rip),%rdi
call   1040 <printf@plt>
lea    0xf95(%rip),%rdi
call   1040 <printf@plt>
lea    0xfd5(%rip),%rdi
call   1040 <printf@plt>
lea    0x1018(%rip),%rdi
call   1040 <printf@plt>
lea    0x1053(%rip),%rdi
call   1040 <printf@plt>
mov    $0xb,%edi
lea    0x1064(%rip),%rsi
mov    $0x39,%edx
lea    0x108d(%rip),%rcx
call   1030 <choose@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<page12>:
push   %rax
lea    0xf31(%rip),%rdi
call   1030 <puts@plt>
lea    0xf6a(%rip),%rdi
call   1030 <puts@plt>
lea    0xfad(%rip),%rdi
call   1030 <puts@plt>
lea    0xfee(%rip),%rdi
call   1030 <puts@plt>
lea    0x102d(%rip),%rdi
call   1030 <puts@plt>
lea    0x106f(%rip),%rdi
call   1030 <puts@plt>
lea    0x10a9(%rip),%rdi
call   1030 <puts@plt>
lea    0xe84(%rip),%rsi
lea    0xeb2(%rip),%rcx
mov    $0xb,%edi
mov    $0x39,%edx
pop    %rax
jmp    1040 <choose@plt>

LLVM IR (-O0):
@.str = [70 x i8] c"You walk up to the door and push the button labelled \22push to exit.\22\0A\00"
@.str.1 = [80 x i8] c"Within seconds a surly looking guard shoves his face into the small plexiglass\0A\00"
@.str.2 = [78 x i8] c"window. You can see his mouth forming words but you can't hear any of them.\0A\00"
@.str.3 = [76 x i8] c"You just stare at him blankly for a few moments until he points down to a\0A\00"
@.str.4 = [79 x i8] c"speaker on your side of the door. When you put your ear to it you can barely\0A\00"
@.str.5 = [71 x i8] c"hear him say, \22Let's see your briefing release form, bud. You aren't\0A\00"
@.str.6 = [34 x i8] c"getting out of here without it.\22\0A\00"
@.str.7 = [53 x i8] c"You sit down at the table and read the Orange packet\00"
@.str.8 = [36 x i8] c"You stare around the room some more\00"
define i32 @page12() {
%1 = call i32 @printf(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @choose(i32 11, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.7, i64 0, i64 0), i32 57, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.8, i64 0, i64 0))
ret i32 %8
}

LLVM IR (-O2):
@.str.7 = [53 x i8] c"You sit down at the table and read the Orange packet\00"
@.str.8 = [36 x i8] c"You stare around the room some more\00"
@str = [69 x i8] c"You walk up to the door and push the button labelled \22push to exit.\22\00"
@str.9 = [79 x i8] c"Within seconds a surly looking guard shoves his face into the small plexiglass\00"
@str.10 = [77 x i8] c"window. You can see his mouth forming words but you can't hear any of them.\00"
@str.11 = [75 x i8] c"You just stare at him blankly for a few moments until he points down to a\00"
@str.12 = [78 x i8] c"speaker on your side of the door. When you put your ear to it you can barely\00"
@str.13 = [70 x i8] c"hear him say, \22Let's see your briefing release form, bud. You aren't\00"
@str.14 = [33 x i8] c"getting out of here without it.\22\00"
define i32 @page12() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([69 x i8], [69 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str.9, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.10, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.11, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.12, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([70 x i8], [70 x i8]* @str.13, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @str.14, i64 0, i64 0))
%8 = tail call i32 @choose(i32 11, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.7, i64 0, i64 0), i32 57, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.8, i64 0, i64 0))
ret i32 %8
}