int check() {
  char buf[200];
  int i, j;
  for (i = j = 0; i < 200; ++i) {
    if (buf[i] == 0)
      ++j;
    else if (j >= 100) {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0xd8(%rbp)
movl   $0x0,-0xd4(%rbp)
cmpl   $0xc8,-0xd4(%rbp)
jge    118f <check+0x8f>
movslq -0xd4(%rbp),%rax
movsbl -0xd0(%rbp,%rax,1),%eax
ff
cmp    $0x0,%eax
jne    1158 <check+0x58>
mov    -0xd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xd8(%rbp)
jmp    1176 <check+0x76>
cmpl   $0x64,-0xd8(%rbp)
jl     1171 <check+0x71>
movl   $0x0,-0x4(%rbp)
jmp    1196 <check+0x96>
jmp    1176 <check+0x76>
jmp    117b <check+0x7b>
mov    -0xd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xd4(%rbp)
jmp    111c <check+0x1c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check>:
sub    $0x48,%rsp
xor    %eax,%eax
mov    $0x2,%ecx
test   %dl,%dl
je     1130 <check+0x30>
nop
cmp    $0x63,%eax
jg     1157 <check+0x57>
cmpb   $0x0,-0x81(%rsp,%rcx,1)
je     113d <check+0x3d>
cmp    $0x63,%eax
jg     1157 <check+0x57>
cmp    $0xc8,%rcx
jne    1149 <check+0x49>
jmp    115e <check+0x5e>
nop
add    $0x1,%eax
cmpb   $0x0,-0x81(%rsp,%rcx,1)
jne    111f <check+0x1f>
add    $0x1,%eax
cmp    $0xc8,%rcx
je     115e <check+0x5e>
mov    -0x80(%rsp,%rcx,1),%dl
add    $0x2,%rcx
test   %dl,%dl
jne    1110 <check+0x10>
jmp    1130 <check+0x30>
xor    %eax,%eax
add    $0x48,%rsp
ret
mov    $0x1,%eax
add    $0x48,%rsp
ret

LLVM IR (-O0):
define i32 @check() {
%1 = alloca i32
%2 = alloca [200 x i8]
%3 = alloca i32
%4 = alloca i32
store i32 0, i32* %4
store i32 0, i32* %3
br label %5
5: ; preds = %24, %0
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 200
br i1 %7, label %8, label %27
8: ; preds = %5
%9 = load i32, i32* %3
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds [200 x i8], [200 x i8]* %2, i64 0, i64 %10
%12 = load i8, i8* %11
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %18
15: ; preds = %8
%16 = load i32, i32* %4
%17 = add nsw i32 %16, 1
store i32 %17, i32* %4
br label %23
18: ; preds = %8
%19 = load i32, i32* %4
%20 = icmp sge i32 %19, 100
br i1 %20, label %21, label %22
21: ; preds = %18
store i32 0, i32* %1
br label %28
22: ; preds = %18
br label %23
23: ; preds = %22, %15
br label %24
24: ; preds = %23
%25 = load i32, i32* %3
%26 = add nsw i32 %25, 1
store i32 %26, i32* %3
br label %5
27: ; preds = %5
store i32 1, i32* %1
br label %28
28: ; preds = %27, %21
%29 = load i32, i32* %1
ret i32 %29
}

LLVM IR (-O2):
define i32 @check() {
%1 = alloca [200 x i8]
%2 = getelementptr inbounds [200 x i8], [200 x i8]* %1, i64 0, i64 0
br label %3
3: ; preds = %26, %0
%4 = phi i8 [ undef, %0 ], [ %28, %26 ]
%5 = phi i64 [ 0, %0 ], [ %24, %26 ]
%6 = phi i32 [ 0, %0 ], [ %23, %26 ]
%7 = icmp eq i8 %4, 0
br i1 %7, label %8, label %10
8: ; preds = %3
%9 = add nsw i32 %6, 1
br label %12
10: ; preds = %3
%11 = icmp sgt i32 %6, 99
br i1 %11, label %29, label %12
12: ; preds = %10, %8
%13 = phi i32 [ %9, %8 ], [ %6, %10 ]
%14 = or i64 %5, 1
%15 = getelementptr inbounds [200 x i8], [200 x i8]* %1, i64 0, i64 %14
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 0
br i1 %17, label %20, label %18
18: ; preds = %12
%19 = icmp sgt i32 %13, 99
br i1 %19, label %29, label %22
20: ; preds = %12
%21 = add nsw i32 %13, 1
br label %22
22: ; preds = %20, %18
%23 = phi i32 [ %21, %20 ], [ %13, %18 ]
%24 = add nuw nsw i64 %5, 2
%25 = icmp eq i64 %24, 200
br i1 %25, label %29, label %26
26: ; preds = %22
%27 = getelementptr inbounds [200 x i8], [200 x i8]* %1, i64 0, i64 %24
%28 = load i8, i8* %27
br label %3
29: ; preds = %22, %18, %10
%30 = phi i32 [ 0, %10 ], [ 0, %18 ], [ 1, %22 ]
ret i32 %30
}