Searched refs:valu (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */ argument
72 Check(valu);
74 *save_vec_addr = SaveVecEntry(valu);
H A Dscanaddrs.cpp208 uintptr_t valu; local
210 if (pt[sizeof(uintptr_t)-1] & 0x80) valu = 0-1; else valu = 0;
212 valu = (valu << 8) | pt[i-1];
213 if (valu == 0 || PolyWord::FromUnsigned((POLYUNSIGNED)valu).IsTagged())
215 else return (PolyObject*)valu;
243 uintptr_t valu = (uintptr_t)p; local
246 addressToWrite[i] = (byte)(valu
[all...]
H A Dsave_vec.h68 Handle push(PolyWord valu);
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DDEBUGGER_.sml153 fun match (EnvTypeid{original, freeId }, valu) =
159 SOME(TypeId { access= Global(mkConst valu), idKind=idKind, description=description})
191 fun makeStructure state (name, rSig, locations, valu) =
200 makeGlobalStruct (name, newSig, mkConst valu, locations)
219 fun getValue(valu, ty) =
226 then mkConst valu
227 else mkInlproc(mkConst valu, nPolyVars, "poly", [], 0)
230 fun makeValue state (name, ty, location, valu) =
231 mkGvar(name, runTimeType state ty, getValue(valu, ty), location)
233 and makeException state (name, ty, location, valu)
[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml1323 fun match (EnvStartFunction(_, _, ty), valu) =
1324 SOME(makeAnonymousValue state (ty, valu))
1334 fun match (EnvEndFunction(_, _, ty), valu) =
1335 SOME(makeAnonymousValue state(ty, valu))
1359 fun lookupValues (EnvValue(name, ty, location) :: ntl, valu :: vl) s =
1361 then SOME(makeValue state (name, ty, location, valu))
1364 | lookupValues (EnvException(name, ty, location) :: ntl, valu :: vl) s =
1366 then SOME(makeException state (name, ty, location, valu))
1369 | lookupValues (EnvVConstr(name, ty, nullary, count, location) :: ntl, valu :: vl) s =
1371 then SOME(makeConstructor state (name, ty, nullary, count, location, valu))
[all...]

Completed in 62 milliseconds