#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*/ printf(char *, char *, int, int);
void inorms(short *mask, long size, char *str) {
  int nr[2] = {0, 0}, j;
  for (j = 0; j < size; j++) {
    nr[0] += mask[j];
    if (mask[j] > nr[1])
      nr[1] = mask[j];
  }
  printf("%s %d %d\n", str, nr[0], nr[1]);
}


x86 assembly (clang, -O0):
<inorms>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
lea    -0x20(%rbp),%rdi
xor    %esi,%esi
mov    $0x8,%edx
call   1040 <memset@plt>
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    11a2 <inorms+0x82>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
cmp    -0x1c(%rbp),%eax
jle    118f <inorms+0x6f>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    %eax,-0x1c(%rbp)
jmp    1194 <inorms+0x74>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114b <inorms+0x2b>
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%edx
mov    -0x1c(%rbp),%ecx
lea    0xe4d(%rip),%rdi
call   1030 <printf@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inorms>:
test   %rsi,%rsi
jle    1128 <inorms+0x18>
cmp    $0x8,%rsi
jae    1132 <inorms+0x22>
xor    %r8d,%r8d
xor    %ecx,%ecx
xor    %r9d,%r9d
jmp    12e0 <inorms+0x1d0>
xor    %r9d,%r9d
xor    %ecx,%ecx
jmp    12f6 <inorms+0x1e6>
mov    %rsi,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     1308 <inorms+0x1f8>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm3,%xmm3
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
nopw   0x0(%rax,%rax,1)
movq   (%rdi,%rcx,2),%xmm4
punpcklwd %xmm4,%xmm5
movq   0x8(%rdi,%rcx,2),%xmm4
punpcklwd %xmm4,%xmm6
psrad  $0x10,%xmm5
psrad  $0x10,%xmm6
paddd  %xmm5,%xmm1
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm4
pcmpgtd %xmm5,%xmm4
pand   %xmm4,%xmm0
pandn  %xmm5,%xmm4
por    %xmm0,%xmm4
movdqa %xmm3,%xmm5
pcmpgtd %xmm6,%xmm5
pand   %xmm5,%xmm3
pandn  %xmm6,%xmm5
por    %xmm3,%xmm5
movq   0x10(%rdi,%rcx,2),%xmm0
punpcklwd %xmm0,%xmm3
movq   0x18(%rdi,%rcx,2),%xmm0
punpcklwd %xmm0,%xmm6
psrad  $0x10,%xmm3
psrad  $0x10,%xmm6
paddd  %xmm3,%xmm1
paddd  %xmm6,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm3,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm3
pcmpgtd %xmm6,%xmm3
pand   %xmm3,%xmm5
pandn  %xmm6,%xmm3
por    %xmm5,%xmm3
add    $0x10,%rcx
add    $0xfffffffffffffffe,%rax
jne    1170 <inorms+0x60>
test   $0x1,%r9b
je     126c <inorms+0x15c>
movq   (%rdi,%rcx,2),%xmm4
movq   0x8(%rdi,%rcx,2),%xmm5
punpcklwd %xmm4,%xmm4
psrad  $0x10,%xmm4
punpcklwd %xmm5,%xmm5
psrad  $0x10,%xmm5
paddd  %xmm4,%xmm1
paddd  %xmm5,%xmm2
movdqa %xmm0,%xmm6
pcmpgtd %xmm4,%xmm6
pand   %xmm6,%xmm0
pandn  %xmm4,%xmm6
por    %xmm6,%xmm0
movdqa %xmm3,%xmm4
pcmpgtd %xmm5,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm5,%xmm4
por    %xmm4,%xmm3
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%r9d
movdqa %xmm0,%xmm1
pcmpgtd %xmm3,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm3,%xmm1
por    %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%ecx
cmp    %rsi,%r8
je     12f6 <inorms+0x1e6>
cs nopw 0x0(%rax,%rax,1)
movswl (%rdi,%r8,2),%eax
add    %eax,%r9d
cmp    %eax,%ecx
cmovl  %eax,%ecx
add    $0x1,%r8
cmp    %r8,%rsi
jne    12e0 <inorms+0x1d0>
lea    0xd03(%rip),%rdi
mov    %rdx,%rsi
mov    %r9d,%edx
jmp    1030 <printf@plt>
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm3,%xmm3
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
test   $0x1,%r9b
jne    121f <inorms+0x10f>
jmp    126c <inorms+0x15c>

LLVM IR (-O0):
@.str = [10 x i8] c"%s %d %d\0A\00"
define void @inorms(i16* %0, i64 %1, i8* %2) {
%4 = alloca i16*
%5 = alloca i64
%6 = alloca i8*
%7 = alloca [2 x i32]
%8 = alloca i32
store i16* %0, i16** %4
store i64 %1, i64* %5
store i8* %2, i8** %6
%9 = bitcast [2 x i32]* %7 to i8*
store i32 0, i32* %8
br label %10
10: ; preds = %43, %3
%11 = load i32, i32* %8
%12 = sext i32 %11 to i64
%13 = load i64, i64* %5
%14 = icmp slt i64 %12, %13
br i1 %14, label %15, label %46
15: ; preds = %10
%16 = load i16*, i16** %4
%17 = load i32, i32* %8
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i16, i16* %16, i64 %18
%20 = load i16, i16* %19
%21 = sext i16 %20 to i32
%22 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 0
%23 = load i32, i32* %22
%24 = add nsw i32 %23, %21
store i32 %24, i32* %22
%25 = load i16*, i16** %4
%26 = load i32, i32* %8
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i16, i16* %25, i64 %27
%29 = load i16, i16* %28
%30 = sext i16 %29 to i32
%31 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 1
%32 = load i32, i32* %31
%33 = icmp sgt i32 %30, %32
br i1 %33, label %34, label %42
34: ; preds = %15
%35 = load i16*, i16** %4
%36 = load i32, i32* %8
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i16, i16* %35, i64 %37
%39 = load i16, i16* %38
%40 = sext i16 %39 to i32
%41 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 1
store i32 %40, i32* %41
br label %42
42: ; preds = %34, %15
br label %43
43: ; preds = %42
%44 = load i32, i32* %8
%45 = add nsw i32 %44, 1
store i32 %45, i32* %8
br label %10
46: ; preds = %10
%47 = load i8*, i8** %6
%48 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 0
%49 = load i32, i32* %48
%50 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 1
%51 = load i32, i32* %50
%52 = call i32 @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i8* %47, i32 %49, i32 %51)
ret void
}

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