#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 */
typedef int u_int32_t;

/* Variables and functions */
scalar_t__ isascii(unsigned char);
int ntoh32(int);
int /*<<< orphan*/ print(char *, ...);
int /*<<< orphan*/ sprintf(char *, char *, unsigned char, unsigned char,
                           unsigned char, unsigned char);
int /*<<< orphan*/ strcat(char *, char *);
void print_array_dual(const unsigned char *array, int size) {
  int idx;
  int block;
  size /= sizeof(u_int32_t);
  for (block = 0; block < size; block += 4) {
    char ascii4[6];
    char ascii[128] = {
        0,
    };
    for (idx = block; idx < block + 4; idx++) {
      u_int32_t v;
      if (idx < size)
        v = ntoh32(((u_int32_t *)array)[idx]);
      else
        v = 0xffffffff;
      print("%02x %02x %02x %02x - ", ((unsigned char)(v)),
            ((unsigned char)(v >> 8)), ((unsigned char)(v >> 16)),
            ((unsigned char)(v >> 24)));
      sprintf(
          ascii4, "%c%c%c%c ",
          ((((unsigned char)(v)) >= 32 && isascii((unsigned char)(v)))
               ? ((unsigned char)(v))
               : '.'),
          ((((unsigned char)(v >> 8)) >= 32 && isascii((unsigned char)(v >> 8)))
               ? ((unsigned char)(v >> 8))
               : '.'),
          ((((unsigned char)(v >> 16)) >= 32 &&
            isascii((unsigned char)(v >> 16)))
               ? ((unsigned char)(v >> 16))
               : '.'),
          ((((unsigned char)(v >> 24)) >= 32 &&
            isascii((unsigned char)(v >> 24)))
               ? ((unsigned char)(v >> 24))
               : '.'));
      strcat(ascii, ascii4);
    }
    print("%s\n", ascii);
  }
}


