avoid ground term optimisation with YAPOR.
This commit is contained in:
parent
a1d903e3e9
commit
c0ef01a700
@ -735,7 +735,7 @@ c_arg(Int argno, Term t, unsigned int arity, unsigned int level, compiler_struct
|
|||||||
} else if (IsPairTerm(t)) {
|
} else if (IsPairTerm(t)) {
|
||||||
cglobs->space_used += 2;
|
cglobs->space_used += 2;
|
||||||
if (optimizer_on && level < 6) {
|
if (optimizer_on && level < 6) {
|
||||||
#if !defined(THREADS)
|
#if !defined(THREADS) && !defined(YAPOR)
|
||||||
/* discard code sharing because we cannot write on shared stuff */
|
/* discard code sharing because we cannot write on shared stuff */
|
||||||
if (!(cglobs->cint.CurrentPred->PredFlags & (DynamicPredFlag|LogUpdatePredFlag))) {
|
if (!(cglobs->cint.CurrentPred->PredFlags & (DynamicPredFlag|LogUpdatePredFlag))) {
|
||||||
if (try_store_as_dbterm(t, argno, arity, level, cglobs))
|
if (try_store_as_dbterm(t, argno, arity, level, cglobs))
|
||||||
|
Reference in New Issue
Block a user