#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*/ abort();
int main() {
  int A[16] = {36, 39, 42, 45, 43, 32, 21, 12, 23, 34, 45, 56, 67, 78, 89, 11};
  int B[16] = {0, 0, 0, 42, 42, 0, 0, 0, 0, 0, 42, 42, 42, 42, 42, 0};
  int i, j;
  for (i = 0; i < 16; i++)
    A[i] = (A[i] > 42 ? 42 : 0);
  for (i = 0; i < 16; i++)
    if (A[i] != B[i])
      abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x50(%rbp),%rdi
lea    0xec3(%rip),%rsi
mov    $0x40,%edx
call   1040 <memcpy@plt>
lea    -0x90(%rbp),%rdi
lea    0xeeb(%rip),%rsi
mov    $0x40,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0x94(%rbp)
cmpl   $0x10,-0x94(%rbp)
jge    11ad <main+0x8d>
movslq -0x94(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
xor    %ecx,%ecx
mov    $0x2a,%eax
cmp    $0x2a,%edx
cmovg  %eax,%ecx
movslq -0x94(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    1169 <main+0x49>
movl   $0x0,-0x94(%rbp)
cmpl   $0x10,-0x94(%rbp)
jge    1203 <main+0xe3>
movslq -0x94(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
movslq -0x94(%rbp),%rcx
cmp    -0x90(%rbp,%rcx,4),%eax
je     11ea <main+0xca>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11ef <main+0xcf>
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    11b7 <main+0x97>
xor    %eax,%eax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

LLVM IR (-O0):
@__const.main.A = [16 x i32] [i32 36, i32 39, i32 42, i32 45, i32 43, i32 32, i32 21, i32 12, i32 23, i32 34, i32 45, i32 56, i32 67, i32 78, i32 89, i32 11]
@__const.main.B = [16 x i32] [i32 0, i32 0, i32 0, i32 42, i32 42, i32 0, i32 0, i32 0, i32 0, i32 0, i32 42, i32 42, i32 42, i32 42, i32 42, i32 0]
define i32 @main() {
%1 = alloca i32
%2 = alloca [16 x i32]
%3 = alloca [16 x i32]
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %1
%6 = bitcast [16 x i32]* %2 to i8*
%7 = bitcast [16 x i32]* %3 to i8*
store i32 0, i32* %4
br label %8
8: ; preds = %22, %0
%9 = load i32, i32* %4
%10 = icmp slt i32 %9, 16
br i1 %10, label %11, label %25
11: ; preds = %8
%12 = load i32, i32* %4
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %13
%15 = load i32, i32* %14
%16 = icmp sgt i32 %15, 42
%17 = zext i1 %16 to i64
%18 = select i1 %16, i32 42, i32 0
%19 = load i32, i32* %4
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %20
store i32 %18, i32* %21
br label %22
22: ; preds = %11
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
store i32 %24, i32* %4
br label %8
25: ; preds = %8
store i32 0, i32* %4
br label %26
26: ; preds = %42, %25
%27 = load i32, i32* %4
%28 = icmp slt i32 %27, 16
br i1 %28, label %29, label %45
29: ; preds = %26
%30 = load i32, i32* %4
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %31
%33 = load i32, i32* %32
%34 = load i32, i32* %4
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %35
%37 = load i32, i32* %36
%38 = icmp ne i32 %33, %37
br i1 %38, label %39, label %41
39: ; preds = %29
%40 = call i32 (...) @abort()
unreachable
41: ; preds = %29
br label %42
42: ; preds = %41
%43 = load i32, i32* %4
%44 = add nsw i32 %43, 1
store i32 %44, i32* %4
br label %26
45: ; preds = %26
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
ret i32 0
}