#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(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) * x[i] : 0.;
  }
}


x86 assembly (clang, -O0):
<softthresh>:
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    11c6 <softthresh+0xc6>
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    1192 <softthresh+0x92>
movss  -0x30(%rbp),%xmm0
divss  -0x2c(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
jmp    119f <softthresh+0x9f>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
jmp    119f <softthresh+0x9f>
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+0x1d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<softthresh>:
test   %rdi,%rdi
jle    123b <softthresh+0x13b>
cmp    $0x4,%rdi
jb     1121 <softthresh+0x21>
lea    (%rdx,%rdi,4),%rax
cmp    %rsi,%rax
jbe    1174 <softthresh+0x74>
lea    (%rsi,%rdi,4),%rax
cmp    %rdx,%rax
jbe    1174 <softthresh+0x74>
xor    %eax,%eax
movaps 0xed6(%rip),%xmm1
xorps  %xmm2,%xmm2
jmp    1149 <softthresh+0x49>
nop
xorps  %xmm3,%xmm3
cvtsd2ss %xmm6,%xmm3
movss  %xmm3,(%rsi,%rax,4)
add    $0x1,%rax
cmp    %rax,%rdi
je     123b <softthresh+0x13b>
movss  (%rdx,%rax,4),%xmm3
movaps %xmm3,%xmm4
andps  %xmm1,%xmm4
movaps %xmm4,%xmm5
subss  %xmm0,%xmm5
xorps  %xmm6,%xmm6
ucomiss %xmm2,%xmm5
jbe    1130 <softthresh+0x30>
divss  %xmm4,%xmm5
mulss  %xmm5,%xmm3
xorps  %xmm6,%xmm6
cvtss2sd %xmm3,%xmm6
jmp    1130 <softthresh+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     123c <softthresh+0x13c>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
movaps 0xe56(%rip),%xmm2
nopw   0x0(%rax,%rax,1)
movups (%rdx,%rcx,4),%xmm3
movaps %xmm3,%xmm4
andps  %xmm2,%xmm4
movaps %xmm4,%xmm5
subps  %xmm1,%xmm5
xorps  %xmm6,%xmm6
cmpltps %xmm5,%xmm6
divps  %xmm4,%xmm5
mulps  %xmm3,%xmm5
andps  %xmm6,%xmm5
movups %xmm5,(%rsi,%rcx,4)
movups 0x10(%rdx,%rcx,4),%xmm3
movaps %xmm3,%xmm4
andps  %xmm2,%xmm4
movaps %xmm4,%xmm5
subps  %xmm1,%xmm5
xorps  %xmm6,%xmm6
cmpltps %xmm5,%xmm6
divps  %xmm4,%xmm5
mulps  %xmm3,%xmm5
andps  %xmm6,%xmm5
movups %xmm5,0x10(%rsi,%rcx,4)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%r9
jne    11b0 <softthresh+0xb0>
test   $0x1,%r8b
je     1232 <softthresh+0x132>
movups (%rdx,%rcx,4),%xmm2
movaps 0xdeb(%rip),%xmm3
andps  %xmm2,%xmm3
movaps %xmm3,%xmm4
subps  %xmm1,%xmm4
xorps  %xmm1,%xmm1
cmpltps %xmm4,%xmm1
divps  %xmm3,%xmm4
mulps  %xmm2,%xmm4
andps  %xmm1,%xmm4
movups %xmm4,(%rsi,%rcx,4)
cmp    %rdi,%rax
jne    1123 <softthresh+0x23>
ret
xor    %ecx,%ecx
test   $0x1,%r8b
jne    120a <softthresh+0x10a>
jmp    1232 <softthresh+0x132>

LLVM IR (-O0):
define void @softthresh(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 = %45, %4
%13 = load i64, i64* %9
%14 = load i64, i64* %5
%15 = icmp slt i64 %13, %14
br i1 %15, label %16, label %48
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 %38
28: ; preds = %16
%29 = load float, float* %11
%30 = load float, float* %10
%31 = fdiv float %29, %30
%32 = load float*, float** %8
%33 = load i64, i64* %9
%34 = getelementptr inbounds float, float* %32, i64 %33
%35 = load float, float* %34
%36 = fmul float %31, %35
%37 = fpext float %36 to double
br label %39
38: ; preds = %16
br label %39
39: ; preds = %38, %28
%40 = phi double [ %37, %28 ], [ 0.000000e+00, %38 ]
%41 = fptrunc double %40 to float
%42 = load float*, float** %7
%43 = load i64, i64* %9
%44 = getelementptr inbounds float, float* %42, i64 %43
store float %41, float* %44
br label %45
45: ; preds = %39
%46 = load i64, i64* %9
%47 = add nsw i64 %46, 1
store i64 %47, i64* %9
br label %12
48: ; preds = %12
ret void
}

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