Posible error del compilador en Visual C++ 2012 (x86)?

Actualmente estoy experimentando errores de coma flotante aleatorio al compilar para destinos x86 usando VC++ 11 (CTP Update 1). Ver el breve ejemplo " test.cpp " abajo, y compilar usando:

cl /GL /O2 /EHsc test.cpp /link /MACHINE:X86

La salida debe ser 10 == 10, pero produce 10 == 0 cuando /GL (optimización de todo el programa) está habilitado. El problema parece ser que get_scaling_factor() empuja el resultado en la pila de coma flotante, pero la función que llama lo espera en el registro SSE XMM0 .

Pregunta : ¿me estoy perdiendo algo obvio, o es realmente un error? El programa de prueba, por supuesto, no tiene sentido, ya que es un caso de prueba reducido.

prueba.cpp:

#include <iostream>

template <typename T>
inline T get_scaling_factor(int units)
{
    switch (units)
    {
    case 0: return 1;  
    case 1: return 10;  
    case 2: return 100;  
    case 3: return 1000;  
    case 4: return 10000;  
    case 5: return 100000;  
    case 6: return 1000000;  
    case 7: return 10000000;  
    case 8: return 100000000;  
    case 9: return 1000000000; 
    default: return 1;
    }
}

template <int targetUnits, typename T>
inline T scale(T value, int sourceUnits)
{
    return value   * get_scaling_factor<T>(sourceUnits) 
                   / get_scaling_factor<T>(targetUnits);
}

__declspec(noinline)
double scale(double value, int units) 
{
    return scale<9>(value, units);
}

int main()
{
    std::cout << "10 = " << scale(1e9, 1) << std::endl;
}

Actualizar

Problema confirmado por Microsoft. Incluso afecta código directo como este:

#include <stdio.h>
double test(int a)
{
    switch (a)
    {
    case 0: return 1.0;
    case 1: return 10.0;
    case 2: return 100.0;
    case 3: return 1000.0;
    case 4: return 10000.0;
    case 5: return 100000.0;
    case 6: return 1000000.0;
    case 7: return 10000000.0;
    case 8: return 100000000.0;
    case 9: return 1000000000.0;
    default: return 1.0;
    }
}

void main()
{
    int nine = 9;
    double x = test(nine);
    x /= test(7);
    int val = (int)x;
    if (val == 100)
        printf("pass");
    else 
        printf("fail, val is %d", val);
}