#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(float *__restrict__ pa, float *__restrict__ pb,
                              float *__restrict__ pc) {
  int i;
  float *q = pb + 4;
  for (i = 0; i < 16; i++) {
    pa[i] = q[i] * pc[i];
  }
  for (i = 0; i < 16; i++) {
    if (pa[i] != q[i] * pc[i])
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jge    1176 <main1+0x66>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1137 <main1+0x27>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jge    11dc <main1+0xcc>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm1
ucomiss %xmm1,%xmm0
jne    11c2 <main1+0xb2>
jp     11c2 <main1+0xb2>
jmp    11c9 <main1+0xb9>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11ce <main1+0xbe>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117d <main1+0x6d>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
push   %rax
movups 0x10(%rsi),%xmm0
movups (%rdx),%xmm3
mulps  %xmm0,%xmm3
movups %xmm3,(%rdi)
movups 0x20(%rsi),%xmm0
movups 0x10(%rdx),%xmm2
mulps  %xmm0,%xmm2
movups %xmm2,0x10(%rdi)
movups 0x30(%rsi),%xmm1
movups 0x40(%rsi),%xmm4
movups 0x20(%rdx),%xmm0
mulps  %xmm1,%xmm0
movups 0x30(%rdx),%xmm1
mulps  %xmm4,%xmm1
movups %xmm0,0x20(%rdi)
movups %xmm1,0x30(%rdi)
movss  (%rdi),%xmm4
movss  0x10(%rsi),%xmm5
mulss  (%rdx),%xmm5
ucomiss %xmm5,%xmm4
jne    123b <main1+0x12b>
jp     123b <main1+0x12b>
movss  0x4(%rdi),%xmm4
movss  0x14(%rsi),%xmm5
mulss  0x4(%rdx),%xmm5
ucomiss %xmm5,%xmm4
jne    123b <main1+0x12b>
jp     123b <main1+0x12b>
movss  0x18(%rsi),%xmm4
mulss  0x8(%rdx),%xmm4
movaps %xmm3,%xmm5
unpckhpd %xmm3,%xmm5
ucomiss %xmm4,%xmm5
jne    123b <main1+0x12b>
jp     123b <main1+0x12b>
shufps $0xff,%xmm3,%xmm3
ucomiss %xmm3,%xmm3
jp     123b <main1+0x12b>
ucomiss %xmm2,%xmm2
jp     123b <main1+0x12b>
movaps %xmm2,%xmm3
shufps $0x55,%xmm2,%xmm3
ucomiss %xmm3,%xmm3
jp     123b <main1+0x12b>
movaps %xmm2,%xmm3
unpckhpd %xmm2,%xmm3
ucomiss %xmm3,%xmm3
jp     123b <main1+0x12b>
shufps $0xff,%xmm2,%xmm2
ucomiss %xmm2,%xmm2
jp     123b <main1+0x12b>
xorps  %xmm2,%xmm2
cmpunordps %xmm2,%xmm0
cmpunordps %xmm2,%xmm1
packssdw %xmm1,%xmm0
packsswb %xmm0,%xmm0
pmovmskb %xmm0,%eax
test   $0x1,%al
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x2,%cl
shr    %cl
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x4,%cl
shr    $0x2,%cl
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x8,%cl
shr    $0x3,%cl
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x10,%cl
shr    $0x4,%cl
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x20,%cl
shr    $0x5,%cl
jne    123b <main1+0x12b>
mov    %eax,%ecx
and    $0x40,%cl
shr    $0x6,%cl
jne    123b <main1+0x12b>
shr    $0x7,%al
jne    123b <main1+0x12b>
xor    %eax,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define i32 @main1(float* noalias nocapture %0, float* noalias nocapture %1, float* noalias nocapture %2) {
%4 = getelementptr inbounds float, float* %1, i64 4
%5 = getelementptr inbounds float, float* %1, i64 6
%6 = getelementptr inbounds float, float* %2, i64 2
%7 = bitcast float* %4 to <4 x float>*
%8 = load <4 x float>, <4 x float>* %7
%9 = bitcast float* %2 to <4 x float>*
%10 = load <4 x float>, <4 x float>* %9
%11 = fmul <4 x float> %8, %10
%12 = bitcast float* %0 to <4 x float>*
store <4 x float> %11, <4 x float>* %12
%13 = getelementptr inbounds float, float* %1, i64 8
%14 = getelementptr inbounds float, float* %2, i64 4
%15 = getelementptr inbounds float, float* %0, i64 4
%16 = bitcast float* %13 to <4 x float>*
%17 = load <4 x float>, <4 x float>* %16
%18 = bitcast float* %14 to <4 x float>*
%19 = load <4 x float>, <4 x float>* %18
%20 = fmul <4 x float> %17, %19
%21 = bitcast float* %15 to <4 x float>*
store <4 x float> %20, <4 x float>* %21
%22 = getelementptr inbounds float, float* %1, i64 12
%23 = getelementptr inbounds float, float* %2, i64 8
%24 = getelementptr inbounds float, float* %0, i64 8
%25 = bitcast float* %22 to <8 x float>*
%26 = load <8 x float>, <8 x float>* %25
%27 = bitcast float* %23 to <8 x float>*
%28 = load <8 x float>, <8 x float>* %27
%29 = fmul <8 x float> %26, %28
%30 = shufflevector <8 x float> %29, <8 x float> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
%31 = bitcast float* %24 to <4 x float>*
store <4 x float> %30, <4 x float>* %31
%32 = getelementptr inbounds float, float* %0, i64 12
%33 = shufflevector <8 x float> %29, <8 x float> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
%34 = bitcast float* %32 to <4 x float>*
store <4 x float> %33, <4 x float>* %34
%35 = load float, float* %0
%36 = load float, float* %4
%37 = load float, float* %2
%38 = fmul float %36, %37
%39 = fcmp une float %35, %38
br i1 %39, label %88, label %40
40: ; preds = %3
%41 = getelementptr inbounds float, float* %0, i64 1
%42 = getelementptr inbounds float, float* %2, i64 1
%43 = getelementptr inbounds float, float* %1, i64 5
%44 = load float, float* %41
%45 = load float, float* %43
%46 = load float, float* %42
%47 = fmul float %45, %46
%48 = fcmp une float %44, %47
br i1 %48, label %88, label %49
49: ; preds = %40
%50 = load float, float* %5
%51 = load float, float* %6
%52 = fmul float %50, %51
%53 = extractelement <4 x float> %11, i64 2
%54 = fcmp une float %53, %52
%55 = extractelement <4 x float> %11, i64 3
%56 = fcmp uno float %55, 0.000000e+00
%57 = select i1 %54, i1 true, i1 %56
%58 = extractelement <4 x float> %20, i64 0
%59 = fcmp uno float %58, 0.000000e+00
%60 = select i1 %57, i1 true, i1 %59
%61 = extractelement <4 x float> %20, i64 1
%62 = fcmp uno float %61, 0.000000e+00
%63 = select i1 %60, i1 true, i1 %62
%64 = extractelement <4 x float> %20, i64 2
%65 = fcmp uno float %64, 0.000000e+00
%66 = select i1 %63, i1 true, i1 %65
%67 = extractelement <4 x float> %20, i64 3
%68 = fcmp uno float %67, 0.000000e+00
%69 = select i1 %66, i1 true, i1 %68
%70 = fcmp uno <8 x float> %29, zeroinitializer
%71 = extractelement <8 x i1> %70, i64 0
%72 = select i1 %69, i1 true, i1 %71
%73 = extractelement <8 x i1> %70, i64 1
%74 = select i1 %72, i1 true, i1 %73
%75 = extractelement <8 x i1> %70, i64 2
%76 = select i1 %74, i1 true, i1 %75
%77 = extractelement <8 x i1> %70, i64 3
%78 = select i1 %76, i1 true, i1 %77
%79 = extractelement <8 x i1> %70, i64 4
%80 = select i1 %78, i1 true, i1 %79
%81 = extractelement <8 x i1> %70, i64 5
%82 = select i1 %80, i1 true, i1 %81
%83 = extractelement <8 x i1> %70, i64 6
%84 = select i1 %82, i1 true, i1 %83
%85 = extractelement <8 x i1> %70, i64 7
%86 = select i1 %84, i1 true, i1 %85
br i1 %86, label %88, label %87
87: ; preds = %49
ret i32 0
88: ; preds = %49, %40, %3
%89 = tail call i32 (...) @abort()
unreachable
}