#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*/ bar(int *, int *, int *, int *);
__attribute__((no)) int main1(int n, int *__restrict__ pd, int *__restrict__ pa,
                              int *__restrict__ pb, int *__restrict__ pc) {
  int i;
  for (i = 0; i < n; i++) {
    pa[i] = pb[i] * pc[i];
    pd[i] = 5.0;
  }
  bar(pd, pa, pb, pc);
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    117d <main1+0x6d>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x5,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1132 <main1+0x22>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   1030 <bar@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r11
test   %edi,%edi
jle    12ec <main1+0x1dc>
mov    %edi,%r10d
cmp    $0x4,%edi
jae    112f <main1+0x1f>
xor    %edi,%edi
jmp    12d0 <main1+0x1c0>
mov    %r10d,%edi
and    $0xfffffffc,%edi
lea    -0x4(%rdi),%rsi
mov    %rsi,%rax
shr    $0x2,%rax
add    $0x1,%rax
mov    %eax,%r9d
and    $0x3,%r9d
cmp    $0xc,%rsi
jae    1158 <main1+0x48>
xor    %esi,%esi
jmp    125e <main1+0x14e>
and    $0xfffffffffffffffc,%rax
xor    %esi,%esi
movaps 0xe9b(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%rcx,%rsi,4),%xmm1
movdqu (%r8,%rsi,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,(%rdx,%rsi,4)
movups %xmm0,(%r11,%rsi,4)
movdqu 0x10(%rcx,%rsi,4),%xmm1
movdqu 0x10(%r8,%rsi,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,0x10(%rdx,%rsi,4)
movups %xmm0,0x10(%r11,%rsi,4)
movdqu 0x20(%rcx,%rsi,4),%xmm1
movdqu 0x20(%r8,%rsi,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,0x20(%rdx,%rsi,4)
movups %xmm0,0x20(%r11,%rsi,4)
movdqu 0x30(%rcx,%rsi,4),%xmm1
movdqu 0x30(%r8,%rsi,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,0x30(%rdx,%rsi,4)
movups %xmm0,0x30(%r11,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffc,%rax
jne    1170 <main1+0x60>
test   %r9,%r9
je     12be <main1+0x1ae>
lea    (%r11,%rsi,4),%r14
lea    (%rdx,%rsi,4),%r15
lea    (%r8,%rsi,4),%rax
lea    (%rcx,%rsi,4),%rsi
shl    $0x4,%r9
xor    %ebx,%ebx
movaps 0xd80(%rip),%xmm0
movdqu (%rsi,%rbx,1),%xmm1
movdqu (%rax,%rbx,1),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,(%r15,%rbx,1)
movups %xmm0,(%r14,%rbx,1)
add    $0x10,%rbx
cmp    %rbx,%r9
jne    1280 <main1+0x170>
cmp    %r10,%rdi
je     12ec <main1+0x1dc>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r8,%rdi,4),%eax
imul   (%rcx,%rdi,4),%eax
mov    %eax,(%rdx,%rdi,4)
movl   $0x5,(%r11,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%r10
jne    12d0 <main1+0x1c0>
mov    %r11,%rdi
mov    %rdx,%rsi
mov    %rcx,%rdx
mov    %r8,%rcx
call   1030 <bar@plt>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @main1(i32 %0, i32* noalias %1, i32* noalias %2, i32* noalias %3, i32* noalias %4) {
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
store i32 %0, i32* %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i32* %3, i32** %9
store i32* %4, i32** %10
store i32 0, i32* %11
br label %12
12: ; preds = %36, %5
%13 = load i32, i32* %11
%14 = load i32, i32* %6
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %39
16: ; preds = %12
%17 = load i32*, i32** %9
%18 = load i32, i32* %11
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
%21 = load i32, i32* %20
%22 = load i32*, i32** %10
%23 = load i32, i32* %11
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = mul nsw i32 %21, %26
%28 = load i32*, i32** %8
%29 = load i32, i32* %11
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
store i32 %27, i32* %31
%32 = load i32*, i32** %7
%33 = load i32, i32* %11
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %32, i64 %34
store i32 5, i32* %35
br label %36
36: ; preds = %16
%37 = load i32, i32* %11
%38 = add nsw i32 %37, 1
store i32 %38, i32* %11
br label %12
39: ; preds = %12
%40 = load i32*, i32** %7
%41 = load i32*, i32** %8
%42 = load i32*, i32** %9
%43 = load i32*, i32** %10
%44 = call i32 @bar(i32* %40, i32* %41, i32* %42, i32* %43)
ret i32 0
}

LLVM IR (-O2):
define i32 @main1(i32 %0, i32* noalias %1, i32* noalias %2, i32* noalias %3, i32* noalias %4) {
%6 = icmp sgt i32 %0, 0
br i1 %6, label %7, label %107
7: ; preds = %5
%8 = zext i32 %0 to i64
%9 = icmp ult i32 %0, 4
br i1 %9, label %94, label %10
10: ; preds = %7
%11 = and i64 %8, 4294967292
%12 = add nsw i64 %11, -4
%13 = lshr exact i64 %12, 2
%14 = add nuw nsw i64 %13, 1
%15 = and i64 %14, 3
%16 = icmp ult i64 %12, 12
br i1 %16, label %72, label %17
17: ; preds = %10
%18 = and i64 %14, 9223372036854775804
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 0, %17 ], [ %69, %19 ]
%21 = phi i64 [ 0, %17 ], [ %70, %19 ]
%22 = getelementptr inbounds i32, i32* %3, i64 %20
%23 = bitcast i32* %22 to <4 x i32>*
%24 = load <4 x i32>, <4 x i32>* %23
%25 = getelementptr inbounds i32, i32* %4, i64 %20
%26 = bitcast i32* %25 to <4 x i32>*
%27 = load <4 x i32>, <4 x i32>* %26
%28 = mul nsw <4 x i32> %27, %24
%29 = getelementptr inbounds i32, i32* %2, i64 %20
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %28, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %1, i64 %20
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> <i32 5, i32 5, i32 5, i32 5>, <4 x i32>* %32
%33 = or i64 %20, 4
%34 = getelementptr inbounds i32, i32* %3, i64 %33
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = getelementptr inbounds i32, i32* %4, i64 %33
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = mul nsw <4 x i32> %39, %36
%41 = getelementptr inbounds i32, i32* %2, i64 %33
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> %40, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %1, i64 %33
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> <i32 5, i32 5, i32 5, i32 5>, <4 x i32>* %44
%45 = or i64 %20, 8
%46 = getelementptr inbounds i32, i32* %3, i64 %45
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = getelementptr inbounds i32, i32* %4, i64 %45
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = mul nsw <4 x i32> %51, %48
%53 = getelementptr inbounds i32, i32* %2, i64 %45
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %52, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %1, i64 %45
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> <i32 5, i32 5, i32 5, i32 5>, <4 x i32>* %56
%57 = or i64 %20, 12
%58 = getelementptr inbounds i32, i32* %3, i64 %57
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %4, i64 %57
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = mul nsw <4 x i32> %63, %60
%65 = getelementptr inbounds i32, i32* %2, i64 %57
%66 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %66
%67 = getelementptr inbounds i32, i32* %1, i64 %57
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> <i32 5, i32 5, i32 5, i32 5>, <4 x i32>* %68
%69 = add nuw i64 %20, 16
%70 = add nuw i64 %21, 4
%71 = icmp eq i64 %70, %18
br i1 %71, label %72, label %19
72: ; preds = %19, %10
%73 = phi i64 [ 0, %10 ], [ %69, %19 ]
%74 = icmp eq i64 %15, 0
br i1 %74, label %92, label %75
75: ; preds = %72, %75
%76 = phi i64 [ %89, %75 ], [ %73, %72 ]
%77 = phi i64 [ %90, %75 ], [ 0, %72 ]
%78 = getelementptr inbounds i32, i32* %3, i64 %76
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %4, i64 %76
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = mul nsw <4 x i32> %83, %80
%85 = getelementptr inbounds i32, i32* %2, i64 %76
%86 = bitcast i32* %85 to <4 x i32>*
store <4 x i32> %84, <4 x i32>* %86
%87 = getelementptr inbounds i32, i32* %1, i64 %76
%88 = bitcast i32* %87 to <4 x i32>*
store <4 x i32> <i32 5, i32 5, i32 5, i32 5>, <4 x i32>* %88
%89 = add nuw i64 %76, 4
%90 = add i64 %77, 1
%91 = icmp eq i64 %90, %15
br i1 %91, label %92, label %75
92: ; preds = %75, %72
%93 = icmp eq i64 %11, %8
br i1 %93, label %107, label %94
94: ; preds = %7, %92
%95 = phi i64 [ 0, %7 ], [ %11, %92 ]
br label %96
96: ; preds = %94, %96
%97 = phi i64 [ %105, %96 ], [ %95, %94 ]
%98 = getelementptr inbounds i32, i32* %3, i64 %97
%99 = load i32, i32* %98
%100 = getelementptr inbounds i32, i32* %4, i64 %97
%101 = load i32, i32* %100
%102 = mul nsw i32 %101, %99
%103 = getelementptr inbounds i32, i32* %2, i64 %97
store i32 %102, i32* %103
%104 = getelementptr inbounds i32, i32* %1, i64 %97
store i32 5, i32* %104
%105 = add nuw nsw i64 %97, 1
%106 = icmp eq i64 %105, %8
br i1 %106, label %107, label %96
107: ; preds = %96, %92, %5
%108 = tail call i32 @bar(i32* %1, i32* %2, i32* %3, i32* %4)
ret i32 0
}