suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

avoid over-strict aliasing assumptions in gcc for amd64

Browse Source 
svn: r7901
This commit is contained in:
Matthew Flatt 2007-12-05 16:13:24 +00:00
parent e9758a2432
commit f0e73013d1
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/mzscheme/src/jit.c
View File

@ -1037,12 +1037,20 @@ static void *prepare_retry_alloc(void *p, void *p2)
return p; return p;
} }
long scheme_read_first_word(void *sp)
/* Not declared static, to avoid inlining. This procedure
helps avoid bugs in C compiler alias analysis, since we are
intentially aliasing. */
{
return *(long *)sp;
}
static long initial_tag_word(Scheme_Type tag) static long initial_tag_word(Scheme_Type tag)
{ {
Scheme_Small_Object s; GC_CAN_IGNORE Scheme_Small_Object sp;
memset(&s, 0, sizeof(Scheme_Small_Object)); memset(&sp, 0, sizeof(Scheme_Small_Object));
s.iso.so.type = tag; sp.iso.so.type = tag;
return *(long *)(void *)&s; return scheme_read_first_word((void *)&sp);
} }
static int inline_alloc(mz_jit_state *jitter, int amt, Scheme_Type ty, int keep_r0_r1) static int inline_alloc(mz_jit_state *jitter, int amt, Scheme_Type ty, int keep_r0_r1)