x86 assembly (clang, -O0):
<print_array_dual>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movslq -0xc(%rbp),%rax
shr    $0x2,%rax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1424 <print_array_dual+0x2c4>
lea    -0xa0(%rbp),%rdi
xor    %esi,%esi
mov    $0x80,%edx
call   1030 <memset@plt>
mov    -0x14(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x4,%ecx
cmp    %ecx,%eax
jge    1401 <print_array_dual+0x2a1>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11e1 <print_array_dual+0x81>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
call   1050 <ntoh32@plt>
mov    %eax,-0xa4(%rbp)
jmp    11eb <print_array_dual+0x8b>
movl   $0xffffffff,-0xa4(%rbp)
ff ff ff
mov    -0xa4(%rbp),%eax
movzbl %al,%esi
mov    -0xa4(%rbp),%eax
sar    $0x8,%eax
movzbl %al,%edx
mov    -0xa4(%rbp),%eax
sar    $0x10,%eax
movzbl %al,%ecx
mov    -0xa4(%rbp),%eax
sar    $0x18,%eax
movzbl %al,%r8d
lea    0xde0(%rip),%rdi
mov    $0x0,%al
call   1040 <print@plt>
lea    -0x1a(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa4(%rbp),%eax
movzbl %al,%eax
cmp    $0x20,%eax
jl     1270 <print_array_dual+0x110>
mov    -0xa4(%rbp),%eax
movzbl %al,%edi
call   1080 <isascii@plt>
cmp    $0x0,%rax
je     1270 <print_array_dual+0x110>
mov    -0xa4(%rbp),%eax
movzbl %al,%eax
mov    %eax,-0xb4(%rbp)
jmp    1280 <print_array_dual+0x120>
mov    $0x2e,%eax
mov    %eax,-0xb4(%rbp)
jmp    1280 <print_array_dual+0x120>
mov    -0xb4(%rbp),%eax
mov    %al,-0xb5(%rbp)
mov    -0xa4(%rbp),%eax
sar    $0x8,%eax
movzbl %al,%eax
cmp    $0x20,%eax
jl     12d3 <print_array_dual+0x173>
mov    -0xa4(%rbp),%eax
sar    $0x8,%eax
movzbl %al,%edi
call   1080 <isascii@plt>
cmp    $0x0,%rax
je     12d3 <print_array_dual+0x173>
mov    -0xa4(%rbp),%eax
sar    $0x8,%eax
movzbl %al,%eax
mov    %eax,-0xbc(%rbp)
jmp    12e3 <print_array_dual+0x183>
mov    $0x2e,%eax
mov    %eax,-0xbc(%rbp)
jmp    12e3 <print_array_dual+0x183>
mov    -0xbc(%rbp),%eax
mov    %al,-0xbd(%rbp)
mov    -0xa4(%rbp),%eax
sar    $0x10,%eax
movzbl %al,%eax
cmp    $0x20,%eax
jl     1336 <print_array_dual+0x1d6>
mov    -0xa4(%rbp),%eax
sar    $0x10,%eax
movzbl %al,%edi
call   1080 <isascii@plt>
cmp    $0x0,%rax
je     1336 <print_array_dual+0x1d6>
mov    -0xa4(%rbp),%eax
sar    $0x10,%eax
movzbl %al,%eax
mov    %eax,-0xc4(%rbp)
jmp    1346 <print_array_dual+0x1e6>
mov    $0x2e,%eax
mov    %eax,-0xc4(%rbp)
jmp    1346 <print_array_dual+0x1e6>
mov    -0xc4(%rbp),%eax
mov    %al,-0xc5(%rbp)
mov    -0xa4(%rbp),%eax
sar    $0x18,%eax
movzbl %al,%eax
cmp    $0x20,%eax
jl     1399 <print_array_dual+0x239>
mov    -0xa4(%rbp),%eax
sar    $0x18,%eax
movzbl %al,%edi
call   1080 <isascii@plt>
cmp    $0x0,%rax
je     1399 <print_array_dual+0x239>
mov    -0xa4(%rbp),%eax
sar    $0x18,%eax
movzbl %al,%eax
mov    %eax,-0xcc(%rbp)
jmp    13a9 <print_array_dual+0x249>
mov    $0x2e,%eax
mov    %eax,-0xcc(%rbp)
jmp    13a9 <print_array_dual+0x249>
mov    -0xc5(%rbp),%r8b
mov    -0xbd(%rbp),%cl
mov    -0xb5(%rbp),%dl
mov    -0xb0(%rbp),%rdi
mov    -0xcc(%rbp),%eax
lea    0xc47(%rip),%rsi
movzbl %dl,%edx
movzbl %cl,%ecx
movzbl %r8b,%r8d
movzbl %al,%r9d
call   1070 <sprintf@plt>
lea    -0xa0(%rbp),%rdi
lea    -0x1a(%rbp),%rsi
call   1060 <strcat@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11a9 <print_array_dual+0x49>
lea    -0xa0(%rbp),%rsi
lea    0xc12(%rip),%rdi
mov    $0x0,%al
call   1040 <print@plt>
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    1184 <print_array_dual+0x24>
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_array_dual>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xc8,%rsp
mov    %rdi,0x28(%rsp)
cmp    $0x4,%esi
jl     134f <print_array_dual+0x1ff>
mov    %esi,%eax
sar    $0x2,%eax
mov    %eax,0x1c(%rsp)
cltq
mov    %rax,0x30(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    11c1 <print_array_dual+0x71>
nopl   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rbx
add    $0x4,%rbx
lea    0xe81(%rip),%rdi
lea    0x40(%rsp),%rsi
xor    %eax,%eax
call   1030 <print@plt>
addq   $0x10,0x28(%rsp)
mov    %rbx,0x10(%rsp)
cmp    %ebx,0x1c(%rsp)
jle    134f <print_array_dual+0x1ff>
xorps  %xmm0,%xmm0
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x40(%rsp)
xor    %ebp,%ebp
jmp    1240 <print_array_dual+0xf0>
nopl   0x0(%rax)
movzbl 0x8(%rsp),%edx
movzbl 0xc(%rsp),%ecx
movzbl %r13b,%r8d
lea    0x3a(%rsp),%rbx
mov    %rbx,%rdi
lea    0xdfa(%rip),%rsi
mov    %r14d,%r9d
call   1060 <sprintf@plt>
lea    0x40(%rsp),%rdi
mov    %rbx,%rsi
call   1050 <strcat@plt>
add    $0x1,%rbp
cmp    $0x4,%rbp
je     1190 <print_array_dual+0x40>
mov    0x10(%rsp),%rax
add    %rbp,%rax
mov    $0xffffffff,%r15d
cmp    0x30(%rsp),%rax
jge    1265 <print_array_dual+0x115>
mov    0x28(%rsp),%rax
mov    (%rax,%rbp,4),%edi
call   1040 <ntoh32@plt>
mov    %eax,%r15d
movzbl %r15b,%ebx
mov    %r15d,%r14d
shr    $0x8,%r14d
movzbl %r14b,%r13d
mov    %r15d,%r12d
shr    $0x10,%r12d
movzbl %r12b,%ecx
mov    %r15d,%r8d
shr    $0x18,%r8d
lea    0xd73(%rip),%rdi
mov    %ebx,%esi
mov    %r13d,%edx
mov    %ecx,0x24(%rsp)
mov    %r8d,0x20(%rsp)
xor    %eax,%eax
call   1030 <print@plt>
movl   $0x2e,0xc(%rsp)
movl   $0x2e,0x8(%rsp)
cmp    $0x20,%ebx
jb     12d1 <print_array_dual+0x181>
movzbl %r15b,%edi
call   1070 <isascii@plt>
movl   $0x2e,0x8(%rsp)
test   %rax,%rax
je     12d1 <print_array_dual+0x181>
mov    %ebx,0x8(%rsp)
cmp    $0x20,%r13d
jb     12f1 <print_array_dual+0x1a1>
movzbl %r14b,%edi
call   1070 <isascii@plt>
mov    $0x2e,%ecx
test   %rax,%rax
je     12ed <print_array_dual+0x19d>
mov    %r13d,%ecx
mov    %ecx,0xc(%rsp)
mov    $0x2e,%r14d
mov    $0x2e,%r13d
mov    0x24(%rsp),%ebx
cmp    $0x20,%ebx
jb     131d <print_array_dual+0x1cd>
movzbl %r12b,%edi
call   1070 <isascii@plt>
mov    $0x2e,%r13d
test   %rax,%rax
je     131d <print_array_dual+0x1cd>
mov    %ebx,%r13d
cmp    $0x20000000,%r15d
jb     1200 <print_array_dual+0xb0>
mov    0x20(%rsp),%r15d
movzbl %r15b,%edi
call   1070 <isascii@plt>
mov    $0x2e,%r14d
test   %rax,%rax
je     1200 <print_array_dual+0xb0>
mov    %r15d,%r14d
jmp    1200 <print_array_dual+0xb0>
add    $0xc8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [23 x i8] c"%02x %02x %02x %02x - \00"
@.str.1 = [10 x i8] c"%c%c%c%c \00"
@.str.2 = [4 x i8] c"%s\0A\00"
define void @print_array_dual(i8* nocapture %0, i32 %1) {
%3 = alloca [6 x i8]
%4 = alloca [128 x i8]
%5 = ashr i32 %1, 2
%6 = icmp sgt i32 %1, 3
br i1 %6, label %7, label %77
7: ; preds = %2
%8 = getelementptr inbounds [6 x i8], [6 x i8]* %3, i64 0, i64 0
%9 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 0
%10 = bitcast i8* %0 to i32*
%11 = sext i32 %5 to i64
br label %12
12: ; preds = %7, %71
%13 = phi i64 [ 4, %7 ], [ %76, %71 ]
%14 = phi i64 [ 0, %7 ], [ %72, %71 ]
br label %15
15: ; preds = %12, %64
%16 = phi i64 [ %14, %12 ], [ %69, %64 ]
%17 = icmp slt i64 %16, %11
br i1 %17, label %18, label %22
18: ; preds = %15
%19 = getelementptr inbounds i32, i32* %10, i64 %16
%20 = load i32, i32* %19
%21 = call i32 @ntoh32(i32 %20)
br label %22
22: ; preds = %15, %18
%23 = phi i32 [ %21, %18 ], [ -1, %15 ]
%24 = and i32 %23, 255
%25 = lshr i32 %23, 8
%26 = trunc i32 %25 to i8
%27 = and i32 %25, 255
%28 = lshr i32 %23, 16
%29 = trunc i32 %28 to i8
%30 = and i32 %28, 255
%31 = lshr i32 %23, 24
%32 = trunc i32 %31 to i8
%33 = call i32 (i8*, ...) @print(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i32 %24, i32 %27, i32 %30, i32 %31)
%34 = icmp ugt i32 %24, 31
br i1 %34, label %35, label %40
35: ; preds = %22
%36 = trunc i32 %23 to i8
%37 = call i64 @isascii(i8 zeroext %36)
%38 = icmp eq i64 %37, 0
%39 = select i1 %38, i32 46, i32 %24
br label %40
40: ; preds = %35, %22
%41 = phi i32 [ 46, %22 ], [ %39, %35 ]
%42 = trunc i32 %41 to i8
%43 = icmp ugt i32 %27, 31
br i1 %43, label %44, label %48
44: ; preds = %40
%45 = call i64 @isascii(i8 zeroext %26)
%46 = icmp eq i64 %45, 0
%47 = select i1 %46, i32 46, i32 %27
br label %48
48: ; preds = %44, %40
%49 = phi i32 [ 46, %40 ], [ %47, %44 ]
%50 = trunc i32 %49 to i8
%51 = icmp ugt i32 %30, 31
br i1 %51, label %52, label %56
52: ; preds = %48
%53 = call i64 @isascii(i8 zeroext %29)
%54 = icmp eq i64 %53, 0
%55 = select i1 %54, i32 46, i32 %30
br label %56
56: ; preds = %52, %48
%57 = phi i32 [ 46, %48 ], [ %55, %52 ]
%58 = trunc i32 %57 to i8
%59 = icmp ugt i32 %23, 536870911
br i1 %59, label %60, label %64
60: ; preds = %56
%61 = call i64 @isascii(i8 zeroext %32)
%62 = icmp eq i64 %61, 0
%63 = select i1 %62, i32 46, i32 %31
br label %64
64: ; preds = %60, %56
%65 = phi i32 [ 46, %56 ], [ %63, %60 ]
%66 = trunc i32 %65 to i8
%67 = call i32 @sprintf(i8* %8, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i8 zeroext %42, i8 zeroext %50, i8 zeroext %58, i8 zeroext %66)
%68 = call i32 @strcat(i8* %9, i8* %8)
%69 = add nuw nsw i64 %16, 1
%70 = icmp eq i64 %69, %13
br i1 %70, label %71, label %15
71: ; preds = %64
%72 = add nuw nsw i64 %14, 4
%73 = trunc i64 %72 to i32
%74 = call i32 (i8*, ...) @print(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %9)
%75 = icmp sgt i32 %5, %73
%76 = add nuw nsw i64 %13, 4
br i1 %75, label %12, label %77
77: ; preds = %71, %2
ret void
}