syntaxAlchemist/ldmc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

code size benchmark: separate morph function to avoid overhead from scanf/printf

Browse source
This commit is contained in:
Michael Sippel 2025-02-14 13:51:59 +01:00
parent 959d2f9185
commit eb29fad4b2
Signed by: senvas
GPG key ID: F96CF119C34B64A6
3 changed files with 56 additions and 74 deletions

8
morphisms/Makefile
View file

@ -22,10 +22,10 @@ code-size-benchmark: posint-dec-to-hex-generated-gcc \
posint-dec-to-hex-generated-clang \
posint-dec-to-hex-optimal-gcc \
posint-dec-to-hex-optimal-clang
INST_COUNT_GEN_GCC=$(shell gdb --batch -ex "file posint-dec-to-hex-generated-gcc" -ex "disassemble main" | wc -l)
INST_COUNT_GEN_CLANG=$(shell gdb --batch -ex "file posint-dec-to-hex-generated-clang" -ex "disassemble main" | wc -l)
INST_COUNT_OPT_GCC=$(shell gdb --batch -ex "file posint-dec-to-hex-optimal-gcc" -ex "disassemble main" | wc -l)
INST_COUNT_OPT_CLANG=$(shell gdb --batch -ex "file posint-dec-to-hex-optimal-clang" -ex "disassemble main" | wc -l)
INST_COUNT_GEN_GCC=$(shell gdb --batch -ex "file posint-dec-to-hex-generated-gcc" -ex "disassemble morph_posint_radix" | wc -l)
INST_COUNT_GEN_CLANG=$(shell gdb --batch -ex "file posint-dec-to-hex-generated-clang" -ex "disassemble morph_posint_radix" | wc -l)
INST_COUNT_OPT_GCC=$(shell gdb --batch -ex "file posint-dec-to-hex-optimal-gcc" -ex "disassemble morph_posint_radix" | wc -l)
INST_COUNT_OPT_CLANG=$(shell gdb --batch -ex "file posint-dec-to-hex-optimal-clang" -ex "disassemble posint_radix" | wc -l)
clean:
rm $(TARGETS)

53
morphisms/posint-dec-to-hex-generated.c
View file

@ -3,12 +3,11 @@
#include <morphisms/length-prefix.h>
#include <morphisms/posint.h>
int main() {
uint8_t bufA[1024];
uint8_t bufB[1024];
scanf("%s", bufA);
__attribute__((noinline))
int morph_posint_radix(
uint8_t * bufA,
uint8_t * bufB
) {
// morph to
// ℕ ~ <PosInt 10 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 10> ~ Char ~ Ascii]
{
@ -23,40 +22,14 @@ int main() {
struct LengthPrefixUInt8Array * src = (void*) bufB;
struct LengthPrefixUInt64Array * dst = (void*) bufA;
length_prefix_array_map_8_to_64( morph_digit_as_char_to_uint64, src, dst );
/*
dst->len = src->len;
for( uint64_t i = 0; i < src->len; ++i )
morph_digit_as_char_to_uint64( &src->items[i], &dst->items[i] );
*/
}
// morph to
// ℕ ~ <PosInt 10 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 10> ~ ℤ_10 ~ x86.UInt64]
{
uint64_t const radix = 10;
struct LengthPrefixUInt64Array * src = (void*) bufA;
struct LengthPrefixUInt64Array * dst = (void*) bufB;
morph_posint_endianness( radix, src, dst );
}
// morph to
// ℕ ~ <PosInt 16 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64]
{
uint64_t const src_radix = 10;
uint64_t const dst_radix = 16;
struct LengthPrefixUInt64Array * src = (void*) bufB;
struct LengthPrefixUInt64Array * dst = (void*) bufA;
morph_posint_radix( src_radix, dst_radix, src, dst );
}
// morph to
// ℕ ~ <PosInt 16 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 10> ~ ℤ_10 ~ x86.UInt64]
{
uint64_t const radix = 16;
struct LengthPrefixUInt64Array * src = (void*) bufA;
struct LengthPrefixUInt64Array * dst = (void*) bufB;
morph_posint_endianness( radix, src, dst );
morph_posint_radix_little( src_radix, dst_radix, src, dst );
}
// morph to
@ -66,11 +39,6 @@ int main() {
struct LengthPrefixUInt8Array * dst = (void*) bufA;
length_prefix_array_map_64_to_8( morph_digit_as_uint64_to_char, src, dst );
/*
dst->len = src->len;
for( uint64_t i = 0; i < src->len; ++i )
morph_digit_as_uint64_to_char( &src->items[i], &dst->items[i] );
*/
}
// morph to
@ -81,6 +49,15 @@ int main() {
morph_string_as_length_prefix_to_nullterm( src, dst );
}
return 0;
}
int main() {
uint8_t bufA[1024];
uint8_t bufB[1024];
scanf("%s", bufA);
morph_posint_radix( bufA, bufB );
printf("%s\n", bufB);
return 0;

69
morphisms/posint-dec-to-hex-optimal.c
View file

@ -1,6 +1,42 @@
#include <stdio.h>
#include <stdint.h>
__attribute__((noinline))
int morph_posint_radix( char * in, char * out ) {
uint64_t value = 0;
while( *in ) {
if( *in >= '0' && *in <= '9' ) {
value *= 10;
value += *in - '0';
}
else
return -1;
in++;
}
uint64_t v = value;
while( v ) {
out ++;
v /= 16;
}
*out-- = '\0';
while( value ) {
unsigned digit = value % 16;
if( digit < 10 ) {
*out-- = digit + '0';
} else if( digit < 16 ) {
*out-- = digit + 'a' - 10;
} else {
return -1;
}
value /= 16;
}
return 0;
}
int main() {
char bufA[1024];
char bufB[1024];
@ -9,38 +45,7 @@ int main() {
char * out = bufB;
scanf("%s", in);
uint64_t value = 0;
while( *in ) {
if( *in >= '0' && *in <= '9' ) {
value *= 10;
value += *in - '0';
}
else
return -1;
in++;
}
uint64_t v = value;
while( v ) {
out ++;
v /= 16;
}
*out-- = '\0';
while( value ) {
unsigned digit = value % 16;
if( digit < 10 ) {
*out-- = digit + '0';
} else if( digit < 16 ) {
*out-- = digit + 'a' - 10;
} else {
return -1;
}
value /= 16;
}
morph_posint_radix( in, out );
printf("%s\n", out);
return 0;