#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 */
float fabsf(float const);
void softthresh_half(long N, float lambda, float *d, const float *x) {
  for (long i = 0; i < N; i++) {
    float norm = fabsf(x[i]);
    float red = norm - lambda;
    d[i] = (red > 0.) ? (red / norm) : 0.;
  }
}


x86 assembly (clang, -O0):
<softthresh_half>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movss  %xmm0,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x8(%rbp),%rax
jge    11b9 <softthresh_half+0xb9>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movaps 0xec1(%rip),%xmm1
pand   %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1185 <softthresh_half+0x85>
movss  -0x30(%rbp),%xmm0
divss  -0x2c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
jmp    1192 <softthresh_half+0x92>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
jmp    1192 <softthresh_half+0x92>
movsd  -0x38(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    111d <softthresh_half+0x1d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<softthresh_half>:
test   %rdi,%rdi
jle    1229 <softthresh_half+0x129>
cmp    $0x4,%rdi
jb     1121 <softthresh_half+0x21>
lea    (%rdx,%rdi,4),%rax
cmp    %rsi,%rax
jbe    116d <softthresh_half+0x6d>
lea    (%rsi,%rdi,4),%rax
cmp    %rdx,%rax
jbe    116d <softthresh_half+0x6d>
xor    %eax,%eax
movaps 0xed6(%rip),%xmm1
xorps  %xmm2,%xmm2
jmp    1149 <softthresh_half+0x49>
nop
xorps  %xmm3,%xmm3
cvtsd2ss %xmm5,%xmm3
movss  %xmm3,(%rsi,%rax,4)
add    $0x1,%rax
cmp    %rax,%rdi
je     1229 <softthresh_half+0x129>
movss  (%rdx,%rax,4),%xmm3
andps  %xmm1,%xmm3
movaps %xmm3,%xmm4
subss  %xmm0,%xmm4
xorps  %xmm5,%xmm5
ucomiss %xmm2,%xmm4
jbe    1130 <softthresh_half+0x30>
divss  %xmm3,%xmm4
xorps  %xmm5,%xmm5
cvtss2sd %xmm4,%xmm5
jmp    1130 <softthresh_half+0x30>
mov    %rdi,%rax
and    $0xfffffffffffffffc,%rax
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x4(%rax),%rcx
mov    %rcx,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     122a <softthresh_half+0x12a>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
movaps 0xe5d(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups (%rdx,%rcx,4),%xmm3
andps  %xmm2,%xmm3
movaps %xmm3,%xmm4
subps  %xmm1,%xmm4
xorps  %xmm5,%xmm5
cmpltps %xmm4,%xmm5
divps  %xmm3,%xmm4
andps  %xmm5,%xmm4
movups %xmm4,(%rsi,%rcx,4)
movups 0x10(%rdx,%rcx,4),%xmm3
andps  %xmm2,%xmm3
movaps %xmm3,%xmm4
subps  %xmm1,%xmm4
xorps  %xmm5,%xmm5
cmpltps %xmm4,%xmm5
divps  %xmm3,%xmm4
andps  %xmm5,%xmm4
movups %xmm4,0x10(%rsi,%rcx,4)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%r9
jne    11b0 <softthresh_half+0xb0>
test   $0x1,%r8b
je     1220 <softthresh_half+0x120>
movups (%rdx,%rcx,4),%xmm2
andps  0xdf7(%rip),%xmm2
movaps %xmm2,%xmm3
subps  %xmm1,%xmm3
xorps  %xmm1,%xmm1
cmpltps %xmm3,%xmm1
divps  %xmm2,%xmm3
andps  %xmm1,%xmm3
movups %xmm3,(%rsi,%rcx,4)
cmp    %rdi,%rax
jne    1123 <softthresh_half+0x23>
ret
xor    %ecx,%ecx
test   $0x1,%r8b
jne    11fe <softthresh_half+0xfe>
jmp    1220 <softthresh_half+0x120>

LLVM IR (-O0):
define void @softthresh_half(i64 %0, float %1, float* %2, float* %3) {
%5 = alloca i64
%6 = alloca float
%7 = alloca float*
%8 = alloca float*
%9 = alloca i64
%10 = alloca float
%11 = alloca float
store i64 %0, i64* %5
store float %1, float* %6
store float* %2, float** %7
store float* %3, float** %8
store i64 0, i64* %9
br label %12
12: ; preds = %40, %4
%13 = load i64, i64* %9
%14 = load i64, i64* %5
%15 = icmp slt i64 %13, %14
br i1 %15, label %16, label %43
16: ; preds = %12
%17 = load float*, float** %8
%18 = load i64, i64* %9
%19 = getelementptr inbounds float, float* %17, i64 %18
%20 = load float, float* %19
%21 = call float @llvm.fabs.f32(float %20)
store float %21, float* %10
%22 = load float, float* %10
%23 = load float, float* %6
%24 = fsub float %22, %23
store float %24, float* %11
%25 = load float, float* %11
%26 = fpext float %25 to double
%27 = fcmp ogt double %26, 0.000000e+00
br i1 %27, label %28, label %33
28: ; preds = %16
%29 = load float, float* %11
%30 = load float, float* %10
%31 = fdiv float %29, %30
%32 = fpext float %31 to double
br label %34
33: ; preds = %16
br label %34
34: ; preds = %33, %28
%35 = phi double [ %32, %28 ], [ 0.000000e+00, %33 ]
%36 = fptrunc double %35 to float
%37 = load float*, float** %7
%38 = load i64, i64* %9
%39 = getelementptr inbounds float, float* %37, i64 %38
store float %36, float* %39
br label %40
40: ; preds = %34
%41 = load i64, i64* %9
%42 = add nsw i64 %41, 1
store i64 %42, i64* %9
br label %12
43: ; preds = %12
ret void
}

LLVM IR (-O2):
define void @softthresh_half(i64 %0, float %1, float* nocapture writeonly %2, float* nocapture %3) {
%5 = icmp sgt i64 %0, 0
br i1 %5, label %6, label %70
6: ; preds = %4
%7 = icmp ult i64 %0, 4
br i1 %7, label %68, label %8
8: ; preds = %6
%9 = getelementptr float, float* %2, i64 %0
%10 = getelementptr float, float* %3, i64 %0
%11 = icmp ugt float* %10, %2
%12 = icmp ugt float* %9, %3
%13 = and i1 %11, %12
br i1 %13, label %68, label %14
14: ; preds = %8
%15 = and i64 %0, -4
%16 = insertelement <4 x float> poison, float %1, i64 0
%17 = shufflevector <4 x float> %16, <4 x float> poison, <4 x i32> zeroinitializer
%18 = add i64 %15, -4
%19 = lshr exact i64 %18, 2
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 1
%22 = icmp eq i64 %18, 0
br i1 %22, label %52, label %23
23: ; preds = %14
%24 = and i64 %20, 9223372036854775806
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %49, %25 ]
%27 = phi i64 [ 0, %23 ], [ %50, %25 ]
%28 = getelementptr inbounds float, float* %3, i64 %26
%29 = bitcast float* %28 to <4 x float>*
%30 = load <4 x float>, <4 x float>* %29
%31 = call <4 x float> @llvm.fabs.v4f32(<4 x float> %30)
%32 = fsub <4 x float> %31, %17
%33 = fcmp ule <4 x float> %32, zeroinitializer
%34 = fdiv <4 x float> %32, %31
%35 = select <4 x i1> %33, <4 x float> zeroinitializer, <4 x float> %34
%36 = getelementptr inbounds float, float* %2, i64 %26
%37 = bitcast float* %36 to <4 x float>*
store <4 x float> %35, <4 x float>* %37
%38 = or i64 %26, 4
%39 = getelementptr inbounds float, float* %3, i64 %38
%40 = bitcast float* %39 to <4 x float>*
%41 = load <4 x float>, <4 x float>* %40
%42 = call <4 x float> @llvm.fabs.v4f32(<4 x float> %41)
%43 = fsub <4 x float> %42, %17
%44 = fcmp ule <4 x float> %43, zeroinitializer
%45 = fdiv <4 x float> %43, %42
%46 = select <4 x i1> %44, <4 x float> zeroinitializer, <4 x float> %45
%47 = getelementptr inbounds float, float* %2, i64 %38
%48 = bitcast float* %47 to <4 x float>*
store <4 x float> %46, <4 x float>* %48
%49 = add nuw i64 %26, 8
%50 = add i64 %27, 2
%51 = icmp eq i64 %50, %24
br i1 %51, label %52, label %25
52: ; preds = %25, %14
%53 = phi i64 [ 0, %14 ], [ %49, %25 ]
%54 = icmp eq i64 %21, 0
br i1 %54, label %66, label %55
55: ; preds = %52
%56 = getelementptr inbounds float, float* %3, i64 %53
%57 = bitcast float* %56 to <4 x float>*
%58 = load <4 x float>, <4 x float>* %57
%59 = call <4 x float> @llvm.fabs.v4f32(<4 x float> %58)
%60 = fsub <4 x float> %59, %17
%61 = fcmp ule <4 x float> %60, zeroinitializer
%62 = fdiv <4 x float> %60, %59
%63 = select <4 x i1> %61, <4 x float> zeroinitializer, <4 x float> %62
%64 = getelementptr inbounds float, float* %2, i64 %53
%65 = bitcast float* %64 to <4 x float>*
store <4 x float> %63, <4 x float>* %65
br label %66
66: ; preds = %52, %55
%67 = icmp eq i64 %15, %0
br i1 %67, label %70, label %68
68: ; preds = %8, %6, %66
%69 = phi i64 [ 0, %8 ], [ 0, %6 ], [ %15, %66 ]
br label %71
70: ; preds = %81, %66, %4
ret void
71: ; preds = %68, %81
%72 = phi i64 [ %85, %81 ], [ %69, %68 ]
%73 = getelementptr inbounds float, float* %3, i64 %72
%74 = load float, float* %73
%75 = tail call float @llvm.fabs.f32(float %74)
%76 = fsub float %75, %1
%77 = fcmp ogt float %76, 0.000000e+00
br i1 %77, label %78, label %81
78: ; preds = %71
%79 = fdiv float %76, %75
%80 = fpext float %79 to double
br label %81
81: ; preds = %71, %78
%82 = phi double [ %80, %78 ], [ 0.000000e+00, %71 ]
%83 = fptrunc double %82 to float
%84 = getelementptr inbounds float, float* %2, i64 %72
store float %83, float* %84
%85 = add nuw nsw i64 %72, 1
%86 = icmp eq i64 %85, %0
br i1 %86, label %70, label %71
}