X64 inline asm
Hi all,
I discovered this for myself recently, and wanted to share. If this is already well known, disregard =) The Intel C/C++ compiler add-on for Visual Studio will allow you to still use inline assembly language on the X64 platform. The syntax and such is close enough to MSVC that modifications needed to code to compile existing code with the Intel compiler are minimal at best, IMO. -Fyyre |
where can I download "Intel C/C++ compiler add-on for Visual Studio "?
|
on vdown for example
|
Quote:
-Fyyre |
Quote:
Could you show us correct syntax for inline assembler which will Intel C++ Compiler accept ? -- Jump |
Inline asm is forbidden in studio compiler only. Guess they are too lazy to implement it. GCC and intel support it just fine.
|
Quote:
__asm mov rbx, rax; or __asm { ... } emit format is: __asm __emit 0xCC; sample function: Code:
__declspec(naked) int __fastcall strcmpW(const wchar_t *s1, const wchar_t *s2) |
So if i understand correct, the inline assmbler have to be also x64 not x86,right?
So you cant tak source with inline x86 assembler and think it will be compileable for x64 architecture. You have to rewrite it, right? -- Jump |
I think if you are proposing to write a full function in asm as opposed to a small piece of inline code, then you have to be very careful with the prolog and epilog, and especially careful with the structured exception handling. In providing inline asm, Intel assume you are fully conversant with X64.
Git |
Quote:
|
x86 or x64 depends upon your project (like Av0id said above).
Regarding re-writing of code, how big of task depends on the code itself... i.e. the above strcmpW function, he only require change of registers from e*x to r*x.... AFAIK the calling covention always __fastcall on X64, more simple than x86 assembly, imo. -Fyyre Quote:
|
There's some good info on MSDN.
Calling convention Parameter passing Exception handling The exception handling page has a link to MASM macros for Prolog and Epilog. THE site for driver writers, OSR, has some info too. There is good info there in all the subtopics on exception handling, prolog & epilog, stack usagae, etc. Git |
For the inline assembler, keep in mind that it heavily "corrupts" the optimization of the surrounding C code (well, at least it always did for MSVC, donno about Intel, but would guess it's the same). When the compiler reaches the asm block, it's a "black box" for it... so it dumps all the register values into local variables, appends the assembler block... and then loads the register values back.
So, it's better to write the whole function in inline assembler - than just a part, in which case the result might be worse than keeping it all in C, because the rest of the function is optimized much worse than if it were all in C. It would be interesting to know what led Microsoft to bad inline assembler in x64... |
I agree gigaman. It even more true when you consider the difficulty in writing a true x64 full function properly.
Git |
Well, I probably shouldn't have written "whole function"... let's say the whole block of code where the performance is of interest.
Sure, you may do basic parameter checking in C, allocate the local variables... and then use the inline asm to do the real job. So, you don't have to worry about stack allocation, you have access to fields of C structures... and x64 asm is basically the same as x86, so I wouldn't call it difficult ;) |
Agreed, that is the way to do a whole function, but then you have to ask yourself if you really can do a better job that the optimiser or you may as well take the easy route and do the whole function in C.
Git |
just so you know - MS did not implement inline asm in x64 because it is 'unsafe'. apparently they are very concerned about noobs who have no clue what they are doing. they did same with default values for methods in c# - no such thing there because 'it might confuse programmer'.
regarding inline asm 'black box' theory - is all crap. i made a testcase just to see this, because it even sounds so much unreasonable. Code:
00FD1045 sub edi,1 |
AFAIK, EBX is the one register not used in most WINAPI functions.
M$ like when programmers do things 'their way' ... whether or not they have valid reason is subject of debate, I think =) Removing inline assembly from x64 just made a pain in the ass. Just like how they not document many ntapi functions... leaving the reverser/programmer to spend much time looking finding their hidden known. -Fyyre |
I thought that inline x64 ASM was implemented in latest Intel C++ compiler (11.1 I guess).
|
Quote:
|
That is exactly where the thread started. The point is that MS removed the x64 inline assembler from visual studio, but Intel included it in their compiler.
Git |
The issue with inline asm is you have to implement differnet set for different arch: i386, x86_64, IA64 etc. The only motivation for me, is using "lock", since VS lacks of support.
Anyone is familiar with Intel c compiler for Windows ? I want to confirm whehter intel c compiler supports these items: 1, structure designated initializers Three formats are widely used, especially the 1st: a) struct test {int i, j, k, l;} a = {.l = 60, .i = 10}; b) int array[8] = {[0] = 10, [5] = 60}; /* only initialize the 1st and 5th members */ c) struct test {int i, j, k, l;} a = {l = 60, i = 10}; 2, macros to return a value Complex macroes need "({ ... )}" style to return a value, eg: 1) #define min(X, Y) ({ typeof (X) x_ = (X); typeof (Y) y_ = (Y); \ (x_ < y_) ? x_ : y_; }) 2) #define my_macro(cond, p1) ({while (cond) {rc = func(p1);}; rc;}) WDK compiler only supports "()" or "{}" styles. the former can carry a return value but with limitations; the latter can not return a value to its caller. 3, typeof I'd like to replace MS compiler of WinDDK if intel compiler supports these features. |
1b. As
Code:
int array[8] = {array[0] = 10, array[5] = 60}; Somethings will require slight adjusting. I too use the Intel Compiler for driver building, from inside of Visual Studio 2008. -Fyyre Quote:
|
it seems that vc do not support x64 inline asm?
|
NO IT DOES NOT
|
Thanks, Fyyre! What version of intel C compiler are you using ? And what icl options did you specify when compiling ?
Quote:
with option /Qc99 (to enable c99 support). But icl failed to compile the macros. "({})" style macro isn't supported. typeof neither. Quote:
-Fyyre Thank you, Matt |
The Intel C++ Compiler also has less C++0x support than the latest GCC and MSVC compilers. Also note that you nee MSVC(earlier than 2010) installed to use the Intel compiler on Windows. Even if you don't plan to use Visual Studio integration. It depends on some of the command-line tools and the includes/libraries.
I believe that 11.1 was released in 2009, so hopefully they will release a new version sometime soon that can at least integrate with the new Visual Studio. The C++0x part might not seen too important, but the problem I ran into with it was not being able to use recent GCC headers for TR1 due to the implementations being updated to make use of C++0x features. It isn't fun to lack access to std::tr1::shared_ptr. I haven't tested the Intel compiler with VS2008 yet as I lost my installation DVD. I _think_ it got TR1 support in a feature pack, but I'm not positive. If it did, I do not know if it makes use of C++0x features that the Intel compiler is missing. Maybe someone else can comment on this aspect. One last thought: I'm not sure how boost implements shared_ptr, but it is likely very similar to how the new GCC headers implement it. There is a chance, however, that it would compile with the Intel compiler. Myabe someone else can comment on this too. |
Quote:
|
Yes, I am quite sure that VS compiler does not assemble X64 machine mnemonics. The Intel compiler does apparently and I have very high opinion of the Intel compiler, but be very very careful that you learn all the ramifications of using assembler on X64, especially if you want to write whole procedures. The Epilog/Prolog stuff and SEH is much more involved than the 32bit world.
Git |
little bit offtopic: does anyone know any single line assember(like the one in olly's disasm) that supports X64?
|
hiew 8.x has x64 assembler
|
we can use .asm file with custom build in vc to support x64 asm
|
Sorry to bump such an old thread, but another alternative to using a different compiler or linking in .asm files is to use a library such as AsmJit* (it's what I use to dynamically generate code stubs for things like robust DLL injection, remote export calling, etc etc).
Obviously there is more overhead as you need to 'JIT' the function, but this is a one-off cost, and if you're worried about using the code in performance critical areas of your code you can simply JIT all your functions at startup and cache them rather than on-demand. * AsmJit project page: https://code.google.com/p/asmjit/ |
Quote:
How can you explain? |
Quote:
AFAIK this feature is not present in older versions of VS and you need to specify a custom build step to compile *.asm files. To do so add your *.asm files to your project, right click them and select Properties. The Item Type property should show Does not participate in build. Change this to Custom Build Tool and hit Apply. A new category should appear in the properties tree which allows you to specify the command line to run, message to print to build log, what files it outputs etc. For building *.asm files the Command Line and Outputs should look like that: Code:
Command Line: ml /c /Fo"$(IntDir)%(Filename).obj" "%(FullPath)" |
is anybody succeed with using intel compiler in VS2010 ?
|
Quote:
|
Does anyone have any empirical or measured benchmarks on how well the Intel C/C++ compiler does vs Microsoft's? Aside from the X64 inline assembly support, I'm just wondering if there is a compelling reason to switch. It would seem it is likely to generate optimal code, but is the code generated tuned for Intel processors? Hmm...
Quote:
Quote:
Quote:
|
dbcch:
It appears you turned what should easily have been one post into three, which makes it appear like attempting to just increase your post count. I have combined them into one post, rather than just deleting them. ;) Regards, |
.... Ok, thanks. I see what you mean now, that 25 post to get to downloads stuff. I don't want downloads, so you can cancel me from downloads forever as opposed to treating my posts as part of any scheme.
|
All times are GMT +8. The time now is 09:01. |
Powered by vBulletin® Version 3.8.8
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Always Your Best Friend: Aaron, JMI, ahmadmansoor, ZeNiX