#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 diff(int arr1[], int arr2[], int res[], size_t sz) {
  for (size_t i = 0; i < sz; i++) {
    int t = arr1[i] - arr2[i];
    res[i] = t;
    if (t != 0) {
      for (size_t j = i + 1; j < sz; j++)
        res[j] = arr1[j] - arr2[j];
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<diff>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11c9 <diff+0xc9>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x0,-0x34(%rbp)
je     11b3 <diff+0xb3>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11a7 <diff+0xa7>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
sub    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1167 <diff+0x67>
movl   $0x0,-0x4(%rbp)
jmp    11d0 <diff+0xd0>
jmp    11b8 <diff+0xb8>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    111c <diff+0x1c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<diff>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %rcx,%rcx
je     111f <diff+0x1f>
mov    (%rdi),%eax
sub    (%rsi),%eax
mov    %eax,(%rdx)
je     1127 <diff+0x27>
xor    %r11d,%r11d
mov    $0x1,%r8b
jmp    1156 <diff+0x56>
xor    %r8d,%r8d
jmp    12d5 <diff+0x1d5>
mov    $0x1,%eax
nopl   0x0(%rax)
cmp    %rax,%rcx
je     12d1 <diff+0x1d1>
mov    (%rdi,%rax,4),%ebx
lea    0x1(%rax),%r11
sub    (%rsi,%rax,4),%ebx
mov    %ebx,(%rdx,%rax,4)
mov    %r11,%rax
je     1130 <diff+0x30>
add    $0xffffffffffffffff,%r11
cmp    %rcx,%r11
setb   %r8b
lea    0x1(%r11),%rax
cmp    %rcx,%rax
jae    12d5 <diff+0x1d5>
mov    %r11,%r9
not    %r9
add    %rcx,%r9
cmp    $0x8,%r9
jae    1197 <diff+0x97>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rdi,%rax,4),%ebp
sub    (%rsi,%rax,4),%ebp
mov    %ebp,(%rdx,%rax,4)
add    $0x1,%rax
cmp    %rcx,%rax
jb     1180 <diff+0x80>
jmp    12d5 <diff+0x1d5>
lea    (%rdx,%rax,4),%rbx
lea    (%rdx,%rcx,4),%r10
lea    (%rdi,%rax,4),%r14
lea    (%rdi,%rcx,4),%r15
lea    (%rsi,%rax,4),%r12
lea    (%rsi,%rcx,4),%r13
cmp    %r15,%rbx
setb   %bpl
cmp    %r10,%r14
setb   %r14b
cmp    %r13,%rbx
setb   %bl
cmp    %r10,%r12
setb   %r10b
test   %r14b,%bpl
jne    1180 <diff+0x80>
and    %r10b,%bl
jne    1180 <diff+0x80>
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rbx
mov    %rbx,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rbx,%rbx
je     12e8 <diff+0x1e8>
mov    %r14,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rdx,%r11,4),%r15
add    $0x34,%r15
lea    (%rsi,%r11,4),%r12
add    $0x34,%r12
lea    (%rdi,%r11,4),%r13
add    $0x34,%r13
xor    %r11d,%r11d
cs nopw 0x0(%rax,%rax,1)
nop
movdqu -0x30(%r13,%r11,4),%xmm0
movdqu -0x20(%r13,%r11,4),%xmm1
movdqu -0x30(%r12,%r11,4),%xmm2
psubd  %xmm2,%xmm0
movdqu -0x20(%r12,%r11,4),%xmm2
psubd  %xmm2,%xmm1
movdqu %xmm0,-0x30(%r15,%r11,4)
movdqu %xmm1,-0x20(%r15,%r11,4)
movdqu -0x10(%r13,%r11,4),%xmm0
movdqu 0x0(%r13,%r11,4),%xmm1
movdqu -0x10(%r12,%r11,4),%xmm2
psubd  %xmm2,%xmm0
movdqu (%r12,%r11,4),%xmm2
psubd  %xmm2,%xmm1
movdqu %xmm0,-0x10(%r15,%r11,4)
movdqu %xmm1,(%r15,%r11,4)
add    $0x10,%r11
add    $0xfffffffffffffffe,%rbx
jne    1220 <diff+0x120>
test   $0x1,%r14b
je     12c4 <diff+0x1c4>
add    %rax,%r11
movdqu (%rdi,%r11,4),%xmm0
movdqu 0x10(%rdi,%r11,4),%xmm1
movdqu (%rsi,%r11,4),%xmm2
psubd  %xmm2,%xmm0
movdqu 0x10(%rsi,%r11,4),%xmm2
psubd  %xmm2,%xmm1
movdqu %xmm0,(%rdx,%r11,4)
movdqu %xmm1,0x10(%rdx,%r11,4)
cmp    %r10,%r9
je     12d5 <diff+0x1d5>
add    %r10,%rax
jmp    1180 <diff+0x80>
seta   %r8b
xor    $0x1,%r8b
movzbl %r8b,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r11d,%r11d
test   $0x1,%r14b
jne    1292 <diff+0x192>
jmp    12c4 <diff+0x1c4>

