#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 */
typedef int uint8_t;

/* Variables and functions */
void _MODIFY_FIELD_BYTE_BUF(uint8_t *dst_ptr, int dst_len, uint8_t *src_ptr,
                            int src_len, uint8_t *mask_ptr, int mask_len) {
  int src_idx;
  int dst_idx;
  int mask_idx;
  for (src_idx = (src_len <= dst_len) ? 0 : src_len - dst_len,
      dst_idx = (dst_len <= src_len) ? 0 : dst_len - src_len,
      mask_idx = mask_len - dst_len;
       src_idx < src_len; src_idx++, dst_idx++, mask_idx++) {
    dst_ptr[dst_idx] &= ~mask_ptr[dst_idx];
    dst_ptr[dst_idx] |= src_ptr[src_idx] & mask_ptr[mask_idx];
  }
}


x86 assembly (clang, -O0):
<_MODIFY_FIELD_BYTE_BUF>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1130 <_MODIFY_FIELD_BYTE_BUF+0x30>
xor    %eax,%eax
mov    %eax,-0x3c(%rbp)
jmp    1139 <_MODIFY_FIELD_BYTE_BUF+0x39>
mov    -0x1c(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1155 <_MODIFY_FIELD_BYTE_BUF+0x55>
xor    %eax,%eax
mov    %eax,-0x40(%rbp)
jmp    115e <_MODIFY_FIELD_BYTE_BUF+0x5e>
mov    -0xc(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11d9 <_MODIFY_FIELD_BYTE_BUF+0xd9>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
xor    $0xffffffff,%edx
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
and    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
and    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    116d <_MODIFY_FIELD_BYTE_BUF+0x6d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_MODIFY_FIELD_BYTE_BUF>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
xor    %r10d,%r10d
mov    %ecx,%eax
sub    %esi,%eax
cmovle %r10d,%eax
cmp    %ecx,%eax
jge    1283 <_MODIFY_FIELD_BYTE_BUF+0x183>
sub    %esi,%r9d
mov    %ecx,%ebx
sub    %esi,%ebx
mov    %esi,%r11d
cmovg  %ecx,%r11d
neg    %ebx
cmp    %ecx,%esi
cmovg  %ebx,%r10d
movslq %r9d,%rbp
mov    %eax,%r13d
lea    (%rcx,%rsi,1),%eax
not    %r11d
add    %eax,%r11d
cmp    $0x3,%r11d
jb     1243 <_MODIFY_FIELD_BYTE_BUF+0x143>
lea    (%rdi,%r10,4),%rbx
cmp    %esi,%ecx
cmovg  %ecx,%esi
not    %esi
add    %esi,%eax
lea    (%rax,%r10,1),%rsi
mov    %rdi,-0x10(%rsp)
lea    (%rdi,%rsi,4),%r9
add    $0x4,%r9
lea    (%r8,%rbp,4),%r14
mov    %rbp,-0x18(%rsp)
add    %rax,%rbp
lea    0x4(%r8,%rbp,4),%rbp
lea    (%r8,%r10,4),%r15
lea    (%r8,%rsi,4),%rsi
add    $0x4,%rsi
lea    (%rdx,%r13,4),%r12
add    %r13,%rax
mov    %rdx,-0x8(%rsp)
lea    (%rdx,%rax,4),%rdx
add    $0x4,%rdx
cmp    %rbp,%rbx
setb   %bpl
cmp    %r9,%r14
setb   %dil
cmp    %rsi,%rbx
setb   %al
cmp    %r9,%r15
setb   -0x19(%rsp)
cmp    %rdx,%rbx
setb   %sil
cmp    %r9,%r12
setb   %r9b
test   %dil,%bpl
jne    1234 <_MODIFY_FIELD_BYTE_BUF+0x134>
and    -0x19(%rsp),%al
mov    -0x8(%rsp),%rdx
mov    -0x10(%rsp),%rdi
jne    123e <_MODIFY_FIELD_BYTE_BUF+0x13e>
and    %r9b,%sil
mov    -0x18(%rsp),%rbp
jne    1243 <_MODIFY_FIELD_BYTE_BUF+0x143>
add    $0x1,%r11
mov    %r11,%rsi
and    $0xfffffffffffffffc,%rsi
add    %rsi,%r13
add    %rsi,%r10
add    %rsi,%rbp
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movups (%r15,%rax,4),%xmm0
movups (%rbx,%rax,4),%xmm1
andnps %xmm1,%xmm0
movups %xmm0,(%rbx,%rax,4)
movups (%r12,%rax,4),%xmm1
movups (%r14,%rax,4),%xmm2
andps  %xmm1,%xmm2
orps   %xmm0,%xmm2
movups %xmm2,(%rbx,%rax,4)
add    $0x4,%rax
cmp    %rax,%rsi
jne    1200 <_MODIFY_FIELD_BYTE_BUF+0x100>
cmp    %rsi,%r11
jne    1243 <_MODIFY_FIELD_BYTE_BUF+0x143>
jmp    1283 <_MODIFY_FIELD_BYTE_BUF+0x183>
mov    -0x8(%rsp),%rdx
mov    -0x10(%rsp),%rdi
mov    -0x18(%rsp),%rbp
lea    (%rdx,%r13,4),%r9
lea    (%rdi,%r10,4),%rsi
lea    (%r8,%r10,4),%rdi
lea    (%r8,%rbp,4),%rbx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdi,%rax,4),%ebp
not    %ebp
and    (%rsi,%rax,4),%ebp
mov    %ebp,(%rsi,%rax,4)
mov    (%rbx,%rax,4),%edx
and    (%r9,%rax,4),%edx
or     %ebp,%edx
mov    %edx,(%rsi,%rax,4)
add    $0x1,%rax
lea    (%rax,%r13,1),%edx
cmp    %ecx,%edx
jl     1260 <_MODIFY_FIELD_BYTE_BUF+0x160>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @_MODIFY_FIELD_BYTE_BUF(i32* %0, i32 %1, i32* %2, i32 %3, i32* %4, i32 %5) {
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i32* %0, i32** %7
store i32 %1, i32* %8
store i32* %2, i32** %9
store i32 %3, i32* %10
store i32* %4, i32** %11
store i32 %5, i32* %12
%16 = load i32, i32* %10
%17 = load i32, i32* %8
%18 = icmp sle i32 %16, %17
br i1 %18, label %19, label %20
19: ; preds = %6
br label %24
20: ; preds = %6
%21 = load i32, i32* %10
%22 = load i32, i32* %8
%23 = sub nsw i32 %21, %22
br label %24
24: ; preds = %20, %19
%25 = phi i32 [ 0, %19 ], [ %23, %20 ]
store i32 %25, i32* %13
%26 = load i32, i32* %8
%27 = load i32, i32* %10
%28 = icmp sle i32 %26, %27
br i1 %28, label %29, label %30
29: ; preds = %24
br label %34
30: ; preds = %24
%31 = load i32, i32* %8
%32 = load i32, i32* %10
%33 = sub nsw i32 %31, %32
br label %34
34: ; preds = %30, %29
%35 = phi i32 [ 0, %29 ], [ %33, %30 ]
store i32 %35, i32* %14
%36 = load i32, i32* %12
%37 = load i32, i32* %8
%38 = sub nsw i32 %36, %37
store i32 %38, i32* %15
br label %39
39: ; preds = %73, %34
%40 = load i32, i32* %13
%41 = load i32, i32* %10
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %80
43: ; preds = %39
%44 = load i32*, i32** %11
%45 = load i32, i32* %14
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = xor i32 %48, -1
%50 = load i32*, i32** %7
%51 = load i32, i32* %14
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = and i32 %54, %49
store i32 %55, i32* %53
%56 = load i32*, i32** %9
%57 = load i32, i32* %13
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %56, i64 %58
%60 = load i32, i32* %59
%61 = load i32*, i32** %11
%62 = load i32, i32* %15
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %61, i64 %63
%65 = load i32, i32* %64
%66 = and i32 %60, %65
%67 = load i32*, i32** %7
%68 = load i32, i32* %14
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
%72 = or i32 %71, %66
store i32 %72, i32* %70
br label %73
73: ; preds = %43
%74 = load i32, i32* %13
%75 = add nsw i32 %74, 1
store i32 %75, i32* %13
%76 = load i32, i32* %14
%77 = add nsw i32 %76, 1
store i32 %77, i32* %14
%78 = load i32, i32* %15
%79 = add nsw i32 %78, 1
store i32 %79, i32* %15
br label %39
80: ; preds = %39
ret void
}

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