#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*/ CopiaIndici(float *, float *);
int /*<<< orphan*/ InserimentoElementiMatrice(float *, int);
int /*<<< orphan*/ InserimentoNumeroRigheEColonne(float *, int);
float LetturaElemento(float *, int, int);
int /*<<< orphan*/ ScrivereElemento(float *, int, int, float);
int /*<<< orphan*/ printf(char *);
void MatriceMoltiplicazione(float *matrice, float *matrice2, float *matrice3) {
  int n = 0;
  int i = 0;
  int j = 0;
  int c = 0;
  int righe = 0;
  int colonne = 0;
  float valore;
  float risulta;
  while (LetturaElemento(matrice, righe, colonne + 1) !=
             LetturaElemento(matrice2, righe, colonne) ||
         LetturaElemento(matrice, righe, colonne) == 0.000000 ||
         LetturaElemento(matrice2, righe, colonne) == 0.000000 ||
         LetturaElemento(matrice, righe, colonne + 1) == 0.000000 ||
         LetturaElemento(matrice2, righe, colonne + 1) == 0.000000) {
    printf("n\n\n\n==============================ATTENZIONE===================="
           "==============\n");
    printf("Per moltiplicare 2 matrici, il numero di righe della seconda "
           "matrice devono essere uguali alle colonne della prima, prego "
           "reinserire i dati. ");
    printf("\n==============================ATTENZIONE========================="
           "=========\n\n\n\n");
    n = 1;
    InserimentoNumeroRigheEColonne(matrice, n);
    n = 2;
    InserimentoNumeroRigheEColonne(matrice2, n);
  }
  n = 1;
  InserimentoElementiMatrice(matrice, n);
  n = 2;
  InserimentoElementiMatrice(matrice2, n);
  CopiaIndici(matrice, matrice3);
  i = 0;
  while (i < LetturaElemento(matrice, righe, colonne)) {
    j = 0;
    while (j < LetturaElemento(matrice, righe, colonne + 1)) {
      c = 0;
      while (c < LetturaElemento(matrice, righe, colonne + 1)) {
        risulta = LetturaElemento(matrice, i, c + 2) *
                  LetturaElemento(matrice2, c, j + 2);
        valore = LetturaElemento(matrice3, i, j + 2) + risulta;
        ScrivereElemento(matrice3, i, j + 2, valore);
        c++;
      }
      j++;
    }
    i++;
  }
  return;
}