LLVM IR (-O0):
define i32 @diff(i32* %0, i32* %1, i32* %2, i64 %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
%12 = alloca i64
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i64 %3, i64* %9
store i64 0, i64* %10
br label %13
13: ; preds = %58, %4
%14 = load i64, i64* %10
%15 = load i64, i64* %9
%16 = icmp ult i64 %14, %15
br i1 %16, label %17, label %61
17: ; preds = %13
%18 = load i32*, i32** %6
%19 = load i64, i64* %10
%20 = getelementptr inbounds i32, i32* %18, i64 %19
%21 = load i32, i32* %20
%22 = load i32*, i32** %7
%23 = load i64, i64* %10
%24 = getelementptr inbounds i32, i32* %22, i64 %23
%25 = load i32, i32* %24
%26 = sub nsw i32 %21, %25
store i32 %26, i32* %11
%27 = load i32, i32* %11
%28 = load i32*, i32** %8
%29 = load i64, i64* %10
%30 = getelementptr inbounds i32, i32* %28, i64 %29
store i32 %27, i32* %30
%31 = load i32, i32* %11
%32 = icmp ne i32 %31, 0
br i1 %32, label %33, label %57
33: ; preds = %17
%34 = load i64, i64* %10
%35 = add i64 %34, 1
store i64 %35, i64* %12
br label %36
36: ; preds = %53, %33
%37 = load i64, i64* %12
%38 = load i64, i64* %9
%39 = icmp ult i64 %37, %38
br i1 %39, label %40, label %56
40: ; preds = %36
%41 = load i32*, i32** %6
%42 = load i64, i64* %12
%43 = getelementptr inbounds i32, i32* %41, i64 %42
%44 = load i32, i32* %43
%45 = load i32*, i32** %7
%46 = load i64, i64* %12
%47 = getelementptr inbounds i32, i32* %45, i64 %46
%48 = load i32, i32* %47
%49 = sub nsw i32 %44, %48
%50 = load i32*, i32** %8
%51 = load i64, i64* %12
%52 = getelementptr inbounds i32, i32* %50, i64 %51
store i32 %49, i32* %52
br label %53
53: ; preds = %40
%54 = load i64, i64* %12
%55 = add i64 %54, 1
store i64 %55, i64* %12
br label %36
56: ; preds = %36
store i32 0, i32* %5
br label %62
57: ; preds = %17
br label %58
58: ; preds = %57
%59 = load i64, i64* %10
%60 = add i64 %59, 1
store i64 %60, i64* %10
br label %13
61: ; preds = %13
store i32 1, i32* %5
br label %62
62: ; preds = %61, %56
%63 = load i32, i32* %5
ret i32 %63
}

