void c_blit_read(char *framebuffer, short screen_width, short screen_height,
                 unsigned int bytes_per_line, short xoffset, short yoffset,
                 char *blit_data, short x, short y, short w, short h,
                 unsigned char bytes_per_pixel, unsigned char draw_mode,
                 unsigned char alpha, unsigned int bcolor, short x_clip,
                 short y_clip, short xx_clip, short yy_clip) {
  short fb_x = xoffset + x;
  short fb_y = yoffset + y;
  short xx = x + w;
  short yy = y + h;
  short horizontal;
  short vertical;
  unsigned int bline = w * bytes_per_pixel;
  for (vertical = 0; vertical < h; vertical++) {
    unsigned int vbl = vertical * bline;
    unsigned short yv = fb_y + vertical;
    unsigned int yvbl = yv * bytes_per_line;
    if (yv >= (yoffset + y_clip) && yv <= (yoffset + yy_clip)) {
      for (horizontal = 0; horizontal < w; horizontal++) {
        unsigned short xh = fb_x + horizontal;
        unsigned int xhbp = xh * bytes_per_pixel;
        if (xh >= (xoffset + x_clip) && xh <= (xoffset + xx_clip)) {
          unsigned int hzpixel = horizontal * bytes_per_pixel;
          unsigned int vhz = vbl + hzpixel;
          unsigned int yvhz = yvbl + hzpixel;
          unsigned int xhbp_yvbl = xhbp + yvbl;
          if (bytes_per_pixel == 4) {
            *((unsigned int *)(blit_data + vhz)) =
                *((unsigned int *)(framebuffer + xhbp_yvbl));
          } else if (bytes_per_pixel == 3) {
            *(blit_data + vhz) = *(framebuffer + xhbp_yvbl);
            *(blit_data + vhz + 1) = *(framebuffer + xhbp_yvbl + 1);
            *(blit_data + vhz + 2) = *(framebuffer + xhbp_yvbl + 2);
          } else {
            *((unsigned short *)(blit_data + vhz)) =
                *((unsigned short *)(framebuffer + xhbp_yvbl));
          }
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<c_blit_read>:
push   %rbp
mov    %rsp,%rbp
mov    %r8d,-0x58(%rbp)
mov    %ecx,%eax
mov    -0x58(%rbp),%ecx
mov    %eax,-0x54(%rbp)
mov    %edx,%eax
mov    -0x54(%rbp),%edx
mov    %eax,-0x50(%rbp)
mov    %esi,%eax
mov    -0x50(%rbp),%esi
mov    %eax,-0x4c(%rbp)
mov    %rdi,%r8
mov    -0x4c(%rbp),%edi
mov    %r9w,%ax
mov    0x70(%rbp),%r9w
mov    0x68(%rbp),%r9w
mov    0x60(%rbp),%r9w
mov    0x58(%rbp),%r9w
mov    0x50(%rbp),%r9d
mov    0x48(%rbp),%r9b
mov    0x40(%rbp),%r9b
mov    0x38(%rbp),%r9b
mov    0x30(%rbp),%r9w
mov    0x28(%rbp),%r9w
mov    0x20(%rbp),%r9w
mov    0x18(%rbp),%r9w
mov    0x10(%rbp),%r9
mov    %r8,-0x8(%rbp)
mov    %di,-0xa(%rbp)
mov    %si,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %cx,-0x12(%rbp)
mov    %ax,-0x14(%rbp)
movswl -0x12(%rbp),%eax
movswl 0x18(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x16(%rbp)
movswl -0x14(%rbp),%eax
movswl 0x20(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x18(%rbp)
movswl 0x18(%rbp),%eax
movswl 0x28(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x1a(%rbp)
movswl 0x20(%rbp),%eax
movswl 0x30(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x1c(%rbp)
movswl 0x28(%rbp),%eax
movzbl 0x38(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x24(%rbp)
movw   $0x0,-0x20(%rbp)
movswl -0x20(%rbp),%eax
movswl 0x30(%rbp),%ecx
cmp    %ecx,%eax
jge    1379 <c_blit_read+0x279>
movswl -0x20(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
movswl -0x18(%rbp),%eax
movswl -0x20(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x2a(%rbp)
movzwl -0x2a(%rbp),%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x30(%rbp)
movzwl -0x2a(%rbp),%eax
movswl -0x14(%rbp),%ecx
movswl 0x60(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jl     1363 <c_blit_read+0x263>
movzwl -0x2a(%rbp),%eax
movswl -0x14(%rbp),%ecx
movswl 0x70(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jg     1363 <c_blit_read+0x263>
movw   $0x0,-0x1e(%rbp)
movswl -0x1e(%rbp),%eax
movswl 0x28(%rbp),%ecx
cmp    %ecx,%eax
jge    135e <c_blit_read+0x25e>
movswl -0x16(%rbp),%eax
movswl -0x1e(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x32(%rbp)
movzwl -0x32(%rbp),%eax
movzbl 0x38(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x38(%rbp)
movzwl -0x32(%rbp),%eax
movswl -0x12(%rbp),%ecx
movswl 0x58(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jl     1348 <c_blit_read+0x248>
movzwl -0x32(%rbp),%eax
movswl -0x12(%rbp),%ecx
movswl 0x68(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jg     1348 <c_blit_read+0x248>
movswl -0x1e(%rbp),%eax
movzbl 0x38(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x30(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x48(%rbp)
movzbl 0x38(%rbp),%eax
cmp    $0x4,%eax
jne    12d6 <c_blit_read+0x1d6>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    (%rax,%rcx,1),%edx
mov    0x10(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %edx,(%rax,%rcx,1)
jmp    1343 <c_blit_read+0x243>
movzbl 0x38(%rbp),%eax
cmp    $0x3,%eax
jne    1328 <c_blit_read+0x228>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    0x10(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    0x1(%rax,%rcx,1),%dl
mov    0x10(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,0x1(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    0x2(%rax,%rcx,1),%dl
mov    0x10(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,0x2(%rax,%rcx,1)
jmp    133e <c_blit_read+0x23e>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    (%rax,%rcx,1),%dx
mov    0x10(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dx,(%rax,%rcx,1)
jmp    1343 <c_blit_read+0x243>
jmp    1348 <c_blit_read+0x248>
jmp    134d <c_blit_read+0x24d>
mov    -0x1e(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x1e(%rbp)
jmp    122f <c_blit_read+0x12f>
jmp    1363 <c_blit_read+0x263>
jmp    1368 <c_blit_read+0x268>
mov    -0x20(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x20(%rbp)
jmp    11c9 <c_blit_read+0xc9>
pop    %rbp
ret

x86 assembly (clang, -O2):
<c_blit_read>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9d,%eax
mov    %ecx,-0x28(%rsp)
movzwl 0x58(%rsp),%r9d
test   %r9w,%r9w
jle    127a <c_blit_read+0x17a>
mov    %r8d,%edx
mov    0x60(%rsp),%bpl
movzwl 0x40(%rsp),%ecx
movzwl 0x48(%rsp),%esi
add    %ax,%si
mov    %rsi,-0x8(%rsp)
movzbl %bpl,%ebx
movswl 0x88(%rsp),%esi
add    %eax,%esi
mov    %esi,-0x1c(%rsp)
movswl 0x98(%rsp),%esi
add    %eax,%esi
mov    %esi,-0x24(%rsp)
movswl 0x80(%rsp),%r10d
add    %r8d,%r10d
movswl 0x90(%rsp),%r8d
add    %edx,%r8d
movzwl %r9w,%eax
mov    %rax,-0x10(%rsp)
movzwl 0x50(%rsp),%eax
add    %edx,%ecx
mov    %ecx,-0x2c(%rsp)
mov    %rax,-0x18(%rsp)
cwtl
imul   %ebx,%eax
mov    %eax,-0x20(%rsp)
xor    %eax,%eax
mov    %rax,-0x38(%rsp)
xor    %r11d,%r11d
jmp    11bd <c_blit_read+0xbd>
add    $0x1,%r11
mov    -0x38(%rsp),%rax
add    -0x20(%rsp),%eax
mov    %rax,-0x38(%rsp)
cmp    -0x10(%rsp),%r11
je     127a <c_blit_read+0x17a>
mov    -0x8(%rsp),%rax
lea    (%rax,%r11,1),%ecx
movzwl %cx,%r9d
cmp    %r9d,-0x1c(%rsp)
jg     11a0 <c_blit_read+0xa0>
cmp    %r9d,-0x24(%rsp)
jl     11a0 <c_blit_read+0xa0>
cmpw   $0x0,0x50(%rsp)
jle    11a0 <c_blit_read+0xa0>
imul   -0x28(%rsp),%r9d
mov    -0x18(%rsp),%r13
mov    -0x38(%rsp),%rax
mov    %eax,%r14d
mov    -0x2c(%rsp),%r15d
jmp    121d <c_blit_read+0x11d>
movzwl (%rdi,%rax,1),%eax
mov    %r14d,%edx
mov    0x38(%rsp),%rcx
mov    %ax,(%rcx,%rdx,1)
nopw   0x0(%rax,%rax,1)
add    $0x1,%r15d
add    %ebx,%r14d
add    $0xffffffffffffffff,%r13
je     11a0 <c_blit_read+0xa0>
movzwl %r15w,%r15d
cmp    %r15d,%r10d
jg     1210 <c_blit_read+0x110>
cmp    %r15d,%r8d
jl     1210 <c_blit_read+0x110>
mov    %r15d,%r12d
imul   %ebx,%r12d
add    %r9d,%r12d
mov    %r12d,%eax
cmp    $0x3,%bl
je     1253 <c_blit_read+0x153>
cmp    $0x4,%bpl
jne    11fa <c_blit_read+0xfa>
mov    (%rdi,%rax,1),%eax
mov    %r14d,%edx
mov    0x38(%rsp),%rcx
mov    %eax,(%rcx,%rdx,1)
jmp    1210 <c_blit_read+0x110>
movzbl (%rdi,%rax,1),%edx
mov    %ebp,%ecx
mov    %r14d,%ebp
mov    0x38(%rsp),%rsi
mov    %dl,(%rsi,%rbp,1)
movzbl 0x1(%rdi,%rax,1),%edx
mov    %dl,0x1(%rsi,%rbp,1)
movzbl 0x2(%rdi,%rax,1),%eax
mov    %al,0x2(%rsi,%rbp,1)
mov    %ecx,%ebp
jmp    1210 <c_blit_read+0x110>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @c_blit_read(i8* %0, i16 signext %1, i16 signext %2, i32 %3, i16 signext %4, i16 signext %5, i8* %6, i16 signext %7, i16 signext %8, i16 signext %9, i16 signext %10, i8 zeroext %11, i8 zeroext %12, i8 zeroext %13, i32 %14, i16 signext %15, i16 signext %16, i16 signext %17, i16 signext %18) {
%20 = alloca i8*
%21 = alloca i16
%22 = alloca i16
%23 = alloca i32
%24 = alloca i16
%25 = alloca i16
%26 = alloca i8*
%27 = alloca i16
%28 = alloca i16
%29 = alloca i16
%30 = alloca i16
%31 = alloca i8
%32 = alloca i8
%33 = alloca i8
%34 = alloca i32
%35 = alloca i16
%36 = alloca i16
%37 = alloca i16
%38 = alloca i16
%39 = alloca i16
%40 = alloca i16
%41 = alloca i16
%42 = alloca i16
%43 = alloca i16
%44 = alloca i16
%45 = alloca i32
%46 = alloca i32
%47 = alloca i16
%48 = alloca i32
%49 = alloca i16
%50 = alloca i32
%51 = alloca i32
%52 = alloca i32
%53 = alloca i32
%54 = alloca i32
store i8* %0, i8** %20
store i16 %1, i16* %21
store i16 %2, i16* %22
store i32 %3, i32* %23
store i16 %4, i16* %24
store i16 %5, i16* %25
store i8* %6, i8** %26
store i16 %7, i16* %27
store i16 %8, i16* %28
store i16 %9, i16* %29
store i16 %10, i16* %30
store i8 %11, i8* %31
store i8 %12, i8* %32
store i8 %13, i8* %33
store i32 %14, i32* %34
store i16 %15, i16* %35
store i16 %16, i16* %36
store i16 %17, i16* %37
store i16 %18, i16* %38
%55 = load i16, i16* %24
%56 = sext i16 %55 to i32
%57 = load i16, i16* %27
%58 = sext i16 %57 to i32
%59 = add nsw i32 %56, %58
%60 = trunc i32 %59 to i16
store i16 %60, i16* %39
%61 = load i16, i16* %25
%62 = sext i16 %61 to i32
%63 = load i16, i16* %28
%64 = sext i16 %63 to i32
%65 = add nsw i32 %62, %64
%66 = trunc i32 %65 to i16
store i16 %66, i16* %40
%67 = load i16, i16* %27
%68 = sext i16 %67 to i32
%69 = load i16, i16* %29
%70 = sext i16 %69 to i32
%71 = add nsw i32 %68, %70
%72 = trunc i32 %71 to i16
store i16 %72, i16* %41
%73 = load i16, i16* %28
%74 = sext i16 %73 to i32
%75 = load i16, i16* %30
%76 = sext i16 %75 to i32
%77 = add nsw i32 %74, %76
%78 = trunc i32 %77 to i16
store i16 %78, i16* %42
%79 = load i16, i16* %29
%80 = sext i16 %79 to i32
%81 = load i8, i8* %31
%82 = zext i8 %81 to i32
%83 = mul nsw i32 %80, %82
store i32 %83, i32* %45
store i16 0, i16* %44
br label %84
84: ; preds = %244, %19
%85 = load i16, i16* %44
%86 = sext i16 %85 to i32
%87 = load i16, i16* %30
%88 = sext i16 %87 to i32
%89 = icmp slt i32 %86, %88
br i1 %89, label %90, label %247
90: ; preds = %84
%91 = load i16, i16* %44
%92 = sext i16 %91 to i32
%93 = load i32, i32* %45
%94 = mul i32 %92, %93
store i32 %94, i32* %46
%95 = load i16, i16* %40
%96 = sext i16 %95 to i32
%97 = load i16, i16* %44
%98 = sext i16 %97 to i32
%99 = add nsw i32 %96, %98
%100 = trunc i32 %99 to i16
store i16 %100, i16* %47
%101 = load i16, i16* %47
%102 = zext i16 %101 to i32
%103 = load i32, i32* %23
%104 = mul i32 %102, %103
store i32 %104, i32* %48
%105 = load i16, i16* %47
%106 = zext i16 %105 to i32
%107 = load i16, i16* %25
%108 = sext i16 %107 to i32
%109 = load i16, i16* %36
%110 = sext i16 %109 to i32
%111 = add nsw i32 %108, %110
%112 = icmp sge i32 %106, %111
br i1 %112, label %113, label %243
113: ; preds = %90
%114 = load i16, i16* %47
%115 = zext i16 %114 to i32
%116 = load i16, i16* %25
%117 = sext i16 %116 to i32
%118 = load i16, i16* %38
%119 = sext i16 %118 to i32
%120 = add nsw i32 %117, %119
%121 = icmp sle i32 %115, %120
br i1 %121, label %122, label %243
122: ; preds = %113
store i16 0, i16* %43
br label %123
123: ; preds = %239, %122
%124 = load i16, i16* %43
%125 = sext i16 %124 to i32
%126 = load i16, i16* %29
%127 = sext i16 %126 to i32
%128 = icmp slt i32 %125, %127
br i1 %128, label %129, label %242
129: ; preds = %123
%130 = load i16, i16* %39
%131 = sext i16 %130 to i32
%132 = load i16, i16* %43
%133 = sext i16 %132 to i32
%134 = add nsw i32 %131, %133
%135 = trunc i32 %134 to i16
store i16 %135, i16* %49
%136 = load i16, i16* %49
%137 = zext i16 %136 to i32
%138 = load i8, i8* %31
%139 = zext i8 %138 to i32
%140 = mul nsw i32 %137, %139
store i32 %140, i32* %50
%141 = load i16, i16* %49
%142 = zext i16 %141 to i32
%143 = load i16, i16* %24
%144 = sext i16 %143 to i32
%145 = load i16, i16* %35
%146 = sext i16 %145 to i32
%147 = add nsw i32 %144, %146
%148 = icmp sge i32 %142, %147
br i1 %148, label %149, label %238
149: ; preds = %129
%150 = load i16, i16* %49
%151 = zext i16 %150 to i32
%152 = load i16, i16* %24
%153 = sext i16 %152 to i32
%154 = load i16, i16* %37
%155 = sext i16 %154 to i32
%156 = add nsw i32 %153, %155
%157 = icmp sle i32 %151, %156
br i1 %157, label %158, label %238
158: ; preds = %149
%159 = load i16, i16* %43
%160 = sext i16 %159 to i32
%161 = load i8, i8* %31
%162 = zext i8 %161 to i32
%163 = mul nsw i32 %160, %162
store i32 %163, i32* %51
%164 = load i32, i32* %46
%165 = load i32, i32* %51
%166 = add i32 %164, %165
store i32 %166, i32* %52
%167 = load i32, i32* %48
%168 = load i32, i32* %51
%169 = add i32 %167, %168
store i32 %169, i32* %53
%170 = load i32, i32* %50
%171 = load i32, i32* %48
%172 = add i32 %170, %171
store i32 %172, i32* %54
%173 = load i8, i8* %31
%174 = zext i8 %173 to i32
%175 = icmp eq i32 %174, 4
br i1 %175, label %176, label %188
176: ; preds = %158
%177 = load i8*, i8** %20
%178 = load i32, i32* %54
%179 = zext i32 %178 to i64
%180 = getelementptr inbounds i8, i8* %177, i64 %179
%181 = bitcast i8* %180 to i32*
%182 = load i32, i32* %181
%183 = load i8*, i8** %26
%184 = load i32, i32* %52
%185 = zext i32 %184 to i64
%186 = getelementptr inbounds i8, i8* %183, i64 %185
%187 = bitcast i8* %186 to i32*
store i32 %182, i32* %187
br label %237
188: ; preds = %158
%189 = load i8, i8* %31
%190 = zext i8 %189 to i32
%191 = icmp eq i32 %190, 3
br i1 %191, label %192, label %224
192: ; preds = %188
%193 = load i8*, i8** %20
%194 = load i32, i32* %54
%195 = zext i32 %194 to i64
%196 = getelementptr inbounds i8, i8* %193, i64 %195
%197 = load i8, i8* %196
%198 = load i8*, i8** %26
%199 = load i32, i32* %52
%200 = zext i32 %199 to i64
%201 = getelementptr inbounds i8, i8* %198, i64 %200
store i8 %197, i8* %201
%202 = load i8*, i8** %20
%203 = load i32, i32* %54
%204 = zext i32 %203 to i64
%205 = getelementptr inbounds i8, i8* %202, i64 %204
%206 = getelementptr inbounds i8, i8* %205, i64 1
%207 = load i8, i8* %206
%208 = load i8*, i8** %26
%209 = load i32, i32* %52
%210 = zext i32 %209 to i64
%211 = getelementptr inbounds i8, i8* %208, i64 %210
%212 = getelementptr inbounds i8, i8* %211, i64 1
store i8 %207, i8* %212
%213 = load i8*, i8** %20
%214 = load i32, i32* %54
%215 = zext i32 %214 to i64
%216 = getelementptr inbounds i8, i8* %213, i64 %215
%217 = getelementptr inbounds i8, i8* %216, i64 2
%218 = load i8, i8* %217
%219 = load i8*, i8** %26
%220 = load i32, i32* %52
%221 = zext i32 %220 to i64
%222 = getelementptr inbounds i8, i8* %219, i64 %221
%223 = getelementptr inbounds i8, i8* %222, i64 2
store i8 %218, i8* %223
br label %236
224: ; preds = %188
%225 = load i8*, i8** %20
%226 = load i32, i32* %54
%227 = zext i32 %226 to i64
%228 = getelementptr inbounds i8, i8* %225, i64 %227
%229 = bitcast i8* %228 to i16*
%230 = load i16, i16* %229
%231 = load i8*, i8** %26
%232 = load i32, i32* %52
%233 = zext i32 %232 to i64
%234 = getelementptr inbounds i8, i8* %231, i64 %233
%235 = bitcast i8* %234 to i16*
store i16 %230, i16* %235
br label %236
236: ; preds = %224, %192
br label %237
237: ; preds = %236, %176
br label %238
238: ; preds = %237, %149, %129
br label %239
239: ; preds = %238
%240 = load i16, i16* %43
%241 = add i16 %240, 1
store i16 %241, i16* %43
br label %123
242: ; preds = %123
br label %243
243: ; preds = %242, %113, %90
br label %244
244: ; preds = %243
%245 = load i16, i16* %44
%246 = add i16 %245, 1
store i16 %246, i16* %44
br label %84
247: ; preds = %84
ret void
}

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