#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*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, float *);
int main() {
  float input, tax, increase;
  scanf("%f", &input);
  if (input <= 2000.00)
    printf("Isento\n");
  else {
    if (input > 2000.00 && input <= 3000.00) {
      increase = input - 2000.00;
      tax = increase / 100.00 * 8.00;
    } else if (input > 3000.00 && input <= 4500.00) {
      increase = input - 3000.00;
      tax = increase / 100.00 * 18.00 + 80.00;
    } else {
      increase = input - 4500.00;
      tax = increase / 100.00 * 28.00 + 350.00;
    }
    printf("R$ %.2f\n", tax);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xf12(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1040 <scanf@plt>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xeb0(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     116d <main+0x4d>
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12ef <main+0x1cf>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe82(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11f0 <main+0xd0>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe6f(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     11f0 <main+0xd0>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe4c(%rip),%xmm1
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe56(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xe62(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    12d8 <main+0x1b8>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe07(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    127f <main+0x15f>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xdf4(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     127f <main+0x15f>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdd1(%rip),%xmm1
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdd3(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xdcf(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdcb(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    12d3 <main+0x1b3>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd80(%rip),%xmm1
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd7a(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xd5e(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd5a(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    12d8 <main+0x1b8>
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xd6b(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xf10(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1050 <scanf@plt>
movss  0x4(%rsp),%xmm0
movss  0xeb0(%rip),%xmm1
ucomiss %xmm0,%xmm1
jae    1189 <main+0x59>
ucomiss 0xea4(%rip),%xmm0
jbe    1197 <main+0x67>
movss  0xe9e(%rip),%xmm1
ucomiss %xmm0,%xmm1
jb     1197 <main+0x67>
addss  0xe95(%rip),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  0xe99(%rip),%xmm0
mulsd  0xe99(%rip),%xmm0
jmp    11f7 <main+0xc7>
lea    0xec4(%rip),%rdi
call   1030 <puts@plt>
jmp    120d <main+0xdd>
ucomiss 0xe66(%rip),%xmm0
jbe    11d3 <main+0xa3>
movss  0xe64(%rip),%xmm1
ucomiss %xmm0,%xmm1
jb     11d3 <main+0xa3>
addss  0xe5b(%rip),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  0xe57(%rip),%xmm0
mulsd  0xe5f(%rip),%xmm0
addsd  0xe5f(%rip),%xmm0
jmp    11f7 <main+0xc7>
addss  0xe39(%rip),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  0xe31(%rip),%xmm0
mulsd  0xe49(%rip),%xmm0
addsd  0xe49(%rip),%xmm0
cvtsd2ss %xmm0,%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe45(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%f\00"
@.str.1 = [8 x i8] c"Isento\0A\00"
@.str.2 = [9 x i8] c"R$ %.2f\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca float
%3 = alloca float
%4 = alloca float
store i32 0, i32* %1
%5 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), float* %2)
%6 = load float, float* %2
%7 = fpext float %6 to double
%8 = fcmp ole double %7, 2.000000e+03
br i1 %8, label %9, label %11
9: ; preds = %0
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0))
br label %62
11: ; preds = %0
%12 = load float, float* %2
%13 = fpext float %12 to double
%14 = fcmp ogt double %13, 2.000000e+03
br i1 %14, label %15, label %29
15: ; preds = %11
%16 = load float, float* %2
%17 = fpext float %16 to double
%18 = fcmp ole double %17, 3.000000e+03
br i1 %18, label %19, label %29
19: ; preds = %15
%20 = load float, float* %2
%21 = fpext float %20 to double
%22 = fsub double %21, 2.000000e+03
%23 = fptrunc double %22 to float
store float %23, float* %4
%24 = load float, float* %4
%25 = fpext float %24 to double
%26 = fdiv double %25, 1.000000e+02
%27 = fmul double %26, 8.000000e+00
%28 = fptrunc double %27 to float
store float %28, float* %3
br label %58
29: ; preds = %15, %11
%30 = load float, float* %2
%31 = fpext float %30 to double
%32 = fcmp ogt double %31, 3.000000e+03
br i1 %32, label %33, label %47
33: ; preds = %29
%34 = load float, float* %2
%35 = fpext float %34 to double
%36 = fcmp ole double %35, 4.500000e+03
br i1 %36, label %37, label %47
37: ; preds = %33
%38 = load float, float* %2
%39 = fpext float %38 to double
%40 = fsub double %39, 3.000000e+03
%41 = fptrunc double %40 to float
store float %41, float* %4
%42 = load float, float* %4
%43 = fpext float %42 to double
%44 = fdiv double %43, 1.000000e+02
%45 = call double @llvm.fmuladd.f64(double %44, double 1.800000e+01, double 8.000000e+01)
%46 = fptrunc double %45 to float
store float %46, float* %3
br label %57
47: ; preds = %33, %29
%48 = load float, float* %2
%49 = fpext float %48 to double
%50 = fsub double %49, 4.500000e+03
%51 = fptrunc double %50 to float
store float %51, float* %4
%52 = load float, float* %4
%53 = fpext float %52 to double
%54 = fdiv double %53, 1.000000e+02
%55 = call double @llvm.fmuladd.f64(double %54, double 2.800000e+01, double 3.500000e+02)
%56 = fptrunc double %55 to float
store float %56, float* %3
br label %57
57: ; preds = %47, %37
br label %58
58: ; preds = %57, %19
%59 = load float, float* %3
%60 = fpext float %59 to double
%61 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), double %60)
br label %62
62: ; preds = %58, %9
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%f\00"
@.str.2 = [9 x i8] c"R$ %.2f\0A\00"
@str = [7 x i8] c"Isento\00"
define i32 @main() {
%1 = alloca float
%2 = bitcast float* %1 to i8*
%3 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), float* %1)
%4 = load float, float* %1
%5 = fcmp ugt float %4, 2.000000e+03
br i1 %5, label %8, label %6
6: ; preds = %0
%7 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @str, i64 0, i64 0))
br label %36
8: ; preds = %0
%9 = fcmp ule float %4, 2.000000e+03
%10 = fcmp ugt float %4, 3.000000e+03
%11 = or i1 %9, %10
br i1 %11, label %17, label %12
12: ; preds = %8
%13 = fadd float %4, -2.000000e+03
%14 = fpext float %13 to double
%15 = fdiv double %14, 1.000000e+02
%16 = fmul double %15, 8.000000e+00
br label %31
17: ; preds = %8
%18 = fcmp ule float %4, 3.000000e+03
%19 = fcmp ugt float %4, 4.500000e+03
%20 = or i1 %18, %19
br i1 %20, label %26, label %21
21: ; preds = %17
%22 = fadd float %4, -3.000000e+03
%23 = fpext float %22 to double
%24 = fdiv double %23, 1.000000e+02
%25 = call double @llvm.fmuladd.f64(double %24, double 1.800000e+01, double 8.000000e+01)
br label %31
26: ; preds = %17
%27 = fadd float %4, -4.500000e+03
%28 = fpext float %27 to double
%29 = fdiv double %28, 1.000000e+02
%30 = call double @llvm.fmuladd.f64(double %29, double 2.800000e+01, double 3.500000e+02)
br label %31
31: ; preds = %21, %26, %12
%32 = phi double [ %16, %12 ], [ %25, %21 ], [ %30, %26 ]
%33 = fptrunc double %32 to float
%34 = fpext float %33 to double
%35 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), double %34)
br label %36
36: ; preds = %31, %6
ret i32 0
}