#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 fabs(float);
void couple_lossless(float A, float B, float *qA, float *qB) {
  int test1 = fabs(*qA) > fabs(*qB);
  test1 -= fabs(*qA) < fabs(*qB);
  if (!test1)
    test1 = ((fabs(A) > fabs(B)) << 1) - 1;
  if (test1 == 1) {
    *qB = (*qA > 0.f ? *qA - *qB : *qB - *qA);
  } else {
    float temp = *qB;
    *qB = (*qB > 0.f ? *qA - *qB : *qB - *qA);
    *qA = temp;
  }
  if (*qB > fabs(*qA) * 1.9999f) {
    *qB = -fabs(*qA) * 2.f;
    *qA = -*qA;
  }
}


x86 assembly (clang, -O0):
<couple_lossless>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movaps %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movss  -0x24(%rbp),%xmm1
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    11d5 <couple_lossless+0xc5>
movss  -0x4(%rbp),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x2c(%rbp)
movss  -0x8(%rbp),%xmm0
call   1030 <fabs@plt>
movaps %xmm0,%xmm1
movss  -0x2c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
shl    $0x1,%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    1234 <couple_lossless+0x124>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    120d <couple_lossless+0xfd>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
jmp    1222 <couple_lossless+0x112>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
jmp    129e <couple_lossless+0x18e>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    126f <couple_lossless+0x15f>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    1284 <couple_lossless+0x174>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movaps %xmm0,%xmm1
movss  -0x38(%rbp),%xmm0
movss  0xd38(%rip),%xmm2
mulss  %xmm2,%xmm1
ucomiss %xmm1,%xmm0
jbe    1320 <couple_lossless+0x210>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabs@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  0xd0d(%rip),%xmm1
mulss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<couple_lossless>:
movss  (%rdi),%xmm4
movaps 0xef5(%rip),%xmm5
movaps %xmm4,%xmm6
andps  %xmm5,%xmm6
movss  (%rsi),%xmm3
movaps %xmm3,%xmm2
andps  %xmm5,%xmm2
xor    %eax,%eax
ucomiss %xmm2,%xmm6
seta   %al
xor    %ecx,%ecx
ucomiss %xmm6,%xmm2
seta   %cl
sub    %ecx,%eax
cmp    $0x1,%eax
je     1141 <couple_lossless+0x41>
test   %eax,%eax
jne    116e <couple_lossless+0x6e>
andps  %xmm5,%xmm0
andps  %xmm5,%xmm1
ucomiss %xmm1,%xmm0
jbe    116e <couple_lossless+0x6e>
movaps %xmm4,%xmm1
subss  %xmm3,%xmm1
subss  %xmm4,%xmm3
xorps  %xmm0,%xmm0
cmpltss %xmm4,%xmm0
andps  %xmm0,%xmm1
andnps %xmm3,%xmm0
orps   %xmm1,%xmm0
movss  %xmm0,(%rsi)
movss  (%rdi),%xmm2
andps  0xe94(%rip),%xmm2
jmp    1196 <couple_lossless+0x96>
movaps %xmm3,%xmm0
subss  %xmm4,%xmm0
subss  %xmm3,%xmm4
xorps  %xmm1,%xmm1
cmpltss %xmm3,%xmm1
andps  %xmm1,%xmm4
andnps %xmm0,%xmm1
orps   %xmm4,%xmm1
movss  %xmm1,(%rsi)
movss  %xmm3,(%rdi)
movss  (%rsi),%xmm0
movss  0xe82(%rip),%xmm1
mulss  %xmm2,%xmm1
ucomiss %xmm1,%xmm0
jbe    11c2 <couple_lossless+0xc2>
mulss  0xe75(%rip),%xmm2
movss  %xmm2,(%rsi)
movss  (%rdi),%xmm0
xorps  0xe52(%rip),%xmm0
movss  %xmm0,(%rdi)
ret

