#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*/ puts(char *);
int /*<<< orphan*/ scanf(char *, float *);
int main(void) {
  float spesaAlloggio = 0;
  float spesaGeneriAlimentari = 0;
  float spesaAbbigliamento = 0;
  float spesaEducazione = 0;
  float spesaAssistenzaSanitaria = 0;
  float spesaVacanze = 0;
  float spesaTotale;
  float importoTasse;
  float spesaFinale;
  do {
    printf("%s", "Inserire l'ammontare delle spese per l'Alloggio: $");
    scanf("%f", &spesaAlloggio);
  } while (spesaAlloggio < 0);
  do {
    printf("%s", "Inserire l'ammontare delle spese per l'acquisto dei generi "
                 "alimentari: $");
    scanf("%f", &spesaGeneriAlimentari);
  } while (spesaGeneriAlimentari < 0);
  do {
    printf("%s", "Inserire l'ammontare delle spese per l'abbigliamento: $");
    scanf("%f", &spesaAbbigliamento);
  } while (spesaAbbigliamento < 0);
  do {
    printf("%s", "Inserire l'ammontare delle spese per l'educazione: $");
    scanf("%f", &spesaEducazione);
  } while (spesaEducazione < 0);
  do {
    printf("%s",
           "Inserire l'ammontare delle spese per l'assistenza sanitaria: $");
    scanf("%f", &spesaAssistenzaSanitaria);
  } while (spesaAssistenzaSanitaria < 0);
  do {
    printf("%s", "Inserire l'ammontare delle spese per le vacanze: $");
    scanf("%f", &spesaVacanze);
  } while (spesaVacanze < 0);
  spesaTotale = (spesaAlloggio + spesaGeneriAlimentari + spesaAbbigliamento +
                 spesaEducazione + spesaAssistenzaSanitaria + spesaVacanze);
  importoTasse = (spesaTotale * 27 / 100);
  spesaFinale = (spesaTotale + importoTasse);
  printf("%s", "Nel caso fosse adorrata la tassazione equa, i cittadini con le "
               "seguenti spese:\n");
  printf("Spese per l'Alloggio: \t\t\t\t$%.2f\n", spesaAlloggio);
  printf("spese per l'acquisto dei generi alimentari: \t$%.2f\n",
         spesaGeneriAlimentari);
  printf("spese per l'abbigliamento: \t\t\t$%.2f\n", spesaAbbigliamento);
  printf("spese per l'educazione: \t\t\t$%.2f\n", spesaEducazione);
  printf("spese per l'assistenza sanitaria: \t\t$%.2f\n",
         spesaAssistenzaSanitaria);
  printf("spese per le vacanze: \t\t\t\t$%.2f\n", spesaVacanze);
  puts("");
  printf("Pagherebbero: $%.2f di tasse su una spesa di: %.2f\n", importoTasse,
         spesaTotale);
  printf("Per una spesa complessiva di: $%.2f.\n", spesaFinale);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x1c(%rbp)
lea    0xe92(%rip),%rdi
lea    0xe8e(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xeb3(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0x8(%rbp),%xmm0
ja     116f <main+0x3f>
jmp    11a6 <main+0x76>
lea    0xe5b(%rip),%rdi
lea    0xe8d(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xe7c(%rip),%rdi
lea    -0xc(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0xc(%rbp),%xmm0
ja     11a6 <main+0x76>
jmp    11dd <main+0xad>
lea    0xe24(%rip),%rdi
lea    0xe9f(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xe45(%rip),%rdi
lea    -0x10(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0x10(%rbp),%xmm0
ja     11dd <main+0xad>
jmp    1214 <main+0xe4>
lea    0xded(%rip),%rdi
lea    0xea0(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xe0e(%rip),%rdi
lea    -0x14(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0x14(%rbp),%xmm0
ja     1214 <main+0xe4>
jmp    124b <main+0x11b>
lea    0xdb6(%rip),%rdi
lea    0xe9e(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xdd7(%rip),%rdi
lea    -0x18(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0x18(%rbp),%xmm0
ja     124b <main+0x11b>
jmp    1282 <main+0x152>
lea    0xd7f(%rip),%rdi
lea    0xea6(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xda0(%rip),%rdi
lea    -0x1c(%rbp),%rsi
call   1050 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss -0x1c(%rbp),%xmm0
ja     1282 <main+0x152>
movss  -0x8(%rbp),%xmm0
addss  -0xc(%rbp),%xmm0
addss  -0x10(%rbp),%xmm0
addss  -0x14(%rbp),%xmm0
addss  -0x18(%rbp),%xmm0
addss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  0xd25(%rip),%xmm0
mulss  -0x20(%rbp),%xmm0
movss  0xd14(%rip),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
addss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
lea    0xcfd(%rip),%rdi
lea    0xe57(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe90(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe9a(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xeb7(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xec5(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xed0(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xee4(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
lea    0xf50(%rip),%rdi
call   1030 <puts@plt>
movss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x20(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
lea    0xed9(%rip),%rdi
mov    $0x2,%al
call   1040 <printf@plt>
movss  -0x28(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xef6(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x28,%rsp
movl   $0x0,0x14(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
movl   $0x0,0x18(%rsp)
lea    0xe8a(%rip),%r14
lea    0xe86(%rip),%r15
lea    0xeb2(%rip),%r12
lea    0x14(%rsp),%rbx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss 0x14(%rsp),%xmm0
ja     11a0 <main+0x60>
lea    0xe43(%rip),%r14
lea    0xe75(%rip),%r15
lea    0xe6b(%rip),%r12
lea    0x10(%rsp),%rbx
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss 0x10(%rsp),%xmm0
ja     11e0 <main+0xa0>
lea    0xe03(%rip),%r14
lea    0xe7e(%rip),%r15
lea    0xe2b(%rip),%r12
lea    0xc(%rsp),%rbx
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss 0xc(%rsp),%xmm0
ja     1220 <main+0xe0>
lea    0xdc3(%rip),%r14
lea    0xe76(%rip),%r15
lea    0xdeb(%rip),%r12
lea    0x8(%rsp),%rbx
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss 0x8(%rsp),%xmm0
ja     1260 <main+0x120>
lea    0xd83(%rip),%r14
lea    0xe6b(%rip),%r15
lea    0xdab(%rip),%r12
lea    0x4(%rsp),%rbx
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
xorps  %xmm0,%xmm0
ucomiss 0x4(%rsp),%xmm0
ja     12a0 <main+0x160>
lea    0xd43(%rip),%r14
lea    0xe6a(%rip),%r15
lea    0xd6b(%rip),%r12
lea    0x18(%rsp),%rbx
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
movss  0x18(%rsp),%xmm1
xorps  %xmm0,%xmm0
ucomiss %xmm1,%xmm0
ja     12e0 <main+0x1a0>
movss  0x14(%rsp),%xmm0
addss  0x10(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
addss  0x8(%rsp),%xmm0
addss  0x4(%rsp),%xmm0
addss  %xmm0,%xmm1
movss  %xmm1,0x1c(%rsp)
movss  0xcca(%rip),%xmm2
mulss  %xmm1,%xmm2
divss  0xcc2(%rip),%xmm2
movss  %xmm2,0x20(%rsp)
movaps %xmm1,%xmm0
addss  %xmm2,%xmm0
movss  %xmm0,0x24(%rsp)
lea    0xf53(%rip),%rdi
call   1040 <puts@plt>
movss  0x14(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xdfb(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movss  0x10(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe04(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movss  0xc(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe20(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movss  0x8(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe2d(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movss  0x4(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe37(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movss  0x18(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe4a(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movss  0x20(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0x1c(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
lea    0xe3f(%rip),%rdi
mov    $0x2,%al
call   1050 <printf@plt>
movss  0x24(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xe5b(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%s\00"
@.str.1 = [51 x i8] c"Inserire l'ammontare delle spese per l'Alloggio: $\00"
@.str.2 = [3 x i8] c"%f\00"
@.str.3 = [73 x i8] c"Inserire l'ammontare delle spese per l'acquisto dei generi alimentari: $\00"
@.str.4 = [56 x i8] c"Inserire l'ammontare delle spese per l'abbigliamento: $\00"
@.str.5 = [53 x i8] c"Inserire l'ammontare delle spese per l'educazione: $\00"
@.str.6 = [63 x i8] c"Inserire l'ammontare delle spese per l'assistenza sanitaria: $\00"
@.str.7 = [51 x i8] c"Inserire l'ammontare delle spese per le vacanze: $\00"
@.str.8 = [80 x i8] c"Nel caso fosse adorrata la tassazione equa, i cittadini con le seguenti spese:\0A\00"
@.str.9 = [33 x i8] c"Spese per l'Alloggio: \09\09\09\09$%.2f\0A\00"
@.str.10 = [52 x i8] c"spese per l'acquisto dei generi alimentari: \09$%.2f\0A\00"
@.str.11 = [37 x i8] c"spese per l'abbigliamento: \09\09\09$%.2f\0A\00"
@.str.12 = [34 x i8] c"spese per l'educazione: \09\09\09$%.2f\0A\00"
@.str.13 = [43 x i8] c"spese per l'assistenza sanitaria: \09\09$%.2f\0A\00"
@.str.14 = [33 x i8] c"spese per le vacanze: \09\09\09\09$%.2f\0A\00"
@.str.15 = [1 x i8] zeroinitializer
@.str.16 = [52 x i8] c"Pagherebbero: $%.2f di tasse su una spesa di: %.2f\0A\00"
@.str.17 = [38 x i8] c"Per una spesa complessiva di: $%.2f.\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca float
%3 = alloca float
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
store i32 0, i32* %1
store float 0.000000e+00, float* %2
store float 0.000000e+00, float* %3
store float 0.000000e+00, float* %4
store float 0.000000e+00, float* %5
store float 0.000000e+00, float* %6
store float 0.000000e+00, float* %7
br label %11
11: ; preds = %14, %0
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.1, i64 0, i64 0))
%13 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %2)
br label %14
14: ; preds = %11
%15 = load float, float* %2
%16 = fcmp olt float %15, 0.000000e+00
br i1 %16, label %11, label %17
17: ; preds = %14
br label %18
18: ; preds = %21, %17
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.3, i64 0, i64 0))
%20 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %3)
br label %21
21: ; preds = %18
%22 = load float, float* %3
%23 = fcmp olt float %22, 0.000000e+00
br i1 %23, label %18, label %24
24: ; preds = %21
br label %25
25: ; preds = %28, %24
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.4, i64 0, i64 0))
%27 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %4)
br label %28
28: ; preds = %25
%29 = load float, float* %4
%30 = fcmp olt float %29, 0.000000e+00
br i1 %30, label %25, label %31
31: ; preds = %28
br label %32
32: ; preds = %35, %31
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.5, i64 0, i64 0))
%34 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %5)
br label %35
35: ; preds = %32
%36 = load float, float* %5
%37 = fcmp olt float %36, 0.000000e+00
br i1 %37, label %32, label %38
38: ; preds = %35
br label %39
39: ; preds = %42, %38
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.6, i64 0, i64 0))
%41 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %6)
br label %42
42: ; preds = %39
%43 = load float, float* %6
%44 = fcmp olt float %43, 0.000000e+00
br i1 %44, label %39, label %45
45: ; preds = %42
br label %46
46: ; preds = %49, %45
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.7, i64 0, i64 0))
%48 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %7)
br label %49
49: ; preds = %46
%50 = load float, float* %7
%51 = fcmp olt float %50, 0.000000e+00
br i1 %51, label %46, label %52
52: ; preds = %49
%53 = load float, float* %2
%54 = load float, float* %3
%55 = fadd float %53, %54
%56 = load float, float* %4
%57 = fadd float %55, %56
%58 = load float, float* %5
%59 = fadd float %57, %58
%60 = load float, float* %6
%61 = fadd float %59, %60
%62 = load float, float* %7
%63 = fadd float %61, %62
store float %63, float* %8
%64 = load float, float* %8
%65 = fmul float %64, 2.700000e+01
%66 = fdiv float %65, 1.000000e+02
store float %66, float* %9
%67 = load float, float* %8
%68 = load float, float* %9
%69 = fadd float %67, %68
store float %69, float* %10
%70 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.8, i64 0, i64 0))
%71 = load float, float* %2
%72 = fpext float %71 to double
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.9, i64 0, i64 0), double %72)
%74 = load float, float* %3
%75 = fpext float %74 to double
%76 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.10, i64 0, i64 0), double %75)
%77 = load float, float* %4
%78 = fpext float %77 to double
%79 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.11, i64 0, i64 0), double %78)
%80 = load float, float* %5
%81 = fpext float %80 to double
%82 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.12, i64 0, i64 0), double %81)
%83 = load float, float* %6
%84 = fpext float %83 to double
%85 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.13, i64 0, i64 0), double %84)
%86 = load float, float* %7
%87 = fpext float %86 to double
%88 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.14, i64 0, i64 0), double %87)
%89 = call i32 @puts(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.15, i64 0, i64 0))
%90 = load float, float* %9
%91 = fpext float %90 to double
%92 = load float, float* %8
%93 = fpext float %92 to double
%94 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.16, i64 0, i64 0), double %91, double %93)
%95 = load float, float* %10
%96 = fpext float %95 to double
%97 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.17, i64 0, i64 0), double %96)
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%s\00"
@.str.1 = [51 x i8] c"Inserire l'ammontare delle spese per l'Alloggio: $\00"
@.str.2 = [3 x i8] c"%f\00"
@.str.3 = [73 x i8] c"Inserire l'ammontare delle spese per l'acquisto dei generi alimentari: $\00"
@.str.4 = [56 x i8] c"Inserire l'ammontare delle spese per l'abbigliamento: $\00"
@.str.5 = [53 x i8] c"Inserire l'ammontare delle spese per l'educazione: $\00"
@.str.6 = [63 x i8] c"Inserire l'ammontare delle spese per l'assistenza sanitaria: $\00"
@.str.7 = [51 x i8] c"Inserire l'ammontare delle spese per le vacanze: $\00"
@.str.9 = [33 x i8] c"Spese per l'Alloggio: \09\09\09\09$%.2f\0A\00"
@.str.10 = [52 x i8] c"spese per l'acquisto dei generi alimentari: \09$%.2f\0A\00"
@.str.11 = [37 x i8] c"spese per l'abbigliamento: \09\09\09$%.2f\0A\00"
@.str.12 = [34 x i8] c"spese per l'educazione: \09\09\09$%.2f\0A\00"
@.str.13 = [43 x i8] c"spese per l'assistenza sanitaria: \09\09$%.2f\0A\00"
@.str.14 = [33 x i8] c"spese per le vacanze: \09\09\09\09$%.2f\0A\00"
@.str.16 = [52 x i8] c"Pagherebbero: $%.2f di tasse su una spesa di: %.2f\0A\00"
@.str.17 = [38 x i8] c"Per una spesa complessiva di: $%.2f.\0A\00"
@str = [79 x i8] c"Nel caso fosse adorrata la tassazione equa, i cittadini con le seguenti spese:\00"
define i32 @main() {
%1 = alloca float
%2 = alloca float
%3 = alloca float
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = bitcast float* %1 to i8*
store float 0.000000e+00, float* %1
%8 = bitcast float* %2 to i8*
store float 0.000000e+00, float* %2
%9 = bitcast float* %3 to i8*
store float 0.000000e+00, float* %3
%10 = bitcast float* %4 to i8*
store float 0.000000e+00, float* %4
%11 = bitcast float* %5 to i8*
store float 0.000000e+00, float* %5
%12 = bitcast float* %6 to i8*
store float 0.000000e+00, float* %6
br label %13
13: ; preds = %13, %0
%14 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.1, i64 0, i64 0))
%15 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %1)
%16 = load float, float* %1
%17 = fcmp olt float %16, 0.000000e+00
br i1 %17, label %13, label %18
18: ; preds = %13, %18
%19 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.3, i64 0, i64 0))
%20 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %2)
%21 = load float, float* %2
%22 = fcmp olt float %21, 0.000000e+00
br i1 %22, label %18, label %23
23: ; preds = %18, %23
%24 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.4, i64 0, i64 0))
%25 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %3)
%26 = load float, float* %3
%27 = fcmp olt float %26, 0.000000e+00
br i1 %27, label %23, label %28
28: ; preds = %23, %28
%29 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.5, i64 0, i64 0))
%30 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %4)
%31 = load float, float* %4
%32 = fcmp olt float %31, 0.000000e+00
br i1 %32, label %28, label %33
33: ; preds = %28, %33
%34 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.6, i64 0, i64 0))
%35 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %5)
%36 = load float, float* %5
%37 = fcmp olt float %36, 0.000000e+00
br i1 %37, label %33, label %38
38: ; preds = %33, %38
%39 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.7, i64 0, i64 0))
%40 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), float* %6)
%41 = load float, float* %6
%42 = fcmp olt float %41, 0.000000e+00
br i1 %42, label %38, label %43
43: ; preds = %38
%44 = load float, float* %1
%45 = load float, float* %2
%46 = fadd float %44, %45
%47 = load float, float* %3
%48 = fadd float %46, %47
%49 = load float, float* %4
%50 = fadd float %48, %49
%51 = load float, float* %5
%52 = fadd float %50, %51
%53 = fadd float %41, %52
%54 = fmul float %53, 2.700000e+01
%55 = fdiv float %54, 1.000000e+02
%56 = fadd float %53, %55
%57 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str, i64 0, i64 0))
%58 = load float, float* %1
%59 = fpext float %58 to double
%60 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str.9, i64 0, i64 0), double %59)
%61 = load float, float* %2
%62 = fpext float %61 to double
%63 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @.str.10, i64 0, i64 0), double %62)
%64 = load float, float* %3
%65 = fpext float %64 to double
%66 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @.str.11, i64 0, i64 0), double %65)
%67 = load float, float* %4
%68 = fpext float %67 to double
%69 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.12, i64 0, i64 0), double %68)
%70 = load float, float* %5
%71 = fpext float %70 to double
%72 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.13, i64 0, i64 0), double %71)
%73 = load float, float* %6
%74 = fpext float %73 to double
%75 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str.14, i64 0, i64 0), double %74)
%76 = call i32 @putchar(i32 10)
%77 = fpext float %55 to double
%78 = fpext float %53 to double
%79 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @.str.16, i64 0, i64 0), double %77, double %78)
%80 = fpext float %56 to double
%81 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.17, i64 0, i64 0), double %80)
ret i32 0
}