#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();
__attribute__((no)) int main1() {
  int i;
  float a[256] __attribute__((__aligned__(16)));
  float b[256] __attribute__((__aligned__(16))) = {0,  3,  6,  9,  12, 15, 18,
                                                   21, 24, 27, 30, 33, 36, 39,
                                                   42, 45, 48, 51, 54, 57};
  float c[256] __attribute__((__aligned__(16))) = {
      0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19};
  float *pa = a;
  float *pb = b;
  float *pc = c;
  for (i = 0; i < 256 / 2; i++) {
    pa[i] = pb[i + 1] * pc[i + 1];
  }
  for (i = 0; i < 256 / 2; i++) {
    if (pa[i] != (pb[i + 1] * pc[i + 1]))
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc30,%rsp
lea    -0x810(%rbp),%rdi
lea    0xec7(%rip),%rsi
mov    $0x400,%edx
call   1040 <memcpy@plt>
lea    -0xc10(%rbp),%rdi
lea    0x12af(%rip),%rsi
mov    $0x400,%edx
call   1040 <memcpy@plt>
lea    -0x410(%rbp),%rax
mov    %rax,-0xc18(%rbp)
lea    -0x810(%rbp),%rax
mov    %rax,-0xc20(%rbp)
lea    -0xc10(%rbp),%rax
mov    %rax,-0xc28(%rbp)
movl   $0x0,-0x4(%rbp)
cmpl   $0x80,-0x4(%rbp)
jge    11e1 <main1+0xc1>
mov    -0xc20(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0xc28(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm0
mov    -0xc18(%rbp),%rax
movslq -0x4(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    118c <main1+0x6c>
movl   $0x0,-0x4(%rbp)
cmpl   $0x80,-0x4(%rbp)
jge    125d <main1+0x13d>
mov    -0xc18(%rbp),%rax
movslq -0x4(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0xc20(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0xc28(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm1
ucomiss %xmm1,%xmm0
jne    1243 <main1+0x123>
jp     1243 <main1+0x123>
jmp    124a <main1+0x12a>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    124f <main1+0x12f>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11e8 <main1+0xc8>
xor    %eax,%eax
add    $0xc30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
sub    $0x408,%rsp
xor    %edx,%edx
lea    0xee0(%rip),%rax
lea    0x12d9(%rip),%rcx
nopw   0x0(%rax,%rax,1)
movups 0x4(%rax,%rdx,4),%xmm0
movups 0x14(%rax,%rdx,4),%xmm1
movups 0x24(%rax,%rdx,4),%xmm2
movups 0x34(%rax,%rdx,4),%xmm3
movups 0x4(%rcx,%rdx,4),%xmm4
mulps  %xmm0,%xmm4
movups 0x14(%rcx,%rdx,4),%xmm0
mulps  %xmm1,%xmm0
movups 0x24(%rcx,%rdx,4),%xmm1
mulps  %xmm2,%xmm1
movups 0x34(%rcx,%rdx,4),%xmm2
mulps  %xmm3,%xmm2
movaps %xmm4,(%rsp,%rdx,4)
movaps %xmm0,0x10(%rsp,%rdx,4)
movaps %xmm1,0x20(%rsp,%rdx,4)
movaps %xmm2,0x30(%rsp,%rdx,4)
add    $0x10,%rdx
cmp    $0x80,%rdx
jne    1130 <main1+0x20>
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
cmp    $0x80,%rdx
je     11d5 <main1+0xc5>
movss  (%rsp,%rdx,4),%xmm0
movss  0x4(%rax,%rdx,4),%xmm1
mulss  0x4(%rcx,%rdx,4),%xmm1
ucomiss %xmm1,%xmm0
jne    11ce <main1+0xbe>
jp     11ce <main1+0xbe>
movss  0x8(%rax,%rdx,4),%xmm0
mulss  0x8(%rcx,%rdx,4),%xmm0
movss  0x4(%rsp,%rdx,4),%xmm1
add    $0x2,%rdx
ucomiss %xmm0,%xmm1
jne    11ce <main1+0xbe>
jnp    1190 <main1+0x80>
xor    %eax,%eax
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x408,%rsp
ret

LLVM IR (-O0):
@__const.main1.b = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 3.000000e+00, float 6.000000e+00, float 9.000000e+00, float 1.200000e+01, float 1.500000e+01, float 1.800000e+01, float 2.100000e+01, float 2.400000e+01, float 2.700000e+01, float 3.000000e+01, float 3.300000e+01, float 3.600000e+01, float 3.900000e+01, float 4.200000e+01, float 4.500000e+01, float 4.800000e+01, float 5.100000e+01, float 5.400000e+01, float 5.700000e+01], [236 x float] zeroinitializer }>
@__const.main1.c = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00, float 5.000000e+00, float 6.000000e+00, float 7.000000e+00, float 8.000000e+00, float 9.000000e+00, float 1.000000e+01, float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01, float 1.500000e+01, float 1.600000e+01, float 1.700000e+01, float 1.800000e+01, float 1.900000e+01], [236 x float] zeroinitializer }>
define i32 @main1() {
%1 = alloca i32
%2 = alloca [256 x float]
%3 = alloca [256 x float]
%4 = alloca [256 x float]
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = bitcast [256 x float]* %3 to i8*
%9 = bitcast [256 x float]* %4 to i8*
%10 = getelementptr inbounds [256 x float], [256 x float]* %2, i64 0, i64 0
store float* %10, float** %5
%11 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
store float* %11, float** %6
%12 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
store float* %12, float** %7
store i32 0, i32* %1
br label %13
13: ; preds = %34, %0
%14 = load i32, i32* %1
%15 = icmp slt i32 %14, 128
br i1 %15, label %16, label %37
16: ; preds = %13
%17 = load float*, float** %6
%18 = load i32, i32* %1
%19 = add nsw i32 %18, 1
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds float, float* %17, i64 %20
%22 = load float, float* %21
%23 = load float*, float** %7
%24 = load i32, i32* %1
%25 = add nsw i32 %24, 1
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds float, float* %23, i64 %26
%28 = load float, float* %27
%29 = fmul float %22, %28
%30 = load float*, float** %5
%31 = load i32, i32* %1
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds float, float* %30, i64 %32
store float %29, float* %33
br label %34
34: ; preds = %16
%35 = load i32, i32* %1
%36 = add nsw i32 %35, 1
store i32 %36, i32* %1
br label %13
37: ; preds = %13
store i32 0, i32* %1
br label %38
38: ; preds = %64, %37
%39 = load i32, i32* %1
%40 = icmp slt i32 %39, 128
br i1 %40, label %41, label %67
41: ; preds = %38
%42 = load float*, float** %5
%43 = load i32, i32* %1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds float, float* %42, i64 %44
%46 = load float, float* %45
%47 = load float*, float** %6
%48 = load i32, i32* %1
%49 = add nsw i32 %48, 1
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds float, float* %47, i64 %50
%52 = load float, float* %51
%53 = load float*, float** %7
%54 = load i32, i32* %1
%55 = add nsw i32 %54, 1
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds float, float* %53, i64 %56
%58 = load float, float* %57
%59 = fmul float %52, %58
%60 = fcmp une float %46, %59
br i1 %60, label %61, label %63
61: ; preds = %41
%62 = call i32 (...) @abort()
unreachable
63: ; preds = %41
br label %64
64: ; preds = %63
%65 = load i32, i32* %1
%66 = add nsw i32 %65, 1
store i32 %66, i32* %1
br label %38
67: ; preds = %38
ret i32 0
}

LLVM IR (-O2):
@__const.main1.b = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 3.000000e+00, float 6.000000e+00, float 9.000000e+00, float 1.200000e+01, float 1.500000e+01, float 1.800000e+01, float 2.100000e+01, float 2.400000e+01, float 2.700000e+01, float 3.000000e+01, float 3.300000e+01, float 3.600000e+01, float 3.900000e+01, float 4.200000e+01, float 4.500000e+01, float 4.800000e+01, float 5.100000e+01, float 5.400000e+01, float 5.700000e+01], [236 x float] zeroinitializer }>
@__const.main1.c = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00, float 5.000000e+00, float 6.000000e+00, float 7.000000e+00, float 8.000000e+00, float 9.000000e+00, float 1.000000e+01, float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01, float 1.500000e+01, float 1.600000e+01, float 1.700000e+01, float 1.800000e+01, float 1.900000e+01], [236 x float] zeroinitializer }>
define i32 @main1() {
%1 = alloca [256 x float]
%2 = bitcast [256 x float]* %1 to i8*
br label %3
3: ; preds = %3, %0
%4 = phi i64 [ 0, %0 ], [ %44, %3 ]
%5 = or i64 %4, 1
%6 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.b, i64 0, i32 0, i64 %5
%7 = bitcast float* %6 to <4 x float>*
%8 = load <4 x float>, <4 x float>* %7
%9 = getelementptr inbounds float, float* %6, i64 4
%10 = bitcast float* %9 to <4 x float>*
%11 = load <4 x float>, <4 x float>* %10
%12 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.c, i64 0, i32 0, i64 %5
%13 = bitcast float* %12 to <4 x float>*
%14 = load <4 x float>, <4 x float>* %13
%15 = getelementptr inbounds float, float* %12, i64 4
%16 = bitcast float* %15 to <4 x float>*
%17 = load <4 x float>, <4 x float>* %16
%18 = fmul <4 x float> %8, %14
%19 = fmul <4 x float> %11, %17
%20 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 %4
%21 = bitcast float* %20 to <4 x float>*
store <4 x float> %18, <4 x float>* %21
%22 = getelementptr inbounds float, float* %20, i64 4
%23 = bitcast float* %22 to <4 x float>*
store <4 x float> %19, <4 x float>* %23
%24 = or i64 %4, 8
%25 = or i64 %4, 9
%26 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.b, i64 0, i32 0, i64 %25
%27 = bitcast float* %26 to <4 x float>*
%28 = load <4 x float>, <4 x float>* %27
%29 = getelementptr inbounds float, float* %26, i64 4
%30 = bitcast float* %29 to <4 x float>*
%31 = load <4 x float>, <4 x float>* %30
%32 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.c, i64 0, i32 0, i64 %25
%33 = bitcast float* %32 to <4 x float>*
%34 = load <4 x float>, <4 x float>* %33
%35 = getelementptr inbounds float, float* %32, i64 4
%36 = bitcast float* %35 to <4 x float>*
%37 = load <4 x float>, <4 x float>* %36
%38 = fmul <4 x float> %28, %34
%39 = fmul <4 x float> %31, %37
%40 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 %24
%41 = bitcast float* %40 to <4 x float>*
store <4 x float> %38, <4 x float>* %41
%42 = getelementptr inbounds float, float* %40, i64 4
%43 = bitcast float* %42 to <4 x float>*
store <4 x float> %39, <4 x float>* %43
%44 = add nuw nsw i64 %4, 16
%45 = icmp eq i64 %44, 128
br i1 %45, label %46, label %3
46: ; preds = %3, %59
%47 = phi i64 [ %62, %59 ], [ 0, %3 ]
%48 = icmp eq i64 %47, 128
br i1 %48, label %71, label %49
49: ; preds = %46
%50 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 %47
%51 = load float, float* %50
%52 = or i64 %47, 1
%53 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.b, i64 0, i32 0, i64 %52
%54 = load float, float* %53
%55 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.c, i64 0, i32 0, i64 %52
%56 = load float, float* %55
%57 = fmul float %54, %56
%58 = fcmp une float %51, %57
br i1 %58, label %69, label %59
59: ; preds = %49
%60 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 %52
%61 = load float, float* %60
%62 = add nuw nsw i64 %47, 2
%63 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.b, i64 0, i32 0, i64 %62
%64 = load float, float* %63
%65 = getelementptr inbounds <{ [20 x float], [236 x float] }>, <{ [20 x float], [236 x float] }>* @__const.main1.c, i64 0, i32 0, i64 %62
%66 = load float, float* %65
%67 = fmul float %64, %66
%68 = fcmp une float %61, %67
br i1 %68, label %69, label %46
69: ; preds = %59, %49
%70 = tail call i32 (...) @abort()
unreachable
71: ; preds = %46
ret i32 0
}