Template Arguments in inline ASM

[John Kiro]

Don Clugston Wrote:

> John Kiro wrote:
> > Hell There
> > 
> > I made the following example to see how far can inline asm blocks use template args:
> > 	========================================
> > 	void asm_template(T)(T Tval,T* pDest)
> > 	{
> > 		asm{
> > 			fld Tval;
> > 			mov EAX,pDest;
> > 			fstp T ptr[EAX];             //#1
> > 			fstp float ptr[EAX];        //#2
> > 			mov EDX,T.sizeof;        //#3
> > 			mov ECX,float.sizeof;   //#4
> > 		}//asm
> > 	}//asm_template
> > 		
> > 	void main()
> > 	{
> > 	  float f1=4.0;
> > 	  float f2=5.0;
> > 	
> > 	  asm_template!(float)(f1,&f2);
> > 	}
> > 	========================================
> > Here is the compilation result of the 4 statements marked above:
> > #1: ERROR: "cannot use type float as an operand"
> > #2: OK
> > #3: OK!!!
> > #4: ERROR: "ptr expected"
> > 
> > For me, if #1 would be illegal, then the error should not have mentioned "type float". In other words, why would it fail if T is correctly interpreted to float?
> > I also see that it's surprising that #3 compiles while #4 doesn't (the reverse would be more natural).
> > In conclusion, I see that template args are partially (and unclearly) supported inside ASM blocks. Me, I hope to have better support for aliases & template args in ASM blocks.
> > What do you think friends?
> > 
> > Regards,
> > John
> Yup. #1 and #4 are bugs. Put them into Bugzilla.
> There are several bugs related to asm and templates. Bug #1125, in particular, 
> is giving me a lot of grief at the moment. And in the last DMD, there's a new 
> bad code generation bug with using tuple parameters from asm.

Thanks Don.. that would be my first bugs to report.. I'll check how to do so.

Regards,
John