int solo5_app_main(const struct solo5_start_info *si __attribute__((unused))) {
  puts("\n**** Solo5 standalone test_fpu ****\n\n");
  float a, b, c[4];
  c[0] = 2.0;
  c[1] = 5.0;
  c[2] = 3.0;
  c[3] = 8.0;
  __asm__("movaps %0,%%xmm1;"
          "mulps %%xmm1, %%xmm1;"
          "movaps %%xmm1, %0"
          : "=m"(c)
          : "m"(c)
          : "xmm1");
  a = 1.5;
  b = 5.0;
  a *= b;
  if (a == 7.5 && c[0] == 4.0 && c[1] == 25.0 && c[2] == 9.0 && c[3] == 64.0)
    puts("SUCCESS\n");
  else
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<solo5_app_main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
lea    0xf19(%rip),%rdi
mov    $0x0,%al
call   1030 <puts@plt>
movss  0xf06(%rip),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0xee9(%rip),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  0xee8(%rip),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  0xed7(%rip),%xmm0
movss  %xmm0,-0x24(%rbp)
movaps -0x30(%rbp),%xmm1
mulps  %xmm1,%xmm1
movaps %xmm1,-0x30(%rbp)
movss  0xebb(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  0xeaa(%rip),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
mulss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe5d(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    124a <solo5_app_main+0x13a>
jp     124a <solo5_app_main+0x13a>
movss  -0x30(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe44(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    124a <solo5_app_main+0x13a>
jp     124a <solo5_app_main+0x13a>
movss  -0x2c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe2b(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    124a <solo5_app_main+0x13a>
jp     124a <solo5_app_main+0x13a>
movss  -0x28(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe12(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    124a <solo5_app_main+0x13a>
jp     124a <solo5_app_main+0x13a>
movss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdf9(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    124a <solo5_app_main+0x13a>
jp     124a <solo5_app_main+0x13a>
lea    0xe25(%rip),%rdi
mov    $0x0,%al
call   1030 <puts@plt>
jmp    1256 <solo5_app_main+0x146>
movl   $0x1,-0x4(%rbp)
jmp    125d <solo5_app_main+0x14d>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solo5_app_main>:
sub    $0x18,%rsp
lea    0xf05(%rip),%rdi
xor    %eax,%eax
call   1030 <puts@plt>
movaps 0xed7(%rip),%xmm0
movaps %xmm0,(%rsp)
movaps (%rsp),%xmm1
mulps  %xmm1,%xmm1
movaps %xmm1,(%rsp)
movaps (%rsp),%xmm0
cmpneqps 0xecc(%rip),%xmm0
04
movmskps %xmm0,%ecx
mov    $0x1,%eax
test   %ecx,%ecx
je     1155 <solo5_app_main+0x45>
add    $0x18,%rsp
ret
lea    0xeeb(%rip),%rdi
xor    %eax,%eax
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x18,%rsp
ret

LLVM IR (-O0):
%struct.solo5_start_info = type opaque
@.str = [39 x i8] c"\0A**** Solo5 standalone test_fpu ****\0A\0A\00"
@.str.1 = [9 x i8] c"SUCCESS\0A\00"
define i32 @solo5_app_main(%struct.solo5_start_info* %0) {
%2 = alloca i32
%3 = alloca %struct.solo5_start_info*
%4 = alloca float
%5 = alloca float
%6 = alloca [4 x float]
store %struct.solo5_start_info* %0, %struct.solo5_start_info** %3
%7 = call i32 (i8*, ...) bitcast (i32 (...)* @puts to i32 (i8*, ...)*)(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0))
%8 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 0
store float 2.000000e+00, float* %8
%9 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 1
store float 5.000000e+00, float* %9
%10 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 2
store float 3.000000e+00, float* %10
%11 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 3
store float 8.000000e+00, float* %11
store float 1.500000e+00, float* %4
store float 5.000000e+00, float* %5
%12 = load float, float* %5
%13 = load float, float* %4
%14 = fmul float %13, %12
store float %14, float* %4
%15 = load float, float* %4
%16 = fpext float %15 to double
%17 = fcmp oeq double %16, 7.500000e+00
br i1 %17, label %18, label %40
18: ; preds = %1
%19 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 0
%20 = load float, float* %19
%21 = fpext float %20 to double
%22 = fcmp oeq double %21, 4.000000e+00
br i1 %22, label %23, label %40
23: ; preds = %18
%24 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 1
%25 = load float, float* %24
%26 = fpext float %25 to double
%27 = fcmp oeq double %26, 2.500000e+01
br i1 %27, label %28, label %40
28: ; preds = %23
%29 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 2
%30 = load float, float* %29
%31 = fpext float %30 to double
%32 = fcmp oeq double %31, 9.000000e+00
br i1 %32, label %33, label %40
33: ; preds = %28
%34 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 3
%35 = load float, float* %34
%36 = fpext float %35 to double
%37 = fcmp oeq double %36, 6.400000e+01
br i1 %37, label %38, label %40
38: ; preds = %33
%39 = call i32 (i8*, ...) bitcast (i32 (...)* @puts to i32 (i8*, ...)*)(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
br label %41
40: ; preds = %33, %28, %23, %18, %1
store i32 1, i32* %2
br label %42
41: ; preds = %38
store i32 0, i32* %2
br label %42
42: ; preds = %41, %40
%43 = load i32, i32* %2
ret i32 %43
}

LLVM IR (-O2):
%struct.solo5_start_info = type opaque
@.str = [39 x i8] c"\0A**** Solo5 standalone test_fpu ****\0A\0A\00"
@.str.1 = [9 x i8] c"SUCCESS\0A\00"
define i32 @solo5_app_main(%struct.solo5_start_info* nocapture readnone %0) {
%2 = alloca <4 x float>
%3 = bitcast <4 x float>* %2 to [4 x float]*
%4 = tail call i32 (i8*, ...) bitcast (i32 (...)* @puts to i32 (i8*, ...)*)(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0))
%5 = bitcast <4 x float>* %2 to i8*
store <4 x float> <float 2.000000e+00, float 5.000000e+00, float 3.000000e+00, float 8.000000e+00>, <4 x float>* %2
%6 = load <4 x float>, <4 x float>* %2
%7 = freeze <4 x float> %6
%8 = fcmp une <4 x float> %7, <float 4.000000e+00, float 2.500000e+01, float 9.000000e+00, float 6.400000e+01>
%9 = bitcast <4 x i1> %8 to i4
%10 = icmp eq i4 %9, 0
br i1 %10, label %11, label %13
11: ; preds = %1
%12 = call i32 (i8*, ...) bitcast (i32 (...)* @puts to i32 (i8*, ...)*)(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
br label %13
13: ; preds = %1, %11
%14 = phi i32 [ 0, %11 ], [ 1, %1 ]
ret i32 %14
}