memset, 64 бита

dimi61

AlexV769

64-битный мемсет

SYNOPSIS

     #include <string.h>



     void *

     memset(void *b, int c, size_t len);

Maurog

dimi61

dimi61

tokuchu

Вообще, обычный memset — он быстрый? Как он реализован?

caffeine

dimi61

geja_03

EXTERN_C void * __cdecl memset(void *d, int v, size_t c)

{

    if ADDRESS) d) | c) & (sizeof(UINT) - 1 {



        BYTE *pD = (BYTE *) d;

        BYTE *pE = (BYTE *) ADDRESS) d) + c);



        while (pD != pE)

            *(pD++) = (BYTE) v;



    }

    else {



        UINT *pD = (UINT *) d;

        UINT *pE = (UINT *) (BYTE *) ADDRESS) d) + c);

        UINT uv;



        uv = UINT) (v & 0xff | UINT) (v & 0xff << 8);



        /* Our processors are at least 32 bits

         */

        uv |= uv << 16;



#if (_UINTSIZE == 64)

        /* They might be 64 bits

         */

        uv |= uv << 32;

#endif



        while (pD != pE)

            *(pD++) = uv;

    }

    return d;

}

vall

geja_03

Ivan8209

Ivan8209

caffeine

> memset пишет 8 бит
Это неправда, и простой взгляд на исходные тексты libc
прекрасно показывает это.

alfadred

     The memset function fills the first n bytes of the memory area pointed to by s with the constant byte c.

Ivan8209

caffeine

Gunsleader

/*

FUNCTION

	<<memset>>---set an area of memory



INDEX

	memset



ANSI_SYNOPSIS

	#include <string.h>

	void *memset(const void *<[dst]>, int <[c]>, size_t <[length]>);



TRAD_SYNOPSIS

	#include <string.h>

	void *memset(<[dst]>, <[c]>, <[length]>)

	void *<[dst]>;

	int <[c]>;

	size_t <[length]>;



DESCRIPTION

	This function converts the argument <[c]> into an unsigned

	char and fills the first <[length]> characters of the array

	pointed to by <[dst]> to the value.



RETURNS

	<<memset>> returns the value of <[m]>.



PORTABILITY

<<memset>> is ANSI C.



    <<memset>> requires no supporting OS subroutines.



QUICKREF

	memset ansi pure

*/



#include <string.h>



#define LBLOCKSIZE (sizeof(long

#define UNALIGNED(X)   long)X & (LBLOCKSIZE - 1

#define TOO_SMALL(LEN) LEN) < LBLOCKSIZE)



_PTR 

