#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*/ assert(int);
int rand();
void gen_maze(int w, int h, int *maze) {
  assert(w > 1);
  assert(h > 1);
  assert(maze != NULL);
  if (w > h)
    for (int y = 0; y < h; ++y) {
      for (int x = 0; x < w / 2; ++x)
        maze[y * w + x] = rand() % (w - 1 - x) + 1;
      for (int x = w / 2; x < w; ++x)
        maze[y * w + x] = rand() % x + 1;
    }
  else
    for (int x = 0; x < w; ++x) {
      for (int y = 0; y < h / 2; ++y)
        maze[y * w + x] = rand() % (h - 1 - y) + 1;
      for (int y = h / 2; y < h; ++y)
        maze[y * w + x] = rand() % y + 1;
    }
}


x86 assembly (clang, -O0):
<gen_maze>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
cmpl   $0x1,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x1,-0x8(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1244 <gen_maze+0x124>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    123f <gen_maze+0x11f>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
cmp    %ecx,%eax
jge    11e2 <gen_maze+0xc2>
mov    $0x0,%al
call   1040 <rand@plt>
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x18(%rbp),%ecx
cltd
idiv   %ecx
add    $0x1,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x4(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    118c <gen_maze+0x6c>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    122c <gen_maze+0x10c>
mov    $0x0,%al
call   1040 <rand@plt>
cltd
idivl  -0x1c(%rbp)
add    $0x1,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x4(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11f0 <gen_maze+0xd0>
jmp    1231 <gen_maze+0x111>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1179 <gen_maze+0x59>
jmp    1316 <gen_maze+0x1f6>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1311 <gen_maze+0x1f1>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
cmp    %ecx,%eax
jge    12b4 <gen_maze+0x194>
mov    $0x0,%al
call   1040 <rand@plt>
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x24(%rbp),%ecx
cltd
idiv   %ecx
add    $0x1,%edx
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x4(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    125e <gen_maze+0x13e>
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12fe <gen_maze+0x1de>
mov    $0x0,%al
call   1040 <rand@plt>
cltd
idivl  -0x28(%rbp)
add    $0x1,%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x4(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12c2 <gen_maze+0x1a2>
jmp    1303 <gen_maze+0x1e3>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    124b <gen_maze+0x12b>
jmp    1316 <gen_maze+0x1f6>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_maze>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r12
mov    %esi,%r13d
mov    %edi,%r15d
xor    %edi,%edi
cmp    $0x2,%r15d
setge  %dil
call   1030 <assert@plt>
xor    %edi,%edi
cmp    $0x2,%r13d
setge  %dil
call   1030 <assert@plt>
xor    %edi,%edi
test   %r12,%r12
setne  %dil
call   1030 <assert@plt>
cmp    %r13d,%r15d
jle    1230 <gen_maze+0x110>
test   %r13d,%r13d
jle    1330 <gen_maze+0x210>
mov    %r15d,%r14d
shr    $0x1f,%r14d
add    %r15d,%r14d
sar    %r14d
movslq %r14d,%rax
movslq %r15d,%rcx
mov    %r13d,%edx
mov    %rdx,0x18(%rsp)
lea    -0x1(%r15),%edx
mov    %edx,0x10(%rsp)
shl    $0x2,%rcx
mov    %rcx,0x20(%rsp)
lea    (%r12,%rax,4),%rax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
jmp    11cf <gen_maze+0xaf>
nop
add    $0x1,%r13
mov    %rbx,%r12
mov    0x20(%rsp),%rax
add    %rax,%r12
add    %rax,0x8(%rsp)
cmp    0x18(%rsp),%r13
je     1330 <gen_maze+0x210>
cmp    $0x2,%r15d
jl     11fd <gen_maze+0xdd>
mov    0x10(%rsp),%ebp
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1040 <rand@plt>
cltd
idiv   %ebp
add    $0x1,%edx
mov    %edx,(%r12,%rbx,4)
add    $0x1,%rbx
add    $0xffffffff,%ebp
cmp    %rbx,%r14
jne    11e0 <gen_maze+0xc0>
mov    %r12,%rbx
mov    %r14d,%r12d
mov    0x8(%rsp),%rbp
cmp    %r15d,%r14d
jge    11b0 <gen_maze+0x90>
nopl   (%rax)
xor    %eax,%eax
call   1040 <rand@plt>
cltd
idiv   %r12d
add    $0x1,%edx
mov    %edx,0x0(%rbp)
add    $0x4,%rbp
add    $0x1,%r12d
cmp    %r12d,%r15d
jne    1210 <gen_maze+0xf0>
jmp    11b0 <gen_maze+0x90>
test   %r15d,%r15d
jle    1330 <gen_maze+0x210>
mov    %r13d,%eax
shr    $0x1f,%eax
add    %r13d,%eax
sar    %eax
mov    %r15d,%ecx
mov    %rax,0x8(%rsp)
cltq
lea    -0x1(%r13),%edx
mov    %edx,0x2c(%rsp)
lea    0x0(,%rcx,4),%r14
mov    %rcx,0x30(%rsp)
imul   %rcx,%rax
lea    (%r12,%rax,4),%rbp
xor    %eax,%eax
mov    %r13,0x10(%rsp)
jmp    12a4 <gen_maze+0x184>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x18(%rsp),%rax
add    $0x1,%rax
mov    0x20(%rsp),%r12
add    $0x4,%r12
mov    %r15,%rbp
add    $0x4,%rbp
cmp    0x30(%rsp),%rax
je     1330 <gen_maze+0x210>
mov    %rax,0x18(%rsp)
mov    %r13,%rax
mov    %r12,%r13
mov    0x8(%rsp),%r12
mov    %r13,0x20(%rsp)
mov    0x2c(%rsp),%r15d
cmp    $0x2,%eax
jl     12ef <gen_maze+0x1cf>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %eax,%eax
call   1040 <rand@plt>
cltd
idiv   %r15d
add    $0x1,%edx
mov    %edx,0x0(%r13)
add    $0xffffffff,%r15d
add    %r14,%r13
add    $0xffffffffffffffff,%r12
jne    12d0 <gen_maze+0x1b0>
mov    0x8(%rsp),%rax
mov    %eax,%ebx
mov    %rbp,%r15
mov    0x10(%rsp),%r13
cmp    %r13d,%eax
jge    1280 <gen_maze+0x160>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1040 <rand@plt>
cltd
idiv   %ebx
add    $0x1,%edx
mov    %edx,0x0(%rbp)
add    %r14,%rbp
add    $0x1,%ebx
cmp    %ebx,%r13d
jne    1310 <gen_maze+0x1f0>
jmp    1280 <gen_maze+0x160>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @gen_maze(i32 %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32* %2, i32** %6
%13 = load i32, i32* %4
%14 = icmp sgt i32 %13, 1
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = load i32, i32* %5
%18 = icmp sgt i32 %17, 1
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i32*, i32** %6
%22 = icmp ne i32* %21, null
%23 = zext i1 %22 to i32
%24 = call i32 @assert(i32 %23)
%25 = load i32, i32* %4
%26 = load i32, i32* %5
%27 = icmp sgt i32 %25, %26
br i1 %27, label %28, label %86
28: ; preds = %3
store i32 0, i32* %7
br label %29
29: ; preds = %82, %28
%30 = load i32, i32* %7
%31 = load i32, i32* %5
%32 = icmp slt i32 %30, %31
br i1 %32, label %33, label %85
33: ; preds = %29
store i32 0, i32* %8
br label %34
34: ; preds = %55, %33
%35 = load i32, i32* %8
%36 = load i32, i32* %4
%37 = sdiv i32 %36, 2
%38 = icmp slt i32 %35, %37
br i1 %38, label %39, label %58
39: ; preds = %34
%40 = call i32 (...) @rand()
%41 = load i32, i32* %4
%42 = sub nsw i32 %41, 1
%43 = load i32, i32* %8
%44 = sub nsw i32 %42, %43
%45 = srem i32 %40, %44
%46 = add nsw i32 %45, 1
%47 = load i32*, i32** %6
%48 = load i32, i32* %7
%49 = load i32, i32* %4
%50 = mul nsw i32 %48, %49
%51 = load i32, i32* %8
%52 = add nsw i32 %50, %51
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %47, i64 %53
store i32 %46, i32* %54
br label %55
55: ; preds = %39
%56 = load i32, i32* %8
%57 = add nsw i32 %56, 1
store i32 %57, i32* %8
br label %34
58: ; preds = %34
%59 = load i32, i32* %4
%60 = sdiv i32 %59, 2
store i32 %60, i32* %9
br label %61
61: ; preds = %78, %58
%62 = load i32, i32* %9
%63 = load i32, i32* %4
%64 = icmp slt i32 %62, %63
br i1 %64, label %65, label %81
65: ; preds = %61
%66 = call i32 (...) @rand()
%67 = load i32, i32* %9
%68 = srem i32 %66, %67
%69 = add nsw i32 %68, 1
%70 = load i32*, i32** %6
%71 = load i32, i32* %7
%72 = load i32, i32* %4
%73 = mul nsw i32 %71, %72
%74 = load i32, i32* %9
%75 = add nsw i32 %73, %74
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %70, i64 %76
store i32 %69, i32* %77
br label %78
78: ; preds = %65
%79 = load i32, i32* %9
%80 = add nsw i32 %79, 1
store i32 %80, i32* %9
br label %61
81: ; preds = %61
br label %82
82: ; preds = %81
%83 = load i32, i32* %7
%84 = add nsw i32 %83, 1
store i32 %84, i32* %7
br label %29
85: ; preds = %29
br label %144
86: ; preds = %3
store i32 0, i32* %10
br label %87
87: ; preds = %140, %86
%88 = load i32, i32* %10
%89 = load i32, i32* %4
%90 = icmp slt i32 %88, %89
br i1 %90, label %91, label %143
91: ; preds = %87
store i32 0, i32* %11
br label %92
92: ; preds = %113, %91
%93 = load i32, i32* %11
%94 = load i32, i32* %5
%95 = sdiv i32 %94, 2
%96 = icmp slt i32 %93, %95
br i1 %96, label %97, label %116
97: ; preds = %92
%98 = call i32 (...) @rand()
%99 = load i32, i32* %5
%100 = sub nsw i32 %99, 1
%101 = load i32, i32* %11
%102 = sub nsw i32 %100, %101
%103 = srem i32 %98, %102
%104 = add nsw i32 %103, 1
%105 = load i32*, i32** %6
%106 = load i32, i32* %11
%107 = load i32, i32* %4
%108 = mul nsw i32 %106, %107
%109 = load i32, i32* %10
%110 = add nsw i32 %108, %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %105, i64 %111
store i32 %104, i32* %112
br label %113
113: ; preds = %97
%114 = load i32, i32* %11
%115 = add nsw i32 %114, 1
store i32 %115, i32* %11
br label %92
116: ; preds = %92
%117 = load i32, i32* %5
%118 = sdiv i32 %117, 2
store i32 %118, i32* %12
br label %119
119: ; preds = %136, %116
%120 = load i32, i32* %12
%121 = load i32, i32* %5
%122 = icmp slt i32 %120, %121
br i1 %122, label %123, label %139
123: ; preds = %119
%124 = call i32 (...) @rand()
%125 = load i32, i32* %12
%126 = srem i32 %124, %125
%127 = add nsw i32 %126, 1
%128 = load i32*, i32** %6
%129 = load i32, i32* %12
%130 = load i32, i32* %4
%131 = mul nsw i32 %129, %130
%132 = load i32, i32* %10
%133 = add nsw i32 %131, %132
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i32, i32* %128, i64 %134
store i32 %127, i32* %135
br label %136
136: ; preds = %123
%137 = load i32, i32* %12
%138 = add nsw i32 %137, 1
store i32 %138, i32* %12
br label %119
139: ; preds = %119
br label %140
140: ; preds = %139
%141 = load i32, i32* %10
%142 = add nsw i32 %141, 1
store i32 %142, i32* %10
br label %87
143: ; preds = %87
br label %144
144: ; preds = %143, %85
ret void
}

LLVM IR (-O2):
define void @gen_maze(i32 %0, i32 %1, i32* writeonly %2) {
%4 = icmp sgt i32 %0, 1
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = icmp sgt i32 %1, 1
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = icmp ne i32* %2, null
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = icmp sgt i32 %0, %1
br i1 %13, label %23, label %14
14: ; preds = %3
%15 = icmp sgt i32 %0, 0
br i1 %15, label %16, label %96
16: ; preds = %14
%17 = sdiv i32 %1, 2
%18 = icmp slt i32 %17, %1
%19 = zext i32 %0 to i64
%20 = sext i32 %17 to i64
%21 = zext i32 %0 to i64
%22 = zext i32 %17 to i64
br label %65
23: ; preds = %3
%24 = icmp sgt i32 %1, 0
br i1 %24, label %25, label %96
25: ; preds = %23
%26 = sdiv i32 %0, 2
%27 = icmp slt i32 %26, %0
%28 = sext i32 %26 to i64
%29 = sext i32 %0 to i64
%30 = zext i32 %1 to i64
%31 = zext i32 %26 to i64
br label %32
32: ; preds = %25, %51
%33 = phi i64 [ 0, %25 ], [ %52, %51 ]
br i1 %4, label %34, label %36
34: ; preds = %32
%35 = mul nsw i64 %33, %29
br label %39
36: ; preds = %39, %32
br i1 %27, label %37, label %51
37: ; preds = %36
%38 = mul nsw i64 %33, %29
br label %54
39: ; preds = %34, %39
%40 = phi i64 [ 0, %34 ], [ %49, %39 ]
%41 = tail call i32 (...) @rand()
%42 = trunc i64 %40 to i32
%43 = xor i32 %42, -1
%44 = add i32 %43, %0
%45 = srem i32 %41, %44
%46 = add nsw i32 %45, 1
%47 = add nsw i64 %40, %35
%48 = getelementptr inbounds i32, i32* %2, i64 %47
store i32 %46, i32* %48
%49 = add nuw nsw i64 %40, 1
%50 = icmp eq i64 %49, %31
br i1 %50, label %36, label %39
51: ; preds = %54, %36
%52 = add nuw nsw i64 %33, 1
%53 = icmp eq i64 %52, %30
br i1 %53, label %96, label %32
54: ; preds = %37, %54
%55 = phi i64 [ %28, %37 ], [ %62, %54 ]
%56 = tail call i32 (...) @rand()
%57 = trunc i64 %55 to i32
%58 = srem i32 %56, %57
%59 = add nsw i32 %58, 1
%60 = add nsw i64 %55, %38
%61 = getelementptr inbounds i32, i32* %2, i64 %60
store i32 %59, i32* %61
%62 = add nsw i64 %55, 1
%63 = trunc i64 %62 to i32
%64 = icmp eq i32 %63, %0
br i1 %64, label %51, label %54
65: ; preds = %16, %81
%66 = phi i64 [ 0, %16 ], [ %82, %81 ]
br i1 %7, label %68, label %67
67: ; preds = %68, %65
br i1 %18, label %84, label %81
68: ; preds = %65, %68
%69 = phi i64 [ %79, %68 ], [ 0, %65 ]
%70 = tail call i32 (...) @rand()
%71 = trunc i64 %69 to i32
%72 = xor i32 %71, -1
%73 = add i32 %72, %1
%74 = srem i32 %70, %73
%75 = add nsw i32 %74, 1
%76 = mul nsw i64 %69, %19
%77 = add nuw nsw i64 %76, %66
%78 = getelementptr inbounds i32, i32* %2, i64 %77
store i32 %75, i32* %78
%79 = add nuw nsw i64 %69, 1
%80 = icmp eq i64 %79, %22
br i1 %80, label %67, label %68
81: ; preds = %84, %67
%82 = add nuw nsw i64 %66, 1
%83 = icmp eq i64 %82, %21
br i1 %83, label %96, label %65
84: ; preds = %67, %84
%85 = phi i64 [ %93, %84 ], [ %20, %67 ]
%86 = tail call i32 (...) @rand()
%87 = trunc i64 %85 to i32
%88 = srem i32 %86, %87
%89 = add nsw i32 %88, 1
%90 = mul nsw i64 %85, %19
%91 = add nsw i64 %90, %66
%92 = getelementptr inbounds i32, i32* %2, i64 %91
store i32 %89, i32* %92
%93 = add nsw i64 %85, 1
%94 = trunc i64 %93 to i32
%95 = icmp eq i32 %94, %1
br i1 %95, label %81, label %84
96: ; preds = %81, %51, %14, %23
ret void
}