#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 */
char abs(char);
void test(char *a, char *b) {
  int i;
  for (i = 0; i < 10000; ++i)
    a[i] = abs(b[i]);
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x2710,-0x14(%rbp)
jge    1160 <test+0x50>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <abs@plt>
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1127 <test+0x17>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
lea    0x2710(%rsi),%rax
cmp    %rdi,%rax
jbe    114f <test+0x4f>
lea    0x2710(%rdi),%rax
cmp    %rsi,%rax
jbe    114f <test+0x4f>
mov    $0x1,%eax
nopl   (%rax)
movzbl -0x1(%rsi,%rax,1),%ecx
mov    %ecx,%edx
sar    $0x7,%dl
add    %dl,%cl
xor    %dl,%cl
mov    %cl,-0x1(%rdi,%rax,1)
movzbl (%rsi,%rax,1),%ecx
mov    %ecx,%edx
sar    $0x7,%dl
add    %dl,%cl
xor    %dl,%cl
mov    %cl,(%rdi,%rax,1)
add    $0x2,%rax
cmp    $0x2711,%rax
jne    1120 <test+0x20>
ret
mov    $0x30,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x30(%rsi,%rax,1),%xmm0
movdqu -0x20(%rsi,%rax,1),%xmm1
pxor   %xmm2,%xmm2
psubb  %xmm0,%xmm2
pminub %xmm0,%xmm2
pxor   %xmm0,%xmm0
psubb  %xmm1,%xmm0
pminub %xmm1,%xmm0
movdqu %xmm2,-0x30(%rdi,%rax,1)
movdqu %xmm0,-0x20(%rdi,%rax,1)
movdqu -0x10(%rsi,%rax,1),%xmm0
movdqu (%rsi,%rax,1),%xmm1
pxor   %xmm2,%xmm2
psubb  %xmm0,%xmm2
pminub %xmm0,%xmm2
pxor   %xmm0,%xmm0
psubb  %xmm1,%xmm0
pminub %xmm1,%xmm0
movdqu %xmm2,-0x10(%rdi,%rax,1)
movdqu %xmm0,(%rdi,%rax,1)
add    $0x40,%rax
cmp    $0x2730,%rax
jne    1160 <test+0x60>
movq   0x2700(%rsi),%xmm0
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
psubb  %xmm0,%xmm2
pminub %xmm0,%xmm2
movq   %xmm2,0x2700(%rdi)
movq   0x2708(%rsi),%xmm0
psubb  %xmm0,%xmm1
pminub %xmm0,%xmm1
movq   %xmm1,0x2708(%rdi)
ret

LLVM IR (-O0):
define void @test(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %5
br label %6
6: ; preds = %20, %2
%7 = load i32, i32* %5
%8 = icmp slt i32 %7, 10000
br i1 %8, label %9, label %23
9: ; preds = %6
%10 = load i8*, i8** %4
%11 = load i32, i32* %5
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %10, i64 %12
%14 = load i8, i8* %13
%15 = call signext i8 @abs(i8 signext %14)
%16 = load i8*, i8** %3
%17 = load i32, i32* %5
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
store i8 %15, i8* %19
br label %20
20: ; preds = %9
%21 = load i32, i32* %5
%22 = add nsw i32 %21, 1
store i32 %22, i32* %5
br label %6
23: ; preds = %6
ret void
}

LLVM IR (-O2):
define void @test(i8* nocapture writeonly %0, i8* nocapture %1) {
%3 = getelementptr i8, i8* %0, i64 10000
%4 = getelementptr i8, i8* %1, i64 10000
%5 = icmp ugt i8* %4, %0
%6 = icmp ugt i8* %3, %1
%7 = and i1 %5, %6
br i1 %7, label %50, label %8
8: ; preds = %2, %8
%9 = phi i64 [ %35, %8 ], [ 0, %2 ]
%10 = getelementptr inbounds i8, i8* %1, i64 %9
%11 = bitcast i8* %10 to <16 x i8>*
%12 = load <16 x i8>, <16 x i8>* %11
%13 = getelementptr inbounds i8, i8* %10, i64 16
%14 = bitcast i8* %13 to <16 x i8>*
%15 = load <16 x i8>, <16 x i8>* %14
%16 = call <16 x i8> @llvm.abs.v16i8(<16 x i8> %12, i1 true)
%17 = call <16 x i8> @llvm.abs.v16i8(<16 x i8> %15, i1 true)
%18 = getelementptr inbounds i8, i8* %0, i64 %9
%19 = bitcast i8* %18 to <16 x i8>*
store <16 x i8> %16, <16 x i8>* %19
%20 = getelementptr inbounds i8, i8* %18, i64 16
%21 = bitcast i8* %20 to <16 x i8>*
store <16 x i8> %17, <16 x i8>* %21
%22 = or i64 %9, 32
%23 = getelementptr inbounds i8, i8* %1, i64 %22
%24 = bitcast i8* %23 to <16 x i8>*
%25 = load <16 x i8>, <16 x i8>* %24
%26 = getelementptr inbounds i8, i8* %23, i64 16
%27 = bitcast i8* %26 to <16 x i8>*
%28 = load <16 x i8>, <16 x i8>* %27
%29 = call <16 x i8> @llvm.abs.v16i8(<16 x i8> %25, i1 true)
%30 = call <16 x i8> @llvm.abs.v16i8(<16 x i8> %28, i1 true)
%31 = getelementptr inbounds i8, i8* %0, i64 %22
%32 = bitcast i8* %31 to <16 x i8>*
store <16 x i8> %29, <16 x i8>* %32
%33 = getelementptr inbounds i8, i8* %31, i64 16
%34 = bitcast i8* %33 to <16 x i8>*
store <16 x i8> %30, <16 x i8>* %34
%35 = add nuw nsw i64 %9, 64
%36 = icmp eq i64 %35, 9984
br i1 %36, label %37, label %8
37: ; preds = %8
%38 = getelementptr inbounds i8, i8* %1, i64 9984
%39 = bitcast i8* %38 to <8 x i8>*
%40 = load <8 x i8>, <8 x i8>* %39
%41 = call <8 x i8> @llvm.abs.v8i8(<8 x i8> %40, i1 true)
%42 = getelementptr inbounds i8, i8* %0, i64 9984
%43 = bitcast i8* %42 to <8 x i8>*
store <8 x i8> %41, <8 x i8>* %43
%44 = getelementptr inbounds i8, i8* %1, i64 9992
%45 = bitcast i8* %44 to <8 x i8>*
%46 = load <8 x i8>, <8 x i8>* %45
%47 = call <8 x i8> @llvm.abs.v8i8(<8 x i8> %46, i1 true)
%48 = getelementptr inbounds i8, i8* %0, i64 9992
%49 = bitcast i8* %48 to <8 x i8>*
store <8 x i8> %47, <8 x i8>* %49
br label %63
50: ; preds = %2, %50
%51 = phi i64 [ %61, %50 ], [ 0, %2 ]
%52 = getelementptr inbounds i8, i8* %1, i64 %51
%53 = load i8, i8* %52
%54 = tail call i8 @llvm.abs.i8(i8 %53, i1 true)
%55 = getelementptr inbounds i8, i8* %0, i64 %51
store i8 %54, i8* %55
%56 = or i64 %51, 1
%57 = getelementptr inbounds i8, i8* %1, i64 %56
%58 = load i8, i8* %57
%59 = tail call i8 @llvm.abs.i8(i8 %58, i1 true)
%60 = getelementptr inbounds i8, i8* %0, i64 %56
store i8 %59, i8* %60
%61 = add nuw nsw i64 %51, 2
%62 = icmp eq i64 %61, 10000
br i1 %62, label %63, label %50
63: ; preds = %50, %37
ret void
}