Перенос программ из одной архитектуры в другую

Сразу предупреждаю, что это сложная задача.

Есть тест. Тест был результатом анализа большой проблемы с ошибкой, с которой мы столкнулись на работе. строительство __ attribute__((noinline)) запрещает компилятору делать функцию подстановки (для оптимизации чего-то там не взорвалось). Это самый простой способ оптимизации, гарантированно не убивающий интересную ситуацию.

#include <stdio.h>

double d = 5436277361664796672.000000;
long long ll = 5436277361664796253LL;

int __attribute__((noinline))
func1 (void)
{
double d1 = (double)ll;

if (d > d1)
return 1;
else
return 0;
}

int __attribute__((noinline))
func2 (void)
{
if (d > (double)ll)
return 1;
else
return 0;
}

int
main (void)
{
printf ("%d %d\n", func1(), func2());
return 0;
}

Я провел этот тест на intel а также sparc, Gcc используется в режиме с оптимизацией и без оптимизации. Получены следующие результаты:

sparc: "gcc" printed "0 0"sparc: "gcc -O2" printed "0 0"intel: "gcc" printed "0 1"intel: "gcc -O2" printed "1 1"

В чем причина различия? В любом случае в ситуации анализа было бы полезно иметь возможность повторить все это самостоятельно, но, конечно, почти никто не имеет возможности запустить этот код на sparc, Вместо sparc можно попробовать запустить под Windows используя microsoft or borland C compiler, Я не знаю, что им дадут результаты, но в любом случае что-то не соответствует ни с чем (потому что мы видим три разных результата)

Редактировать 1
_атрибут_ ((noinline)) — расширение компилятора gcc (забыл написать об этом). Поэтому VisualStudio не может скомпилировать его.