x86 assembly (clang, -O0):
<MatriceMoltiplicazione>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
add    $0x1,%edx
call   1060 <LetturaElemento@plt>
movss  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
call   1060 <LetturaElemento@plt>
movaps %xmm0,%xmm1
movss  -0x40(%rbp),%xmm0
mov    $0x1,%al
ucomiss %xmm1,%xmm0
mov    %al,-0x39(%rbp)
jne    129b <MatriceMoltiplicazione+0x13b>
jp     129b <MatriceMoltiplicazione+0x13b>
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
call   1060 <LetturaElemento@plt>
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x39(%rbp)
jne    1210 <MatriceMoltiplicazione+0xb0>
jp     1210 <MatriceMoltiplicazione+0xb0>
jmp    129b <MatriceMoltiplicazione+0x13b>
mov    -0x10(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
call   1060 <LetturaElemento@plt>
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x39(%rbp)
jne    1240 <MatriceMoltiplicazione+0xe0>
jp     1240 <MatriceMoltiplicazione+0xe0>
jmp    129b <MatriceMoltiplicazione+0x13b>
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
add    $0x1,%edx
call   1060 <LetturaElemento@plt>
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x39(%rbp)
jne    1273 <MatriceMoltiplicazione+0x113>
jp     1273 <MatriceMoltiplicazione+0x113>
jmp    129b <MatriceMoltiplicazione+0x13b>
mov    -0x10(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
add    $0x1,%edx
call   1060 <LetturaElemento@plt>
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    12ab <MatriceMoltiplicazione+0x14b>
jmp    12fa <MatriceMoltiplicazione+0x19a>
lea    0xd4e(%rip),%rdi
call   1050 <printf@plt>
lea    0xd92(%rip),%rdi
call   1050 <printf@plt>
lea    0xe14(%rip),%rdi
call   1050 <printf@plt>
movl   $0x1,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1080 <InserimentoNumeroRigheEColonne@plt>
movl   $0x2,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1080 <InserimentoNumeroRigheEColonne@plt>
jmp    119e <MatriceMoltiplicazione+0x3e>
movl   $0x1,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1070 <InserimentoElementiMatrice@plt>
movl   $0x2,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1070 <InserimentoElementiMatrice@plt>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <CopiaIndici@plt>
movl   $0x0,-0x20(%rbp)
cvtsi2ssl -0x20(%rbp),%xmm0
movss  %xmm0,-0x44(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
call   1060 <LetturaElemento@plt>
movss  -0x44(%rbp),%xmm1
ucomiss %xmm1,%xmm0
jbe    1454 <MatriceMoltiplicazione+0x2f4>
movl   $0x0,-0x24(%rbp)
cvtsi2ssl -0x24(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
add    $0x1,%edx
call   1060 <LetturaElemento@plt>
movss  -0x48(%rbp),%xmm1
ucomiss %xmm1,%xmm0
jbe    1446 <MatriceMoltiplicazione+0x2e6>
movl   $0x0,-0x28(%rbp)
cvtsi2ssl -0x28(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
add    $0x1,%edx
call   1060 <LetturaElemento@plt>
movss  -0x4c(%rbp),%xmm1
ucomiss %xmm1,%xmm0
jbe    1438 <MatriceMoltiplicazione+0x2d8>
mov    -0x8(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x28(%rbp),%edx
add    $0x2,%edx
call   1060 <LetturaElemento@plt>
movss  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%esi
mov    -0x24(%rbp),%edx
add    $0x2,%edx
call   1060 <LetturaElemento@plt>
movaps %xmm0,%xmm1
movss  -0x50(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
add    $0x2,%edx
call   1060 <LetturaElemento@plt>
addss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
add    $0x2,%edx
movss  -0x34(%rbp),%xmm0
call   1040 <ScrivereElemento@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1393 <MatriceMoltiplicazione+0x233>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1362 <MatriceMoltiplicazione+0x202>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1334 <MatriceMoltiplicazione+0x1d4>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<MatriceMoltiplicazione>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,%rbp
lea    0xf04(%rip),%r14
lea    0xe6f(%rip),%r13
lea    0xf45(%rip),%r12
jmp    11d2 <MatriceMoltiplicazione+0x62>
xchg   %ax,%ax
mov    %r14,%rdi
call   1040 <puts@plt>
mov    %r13,%rdi
call   1060 <printf@plt>
mov    %r12,%rdi
call   1040 <puts@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
call   1090 <InserimentoNumeroRigheEColonne@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1090 <InserimentoNumeroRigheEColonne@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
movss  %xmm0,0xc(%rsp)
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1070 <LetturaElemento@plt>
movss  0xc(%rsp),%xmm1
ucomiss %xmm0,%xmm1
jne    11a0 <MatriceMoltiplicazione+0x30>
jp     11a0 <MatriceMoltiplicazione+0x30>
mov    %rbp,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xded(%rip),%xmm0
jne    1217 <MatriceMoltiplicazione+0xa7>
jnp    11a0 <MatriceMoltiplicazione+0x30>
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xdd6(%rip),%xmm0
jne    1232 <MatriceMoltiplicazione+0xc2>
jnp    11a0 <MatriceMoltiplicazione+0x30>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xdb8(%rip),%xmm0
jne    1250 <MatriceMoltiplicazione+0xe0>
jnp    11a0 <MatriceMoltiplicazione+0x30>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xd9a(%rip),%xmm0
jne    126e <MatriceMoltiplicazione+0xfe>
jnp    11a0 <MatriceMoltiplicazione+0x30>
mov    %rbp,%rdi
mov    $0x1,%esi
call   1080 <InserimentoElementiMatrice@plt>
mov    %rbx,0x20(%rsp)
mov    %rbx,%rdi
mov    $0x2,%esi
call   1080 <InserimentoElementiMatrice@plt>
mov    %rbp,%rdi
mov    %r15,0x18(%rsp)
mov    %r15,%rsi
call   1030 <CopiaIndici@plt>
xor    %r13d,%r13d
mov    %rbp,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1070 <LetturaElemento@plt>
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    13f0 <MatriceMoltiplicazione+0x280>
mov    0x18(%rsp),%r12
jmp    12e9 <MatriceMoltiplicazione+0x179>
nop
add    $0x1,%r13d
xorps  %xmm0,%xmm0
cvtsi2ss %r13d,%xmm0
movss  %xmm0,0xc(%rsp)
mov    %rbp,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xc(%rsp),%xmm0
jbe    13f0 <MatriceMoltiplicazione+0x280>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xd01(%rip),%xmm0
jbe    12c0 <MatriceMoltiplicazione+0x150>
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    1347 <MatriceMoltiplicazione+0x1d7>
nopw   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0xc(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xc(%rsp),%xmm0
mov    %r15,%rbp
jbe    12c0 <MatriceMoltiplicazione+0x150>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
ucomiss 0xca3(%rip),%xmm0
mov    %rbp,%r15
jbe    1310 <MatriceMoltiplicazione+0x1a0>
mov    0x10(%rsp),%rax
lea    0x2(%rax),%ebx
mov    $0x2,%ebp
nop
lea    -0x2(%rbp),%r14d
mov    %r15,%rdi
mov    %r13d,%esi
mov    %ebp,%edx
call   1070 <LetturaElemento@plt>
movss  %xmm0,0xc(%rsp)
mov    0x20(%rsp),%rdi
mov    %r14d,%esi
mov    %ebx,%edx
call   1070 <LetturaElemento@plt>
mulss  0xc(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
mov    %r12,%rdi
mov    %r13d,%esi
mov    %ebx,%edx
call   1070 <LetturaElemento@plt>
addss  0xc(%rsp),%xmm0
mov    %r12,%rdi
mov    %r13d,%esi
mov    %ebx,%edx
call   1050 <ScrivereElemento@plt>
lea    -0x1(%rbp),%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0xc(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1070 <LetturaElemento@plt>
add    $0x1,%ebp
ucomiss 0xc(%rsp),%xmm0
ja     1370 <MatriceMoltiplicazione+0x200>
jmp    1310 <MatriceMoltiplicazione+0x1a0>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [80 x i8] c"n\0A\0A\0A==============================ATTENZIONE==================================\0A\00"
@.str.1 = [142 x i8] c"Per moltiplicare 2 matrici, il numero di righe della seconda matrice devono essere uguali alle colonne della prima, prego reinserire i dati. \00"
@.str.2 = [80 x i8] c"\0A==============================ATTENZIONE==================================\0A\0A\0A\0A\00"
define void @MatriceMoltiplicazione(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca float
%14 = alloca float
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
store i32 0, i32* %7
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %10
store i32 0, i32* %11
store i32 0, i32* %12
br label %15
15: ; preds = %58, %3
%16 = load float*, float** %4
%17 = load i32, i32* %11
%18 = load i32, i32* %12
%19 = add nsw i32 %18, 1
%20 = call float @LetturaElemento(float* %16, i32 %17, i32 %19)
%21 = load float*, float** %5
%22 = load i32, i32* %11
%23 = load i32, i32* %12
%24 = call float @LetturaElemento(float* %21, i32 %22, i32 %23)
%25 = fcmp une float %20, %24
br i1 %25, label %56, label %26
26: ; preds = %15
%27 = load float*, float** %4
%28 = load i32, i32* %11
%29 = load i32, i32* %12
%30 = call float @LetturaElemento(float* %27, i32 %28, i32 %29)
%31 = fpext float %30 to double
%32 = fcmp oeq double %31, 0.000000e+00
br i1 %32, label %56, label %33
33: ; preds = %26
%34 = load float*, float** %5
%35 = load i32, i32* %11
%36 = load i32, i32* %12
%37 = call float @LetturaElemento(float* %34, i32 %35, i32 %36)
%38 = fpext float %37 to double
%39 = fcmp oeq double %38, 0.000000e+00
br i1 %39, label %56, label %40
40: ; preds = %33
%41 = load float*, float** %4
%42 = load i32, i32* %11
%43 = load i32, i32* %12
%44 = add nsw i32 %43, 1
%45 = call float @LetturaElemento(float* %41, i32 %42, i32 %44)
%46 = fpext float %45 to double
%47 = fcmp oeq double %46, 0.000000e+00
br i1 %47, label %56, label %48
48: ; preds = %40
%49 = load float*, float** %5
%50 = load i32, i32* %11
%51 = load i32, i32* %12
%52 = add nsw i32 %51, 1
%53 = call float @LetturaElemento(float* %49, i32 %50, i32 %52)
%54 = fpext float %53 to double
%55 = fcmp oeq double %54, 0.000000e+00
br label %56
56: ; preds = %48, %40, %33, %26, %15
%57 = phi i1 [ true, %40 ], [ true, %33 ], [ true, %26 ], [ true, %15 ], [ %55, %48 ]
br i1 %57, label %58, label %68
58: ; preds = %56
%59 = call i32 @printf(i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str, i64 0, i64 0))
%60 = call i32 @printf(i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0))
%61 = call i32 @printf(i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.2, i64 0, i64 0))
store i32 1, i32* %7
%62 = load float*, float** %4
%63 = load i32, i32* %7
%64 = call i32 @InserimentoNumeroRigheEColonne(float* %62, i32 %63)
store i32 2, i32* %7
%65 = load float*, float** %5
%66 = load i32, i32* %7
%67 = call i32 @InserimentoNumeroRigheEColonne(float* %65, i32 %66)
br label %15
68: ; preds = %56
store i32 1, i32* %7
%69 = load float*, float** %4
%70 = load i32, i32* %7
%71 = call i32 @InserimentoElementiMatrice(float* %69, i32 %70)
store i32 2, i32* %7
%72 = load float*, float** %5
%73 = load i32, i32* %7
%74 = call i32 @InserimentoElementiMatrice(float* %72, i32 %73)
%75 = load float*, float** %4
%76 = load float*, float** %6
%77 = call i32 @CopiaIndici(float* %75, float* %76)
store i32 0, i32* %8
br label %78
78: ; preds = %136, %68
%79 = load i32, i32* %8
%80 = sitofp i32 %79 to float
%81 = load float*, float** %4
%82 = load i32, i32* %11
%83 = load i32, i32* %12
%84 = call float @LetturaElemento(float* %81, i32 %82, i32 %83)
%85 = fcmp olt float %80, %84
br i1 %85, label %86, label %139
86: ; preds = %78
store i32 0, i32* %9
br label %87
87: ; preds = %133, %86
%88 = load i32, i32* %9
%89 = sitofp i32 %88 to float
%90 = load float*, float** %4
%91 = load i32, i32* %11
%92 = load i32, i32* %12
%93 = add nsw i32 %92, 1
%94 = call float @LetturaElemento(float* %90, i32 %91, i32 %93)
%95 = fcmp olt float %89, %94
br i1 %95, label %96, label %136
96: ; preds = %87
store i32 0, i32* %10
br label %97
97: ; preds = %106, %96
%98 = load i32, i32* %10
%99 = sitofp i32 %98 to float
%100 = load float*, float** %4
%101 = load i32, i32* %11
%102 = load i32, i32* %12
%103 = add nsw i32 %102, 1
%104 = call float @LetturaElemento(float* %100, i32 %101, i32 %103)
%105 = fcmp olt float %99, %104
br i1 %105, label %106, label %133
106: ; preds = %97
%107 = load float*, float** %4
%108 = load i32, i32* %8
%109 = load i32, i32* %10
%110 = add nsw i32 %109, 2
%111 = call float @LetturaElemento(float* %107, i32 %108, i32 %110)
%112 = load float*, float** %5
%113 = load i32, i32* %10
%114 = load i32, i32* %9
%115 = add nsw i32 %114, 2
%116 = call float @LetturaElemento(float* %112, i32 %113, i32 %115)
%117 = fmul float %111, %116
store float %117, float* %14
%118 = load float*, float** %6
%119 = load i32, i32* %8
%120 = load i32, i32* %9
%121 = add nsw i32 %120, 2
%122 = call float @LetturaElemento(float* %118, i32 %119, i32 %121)
%123 = load float, float* %14
%124 = fadd float %122, %123
store float %124, float* %13
%125 = load float*, float** %6
%126 = load i32, i32* %8
%127 = load i32, i32* %9
%128 = add nsw i32 %127, 2
%129 = load float, float* %13
%130 = call i32 @ScrivereElemento(float* %125, i32 %126, i32 %128, float %129)
%131 = load i32, i32* %10
%132 = add nsw i32 %131, 1
store i32 %132, i32* %10
br label %97
133: ; preds = %97
%134 = load i32, i32* %9
%135 = add nsw i32 %134, 1
store i32 %135, i32* %9
br label %87
136: ; preds = %87
%137 = load i32, i32* %8
%138 = add nsw i32 %137, 1
store i32 %138, i32* %8
br label %78
139: ; preds = %78
ret void
}

LLVM IR (-O2):
@.str.1 = [142 x i8] c"Per moltiplicare 2 matrici, il numero di righe della seconda matrice devono essere uguali alle colonne della prima, prego reinserire i dati. \00"
@str = [79 x i8] c"n\0A\0A\0A==============================ATTENZIONE==================================\00"
@str.3 = [79 x i8] c"\0A==============================ATTENZIONE==================================\0A\0A\0A\00"
define void @MatriceMoltiplicazione(float* %0, float* %1, float* %2) {
br label %4
4: ; preds = %20, %3
%5 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%6 = tail call float @LetturaElemento(float* %1, i32 0, i32 0)
%7 = fcmp une float %5, %6
br i1 %7, label %20, label %8
8: ; preds = %4
%9 = tail call float @LetturaElemento(float* %0, i32 0, i32 0)
%10 = fcmp oeq float %9, 0.000000e+00
br i1 %10, label %20, label %11
11: ; preds = %8
%12 = tail call float @LetturaElemento(float* %1, i32 0, i32 0)
%13 = fcmp oeq float %12, 0.000000e+00
br i1 %13, label %20, label %14
14: ; preds = %11
%15 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%16 = fcmp oeq float %15, 0.000000e+00
br i1 %16, label %20, label %17
17: ; preds = %14
%18 = tail call float @LetturaElemento(float* %1, i32 0, i32 1)
%19 = fcmp oeq float %18, 0.000000e+00
br i1 %19, label %20, label %26
20: ; preds = %4, %8, %11, %14, %17
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str, i64 0, i64 0))
%22 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str.3, i64 0, i64 0))
%24 = tail call i32 @InserimentoNumeroRigheEColonne(float* %0, i32 1)
%25 = tail call i32 @InserimentoNumeroRigheEColonne(float* %1, i32 2)
br label %4
26: ; preds = %17
%27 = tail call i32 @InserimentoElementiMatrice(float* %0, i32 1)
%28 = tail call i32 @InserimentoElementiMatrice(float* %1, i32 2)
%29 = tail call i32 @CopiaIndici(float* %0, float* %2)
%30 = tail call float @LetturaElemento(float* %0, i32 0, i32 0)
%31 = fcmp ogt float %30, 0.000000e+00
br i1 %31, label %32, label %65
32: ; preds = %26, %60
%33 = phi i32 [ %61, %60 ], [ 0, %26 ]
%34 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%35 = fcmp ogt float %34, 0.000000e+00
br i1 %35, label %36, label %60
36: ; preds = %32, %55
%37 = phi i32 [ %56, %55 ], [ 0, %32 ]
%38 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%39 = fcmp ogt float %38, 0.000000e+00
br i1 %39, label %40, label %55
40: ; preds = %36
%41 = add nuw nsw i32 %37, 2
br label %42
42: ; preds = %40, %42
%43 = phi i32 [ 0, %40 ], [ %51, %42 ]
%44 = add nuw nsw i32 %43, 2
%45 = tail call float @LetturaElemento(float* %0, i32 %33, i32 %44)
%46 = tail call float @LetturaElemento(float* %1, i32 %43, i32 %41)
%47 = fmul float %45, %46
%48 = tail call float @LetturaElemento(float* %2, i32 %33, i32 %41)
%49 = fadd float %48, %47
%50 = tail call i32 @ScrivereElemento(float* %2, i32 %33, i32 %41, float %49)
%51 = add nuw nsw i32 %43, 1
%52 = sitofp i32 %51 to float
%53 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%54 = fcmp ogt float %53, %52
br i1 %54, label %42, label %55
55: ; preds = %42, %36
%56 = add nuw nsw i32 %37, 1
%57 = sitofp i32 %56 to float
%58 = tail call float @LetturaElemento(float* %0, i32 0, i32 1)
%59 = fcmp ogt float %58, %57
br i1 %59, label %36, label %60
60: ; preds = %55, %32
%61 = add nuw nsw i32 %33, 1
%62 = sitofp i32 %61 to float
%63 = tail call float @LetturaElemento(float* %0, i32 0, i32 0)
%64 = fcmp ogt float %63, %62
br i1 %64, label %32, label %65
65: ; preds = %60, %26
ret void
}