void foo(unsigned char *a, unsigned char *b, unsigned char *c, int size) {
  int i;
  for (i = 0; i < size; i++)
    a[i] = (unsigned char)((unsigned int)1 + b[i] * c[i] * 117);
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1162 <foo+0x62>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
imul   %ecx,%eax
imul   $0x75,%eax,%eax
add    $0x1,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    111a <foo+0x1a>
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %rbx
test   %ecx,%ecx
jle    1176 <foo+0x76>
mov    %ecx,%r8d
cmp    $0x8,%ecx
jae    1179 <foo+0x79>
xor    %r9d,%r9d
mov    %r9,%rcx
not    %rcx
test   $0x1,%r8b
je     1135 <foo+0x35>
mov    (%rsi,%r9,1),%al
mulb   (%rdx,%r9,1)
movzbl %al,%eax
imul   $0x75,%eax,%eax
add    $0x1,%al
mov    %al,(%rdi,%r9,1)
or     $0x1,%r9
add    %r8,%rcx
je     1176 <foo+0x76>
nopw   0x0(%rax,%rax,1)
movzbl (%rsi,%r9,1),%eax
mulb   (%rdx,%r9,1)
movzbl %al,%eax
imul   $0x75,%eax,%eax
add    $0x1,%al
mov    %al,(%rdi,%r9,1)
movzbl 0x1(%rsi,%r9,1),%eax
mulb   0x1(%rdx,%r9,1)
movzbl %al,%eax
imul   $0x75,%eax,%eax
add    $0x1,%al
mov    %al,0x1(%rdi,%r9,1)
add    $0x2,%r9
cmp    %r9,%r8
jne    1140 <foo+0x40>
pop    %rbx
pop    %rbp
ret
lea    (%rdi,%r8,1),%r9
lea    (%rsi,%r8,1),%rax
cmp    %rdi,%rax
seta   %bpl
lea    (%rdx,%r8,1),%rax
cmp    %rsi,%r9
seta   %bl
cmp    %rdi,%rax
seta   %r11b
cmp    %rdx,%r9
seta   %r10b
xor    %r9d,%r9d
test   %bl,%bpl
jne    1111 <foo+0x11>
and    %r10b,%r11b
jne    1111 <foo+0x11>
cmp    $0x10,%ecx
jae    1222 <foo+0x122>
xor    %r9d,%r9d
mov    %r9,%rax
mov    %r8d,%r9d
and    $0xfffffff8,%r9d
movdqa 0xe41(%rip),%xmm0
movdqa 0xe29(%rip),%xmm1
pcmpeqd %xmm2,%xmm2
nopl   0x0(%rax,%rax,1)
movq   (%rsi,%rax,1),%xmm3
punpcklbw %xmm3,%xmm3
movq   (%rdx,%rax,1),%xmm4
punpcklbw %xmm4,%xmm4
pmullw %xmm3,%xmm4
pmullw %xmm0,%xmm4
pand   %xmm1,%xmm4
packuswb %xmm4,%xmm4
psubb  %xmm2,%xmm4
movq   %xmm4,(%rdi,%rax,1)
add    $0x8,%rax
cmp    %rax,%r9
jne    11e0 <foo+0xe0>
cmp    %r8,%r9
jne    1111 <foo+0x11>
jmp    1176 <foo+0x76>
mov    %r8d,%r9d
and    $0xfffffff0,%r9d
lea    -0x10(%r9),%rax
mov    %rax,%r10
shr    $0x4,%r10
add    $0x1,%r10
test   %rax,%rax
je     1378 <foo+0x278>
mov    %r10,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
movdqa 0xdae(%rip),%xmm0
movdqa 0xdb6(%rip),%xmm1
pcmpeqd %xmm2,%xmm2
xchg   %ax,%ax
movdqu (%rsi,%rax,1),%xmm3
movdqu (%rdx,%rax,1),%xmm4
movdqa %xmm4,%xmm5
punpcklbw %xmm5,%xmm5
movdqa %xmm3,%xmm6
punpcklbw %xmm6,%xmm6
pmullw %xmm5,%xmm6
punpckhbw %xmm4,%xmm4
punpckhbw %xmm3,%xmm3
pmullw %xmm4,%xmm3
pmullw %xmm1,%xmm3
pand   %xmm0,%xmm3
pmullw %xmm1,%xmm6
pand   %xmm0,%xmm6
packuswb %xmm3,%xmm6
psubb  %xmm2,%xmm6
movdqu %xmm6,(%rdi,%rax,1)
movdqu 0x10(%rsi,%rax,1),%xmm3
movdqu 0x10(%rdx,%rax,1),%xmm4
movdqa %xmm4,%xmm5
punpcklbw %xmm5,%xmm5
movdqa %xmm3,%xmm6
punpcklbw %xmm6,%xmm6
pmullw %xmm5,%xmm6
punpckhbw %xmm4,%xmm4
punpckhbw %xmm3,%xmm3
pmullw %xmm4,%xmm3
pmullw %xmm1,%xmm3
pand   %xmm0,%xmm3
pmullw %xmm1,%xmm6
pand   %xmm0,%xmm6
packuswb %xmm3,%xmm6
psubb  %xmm2,%xmm6
movdqu %xmm6,0x10(%rdi,%rax,1)
add    $0x20,%rax
add    $0xfffffffffffffffe,%rcx
jne    1260 <foo+0x160>
test   $0x1,%r10b
je     1360 <foo+0x260>
movdqu (%rsi,%rax,1),%xmm0
movdqu (%rdx,%rax,1),%xmm1
movdqa %xmm1,%xmm2
punpcklbw %xmm2,%xmm2
movdqa %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
pmullw %xmm2,%xmm3
punpckhbw %xmm1,%xmm1
punpckhbw %xmm0,%xmm0
pmullw %xmm1,%xmm0
movdqa 0xcc9(%rip),%xmm1
movdqa 0xcd1(%rip),%xmm2
pmullw %xmm2,%xmm0
pand   %xmm1,%xmm0
pmullw %xmm2,%xmm3
pand   %xmm1,%xmm3
packuswb %xmm0,%xmm3
pcmpeqd %xmm0,%xmm0
psubb  %xmm0,%xmm3
movdqu %xmm3,(%rdi,%rax,1)
cmp    %r8,%r9
je     1176 <foo+0x76>
test   $0x8,%r8b
je     1111 <foo+0x11>
jmp    11bd <foo+0xbd>
xor    %eax,%eax
test   $0x1,%r10b
jne    1305 <foo+0x205>
jmp    1360 <foo+0x260>

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

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