#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 */
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ printf(char *);
char check0(float a, float b, float c) {
  char check = 'x';
  if (a == 0)
    check = 'a';
  if (b == 0)
    check = 'b';
  if (c == 0)
    check = 'c';
  if (check == 'x') {
    printf("Input Error, check usage!\n");
    exit(1);
  }
  return (check);
}


x86 assembly (clang, -O0):
<check0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movb   $0x78,-0xd(%rbp)
movss  -0x4(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1156 <check0+0x36>
jp     1156 <check0+0x36>
movb   $0x61,-0xd(%rbp)
movss  -0x8(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1171 <check0+0x51>
jp     1171 <check0+0x51>
movb   $0x62,-0xd(%rbp)
movss  -0xc(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    118c <check0+0x6c>
jp     118c <check0+0x6c>
movb   $0x63,-0xd(%rbp)
movsbl -0xd(%rbp),%eax
cmp    $0x78,%eax
jne    11af <check0+0x8f>
lea    0xe60(%rip),%rdi
call   1030 <printf@plt>
mov    $0x1,%edi
call   1040 <exit@plt>
movsbl -0xd(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check0>:
xorps  %xmm3,%xmm3
ucomiss %xmm3,%xmm0
setnp  %al
sete   %cl
test   %al,%cl
mov    $0x61,%eax
mov    $0x78,%ecx
cmovne %eax,%ecx
ucomiss %xmm3,%xmm1
mov    $0x62,%edx
cmovne %ecx,%edx
cmovp  %ecx,%edx
ucomiss %xmm3,%xmm2
mov    $0x63,%eax
cmovne %edx,%eax
cmovp  %edx,%eax
cmp    $0x78,%al
je     115c <check0+0x3c>
ret
push   %rax
lea    0xe9c(%rip),%rdi
call   1030 <puts@plt>
mov    $0x1,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@.str = [27 x i8] c"Input Error, check usage!\0A\00"
define signext i8 @check0(float %0, float %1, float %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca i8
store float %0, float* %4
store float %1, float* %5
store float %2, float* %6
store i8 120, i8* %7
%8 = load float, float* %4
%9 = fcmp oeq float %8, 0.000000e+00
br i1 %9, label %10, label %11
10: ; preds = %3
store i8 97, i8* %7
br label %11
11: ; preds = %10, %3
%12 = load float, float* %5
%13 = fcmp oeq float %12, 0.000000e+00
br i1 %13, label %14, label %15
14: ; preds = %11
store i8 98, i8* %7
br label %15
15: ; preds = %14, %11
%16 = load float, float* %6
%17 = fcmp oeq float %16, 0.000000e+00
br i1 %17, label %18, label %19
18: ; preds = %15
store i8 99, i8* %7
br label %19
19: ; preds = %18, %15
%20 = load i8, i8* %7
%21 = sext i8 %20 to i32
%22 = icmp eq i32 %21, 120
br i1 %22, label %23, label %26
23: ; preds = %19
%24 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
%25 = call i32 @exit(i32 1)
unreachable
26: ; preds = %19
%27 = load i8, i8* %7
ret i8 %27
}

LLVM IR (-O2):
@str = [26 x i8] c"Input Error, check usage!\00"
define signext i8 @check0(float %0, float %1, float %2) {
%4 = fcmp oeq float %0, 0.000000e+00
%5 = select i1 %4, i8 97, i8 120
%6 = fcmp oeq float %1, 0.000000e+00
%7 = select i1 %6, i8 98, i8 %5
%8 = fcmp oeq float %2, 0.000000e+00
%9 = select i1 %8, i8 99, i8 %7
%10 = icmp eq i8 %9, 120
br i1 %10, label %11, label %14
11: ; preds = %3
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str, i64 0, i64 0))
%13 = tail call i32 @exit(i32 1)
unreachable
14: ; preds = %3
ret i8 %9
}