LLVM IR (-O2):
define i32 @diff(i32* nocapture %0, i32* nocapture %1, i32* nocapture writeonly %2, i64 %3) {
%5 = icmp eq i64 %3, 0
br i1 %5, label %142, label %6
6: ; preds = %4
%7 = load i32, i32* %0
%8 = load i32, i32* %1
%9 = sub nsw i32 %7, %8
store i32 %9, i32* %2
%10 = icmp eq i32 %9, 0
br i1 %10, label %136, label %21
11: ; preds = %136
%12 = getelementptr inbounds i32, i32* %0, i64 %138
%13 = load i32, i32* %12
%14 = getelementptr inbounds i32, i32* %1, i64 %138
%15 = load i32, i32* %14
%16 = sub nsw i32 %13, %15
%17 = getelementptr inbounds i32, i32* %2, i64 %138
store i32 %16, i32* %17
%18 = icmp eq i32 %16, 0
br i1 %18, label %136, label %19
19: ; preds = %11
%20 = icmp ult i64 %138, %3
br label %21
21: ; preds = %19, %6
%22 = phi i1 [ true, %6 ], [ %20, %19 ]
%23 = phi i64 [ 0, %6 ], [ %138, %19 ]
%24 = add i64 %23, 1
%25 = icmp ult i64 %24, %3
br i1 %25, label %26, label %142
26: ; preds = %21
%27 = xor i64 %23, -1
%28 = add i64 %27, %3
%29 = icmp ult i64 %28, 8
br i1 %29, label %124, label %30
30: ; preds = %26
%31 = getelementptr i32, i32* %2, i64 %24
%32 = getelementptr i32, i32* %2, i64 %3
%33 = getelementptr i32, i32* %0, i64 %24
%34 = getelementptr i32, i32* %0, i64 %3
%35 = getelementptr i32, i32* %1, i64 %24
%36 = getelementptr i32, i32* %1, i64 %3
%37 = icmp ult i32* %31, %34
%38 = icmp ult i32* %33, %32
%39 = and i1 %37, %38
%40 = icmp ult i32* %31, %36
%41 = icmp ult i32* %35, %32
%42 = and i1 %40, %41
%43 = or i1 %39, %42
br i1 %43, label %124, label %44
44: ; preds = %30
%45 = and i64 %28, -8
%46 = add i64 %24, %45
%47 = add i64 %45, -8
%48 = lshr exact i64 %47, 3
%49 = add nuw nsw i64 %48, 1
%50 = and i64 %49, 1
%51 = icmp eq i64 %47, 0
br i1 %51, label %99, label %52
52: ; preds = %44
%53 = and i64 %49, 4611686018427387902
br label %54
54: ; preds = %54, %52
%55 = phi i64 [ 0, %52 ], [ %96, %54 ]
%56 = phi i64 [ 0, %52 ], [ %97, %54 ]
%57 = add i64 %24, %55
%58 = getelementptr inbounds i32, i32* %0, i64 %57
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = getelementptr inbounds i32, i32* %1, i64 %57
%65 = bitcast i32* %64 to <4 x i32>*
%66 = load <4 x i32>, <4 x i32>* %65
%67 = getelementptr inbounds i32, i32* %64, i64 4
%68 = bitcast i32* %67 to <4 x i32>*
%69 = load <4 x i32>, <4 x i32>* %68
%70 = sub nsw <4 x i32> %60, %66
%71 = sub nsw <4 x i32> %63, %69
%72 = getelementptr inbounds i32, i32* %2, i64 %57
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %73
%74 = getelementptr inbounds i32, i32* %72, i64 4
%75 = bitcast i32* %74 to <4 x i32>*
store <4 x i32> %71, <4 x i32>* %75
%76 = or i64 %55, 8
%77 = add i64 %24, %76
%78 = getelementptr inbounds i32, i32* %0, i64 %77
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %78, i64 4
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = getelementptr inbounds i32, i32* %1, i64 %77
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = getelementptr inbounds i32, i32* %84, i64 4
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = sub nsw <4 x i32> %80, %86
%91 = sub nsw <4 x i32> %83, %89
%92 = getelementptr inbounds i32, i32* %2, i64 %77
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> %90, <4 x i32>* %93
%94 = getelementptr inbounds i32, i32* %92, i64 4
%95 = bitcast i32* %94 to <4 x i32>*
store <4 x i32> %91, <4 x i32>* %95
%96 = add nuw i64 %55, 16
%97 = add i64 %56, 2
%98 = icmp eq i64 %97, %53
br i1 %98, label %99, label %54
99: ; preds = %54, %44
%100 = phi i64 [ 0, %44 ], [ %96, %54 ]
%101 = icmp eq i64 %50, 0
br i1 %101, label %122, label %102
102: ; preds = %99
%103 = add i64 %24, %100
%104 = getelementptr inbounds i32, i32* %0, i64 %103
%105 = bitcast i32* %104 to <4 x i32>*
%106 = load <4 x i32>, <4 x i32>* %105
%107 = getelementptr inbounds i32, i32* %104, i64 4
%108 = bitcast i32* %107 to <4 x i32>*
%109 = load <4 x i32>, <4 x i32>* %108
%110 = getelementptr inbounds i32, i32* %1, i64 %103
%111 = bitcast i32* %110 to <4 x i32>*
%112 = load <4 x i32>, <4 x i32>* %111
%113 = getelementptr inbounds i32, i32* %110, i64 4
%114 = bitcast i32* %113 to <4 x i32>*
%115 = load <4 x i32>, <4 x i32>* %114
%116 = sub nsw <4 x i32> %106, %112
%117 = sub nsw <4 x i32> %109, %115
%118 = getelementptr inbounds i32, i32* %2, i64 %103
%119 = bitcast i32* %118 to <4 x i32>*
store <4 x i32> %116, <4 x i32>* %119
%120 = getelementptr inbounds i32, i32* %118, i64 4
%121 = bitcast i32* %120 to <4 x i32>*
store <4 x i32> %117, <4 x i32>* %121
br label %122
122: ; preds = %99, %102
%123 = icmp eq i64 %28, %45
br i1 %123, label %142, label %124
124: ; preds = %30, %26, %122
%125 = phi i64 [ %24, %30 ], [ %24, %26 ], [ %46, %122 ]
br label %126
126: ; preds = %124, %126
%127 = phi i64 [ %134, %126 ], [ %125, %124 ]
%128 = getelementptr inbounds i32, i32* %0, i64 %127
%129 = load i32, i32* %128
%130 = getelementptr inbounds i32, i32* %1, i64 %127
%131 = load i32, i32* %130
%132 = sub nsw i32 %129, %131
%133 = getelementptr inbounds i32, i32* %2, i64 %127
store i32 %132, i32* %133
%134 = add nuw i64 %127, 1
%135 = icmp ult i64 %134, %3
br i1 %135, label %126, label %142
136: ; preds = %6, %11
%137 = phi i64 [ %138, %11 ], [ 0, %6 ]
%138 = add nuw i64 %137, 1
%139 = icmp eq i64 %138, %3
br i1 %139, label %140, label %11
140: ; preds = %136
%141 = icmp ult i64 %138, %3
br label %142
142: ; preds = %126, %140, %122, %21, %4
%143 = phi i1 [ false, %4 ], [ %22, %21 ], [ %22, %122 ], [ %141, %140 ], [ %22, %126 ]
%144 = xor i1 %143, true
%145 = zext i1 %144 to i32
ret i32 %145
}