Lines Matching refs:val
79 if (IsStructure(tproc) && vproc.ptr->val.did == d_type_) {\
105 p_is_built_in(value val, type tag, value vm, type tm),
106 p_is_predicate(value val, type tag, value vm, type tm),
116 p_als(value val, type tag, value vm, type tm),
263 d_val1 = in_dict("val", 1);
392 mod_pw.val.all = vmod.all;
398 Return_Unify_Pw(mod_pw.val, mod_pw.tag, vout, tout);
412 p_als(value val, type tag, value vm, type tm)
425 code = (vmcode *) val.nint;
429 Get_Proc_Did(val, tag, wdid);
525 p_is_predicate(value val, type tag, value vm, type tm)
532 Get_Proc_Did(val, tag, d);
668 Return_Unify_Pw(v, t, result.val, result.tag);
909 pw[0].val.ptr = (pword *) &heap_rec_header_tid;
911 pw[1].val.ptr = (pword *) source_record;
965 p_is_built_in(value val, type tag, value vm, type tm)
972 Get_Proc_Did(val, tag, d);
1090 Request_Unify_Pw(vf, tf, s->val, s->tag);
1221 Request_Unify_Pw(vf, tf, result.val, result.tag);
1257 Request_Unify_Pw(vf, tf, result.val, result.tag);
1296 pd.val = pv;
1303 pred = pred->val.ptr;
1304 wd = pred->val.did;
1309 pred = pred->val.ptr;
1312 wd = pred->val.did;
1326 term = term->val.ptr;
1327 wd = term->val.did;
1332 term = term->val.ptr;
1335 wd = term->val.did;
1362 if (arg->val.did == d_.plus0)
1364 else if (arg->val.did == d_.plusplus)
1366 else if (arg->val.did == d_.minus0)
1368 else if (arg->val.did == d_.question)
1371 else if (arg->val.did == d_plusminus)
1373 else if (arg->val.did == d_minusplus)
1414 arg = pw->val.did;
1447 list = list->val.ptr;
1551 if (IsStructure(ttrans) && vtrans.ptr[0].val.did == d_.colon)
1556 lookup_module = pw->val.did;
1559 vtrans.all = pw->val.all;
1620 prop->val.ptr = (pword *) md;
1697 Check_Atom_Or_Nil(pw->val, pw->tag);
1700 if (i != TPTR && pw->val.did == tag_desc[i].type_name) {
1716 if (IsStructure(t1) && v1.ptr->val.did == d_.quotient)
1731 else if (IsStructure(t1) && v1.ptr->val.did == d_type_)
1745 if (IsStructure(t2) && v2.ptr->val.did == d_.quotient)
1811 md = (macro_desc *) pwd->val.ptr;
1815 pwd[0].val.did = d_.quotient;
1817 pwd[1].val.did = add_dict(md->trans_function, 0);
1819 pwd[2].val.nint = DidArity(md->trans_function);
1842 p[0].val.did = flags & TR_GLOBAL ? d_.global0 : d_.local0;
1844 p[1].val.ptr = Gbl_Tg;
1850 p[0].val.did = d_.protect_arg;
1852 p[1].val.ptr = Gbl_Tg;
1858 p[0].val.did = d_.top_only;
1860 p[1].val.ptr = Gbl_Tg;
1866 p[0].val.did = d_.write;
1868 p[1].val.ptr = Gbl_Tg;
1874 p[0].val.did = d_.clause0;
1876 p[1].val.ptr = Gbl_Tg;
1882 p[0].val.did = d_.goal;
1884 p[1].val.ptr = Gbl_Tg;
1913 case TCOMP: wdid = v1.ptr->val.did; break;
1947 case TCOMP: proc_did = vgoal.ptr->val.did; break;
2093 ref_pw.val.ptr = DynCodeSrcHandle(PriCode(proc));
2095 Return_Unify_Pw(vsrc, tsrc, ref_pw.val, ref_pw.tag);
2441 Store_d(base + pw1->val.nint) \
2446 if (pw1->val.did == d_.fail) \
2450 else if (pw1->val.did == d_par_fail) \
2498 Set_Did_Stability(v.ptr->val.did, stability);
2499 arity = DidArity(v.ptr->val.did);
2510 res = _set_did_stability(arg_i->val, arg_i->tag, stability);
2516 v.all = arg_i->val.all;
2544 codelen = DidArity(vcode.ptr->val.did);
2590 { Set_Did_Stability(pw1->val.did, DICT_CODE_REF); }
2591 Store_d(pw1->val.nint)
2596 heap_string.ptr = enter_string_n(StringStart(pw1->val),
2597 StringLength(pw1->val), DICT_CODE_REF);
2604 pw1 = pw1->val.ptr;
2605 d = pw1++->val.did;
2611 Store_i(pw1->val.nint)
2616 Store_d(Address(pw1->val.nint))
2621 Store_d(Esize(pw1->val.nint))
2627 Store_d(Esize(pw1->val.nint))
2636 pw1 = pw1->val.ptr;
2640 firsti = elem->val.nint;
2644 pw1 = pw1->val.ptr;
2648 i = elem->val.nint;
2667 Store_d(pw1->val.nint * sizeof(word))
2672 Set_Did_Stability(pw1->val.did, DICT_CODE_REF);
2673 Store_d(DidTag(TNAME, pw1->val.did));
2678 Set_Did_Stability(pw1->val.did, DICT_CODE_REF);
2679 Store_d(DidTag(TMETA, pw1->val.did));
2685 i = (word) meta_index(pw1->val.did);
2692 if (IsAtom(pw1->tag) && pw1->val.did == vm.did) {
2693 Store_d(ModuleTag(pw1->val.did));
2698 else if (d == d_val1) /* val(GroundTerm) */
2702 res = _set_did_stability(pw1->val, pw1->tag, DICT_CODE_REF);
2704 res = create_heapterm(&ground_copy, pw1->val, pw1->tag);
2706 Store_d(ground_copy.val.all);
2712 err = ec_constant_table_enter(pw1->val, pw1->tag, &ground_copy);
2714 if (IsAtom(ground_copy.tag) && ground_copy.val.did == vm.did) {
2715 Store_d(ModuleTag(ground_copy.val.did));
2725 else if (d == d_val1) /* val(GroundTerm) */
2728 err = ec_constant_table_enter(pw1->val, pw1->tag, &ground_copy);
2730 Store_d(ground_copy.val.all);
2732 int res = create_heapterm(&ground_copy, pw1->val, pw1->tag);
2734 Store_d(ground_copy.val.all);
2743 if (IsStructure(pw1->tag) && pw1->val.ptr[0].val.did == d_.colon)
2746 pmod = &pw1->val.ptr[1];
2747 pproc = &pw1->val.ptr[2];
2751 Get_Proc_Did(pproc->val, pproc->tag, pdid);
2752 Store_d(qualified_procedure(pdid, pmod->val.did, vm.did, tm));
2756 Get_Proc_Did(pw1->val, pw1->tag, pdid);
2763 Get_Functor_Did(pw1->val, pw1->tag, pdid);
2775 Store_d((word)(base + pw1[0].val.nint) + pw1[1].val.nint)
2780 if (pw1->val.nint < 1 || pw1->val.nint > 2 /*arbitrary*/)
2784 while ((code - (vmcode*)0) % pw1->val.nint)
2799 pw1 = pw1->val.ptr;
2802 if (IsStructure(elem->tag) && (elem->val.ptr->val.did == d_.minus))
2806 elem = elem->val.ptr + 1;
2808 Get_Functor_Did(elem->val, elem->tag, key.did);
2826 key.val.nint = 1;
2828 result.val.ptr = ec_keysort(result.val, key.val, key.tag, 0, 1, 0, &err);
2829 if (!result.val.ptr)
2837 pw1 = pw1->val.ptr;
2840 elem = elem->val.ptr + 1;
2841 Store_d(elem->val.nint); /* store key */
2844 if (IsStructure(elem->tag) && (elem->val.ptr->val.did == d_ref1))
2846 elem = elem->val.ptr + 1;
2866 codeptr = codeptr->val.ptr;
2933 d = pw1++->val.did;
2940 c.val.nint = pw1->val.nint;
2943 c.tag.kernel = pw2->val.nint;
2944 Return_Unify_Pw(v, t, c.val, c.tag);
2955 slot = pw1->val.nint / (word) sizeof(pword);
2959 mask = (uword) (pw->val.nint & (unsigned) 0xffffffff);
2978 Return_Unify_Pw(v, t, result.val, result.tag);
2985 edesc = pw1->val.nint;
3015 Return_Unify_Pw(v, t, result.val, result.tag);
3027 ptable = ptable->val.ptr;
3032 for (i=0; i<pw1->val.nint; ++i)
3039 Make_Integer(&pw[3], ptable[i].val.nint);
3044 Return_Unify_Pw(v, t, result.val, result.tag);
3059 for (i=0; i<=pw1->val.nint; ++i)
3064 Make_Integer(pw, ptable->val.wptr[i]);
3068 Return_Unify_Pw(v, t, result.val, result.tag);
3077 if (pw1->val.wptr == (uword *) &fail_code_[0])
3081 else if (pw1->val.wptr == (uword *) &par_fail_code_[0])
3088 Return_Unify_Integer(v, t, pw1->val.wptr - base->val.wptr);
3097 Return_Unify_Integer(v, t, Get_Int_Opcode(&(pw1->val.nint)));
3101 Return_Unify_Integer(v, t, pw1->val.nint / (word) sizeof(word));
3105 Return_Unify_Integer(v, t, pw1->val.ptr - &A[0]);
3109 Return_Unify_Integer(v, t, pw1->val.nint / (word) sizeof(pword));
3114 dident pdid = PriDid(pw1->val.priptr);
3118 if (PriScope(pw1->val.priptr) == QUALI)
3121 Make_Atom(&pw[4], pw1->val.priptr->module_ref);
3131 Make_Atom(&pw[1], add_dict(pw1->val.did, 0));
3132 Make_Integer(&pw[2], DidArity(pw1->val.did));
3137 if (DidArity(pw1->val.did) != 0)
3139 Return_Unify_Atom(v, t, pw1->val.did);
3143 Return_Unify_String(v, t, pw1->val.ptr);
3148 Return_Unify_Float(v, t, pw1->val.real);
3153 Return_Unify_Atom(v, t, TagDid(pw1->val.nint));
3211 /* we return pcode->val.ptr instead if pcode because that's
3213 Make_Integer(&p_struct[1], pcode->val.ptr);
3257 Return_Unify_Pw(vcode, tcode, block_list.val, block_list.tag);
3308 p->val.did = d_.plus0;
3312 p->val.did = d_.plusplus;
3316 p->val.did = d_.minus0;
3321 p->val.did = d_plusminus;
3325 p->val.did = d_minusplus;
3330 p->val.did = d_.question;