#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();
void VecBug2(short Kernel[8][24]) {
  int k, i;
  short Kernshort2[24] __attribute__((__aligned__(16)));
  for (k = 0; k < 8; k++)
    for (i = 0; i < 24; i++)
      Kernshort2[i] = Kernel[k][i];
  for (k = 0; k < 8; k++)
    for (i = 0; i < 24; i++)
      if (Kernshort2[i] != Kernel[k][i])
        abort();
}


x86 assembly (clang, -O0):
<VecBug2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x8,-0xc(%rbp)
jge    117f <VecBug2+0x6f>
movl   $0x0,-0x10(%rbp)
cmpl   $0x18,-0x10(%rbp)
jge    116c <VecBug2+0x5c>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x30,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,2),%cx
movslq -0x10(%rbp),%rax
mov    %cx,-0x40(%rbp,%rax,2)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1134 <VecBug2+0x24>
jmp    1171 <VecBug2+0x61>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1123 <VecBug2+0x13>
movl   $0x0,-0xc(%rbp)
cmpl   $0x8,-0xc(%rbp)
jge    11f6 <VecBug2+0xe6>
movl   $0x0,-0x10(%rbp)
cmpl   $0x18,-0x10(%rbp)
jge    11e3 <VecBug2+0xd3>
movslq -0x10(%rbp),%rax
movswl -0x40(%rbp,%rax,2),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
imul   $0x30,%rdx,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
movswl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
je     11d0 <VecBug2+0xc0>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11d5 <VecBug2+0xc5>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1197 <VecBug2+0x87>
jmp    11e8 <VecBug2+0xd8>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1186 <VecBug2+0x76>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecBug2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
movzwl 0x150(%rdi),%eax
mov    %ax,0x16(%rsp)
movzwl 0x152(%rdi),%eax
mov    %ax,0x14(%rsp)
movzwl 0x154(%rdi),%eax
mov    %ax,0x12(%rsp)
movzwl 0x156(%rdi),%eax
mov    %ax,0x10(%rsp)
movzwl 0x158(%rdi),%eax
mov    %ax,0xe(%rsp)
movzwl 0x15a(%rdi),%eax
mov    %ax,0xc(%rsp)
movzwl 0x15c(%rdi),%eax
mov    %ax,0xa(%rsp)
movzwl 0x15e(%rdi),%eax
mov    %ax,0x8(%rsp)
movzwl 0x160(%rdi),%eax
mov    %ax,0x6(%rsp)
movzwl 0x162(%rdi),%eax
mov    %ax,0x4(%rsp)
movzwl 0x164(%rdi),%eax
mov    %ax,0x2(%rsp)
movzwl 0x166(%rdi),%eax
mov    %ax,(%rsp)
movzwl 0x168(%rdi),%edx
movzwl 0x16a(%rdi),%esi
movzwl 0x16c(%rdi),%r8d
movzwl 0x16e(%rdi),%r9d
movzwl 0x170(%rdi),%r10d
movzwl 0x172(%rdi),%r11d
movzwl 0x174(%rdi),%r14d
movzwl 0x176(%rdi),%r15d
movzwl 0x178(%rdi),%r12d
movzwl 0x17a(%rdi),%r13d
movzwl 0x17c(%rdi),%ebx
movzwl 0x17e(%rdi),%ebp
mov    $0x2e,%eax
xchg   %ax,%ax
movzwl 0x16(%rsp),%ecx
cmp    -0x2e(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x14(%rsp),%ecx
cmp    -0x2c(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x12(%rsp),%ecx
cmp    -0x2a(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x10(%rsp),%ecx
cmp    -0x28(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0xe(%rsp),%ecx
cmp    -0x26(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0xc(%rsp),%ecx
cmp    -0x24(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0xa(%rsp),%ecx
cmp    -0x22(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x8(%rsp),%ecx
cmp    -0x20(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x6(%rsp),%ecx
cmp    -0x1e(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x4(%rsp),%ecx
cmp    -0x1c(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl 0x2(%rsp),%ecx
cmp    -0x1a(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
movzwl (%rsp),%ecx
cmp    -0x18(%rdi,%rax,1),%cx
jne    1345 <VecBug2+0x235>
cmp    -0x16(%rdi,%rax,1),%dx
jne    1345 <VecBug2+0x235>
cmp    -0x14(%rdi,%rax,1),%si
jne    1345 <VecBug2+0x235>
cmp    -0x12(%rdi,%rax,1),%r8w
jne    1345 <VecBug2+0x235>
cmp    -0x10(%rdi,%rax,1),%r9w
jne    1345 <VecBug2+0x235>
cmp    -0xe(%rdi,%rax,1),%r10w
jne    1345 <VecBug2+0x235>
cmp    -0xc(%rdi,%rax,1),%r11w
jne    1345 <VecBug2+0x235>
cmp    -0xa(%rdi,%rax,1),%r14w
jne    1345 <VecBug2+0x235>
cmp    -0x8(%rdi,%rax,1),%r15w
jne    1345 <VecBug2+0x235>
cmp    -0x6(%rdi,%rax,1),%r12w
jne    1345 <VecBug2+0x235>
cmp    -0x4(%rdi,%rax,1),%r13w
jne    1345 <VecBug2+0x235>
cmp    -0x2(%rdi,%rax,1),%bx
jne    1345 <VecBug2+0x235>
cmp    (%rdi,%rax,1),%bp
jne    1345 <VecBug2+0x235>
add    $0x30,%rax
cmp    $0x1ae,%rax
jne    1210 <VecBug2+0x100>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

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