void EMPI_MAX_INT(int *invec, int *inoutvec, int len) {
  int i;
  for (i = 0; i < len; i++) {
    inoutvec[i] = ((invec[i] > inoutvec[i]) ? invec[i] : inoutvec[i]);
  }
}


x86 assembly (clang, -O0):
<EMPI_MAX_INT>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117b <EMPI_MAX_INT+0x7b>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1151 <EMPI_MAX_INT+0x51>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    115f <EMPI_MAX_INT+0x5f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <EMPI_MAX_INT+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<EMPI_MAX_INT>:
test   %edx,%edx
jle    12bb <EMPI_MAX_INT+0x1bb>
mov    %edx,%r9d
cmp    $0x8,%edx
jb     1122 <EMPI_MAX_INT+0x22>
lea    (%rdi,%r9,4),%rax
cmp    %rsi,%rax
jbe    1193 <EMPI_MAX_INT+0x93>
lea    (%rsi,%r9,4),%rax
cmp    %rdi,%rax
jbe    1193 <EMPI_MAX_INT+0x93>
xor    %r10d,%r10d
mov    %r10,%rax
not    %rax
test   $0x1,%r9b
je     1148 <EMPI_MAX_INT+0x48>
mov    (%rdi,%r10,4),%r8d
mov    (%rsi,%r10,4),%edx
cmp    %edx,%r8d
cmovg  %r8d,%edx
mov    %edx,(%rsi,%r10,4)
or     $0x1,%r10
add    %r9,%rax
je     12bb <EMPI_MAX_INT+0x1bb>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%r10,4),%eax
mov    (%rsi,%r10,4),%edx
mov    0x4(%rsi,%r10,4),%ecx
cmp    %edx,%eax
cmovg  %eax,%edx
mov    %edx,(%rsi,%r10,4)
mov    0x4(%rdi,%r10,4),%eax
cmp    %ecx,%eax
cmovg  %eax,%ecx
mov    %ecx,0x4(%rsi,%r10,4)
add    $0x2,%r10
cmp    %r10,%r9
jne    1160 <EMPI_MAX_INT+0x60>
jmp    12bb <EMPI_MAX_INT+0x1bb>
mov    %r9d,%r10d
and    $0xfffffff8,%r10d
lea    -0x8(%r10),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     12bc <EMPI_MAX_INT+0x1bc>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movdqu (%rdi,%rdx,4),%xmm1
movdqu 0x10(%rdi,%rdx,4),%xmm2
movdqu (%rsi,%rdx,4),%xmm3
movdqu 0x10(%rsi,%rdx,4),%xmm4
movdqu 0x20(%rsi,%rdx,4),%xmm5
movdqu 0x30(%rsi,%rdx,4),%xmm0
movdqa %xmm1,%xmm6
pcmpgtd %xmm3,%xmm6
pand   %xmm6,%xmm1
pandn  %xmm3,%xmm6
por    %xmm1,%xmm6
movdqa %xmm2,%xmm1
pcmpgtd %xmm4,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm4,%xmm1
por    %xmm2,%xmm1
movdqu %xmm6,(%rsi,%rdx,4)
movdqu %xmm1,0x10(%rsi,%rdx,4)
movdqu 0x20(%rdi,%rdx,4),%xmm1
movdqu 0x30(%rdi,%rdx,4),%xmm2
movdqa %xmm1,%xmm3
pcmpgtd %xmm5,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm5,%xmm3
por    %xmm1,%xmm3
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movdqu %xmm3,0x20(%rsi,%rdx,4)
movdqu %xmm1,0x30(%rsi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    11c0 <EMPI_MAX_INT+0xc0>
test   $0x1,%r8b
je     12b2 <EMPI_MAX_INT+0x1b2>
movdqu (%rdi,%rdx,4),%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm1
movdqu (%rsi,%rdx,4),%xmm2
movdqu 0x10(%rsi,%rdx,4),%xmm3
movdqa %xmm0,%xmm4
pcmpgtd %xmm2,%xmm4
pand   %xmm4,%xmm0
pandn  %xmm2,%xmm4
por    %xmm0,%xmm4
movdqa %xmm1,%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm3,%xmm0
por    %xmm1,%xmm0
movdqu %xmm4,(%rsi,%rdx,4)
movdqu %xmm0,0x10(%rsi,%rdx,4)
cmp    %r9,%r10
jne    1125 <EMPI_MAX_INT+0x25>
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    1269 <EMPI_MAX_INT+0x169>
jmp    12b2 <EMPI_MAX_INT+0x1b2>

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

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