view tests/mini/callingconv1.d @ 1499:df11cdec45a2

Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. The idea is to separate the notion of const from 'this variable can always be replaced with its initializer' in the frontend. To do that, I introduced Declaration::isSameAsInitializer, which is overridden in VarDeclaration to return false for constants that have a struct literal initializer. So {{{ const S s = S(5); void foo() { auto ps = &s; } // is no longer replaced by void foo() { auto ps = &(S(5)); } }}} To make taking the address of a struct constant with a struct-initializer outside of function scope possible, I made sure that AddrExp::optimize doesn't try to run the argument's optimization with WANTinterpret - that'd again replace the constant with a struct literal temporary.
author Christian Kamm <kamm incasoftware de>
date Sun, 14 Jun 2009 19:49:58 +0200
parents e92e14690a4f
children
line wrap: on
line source

module mini.callingconv1;

extern(C) int printf(char*, ...);

float foo(float a, float b)
{
    return a + b;
}

void main()
{
    float a = 1.5;
    float b = 2.5;
    float c;

    version(D_InlineAsm_X86)
    {
	    version(Windows) 
	    {
    		asm
    		{
				movss XMM0, [a];
				movss XMM1, [b];
				movss [ESP], XMM1;
				movss [ESP]+4, XMM0;		
					call foo;
				fstp [c]-4;
				movss XMM0, [c]-4;
				movss [c], XMM0;
    		}
		} else 
		{
		   
			asm
    		{
				mov EAX, [a];
        		push EAX;
        		mov EAX, [b];
        		push EAX;
        		call foo;
        		fstp c;
    		}
		}
    }
    else version(D_InlineAsm_X86_64)
    {
    	asm
    	{
		movss XMM0, [a];
		movss XMM1, [b];
        	call foo;
		movss [c], XMM0;
    	}
    }
    printf("%f\n", c);

    assert(c == 4.0);
    
    printf("passed %f\n", c);
}