Searched refs:structs (Results 1 - 21 of 21) sorted by relevance

/seL4-l4v-master/graph-refine/example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
/seL4-l4v-master/graph-refine/loop-example/synth/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
/seL4-l4v-master/graph-refine/
H A Dobjdump.py47 from syntax import structs, fresh_name, Struct, mk_word32 namespace
93 struct_name = fresh_name (name, structs)
95 structs[struct_name] = struct
H A Dsyntax.py10 from target_objects import structs, trace namespace
315 return structs[self.name].subtypes()
323 return structs[self.name].size
340 return structs[self.name].align
461 struct = structs[struct_typ.name]
470 struct = structs[struct_typ.name]
899 struct_name = fresh_name ('Global (%s)' % typ, structs)
902 structs[struct_name] = struct
908 # parsing code for types, expressions, structs and functions
1110 structs
[all...]
H A Dpseudo_compile.py10 from syntax import structs, get_vars, get_expr_typ, get_node_vars, Expr, Node namespace
41 (typ, offs, _) = structs[expr.typ.name].fields[name]
110 struct = structs[container.name]
125 struct = structs[expr.struct.typ.name]
158 for (nm, typ2) in structs[expr.typ.name].field_list:
203 (typ, offs, _) = structs[f_upd.typ.name].fields[f_upd.field[0]]
211 struct = structs[s_val.typ.name]
265 for (nm, _) in structs[arg.typ.name].field_list]
314 fields = structs[typ.name].field_list
H A Dtarget_objects.py22 structs = {} variable
H A Dlogic.py17 from syntax import structs namespace
540 in structs[outer_typ[1].name].fields.itervalues()]
H A Dsolver.py177 from target_objects import structs, rodata, sections, trace, printout namespace
/seL4-l4v-master/graph-refine/loop-example/O1/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
/seL4-l4v-master/graph-refine/seL4-example/
H A Dtarget.py7 from target_objects import target_dir, structs, functions namespace
/seL4-l4v-master/graph-refine/loop-example/O2/
H A Dtarget.py7 from target_objects import target_dir, structs, functions, const_globals namespace
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py376 def struct_members(typ, structs):
377 members = [member for struct_name, member in structs if struct_name == typ.name]
436 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
487 expr = param.type.c_expression(param.name, i, struct_members(param.type, structs))
595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_params, structs, use_only_ipc_buffer, comment, mcs):
645 structs, wordsize)
748 members = struct_members(param.type, structs)
828 structs = []
839 structs.append((struct_name, _struct_members))
942 return (methods, structs, ap
[all...]
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py376 def struct_members(typ, structs):
377 members = [member for struct_name, member in structs if struct_name == typ.name]
436 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
487 expr = param.type.c_expression(param.name, i, struct_members(param.type, structs))
595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_params, structs, use_only_ipc_buffer, comment, mcs):
645 structs, wordsize)
748 members = struct_members(param.type, structs)
828 structs = []
839 structs.append((struct_name, _struct_members))
942 return (methods, structs, ap
[all...]
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DROOT.sml9 PolyML.SaveState.saveModule("IntInfAsInt", {functors=[], sigs=[], structs=[], onStartup=SOME printError });
/seL4-l4v-master/l4v/camkes/glue-proofs/document/
H A Dintro.tex69 user-defined data types (e.g. C structs).
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml481 (CTypeStruct elements, _) => (* structs passed as values are recursively unpacked. *)
616 (* structs passed as values are recursively unpacked. *)
785 2, 4 or 8-byte structs may not be aligned onto the appropriate boundary but
859 | (_, 0w1) (* Includes structs *) => (* Single byte *) storeIntValue Move8
1138 (* The rules for passing structs in SysV on X86/64 are complicated but most of the special
1144 any internal structs have been unwrapped. Each chunk will consist of either a single
1161 (* Unwrap the struct and any internal structs. *)
1201 structs can require shifts and multiple stores. N.B. May modify the source register. *)
1344 (* The rules for returning structs are similar to those for parameters. *)
1347 this is very simple: the only complication is with structs o
[all...]
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DSIGNATURES.sml636 fun allStructsAndTypes structs = List.foldl structsAndTypes ([], []) structs
665 fun structureSharing(structs, line, near) =
667 fun shareStructs structs =
669 val (allTypes, allSubstructs) = allStructsAndTypes structs
683 shareStructs(List.map(fn (s as Struct{name=sName, ...}) => (s, sName ^ ".", typeIdEnv())) structs)
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml2183 fun saveModule(s, {structs, functors, sigs, onStartup}) =
2189 val structVals = map (dolookup(#lookupStruct, Tags.structureTag, "Structure")) structs
H A DForeign.sml300 (* structs. *)
1045 (* structs. These are also used when preparing arguments for function calls.
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml1094 | codeSequence ((OpenDec {variables=ref vars, structures = ref structs, typeconstrs = ref types, ...}, _) :: pTail,
1100 val (thirdDec, thirdEnv) = makeStructDebugEntries(structs, secondEnv, level, lex, mkAddr)
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DlzPairRules.sml274 (*bp and np are paired structs (may be vars). Return a list of substs matching up their atomic components using FST and SND*)

Completed in 252 milliseconds