Alpha C Inline-Assembler

Choose

Alpha C Inline-Assembler

updated by rck, 2004-10-08

C war schon seit Anfang an eine sehr maschinennahe Programmiersprache. Dadurch entstanden einerseits Probleme wie Bufferoverflows ('effizientes' Speichermanagement). Andererseits wichtige Konzepte wie Inline-Assembler. Inline-Assembler ist oft nicht nur einfacher zu durchschauen, weil der C-Compiler das ,,Housekeeping'' (Adressen-Ausrichtung, etc.) macht. Sondern auch fast so effizient wie ,,pure Assembler''.

1 | 2 | 3 | 4 | 5 | 6

asmb optimiert
Etliche Evolutionsstufen später habe ich dann das folgende Programm ins Rennen geschickt: unsigned long mem0s(unsigned char s, unsigned long l) { unsigned long r=0, i=0, mem_read; while(i+8 mem_read=(unsigned long)(((unsigned long)(s*)); asm volatile ( "not %1, %1 \n\t" "ctpop %1, %1 \n\t" "addq %0, %1 \n\t": "=r"(r): "r"(mem_read) ); i += 8; } while(i mem_read=s; asm volatile ( "not %1, %1 \n\t" "and %1, 255, %1 \n\t" "ctpop %1, %1 \n\t" "addq %0, %1 \n\t": "=r"(r): "r"(mem_read) ); i += 1; } return r; } Nicht mehr besonders schön. Jedoch effizienter als sein Urahne zuvor! Für Details zu Programmoptimierung sei auf die ausgezeichnete Übung Effiziente Programme von Anton Ertl verwiesen, die mir hier sicher den einen oder anderen Anhaltspunkt gab.

asmb optimiert

Etliche Evolutionsstufen später habe ich dann das folgende Programm ins Rennen geschickt:

unsigned long mem0s(unsigned char *s, unsigned long l) { unsigned long r=0, i=0, mem_read; while(i+8 mem_read=(unsigned long)(((unsigned long*)(s*)); asm volatile ( "not %1, %1 \n\t" "ctpop %1, %1 \n\t" "addq %0, %1 \n\t": "=r"(r): "r"(mem_read) ); i += 8; } while(i mem_read=s; asm volatile ( "not %1, %1 \n\t" "and %1, 255, %1 \n\t" "ctpop %1, %1 \n\t" "addq %0, %1 \n\t": "=r"(r): "r"(mem_read) ); i += 1; } return r; }

Nicht mehr besonders schön. Jedoch effizienter als sein Urahne zuvor! Für Details zu Programmoptimierung sei auf die ausgezeichnete Übung Effiziente Programme von Anton Ertl verwiesen, die mir hier sicher den einen oder anderen Anhaltspunkt gab.

1 | 2 | 3 | 4 | 5 | 6

Motivation
Inline Assembler in C?
Ein längeres Beispiel
asmb optimiert
asmb Assemblercode
Fazit

Comments - Make a comment

The comments are owned by the poster. We are not responsible for its content.

Eleganter

Posted on 2004-05-22 01:25:06 By rck_[110]

static inline long
__attribute__ ((unused))
count_population (volatile long val)
{
long ret;

__asm__ __volatile__ (
"ctpop %1,%0\n\t"
: "=&r"(ret)
: "r"(val));

return ret;
}

So meinte ich das im Informatikforum. Wofür das attribute(unused) ist, weiß ich auch nicht genau, aber bei der glibc wird's immer so geschrieben, wird schon nicht so falsch sein.

Und bei deinem ersten Beispiel würd ich das "not" weglassen und stattdessen bei den Eingangs-Constraints einfach ~a statt a schreiben - das gibt dem Compiler mehr Freiheit zu optimieren, wenn ihm danach ist.

[Reply ]