File tree Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change 40
40
41
41
set -x
42
42
43
- LD_PRELOAD=$PWD /../libredfat.so gcc -O2 -o test test.c
43
+ LD_PRELOAD=$PWD /../libredfat.so gcc -fno-builtin - O2 -o test test.c
44
44
LD_PRELOAD=$PWD /../libredfat.so ../redfat.bin -Xreads ./test
45
45
LD_PRELOAD=$PWD /../libredfat.so ./test.redfat
46
46
Original file line number Diff line number Diff line change @@ -66,6 +66,10 @@ static __attribute__((__noinline__)) void use(size_t x)
66
66
{
67
67
asm ("" : : "r" (x ): "memory" );
68
68
}
69
+ static __attribute__((__noinline__ )) void use2 (void * x )
70
+ {
71
+ asm ("" : : "r" (x ): "memory" );
72
+ }
69
73
static __attribute__((__noinline__ )) size_t unknown (size_t size )
70
74
{
71
75
return size ;
@@ -398,12 +402,12 @@ static void memset8x8(intptr_t ptr, ssize_t offset)
398
402
static void memcpy8x8 (intptr_t ptr , ssize_t offset )
399
403
{
400
404
const char mem [8 ] = "ABCDEFG" ;
401
- memcpy ((void * )(ptr + offset ), mem , unknown (sizeof (mem )));
405
+ use2 ( memcpy ((void * )(ptr + offset ), mem , unknown (sizeof (mem ) )));
402
406
}
403
407
static void memcpy8x8f (intptr_t ptr , ssize_t offset )
404
408
{
405
409
char mem [8 ];
406
- memcpy (mem , (void * )(ptr + offset ), unknown (sizeof (mem )));
410
+ use2 ( memcpy (mem , (void * )(ptr + offset ), unknown (sizeof (mem ) )));
407
411
}
408
412
static void memcmp8x8 (intptr_t ptr , ssize_t offset )
409
413
{
You can’t perform that action at this time.
0 commit comments