LLVM IR (-O0):
define void @couple_lossless(float %0, float %1, float* %2, float* %3) {
%5 = alloca float
%6 = alloca float
%7 = alloca float*
%8 = alloca float*
%9 = alloca i32
%10 = alloca float
store float %0, float* %5
store float %1, float* %6
store float* %2, float** %7
store float* %3, float** %8
%11 = load float*, float** %7
%12 = load float, float* %11
%13 = call float @fabs(float %12)
%14 = load float*, float** %8
%15 = load float, float* %14
%16 = call float @fabs(float %15)
%17 = fcmp ogt float %13, %16
%18 = zext i1 %17 to i32
store i32 %18, i32* %9
%19 = load float*, float** %7
%20 = load float, float* %19
%21 = call float @fabs(float %20)
%22 = load float*, float** %8
%23 = load float, float* %22
%24 = call float @fabs(float %23)
%25 = fcmp olt float %21, %24
%26 = zext i1 %25 to i32
%27 = load i32, i32* %9
%28 = sub nsw i32 %27, %26
store i32 %28, i32* %9
%29 = load i32, i32* %9
%30 = icmp ne i32 %29, 0
br i1 %30, label %40, label %31
31: ; preds = %4
%32 = load float, float* %5
%33 = call float @fabs(float %32)
%34 = load float, float* %6
%35 = call float @fabs(float %34)
%36 = fcmp ogt float %33, %35
%37 = zext i1 %36 to i32
%38 = shl i32 %37, 1
%39 = sub nsw i32 %38, 1
store i32 %39, i32* %9
br label %40
40: ; preds = %31, %4
%41 = load i32, i32* %9
%42 = icmp eq i32 %41, 1
br i1 %42, label %43, label %62
43: ; preds = %40
%44 = load float*, float** %7
%45 = load float, float* %44
%46 = fcmp ogt float %45, 0.000000e+00
br i1 %46, label %47, label %53
47: ; preds = %43
%48 = load float*, float** %7
%49 = load float, float* %48
%50 = load float*, float** %8
%51 = load float, float* %50
%52 = fsub float %49, %51
br label %59
53: ; preds = %43
%54 = load float*, float** %8
%55 = load float, float* %54
%56 = load float*, float** %7
%57 = load float, float* %56
%58 = fsub float %55, %57
br label %59
59: ; preds = %53, %47
%60 = phi float [ %52, %47 ], [ %58, %53 ]
%61 = load float*, float** %8
store float %60, float* %61
br label %85
62: ; preds = %40
%63 = load float*, float** %8
%64 = load float, float* %63
store float %64, float* %10
%65 = load float*, float** %8
%66 = load float, float* %65
%67 = fcmp ogt float %66, 0.000000e+00
br i1 %67, label %68, label %74
68: ; preds = %62
%69 = load float*, float** %7
%70 = load float, float* %69
%71 = load float*, float** %8
%72 = load float, float* %71
%73 = fsub float %70, %72
br label %80
74: ; preds = %62
%75 = load float*, float** %8
%76 = load float, float* %75
%77 = load float*, float** %7
%78 = load float, float* %77
%79 = fsub float %76, %78
br label %80
80: ; preds = %74, %68
%81 = phi float [ %73, %68 ], [ %79, %74 ]
%82 = load float*, float** %8
store float %81, float* %82
%83 = load float, float* %10
%84 = load float*, float** %7
store float %83, float* %84
br label %85
85: ; preds = %80, %59
%86 = load float*, float** %8
%87 = load float, float* %86
%88 = load float*, float** %7
%89 = load float, float* %88
%90 = call float @fabs(float %89)
%91 = fmul float %90, 0x3FFFFF9720000000
%92 = fcmp ogt float %87, %91
br i1 %92, label %93, label %104
93: ; preds = %85
%94 = load float*, float** %7
%95 = load float, float* %94
%96 = call float @fabs(float %95)
%97 = fneg float %96
%98 = fmul float %97, 2.000000e+00
%99 = load float*, float** %8
store float %98, float* %99
%100 = load float*, float** %7
%101 = load float, float* %100
%102 = fneg float %101
%103 = load float*, float** %7
store float %102, float* %103
br label %104
104: ; preds = %93, %85
ret void
}

LLVM IR (-O2):
define void @couple_lossless(float %0, float %1, float* nocapture %2, float* nocapture %3) {
%5 = load float, float* %2
%6 = tail call float @llvm.fabs.f32(float %5)
%7 = load float, float* %3
%8 = tail call float @llvm.fabs.f32(float %7)
%9 = fcmp ogt float %6, %8
%10 = zext i1 %9 to i32
%11 = fcmp olt float %6, %8
%12 = sext i1 %11 to i32
%13 = add nsw i32 %12, %10
switch i32 %13, label %25 [
i32 0, label %14
i32 1, label %18
]
14: ; preds = %4
%15 = tail call float @llvm.fabs.f32(float %0)
%16 = tail call float @llvm.fabs.f32(float %1)
%17 = fcmp ogt float %15, %16
br i1 %17, label %18, label %25
18: ; preds = %4, %14
%19 = fcmp ogt float %5, 0.000000e+00
%20 = fsub float %5, %7
%21 = fsub float %7, %5
%22 = select i1 %19, float %20, float %21
store float %22, float* %3
%23 = load float, float* %2
%24 = tail call float @llvm.fabs.f32(float %23)
br label %31
25: ; preds = %4, %14
%26 = fcmp ogt float %7, 0.000000e+00
%27 = fsub float %5, %7
%28 = fsub float %7, %5
%29 = select i1 %26, float %27, float %28
store float %29, float* %3
store float %7, float* %2
%30 = load float, float* %3
br label %31
31: ; preds = %25, %18
%32 = phi float [ %8, %25 ], [ %24, %18 ]
%33 = phi float [ %30, %25 ], [ %22, %18 ]
%34 = fmul float %32, 0x3FFFFF9720000000
%35 = fcmp ogt float %33, %34
br i1 %35, label %36, label %40
36: ; preds = %31
%37 = fmul float %32, -2.000000e+00
store float %37, float* %3
%38 = load float, float* %2
%39 = fneg float %38
store float %39, float* %2
br label %40
40: ; preds = %36, %31
ret void
}