/seL4-l4v-master/graph-refine/example/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals namespace
|
/seL4-l4v-master/graph-refine/loop-example/synth/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals namespace
|
/seL4-l4v-master/graph-refine/ |
H A D | objdump.py | 47 from syntax import structs, fresh_name, Struct, mk_word32 namespace 93 struct_name = fresh_name (name, structs) 95 structs[struct_name] = struct
|
H A D | syntax.py | 10 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 D | pseudo_compile.py | 10 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 D | target_objects.py | 22 structs = {} variable
|
H A D | logic.py | 17 from syntax import structs namespace 540 in structs[outer_typ[1].name].fields.itervalues()]
|
H A D | solver.py | 177 from target_objects import structs, rodata, sections, trace, printout namespace
|
/seL4-l4v-master/graph-refine/loop-example/O1/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals namespace
|
/seL4-l4v-master/graph-refine/seL4-example/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions namespace
|
/seL4-l4v-master/graph-refine/loop-example/O2/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals namespace
|
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 376 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 D | syscall_stub_gen.py | 376 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 D | ROOT.sml | 9 PolyML.SaveState.saveModule("IntInfAsInt", {functors=[], sigs=[], structs=[], onStartup=SOME printError });
|
/seL4-l4v-master/l4v/camkes/glue-proofs/document/ |
H A D | intro.tex | 69 user-defined data types (e.g. C structs).
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86FOREIGNCALL.sml | 481 (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 D | SIGNATURES.sml | 636 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 D | FinalPolyML.sml | 2183 fun saveModule(s, {structs, functors, sigs, onStartup}) = 2189 val structVals = map (dolookup(#lookupStruct, Tags.structureTag, "Structure")) structs
|
H A D | Foreign.sml | 300 (* structs. *) 1045 (* structs. These are also used when preparing arguments for function calls.
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | CODEGEN_PARSETREE.sml | 1094 | 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 D | lzPairRules.sml | 274 (*bp and np are paired structs (may be vars). Return a list of substs matching up their atomic components using FST and SND*)
|