#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*/ printf(char *, ...);
void main() {
  int i = 0;
  int val[100];
  for (i = 0; i < 100; ++i) {
    val[i] = 0;
  };
  printf("====================================================================="
         "=======\n");
  printf("================================= i ++ "
         "=====================================\n");
  printf("====================================================================="
         "=======\n");
  for (i = 0; i < 8;) {
    printf("before check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = "
           "%3d; val [ i + 1 = %2d ] = %3d \n",
           i, i - 1, val[i - 1], i, val[i], i + 1, val[i + 1]);
    val[i++] = i * 10;
    printf("after  check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = "
           "%3d; val [ i + 1 = %2d ] = %3d \n\n",
           i, i - 1, val[i - 1], i, val[i], i + 1, val[i + 1]);
  }
  for (i = 0; i < 100; ++i) {
    val[i] = 0;
  };
  printf("====================================================================="
         "=======\n");
  printf("================================= ++ i "
         "=====================================\n");
  printf("====================================================================="
         "=======\n");
  for (i = 0; i < 8;) {
    printf("before check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = "
           "%3d; val [ i + 1 = %2d ] = %3d \n",
           i, i - 1, val[i - 1], i, val[i], i + 1, val[i + 1]);
    val[++i] = i * 10;
    printf("after  check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = "
           "%3d; val [ i + 1 = %2d ] = %3d \n\n",
           i, i - 1, val[i - 1], i, val[i], i + 1, val[i + 1]);
  }
  printf("====================================================================="
         "=======\n");
  printf("====================================================================="
         "=======\n");
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1b0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x4(%rbp)
cmpl   $0x64,-0x4(%rbp)
jge    1150 <main+0x40>
movslq -0x4(%rbp),%rax
movl   $0x0,-0x1a0(%rbp,%rax,4)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1129 <main+0x19>
lea    0xea9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xee9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe8d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
cmpl   $0x8,-0x4(%rbp)
jge    1252 <main+0x142>
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%ecx
mov    -0x4(%rbp),%r8d
movslq -0x4(%rbp),%rax
mov    -0x1a0(%rbp,%rax,4),%r9d
ff
mov    -0x4(%rbp),%r10d
add    $0x1,%r10d
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%eax
lea    0xecb(%rip),%rdi
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
imul   $0xa,-0x4(%rbp),%ecx
mov    -0x4(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x4(%rbp)
cltq
mov    %ecx,-0x1a0(%rbp,%rax,4)
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%ecx
mov    -0x4(%rbp),%r8d
movslq -0x4(%rbp),%rax
mov    -0x1a0(%rbp,%rax,4),%r9d
ff
mov    -0x4(%rbp),%r10d
add    $0x1,%r10d
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%eax
lea    0xec2(%rip),%rdi
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1181 <main+0x71>
movl   $0x0,-0x4(%rbp)
cmpl   $0x64,-0x4(%rbp)
jge    1280 <main+0x170>
movslq -0x4(%rbp),%rax
movl   $0x0,-0x1a0(%rbp,%rax,4)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1259 <main+0x149>
lea    0xd79(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xed0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xd5d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
cmpl   $0x8,-0x4(%rbp)
jge    1380 <main+0x270>
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%ecx
mov    -0x4(%rbp),%r8d
movslq -0x4(%rbp),%rax
mov    -0x1a0(%rbp,%rax,4),%r9d
ff
mov    -0x4(%rbp),%r10d
add    $0x1,%r10d
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%eax
lea    0xd9b(%rip),%rdi
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
imul   $0xa,-0x4(%rbp),%ecx
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
cltq
mov    %ecx,-0x1a0(%rbp,%rax,4)
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%ecx
mov    -0x4(%rbp),%r8d
movslq -0x4(%rbp),%rax
mov    -0x1a0(%rbp,%rax,4),%r9d
ff
mov    -0x4(%rbp),%r10d
add    $0x1,%r10d
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%eax
lea    0xd94(%rip),%rdi
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12b1 <main+0x1a1>
lea    0xc79(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xc6b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x1b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
lea    0x1037(%rip),%r14
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xf8e(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xeb1(%rip),%r15
mov    %r15,%rdi
xor    %esi,%esi
mov    $0xffffffff,%edx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x1
call   1040 <printf@plt>
add    $0x10,%rsp
lea    0xeef(%rip),%rbx
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
mov    $0x1,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x2
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
mov    $0x1,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x2
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0x1,%edx
mov    $0xa,%ecx
mov    $0x2,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x3
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x2,%esi
mov    $0x1,%edx
mov    $0xa,%ecx
mov    $0x2,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x3
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0x2,%edx
mov    $0x14,%ecx
mov    $0x3,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x4
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x3,%esi
mov    $0x2,%edx
mov    $0x14,%ecx
mov    $0x3,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x4
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x4,%esi
mov    $0x3,%edx
mov    $0x1e,%ecx
mov    $0x4,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x5
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x4,%esi
mov    $0x3,%edx
mov    $0x1e,%ecx
mov    $0x4,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x5
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x5,%esi
mov    $0x4,%edx
mov    $0x28,%ecx
mov    $0x5,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x6
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x5,%esi
mov    $0x4,%edx
mov    $0x28,%ecx
mov    $0x5,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x6
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x6,%esi
mov    $0x5,%edx
mov    $0x32,%ecx
mov    $0x6,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x7
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x6,%esi
mov    $0x5,%edx
mov    $0x32,%ecx
mov    $0x6,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x7
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x7,%esi
mov    $0x6,%edx
mov    $0x3c,%ecx
mov    $0x7,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x8
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x7,%esi
mov    $0x6,%edx
mov    $0x3c,%ecx
mov    $0x7,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x8
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x8,%esi
mov    $0x7,%edx
mov    $0x46,%ecx
mov    $0x8,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x9
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xd28(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
xor    %esi,%esi
mov    $0xffffffff,%edx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x1
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
mov    $0x1,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x2
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
mov    $0x1,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
push   $0x0
push   $0x2
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
mov    $0x2,%r8d
mov    $0xa,%r9d
xor    %eax,%eax
push   $0x0
push   $0x3
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x2,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
mov    $0x2,%r8d
mov    $0xa,%r9d
xor    %eax,%eax
push   $0x0
push   $0x3
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0x2,%edx
mov    $0xa,%ecx
mov    $0x3,%r8d
mov    $0x14,%r9d
xor    %eax,%eax
push   $0x0
push   $0x4
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x3,%esi
mov    $0x2,%edx
mov    $0xa,%ecx
mov    $0x3,%r8d
mov    $0x14,%r9d
xor    %eax,%eax
push   $0x0
push   $0x4
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x4,%esi
mov    $0x3,%edx
mov    $0x14,%ecx
mov    $0x4,%r8d
mov    $0x1e,%r9d
xor    %eax,%eax
push   $0x0
push   $0x5
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x4,%esi
mov    $0x3,%edx
mov    $0x14,%ecx
mov    $0x4,%r8d
mov    $0x1e,%r9d
xor    %eax,%eax
push   $0x0
push   $0x5
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x5,%esi
mov    $0x4,%edx
mov    $0x1e,%ecx
mov    $0x5,%r8d
mov    $0x28,%r9d
xor    %eax,%eax
push   $0x0
push   $0x6
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x5,%esi
mov    $0x4,%edx
mov    $0x1e,%ecx
mov    $0x5,%r8d
mov    $0x28,%r9d
xor    %eax,%eax
push   $0x0
push   $0x6
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x6,%esi
mov    $0x5,%edx
mov    $0x28,%ecx
mov    $0x6,%r8d
mov    $0x32,%r9d
xor    %eax,%eax
push   $0x0
push   $0x7
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x6,%esi
mov    $0x5,%edx
mov    $0x28,%ecx
mov    $0x6,%r8d
mov    $0x32,%r9d
xor    %eax,%eax
push   $0x0
push   $0x7
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x7,%esi
mov    $0x6,%edx
mov    $0x32,%ecx
mov    $0x7,%r8d
mov    $0x3c,%r9d
xor    %eax,%eax
push   $0x0
push   $0x8
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r15,%rdi
mov    $0x7,%esi
mov    $0x6,%edx
mov    $0x32,%ecx
mov    $0x7,%r8d
mov    $0x3c,%r9d
xor    %eax,%eax
push   $0x0
push   $0x8
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %rbx,%rdi
mov    $0x8,%esi
mov    $0x7,%edx
mov    $0x3c,%ecx
mov    $0x8,%r8d
mov    $0x46,%r9d
xor    %eax,%eax
push   $0x0
push   $0x9
call   1040 <printf@plt>
add    $0x10,%rsp
mov    %r14,%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
pop    %rbx
pop    %r14
pop    %r15
jmp    1030 <puts@plt>

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

LLVM IR (-O2):
@.str.2 = [100 x i8] c"before check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = %3d; val [ i + 1 = %2d ] = %3d \0A\00"
@.str.3 = [101 x i8] c"after check i = %2d; val [ i - 1 = %2d ] = %3d; val [ i = %2d ] = %3d; val [ i + 1 = %2d ] = %3d \0A\0A\00"
@str.5 = [77 x i8] c"================================= i ++ =====================================\00"
@str.8 = [77 x i8] c"================================= ++ i =====================================\00"
@str.11 = [77 x i8] c"============================================================================\00"
define void @main() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.5, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
%4 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 0, i32 -1, i32 poison, i32 0, i32 0, i32 1, i32 0)
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 0, i32 1, i32 0, i32 2, i32 0)
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 1, i32 0, i32 0, i32 1, i32 0, i32 2, i32 0)
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 2, i32 1, i32 10, i32 2, i32 0, i32 3, i32 0)
%8 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 2, i32 1, i32 10, i32 2, i32 0, i32 3, i32 0)
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 3, i32 2, i32 20, i32 3, i32 0, i32 4, i32 0)
%10 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 3, i32 2, i32 20, i32 3, i32 0, i32 4, i32 0)
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 4, i32 3, i32 30, i32 4, i32 0, i32 5, i32 0)
%12 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 4, i32 3, i32 30, i32 4, i32 0, i32 5, i32 0)
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 5, i32 4, i32 40, i32 5, i32 0, i32 6, i32 0)
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 5, i32 4, i32 40, i32 5, i32 0, i32 6, i32 0)
%15 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 6, i32 5, i32 50, i32 6, i32 0, i32 7, i32 0)
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 6, i32 5, i32 50, i32 6, i32 0, i32 7, i32 0)
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 7, i32 6, i32 60, i32 7, i32 0, i32 8, i32 0)
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 7, i32 6, i32 60, i32 7, i32 0, i32 8, i32 0)
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 8, i32 7, i32 70, i32 8, i32 0, i32 9, i32 0)
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.8, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 0, i32 -1, i32 poison, i32 0, i32 0, i32 1, i32 0)
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 0, i32 1, i32 0, i32 2, i32 0)
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 1, i32 0, i32 0, i32 1, i32 0, i32 2, i32 0)
%26 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 2, i32 1, i32 0, i32 2, i32 10, i32 3, i32 0)
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 2, i32 1, i32 0, i32 2, i32 10, i32 3, i32 0)
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 3, i32 2, i32 10, i32 3, i32 20, i32 4, i32 0)
%29 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 3, i32 2, i32 10, i32 3, i32 20, i32 4, i32 0)
%30 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 4, i32 3, i32 20, i32 4, i32 30, i32 5, i32 0)
%31 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 4, i32 3, i32 20, i32 4, i32 30, i32 5, i32 0)
%32 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 5, i32 4, i32 30, i32 5, i32 40, i32 6, i32 0)
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 5, i32 4, i32 30, i32 5, i32 40, i32 6, i32 0)
%34 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 6, i32 5, i32 40, i32 6, i32 50, i32 7, i32 0)
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 6, i32 5, i32 40, i32 6, i32 50, i32 7, i32 0)
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 7, i32 6, i32 50, i32 7, i32 60, i32 8, i32 0)
%37 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([100 x i8], [100 x i8]* @.str.2, i64 0, i64 0), i32 7, i32 6, i32 50, i32 7, i32 60, i32 8, i32 0)
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @.str.3, i64 0, i64 0), i32 8, i32 7, i32 60, i32 8, i32 70, i32 9, i32 0)
%39 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
%40 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.11, i64 0, i64 0))
ret void
}