Searched refs:Size (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/Boolify/test/
H A Ddatatypes.sml332 Hol_datatype `Size = Byte | Word | Long`;
387 DataOrAddressRegister => Size
390 | pcindex of num => DataOrAddressRegister => Size`;
400 | ADD of Size => AddressingMode => AddressingMode
401 | ADDA of Size => AddressingMode => AddressRegister
402 | ADDI of Size => num => AddressingMode
403 | ADDQ of Size => num => AddressingMode
404 | ADDX of Size => AddressingMode => AddressingMode
405 | AND of Size => AddressingMode => AddressingMode
406 | ANDI of Size
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dpyobjc-tc.c15 typedef struct Size { struct
18 } Size; typedef in typeref:struct:Size
22 Size s;
55 size_type.size = 0;/* sizeof(Size);*/
56 size_type.alignment = 0;/* __alignof__(Size);*/
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DDynarray.sig26 upper bound on non-default elements. Raises Size if n < 0.
30 values in a in the range [m,n]. Raises the exception Size if n < m.
37 remaining elements are the default d. Raises Size if n < 0.
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DGeneral.sml31 exception Size exception
56 and Size = RunCall.Size exception
78 exception Span = Span and Subscript = Subscript and Size = Size exception
H A DLibrarySupport.sml137 else raise Size
148 then raise Size
168 val _ = words <= maxAllocation orelse raise Size
H A DWeak.sml45 val () = if n < 0 orelse n >= Array.maxLen then raise Size else ()
H A DDate.sml93 in the RTS. May raise Size if the value is too large (or small). In
97 handle General.Size => callTiming 4 (Time.toSeconds(Time.now()))
276 callTiming 5 (Time.toSeconds(toTime d)) handle Size => ~1
477 handle Size => ~1
481 handle RunCall.Size => raise Date
H A DArray.sml62 val () = if len >= maxLen then raise General.Size else ()
70 val () = if len < 0 orelse len >= maxLen then raise General.Size else ()
113 if length < 0 then raise General.Size
H A DVector.sml78 val () = if length >= maxLen then raise General.Size else ()
101 if length > 0 andalso length < maxLen then alloc length else raise General.Size;
124 else if total_len >= maxLen then raise General.Size
H A DIntInf.sml126 else raise Size
H A DList.sml136 if n < 0 then raise Size
H A DReal.sml405 for the number of digits raises Size. The tests also check
407 expect Size to be raised in that case. Note that the exception
414 if d < 0 orelse d > 200 then raise General.Size
418 if d < 0 orelse d > 200 then raise General.Size
422 if d < 1 orelse d > 200 then raise General.Size
H A DPrimIO.sml482 readVec = SOME(fn n => if n < 0 then raise Size else if !isOpen then Vector.fromList [] else raise IO.ClosedStream),
484 readVecNB = SOME(fn n => if n < 0 then raise Size else if !isOpen then SOME(Vector.fromList []) else raise IO.ClosedStream),
541 fun readVec n = if n < 0 then raise Size else VectorSlice.vector(getSlice n)
H A DArray2.sml56 then raise Size
H A DBoolArray.sml47 then raise General.Size
104 if length >= 0 then alloc length else raise General.Size;
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dvspace.tex190 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
204 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
214 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
223 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
233 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
243 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DImport.sig81 | Size
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DBitsN.sml171 handle General.Size => raise Fail "replicate must be > 0-bit"
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86CODESIG.sml77 (* Size of operand. OpSize64 is only valid in 64-bit mode. *)
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dmetis.sml189 ("Size: " ^
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml189 ("Size: " ^
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8Script.sml800 Bop(Rep,vVar"l",Bop(Div,Mop(Size,LY(0,"N")),Mop(Length,vVar"l")))))
810 Bop(Sub,Bop(Sub,Mop(Cast iTy,Mop(Size,LY(0,"N"))),LI 1),
933 Mop(Cast(BTy"N"),Mop(PadLeft,TP[LT,Mop(Size,LY(0,"N")),vVar"l"]))))
959 Bop(Sub,Mop(Size,LY(0,"N")),nVar"sh")]),
1284 qVar"state")),Mop(Size,LY(0,"N")))]),
1576 ITE(EQ(Mop(Size,LY(0,"N")),LN 32),
1653 Call("Zeros",vTy,Mop(Size,LY(0,"N")))],
1780 Bop(Div,Mop(Size,LY(0,"N")),LN 8),
1788 Bop(Div,Mop(Size,LY(0,"N")),LN 8),
1873 Let(nVar"dbytes",Bop(Div,Mop(Size,L
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml716 if i >= 0 andalso i < 0xff then 0x0200 + i else raise Size
718 if i >= 0 andalso i < 0xff then 0x0300 + i else raise Size
916 if Word8Vector.length w <> n then raise Size else deref(fromWord8vec w)
H A DDeviceBase.sml284 val DMBaseSize = 0w156 (* Size of structure without any user data. *)
/seL4-l4v-10.1.1/HOL4/src/string/
H A DstringScript.sml266 Size of a string.

Completed in 407 milliseconds

12