#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 *malloc(int);
int /*<<< orphan*/ printf(char *);
int main() {
  int i, sum = 0;
  int *a = malloc(100);
  for (i = 0; i < 100; ++i)
    sum += a[i];
  a[26] = 1;
  a = NULL;
  if (sum > 0)
    printf("Hi!\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
mov    $0x64,%edi
call   1040 <malloc@plt>
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x64,-0x8(%rbp)
jge    1174 <main+0x54>
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    114b <main+0x2b>
mov    -0x18(%rbp),%rax
movl   $0x1,0x68(%rax)
movq   $0x0,-0x18(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    119d <main+0x7d>
lea    0xe68(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x64,%edi
call   1040 <malloc@plt>
movdqu (%rax),%xmm0
movdqu 0x10(%rax),%xmm1
paddd  %xmm0,%xmm1
movdqu 0x20(%rax),%xmm0
movdqu 0x30(%rax),%xmm2
paddd  %xmm0,%xmm2
paddd  %xmm1,%xmm2
movdqu 0x40(%rax),%xmm0
movdqu 0x50(%rax),%xmm1
paddd  %xmm0,%xmm1
movdqu 0x60(%rax),%xmm0
paddd  %xmm1,%xmm0
paddd  %xmm2,%xmm0
movdqu 0x70(%rax),%xmm1
movdqu 0x80(%rax),%xmm2
paddd  %xmm1,%xmm2
movdqu 0x90(%rax),%xmm1
paddd  %xmm2,%xmm1
movdqu 0xa0(%rax),%xmm2
paddd  %xmm1,%xmm2
paddd  %xmm0,%xmm2
movdqu 0xb0(%rax),%xmm0
movdqu 0xc0(%rax),%xmm1
paddd  %xmm0,%xmm1
movdqu 0xd0(%rax),%xmm0
paddd  %xmm1,%xmm0
movdqu 0xe0(%rax),%xmm1
paddd  %xmm0,%xmm1
movdqu 0xf0(%rax),%xmm0
paddd  %xmm1,%xmm0
paddd  %xmm2,%xmm0
movdqu 0x100(%rax),%xmm1
movdqu 0x110(%rax),%xmm2
paddd  %xmm1,%xmm2
movdqu 0x120(%rax),%xmm1
paddd  %xmm2,%xmm1
movdqu 0x130(%rax),%xmm2
paddd  %xmm1,%xmm2
movdqu 0x140(%rax),%xmm1
paddd  %xmm2,%xmm1
movdqu 0x150(%rax),%xmm2
paddd  %xmm1,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x160(%rax),%xmm0
movdqu 0x170(%rax),%xmm1
paddd  %xmm0,%xmm1
movdqu 0x180(%rax),%xmm0
paddd  %xmm1,%xmm0
paddd  %xmm2,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ecx
movl   $0x1,0x68(%rax)
test   %ecx,%ecx
jle    1267 <main+0x147>
lea    0xd9e(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [5 x i8] c"Hi!\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32*
store i32 0, i32* %1
store i32 0, i32* %3
%5 = call i32* @malloc(i32 100)
store i32* %5, i32** %4
store i32 0, i32* %2
br label %6
6: ; preds = %17, %0
%7 = load i32, i32* %2
%8 = icmp slt i32 %7, 100
br i1 %8, label %9, label %20
9: ; preds = %6
%10 = load i32*, i32** %4
%11 = load i32, i32* %2
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i32, i32* %10, i64 %12
%14 = load i32, i32* %13
%15 = load i32, i32* %3
%16 = add nsw i32 %15, %14
store i32 %16, i32* %3
br label %17
17: ; preds = %9
%18 = load i32, i32* %2
%19 = add nsw i32 %18, 1
store i32 %19, i32* %2
br label %6
20: ; preds = %6
%21 = load i32*, i32** %4
%22 = getelementptr inbounds i32, i32* %21, i64 26
store i32 1, i32* %22
store i32* null, i32** %4
%23 = load i32, i32* %3
%24 = icmp sgt i32 %23, 0
br i1 %24, label %25, label %27
25: ; preds = %20
%26 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
br label %27
27: ; preds = %25, %20
ret i32 0
}

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