_DEFUN (memset, (m, c, n

	_PTR m _AND

	int c _AND

	size_t n)

{

#if defined(PREFER_SIZE_OVER_SPEED) || defined(__OPTIMIZE_SIZE__)

  char *s = (char *) m;



  while (n-- != 0)

    {

      *s++ = (char) c;

    }



  return m;

#else

  char *s = (char *) m;

  int i;

  unsigned long buffer;

  unsigned long *aligned_addr;



  if (!TOO_SMALL (n) && !UNALIGNED (m

    {

      /* If we get this far, we know that n is large and m is word-aligned. */



      aligned_addr = (unsigned long*)m;



      /* Store C into each char sized location in BUFFER so that

         we can set large blocks quickly.  */

      c &= 0xff;

      if (LBLOCKSIZE == 4)

        {

          buffer = (c << 8) | c;

          buffer |= (buffer << 16);

        }

      else

        {

          buffer = 0;

          for (i = 0; i < LBLOCKSIZE; i++)

	    buffer = (buffer << 8) | c;

        }



      while (n >= LBLOCKSIZE*4)

        {

          *aligned_addr++ = buffer;

          *aligned_addr++ = buffer;

          *aligned_addr++ = buffer;

          *aligned_addr++ = buffer;

          n -= 4*LBLOCKSIZE;

        }



      while (n >= LBLOCKSIZE)

        {

          *aligned_addr++ = buffer;

          n -= LBLOCKSIZE;

        }

      /* Pick up the remainder with a bytewise loop.  */

      s = (char*)aligned_addr;

    }



  while (n--)

    {

      *s++ = (char)c;

    }



  return m;

#endif /* not PREFER_SIZE_OVER_SPEED */

}

kokoc88

Чего чего я не понял?

Ivan8209

caffeine

Вопрос не про то, как это сделать при помощи memset,
а про реализацию.

Если человек спрашивает про memset, то это не случайно.

dimi61

Maurog

void *memset(void *s, int c, size_t n);

Ivan8209

Maurog

tokuchu

update: судя по стандарту Си глюк был внедрен при рождении языка

Maurog

tokuchu

вот спасибо, зеленый
а если не отличается, то почему не сделали char? =) чтобы не было неявной конверсии в int ? типа у нас супер оптимизация в сях

tokuchu

Vlad77

И так же float нет смысла делать, т.к. он "проапгрейдится" до double.

procenkotanya

Andbar

caffeine

Vlad77

Serab

на powerpc тоже проапгрейдится?

test1.c:

void f(float);



int main

{

        const float y = 28.18;

        f(y);

        return 0;

}



test2.c:

#include <stdio.h>

void f(double x)

{

        printf( "%f\n", x );

}

Maurog

Ivan8209

Serab

Serab

Maurog

Serab

Maurog

3.3.2.2 Function calls
....
If the expression that denotes the called function has a type that
does not include a prototype, the integral promotions are performed on
each argument and arguments that have type float are promoted to
double. These are called the default argument promotions. If the
number of arguments does not agree with the number of parameters, the
behavior is undefined. If the function is defined with a type that
does not include a prototype, and the types of the arguments after
promotion are not compatible with those of the parameters after
promotion, the behavior is undefined. If the function is defined with
a type that includes a prototype, and the types of the arguments after
promotion are not compatible with the types of the parameters, or if
the prototype ends with an ellipsis ( ", ..." the behavior is
undefined.
If the expression that denotes the called function has a type that
includes a prototype, the arguments are implicitly converted, as if by
assignment, to the types of the corresponding parameters. The
ellipsis notation in a function prototype declarator causes argument
type conversion to stop after the last declared parameter. The
default argument promotions are performed on trailing arguments. If
the function is defined with a type that is not compatible with the
type (of the expression) pointed to by the expression that denotes the
called function, the behavior is undefined.

Serab

procenkotanya

потому что появлялась параллельно с фортраном и задача там ставилась только не пересекаться с фортраном.

Serab

и в чём польза от "не пересечения"?

откуда это известно?

Maurog

и в чём польза от "не пересечения"?

procenkotanya

Ну как, по-моему очевидно: чтобы можно было не заморачиваясь использовать оба языка. Например, чтобы не добавлять требования к программам на фортране не иметь функций с именем "main".

Serab

а в чём проблема в программах на фортране иметь main? Сишные библиотеки, которые захочется линковать в этот фортран, не будут иметь main, очевидно.

> не заморачиваясь
не-не-не. сейчас, чтобы нормально линковать c-fortran, нужно в Си добавлять подчёркивания к прототипам. Разве это "не заморачиваясь"? А был бы одинаковый мэнглинг, извращаться бы не пришлось.

Serab

procenkotanya

As a particularly egregious example, this Fortran program would for quite a few years crash an OS/360 system:
CALL MAIN
END

Serab

MAIN

__libc_start_main

Serab

Я не вижу тут ничего фортран-специфичного. Точно так же в программе на Си не должно быть externally-visible функций с именами, совпадающими с именами функций из линкующихся написанных на Си библиотек.

Serab

procenkotanya

Ну ты сравнил, конечно,

Serab

procenkotanya

Serab

Serab

Ну и переделали бы рантайм фортрана, чтобы он начинался не с MAIN, а с __libfortran_start_main, было бы одинаково боязно =)

evolet

void *memset(void *s, int c, size_t n);
объясните мне, почему второй аргумент имеет тип int, а не unsigned char ?

Serab

vall

yolki

salamander

    printf("%f\n", x);

        movss   -4(%rbp %xmm0

        cvtps2pd        %xmm0, %xmm0

        movl    $.LC1, %edi

        movl    $1, %eax

        call    printf

yolki

salamander

сие намекает, что вещественная арифметика, проводимая на MMX регистрах или регистрах сопроцессора, приводится к размерам регистров, которые 80 бит = long double.

сие также намекает, что float несоответствует double, ибо в соответствие его приводит инструкция cvtps2pd

Vlad77

на MMX регистрах ... приводится к размерам регистров, которые 80 бит

yolki

rosali

geja_03

UINT то шлепается, но у него все байты одинаковые, а нужно чтобы были разные.