Cómo usar las funciones intrínsecas de VC++ sin biblioteca de tiempo de ejecución

Question

Estoy involucrado en uno de esos desafíos donde intenta producir el binario más pequeño posible, entonces estoy construyendo mi programa sin la ejecución de C o C++ a tiempo real (RTL). No enlace a la versión DLL o la versión estática. Ni siquiera #include los archivos de encabezado. Tengo esto funcionando bien.

Algunas funciones de RTL, como memset(), pueden ser útiles, así que intenté agregar mi propia implementación. Funciona bien en las versiones de depuración (incluso para aquellos lugares donde el compilador genera una llamada implícita al memset()). Pero en las compilaciones de Release, aparece un error que dice que no puedo definir una función intrínseca. Verá, en las compilaciones de Release, las funciones intrínsecas están habilitadas, y memset() es intrínseco.

Me encantaría utilizar el intrínseco para memset() en mis compilaciones de lanzamiento, ya que es probablemente en línea y más pequeño y más rápido que mi implementación. Pero parece que estoy en catch-22. Si no defino memset(), el enlazador se queja de que no está definido. Si lo defino, el compilador se queja de que no puedo definir una función intrínseca.

¿Alguien sabe la combinación correcta de definición, declaración, #pragma, y banderas del compilador y enlazador para obtener una función intrínseca sin tener que recurrir a la sobrecarga de RTL?

Visual Studio 2008, x86, Windows XP +.

Para hacer que el problema un poco más concreto:

extern "C" void * __cdecl memset(void *, int, size_t); 

#ifdef IMPLEMENT_MEMSET 
void * __cdecl memset(void *pTarget, int value, size_t cbTarget) { 
    char *p = reinterpret_cast<char *>(pTarget); 
    while (cbTarget > 0) { 
     *p++ = static_cast<char>(value); 
     --cbTarget; 
    } 
    return pTarget; 
} 
#endif 

struct MyStruct { 
    int foo[10]; 
    int bar; 
}; 

int main() { 
    MyStruct blah; 
    memset(&blah, 0, sizeof(blah)); 
    return blah.bar; 
} 

Y construyo como esto:

cl /c /W4 /WX /GL /Ob2 /Oi /Oy /Gs- /GF /Gy intrinsic.cpp 
link /SUBSYSTEM:CONSOLE /LTCG /DEBUG /NODEFAULTLIB /ENTRY:main intrinsic.obj 

Si compilo con mi aplicación de memset(), me sale un error de compilación:

error C2169: 'memset' : intrinsic function, cannot be defined 

Si compilo esto sin mi implementación de memset(), me sale un error de vinculador:

error LNK2001: unresolved external symbol _memset 

Answer 1

creo que por fin he encontrado una solución:

En primer lugar, en un archivo de cabecera, declarar memset() con un pragma, así:

extern "C" void * __cdecl memset(void *, int, size_t); 
#pragma intrinsic(memset) 

que permite a su código para llamar memset(). En la mayoría de los casos, el compilador alineará la versión intrínseca.

En segundo lugar, en un archivo de implementación separado, proporcione una implementación. El truco para evitar que el compilador se queje de la redefinición de una función intrínseca es usar otro pragma primero. De esta manera:

#pragma function(memset) 
void * __cdecl memset(void *pTarget, int value, size_t cbTarget) { 
    unsigned char *p = static_cast<unsigned char *>(pTarget); 
    while (cbTarget-- > 0) { 
     *p++ = static_cast<unsigned char>(value); 
    } 
    return pTarget; 
} 

Esto proporciona una implementación para aquellos casos en que el optimizador decida no utilizar la versión intrínseca.

El inconveniente principal es que tiene que deshabilitar la optimización de todo el programa (/ GL y/LTCG). No estoy seguro por qué. Si alguien encuentra una forma de hacerlo sin desactivar la optimización global, repítalo.

Answer 2

1. estoy bastante seguro de que hay una bandera compilador que dice VC no ++ para utilizar los intrínsecos

2. La fuente de la biblioteca de tiempo de ejecución se instala con el compilador . Usted tiene la opción de seleccionar las funciones que desea/necesita, aunque a menudo tendrá que modificarlas extensamente (porque incluyen características y/o dependencias que no quiere/necesita).

3. También hay otras bibliotecas de tiempo de ejecución de código abierto disponibles, que pueden necesitar menos personalización.

4. Si realmente habla en serio sobre esto, necesitará saber (y tal vez usar) lenguaje ensamblador.

Editado para añadir:

que consiguiera su nuevo código de prueba para compilar y enlazar.Estos son los ajustes pertinentes:

Enable Intrinsic Functions: No 
Whole Program Optimization: No 

Es esto último que suprime "ayudantes" del compilador como el memset incorporado.

Editado para agregar:

Ahora que se ha desacoplado, puede copiar el código ensamblador de memset.asm en su programa - que tiene una referencia global, pero se puede quitar eso. Es lo suficientemente grande como para que sea no en línea, aunque si elimina todos los trucos que utiliza para ganar velocidad, es posible que sea lo suficientemente pequeño para eso.

que tomaron su ejemplo anterior y se sustituye el memset() con esto:

void * __cdecl memset(void *pTarget, char value, size_t cbTarget) { 
    _asm { 
    push ecx 
    push edi 

    mov al, value 
    mov ecx, cbTarget 
    mov edi, pTarget 
    rep stosb 

    pop edi 
    pop ecx 
    } 
    return pTarget; 
} 

Funciona, pero la versión de la biblioteca es mucho más rápido.

Answer 3

Creo que tiene que establecer la optimización para "Minimizar tamaño (/ O1)" o "Desactivado (/ Od)" para obtener la configuración de lanzamiento para compilar; al menos esto es lo que hizo el truco para mí con VS 2005. Los intrínsecos están diseñados para la velocidad, por lo que tiene sentido que estén habilitados para los otros niveles de Optimización (Velocidad y Completa).

Answer 4

Simplemente nombre la función algo ligeramente diferente.

Answer 5

La manera en que la biblioteca de tiempo de ejecución "regular" hace esto es compilando un archivo de ensamblaje con una definición de memset y vinculándolo a la biblioteca de tiempo de ejecución (Puede encontrar el archivo de ensamblaje en C: \ Archivos de programa \ Microsoft Visual Studio 10.0 \ VC \ crt \ src \ intel \ memset.asm o en sus alrededores. Ese tipo de cosas funciona bien incluso con la optimización de todo el programa.

También tenga en cuenta que el compilador solo usará el memset intrínseco en algunos casos especiales (cuando el tamaño es constante y pequeño?). Por lo general, utilizará la función memset proporcionada por usted, por lo que probablemente debería utilizar la función optimizada en memset.asm, a menos que vaya a escribir algo igual de optimizado.

Answer 6

Esto definitivamente funciona con VS 2015: Agregue la opción de línea de comando/Oi-. Esto funciona porque "No" en las funciones intrínsecas no es un interruptor, no está especificado./ Oi- y todos tus problemas desaparecen (debería funcionar con la optimización del programa completo, pero no he probado esto correctamente).