#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 *, float);
void Print_Results(float AssessedValue, float TaxableAmt, float PrptyTax) {
  float TaxRateFormatted;
  TaxRateFormatted = 0.0105 * 100;
  printf("\nAssessed Value:\t\t$%1.2f", AssessedValue);
  printf("\nTaxable Amount:\t\t$%1.2f", TaxableAmt);
  printf("\nTax Rate for:\t\t$ 1.2f%%", TaxRateFormatted);
  printf("\nProperty Tax:\t\t$%1.2f\n\n", PrptyTax);
  return;
}


x86 assembly (clang, -O0):
<Print_Results>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  0xed1(%rip),%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x4(%rbp),%xmm0
lea    0xec4(%rip),%rdi
call   1030 <printf@plt>
movss  -0x8(%rbp),%xmm0
lea    0xecc(%rip),%rdi
call   1030 <printf@plt>
movss  -0x10(%rbp),%xmm0
lea    0xed4(%rip),%rdi
call   1030 <printf@plt>
movss  -0xc(%rbp),%xmm0
lea    0xedc(%rip),%rdi
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Print_Results>:
push   %rax
movss  %xmm2,0x4(%rsp)
movss  %xmm1,(%rsp)
lea    0xee1(%rip),%rdi
call   1030 <printf@plt>
lea    0xeee(%rip),%rdi
movss  (%rsp),%xmm0
call   1030 <printf@plt>
lea    0xef6(%rip),%rdi
movss  0xeb8(%rip),%xmm0
call   1030 <printf@plt>
lea    0xefb(%rip),%rdi
movss  0x4(%rsp),%xmm0
pop    %rax
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [25 x i8] c"\0AAssessed Value:\09\09$%1.2f\00"
@.str.1 = [25 x i8] c"\0ATaxable Amount:\09\09$%1.2f\00"
@.str.2 = [25 x i8] c"\0ATax Rate for:\09\09$ 1.2f%%\00"
@.str.3 = [25 x i8] c"\0AProperty Tax:\09\09$%1.2f\0A\0A\00"
define void @Print_Results(float %0, float %1, float %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca float
store float %0, float* %4
store float %1, float* %5
store float %2, float* %6
store float 0x3FF0CCCCC0000000, float* %7
%8 = load float, float* %4
%9 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), float %8)
%10 = load float, float* %5
%11 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), float %10)
%12 = load float, float* %7
%13 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.2, i64 0, i64 0), float %12)
%14 = load float, float* %6
%15 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.3, i64 0, i64 0), float %14)
ret void
}

LLVM IR (-O2):
@.str = [25 x i8] c"\0AAssessed Value:\09\09$%1.2f\00"
@.str.1 = [25 x i8] c"\0ATaxable Amount:\09\09$%1.2f\00"
@.str.2 = [25 x i8] c"\0ATax Rate for:\09\09$ 1.2f%%\00"
@.str.3 = [25 x i8] c"\0AProperty Tax:\09\09$%1.2f\0A\0A\00"
define void @Print_Results(float %0, float %1, float %2) {
%4 = tail call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), float %0)
%5 = tail call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), float %1)
%6 = tail call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.2, i64 0, i64 0), float 0x3FF0CCCCC0000000)
%7 = tail call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.3, i64 0, i64 0), float %2)
ret void
}