Home
last modified time | relevance | path

Searched refs:tyenv (Results 1 – 25 of 118) sorted by relevance

12345

/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/
H A Dstmt.py180 def typecheck(self, tyenv): argument
209 def typecheck(self, tyenv): argument
249 def typecheck(self, tyenv): argument
286 def typecheck(self, tyenv): argument
293 if addrty != tyenv.wordty:
340 def typecheck(self, tyenv): argument
344 if addrty != tyenv.wordty:
413 def typecheck(self, tyenv): argument
543 def typecheck(self, tyenv): argument
597 def typecheck(self, tyenv): argument
[all …]
H A Dexpr.py55 def result_size(self, tyenv): argument
58 def result_type(self, tyenv): argument
112 def typecheck(self, tyenv): argument
139 def result_type(self, tyenv): argument
160 def result_type(self, tyenv): argument
181 def result_type(self, tyenv): argument
414 def typecheck(self, tyenv): argument
481 def typecheck(self, tyenv): argument
534 def typecheck(self, tyenv): argument
587 def typecheck(self, tyenv): argument
[all …]
H A Dblock.py126 def tyenv(self): member in IRSB
131 @tyenv.setter
132 def tyenv(self, v): member in IRSB
317 irsb.tyenv = tyenv
461 sa.append(" %s" % self.tyenv)
499 self.tyenv = IRTypeEnv._from_c(self.arch, c_irsb.tyenv)
502 self.tyenv = None
541 if tyenv is not None:
542 self.tyenv = tyenv
604 def _to_c(tyenv): argument
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DTypeOf.hs30 fastTypeOf tyenv expr =
33 ELocated _ t -> fastTypeOf tyenv t
39 EIf _ e _ -> fastTypeOf tyenv e
55 case fastSchemaOf tyenv expr of
61 fastSchemaOf tyenv expr =
63 ELocated _ e -> fastSchemaOf tyenv e
66 EVar x -> case Map.lookup x tyenv of
70 ETAbs tparam e -> case fastSchemaOf tyenv e of
72 ETApp e t -> case fastSchemaOf tyenv e of
86 EProofAbs p e -> case fastSchemaOf tyenv e of
[all …]
/dports/security/py-angr/angr-9.0.5405/angr/analyses/reaching_definitions/
H A Dengine_vex.py116 size: int = stmt.data.result_size(self.tyenv) // 8
137 size = stmt.data.result_size(self.tyenv) // 8
146 size = stmt.data.result_size(self.tyenv) // 8
156 size = stmt.data.result_size(self.tyenv) // 8
259 bits = expr.result_size(self.tyenv)
276 bits: int = expr.result_size(self.tyenv)
295 return DataSet(data, expr.result_size(self.tyenv))
301 bits = expr.result_size(self.tyenv)
404 return DataSet(data, expr.result_size(self.tyenv))
439 bits = expr.result_size(self.tyenv)
[all …]
/dports/security/py-angr/angr-9.0.5405/angr/state_plugins/
H A Dscratch.py37 self.tyenv = None
45 self.tyenv = scratch.tyenv
81 def set_tyenv(self, tyenv): argument
82 self.tyenv = tyenv
83 self.temps = [None]*len(tyenv.types)
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/front/
H A Dreadterm.ml144 | Absyn.ConstantTerm(c, tyenv, _) ->
148 (List.length tyenv))
150 (rest, types @ tyenv)
219 Absyn.ConstantTerm(c, tyenv, _) ->
221 ((typeNodes tyenv (List.length tyenv)) + numTyNodes)
244 let rec getTypeMoleculeTypeAux tyenv tyskel =
248 Absyn.ArrowType(getTypeMoleculeTypeAux tyenv l,
249 getTypeMoleculeTypeAux tyenv r)
252 List.map (getTypeMoleculeTypeAux tyenv) args)
259 let tyenv = Types.getMoleculeEnvironment tymol in
[all …]
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/drd/
H A Ddrd_load_store.c356 tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instr_trace_mem_load()
384 ty_data_expr = typeOfIRExpr(bb->tyenv, data_expr_lo); in instr_trace_mem_store()
390 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F32); in instr_trace_mem_store()
396 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F64); in instr_trace_mem_store()
405 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
411 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I64); in instr_trace_mem_store()
449 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
454 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
536 size = sizeofIRType(typeOfIRExpr(bb->tyenv, data_expr)); in instrument_store()
539 IRTemp tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instrument_store()
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/drd/
H A Ddrd_load_store.c356 tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instr_trace_mem_load()
384 ty_data_expr = typeOfIRExpr(bb->tyenv, data_expr_lo); in instr_trace_mem_store()
390 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F32); in instr_trace_mem_store()
396 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F64); in instr_trace_mem_store()
405 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
411 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I64); in instr_trace_mem_store()
449 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
454 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store()
536 size = sizeofIRType(typeOfIRExpr(bb->tyenv, data_expr)); in instrument_store()
539 IRTemp tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instrument_store()
[all …]
/dports/security/py-angr/angr-9.0.5405/angr/analyses/variable_recovery/
H A Dengine_vex.py19 size = stmt.data.result_size(self.tyenv) // 8
27 size = stmt.data.result_size(self.tyenv) // 8
37 size = stmt.data.result_size(self.tyenv) // 8
89 reg_size = expr.result_size(self.tyenv) // 8
95 size = expr.result_size(self.tyenv) // 8
119 result_size = expr.result_size(self.tyenv)
149 result_size = expr.result_size(self.tyenv)
229 result_size = expr.result_size(self.tyenv)
249 result_size = expr.result_size(self.tyenv)
272 result_size = expr.result_size(self.tyenv)
[all …]
/dports/security/py-angr/angr-9.0.5405/angr/analyses/propagator/
H A Dengine_vex.py52 … VEXReg(expr.offset, expr.result_size(self.tyenv) // 8),
108 size = stmt.data.result_size(self.tyenv) // self.arch.byte_width
128 size = stmt.data.result_size(self.tyenv) // self.arch.byte_width
137 self.tmps[stmt.dst] = self._load_data(addr, stmt.alt.result_size(self.tyenv) // 8,
156 … self._store_data(addr, data, stmt.data.result_size(self.tyenv) // 8, self.arch.memory_endness)
168 size = self.tyenv.sizeof(stmt.result) // self.arch.byte_width
181 size = self.tyenv.sizeof(stmt.storedata.tmp) // self.arch.byte_width
194 size = expr.result_size(self.tyenv) // self.arch.byte_width
201 size = expr.result_size(self.tyenv) // self.arch.byte_width
/dports/security/py-ailment/ailment-9.0.5405/ailment/
H A Dconverter.py49 return DirtyExpression(manager.next_atom(), expr, bits=expr.result_size(manager.tyenv))
79 return VEXExprConverter.tmp(expr.tmp, expr.result_size(manager.tyenv), manager)
83 return VEXExprConverter.register(expr.offset, expr.result_size(manager.tyenv), manager)
89 expr.result_size(manager.tyenv) // 8,
160 return Const(manager.next_atom(), None, expr.con.value, expr.result_size(manager.tyenv),
223 var = VEXExprConverter.tmp(stmt.tmp, stmt.data.result_size(manager.tyenv), manager)
244 stmt.data.result_size(manager.tyenv) // 8,
282 dst = VEXExprConverter.tmp(stmt.dst, manager.tyenv.sizeof(stmt.dst) // 8, manager)
303 stmt.data.result_size(manager.tyenv) // 8,
337 manager.tyenv = irsb.tyenv
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/coregrind/
H A Dm_translate.c287 bb->tyenv = deepCopyIRTypeEnv(sb_in->tyenv); in vg_SP_update_pass()
538 old_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass()
585 new_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass()
1014 if (typeOfIRExpr(tyenv, e) == Ity_I32) { in narrowTo32()
1017 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64); in narrowTo32()
1067 t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_PUSH()
1070 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word); in gen_PUSH()
1153 IRTemp t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_POP()
1154 IRTemp res = newIRTemp( bb->tyenv, ty_Word ); in gen_POP()
1245 IRTemp old_R2 = newIRTemp( bb->tyenv, Ity_I64 ); in gen_pop_R2_LR_then_bLR()
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/coregrind/
H A Dm_translate.c287 bb->tyenv = deepCopyIRTypeEnv(sb_in->tyenv); in vg_SP_update_pass()
538 old_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass()
585 new_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass()
1014 if (typeOfIRExpr(tyenv, e) == Ity_I32) { in narrowTo32()
1017 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64); in narrowTo32()
1067 t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_PUSH()
1070 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word); in gen_PUSH()
1153 IRTemp t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_POP()
1154 IRTemp res = newIRTemp( bb->tyenv, ty_Word ); in gen_POP()
1245 IRTemp old_R2 = newIRTemp( bb->tyenv, Ity_I64 ); in gen_pop_R2_LR_then_bLR()
[all …]
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex_c/
H A Danalysis.c118 IRType put_type = typeOfIRExpr(irsb->tyenv, stmt->Ist.Put.data); in get_default_exit_target()
164 reg_type = typeOfIRExpr(irsb->tyenv, data); in get_default_exit_target()
361 if (irsb->tyenv->types_used > 1024) { in collect_data_references()
362 tmps = malloc(irsb->tyenv->types_used * sizeof(TmpValue)); in collect_data_references()
367 memset(tmps, 0, irsb->tyenv->types_used * sizeof(TmpValue)); in collect_data_references()
386 size = sizeofIRType(typeOfIRTemp(irsb->tyenv, stmt->Ist.WrTmp.tmp)); in collect_data_references()
472 UInt key = mk_key_GetPut(stmt->Ist.Put.offset, typeOfIRExpr(irsb->tyenv, data)); in collect_data_references()
485 IRType data_type = typeOfIRExpr(irsb->tyenv, stmt->Ist.Put.data); in collect_data_references()
/dports/security/py-pyvex/pyvex-9.0.5405/vex/priv/
H A Dir_defs.c1740 ppIRTypeEnv(bb->tyenv); in ppIRSB()
2321 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB()
2591 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts()
3987 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp()
4146 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local
4354 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local
4383 if (typeOfIRExpr(tyenv,puti->data) in tcStmt()
4436 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt()
4486 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt()
4555 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt()
[all …]
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/VEX/priv/
H A Dir_defs.c1731 ppIRTypeEnv(bb->tyenv); in ppIRSB()
2312 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB()
2582 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts()
4008 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp()
4235 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local
4443 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local
4472 if (typeOfIRExpr(tyenv,puti->data) in tcStmt()
4525 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt()
4575 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt()
4644 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt()
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/VEX/priv/
H A Dir_defs.c1731 ppIRTypeEnv(bb->tyenv); in ppIRSB()
2312 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB()
2582 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts()
4008 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp()
4235 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local
4443 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local
4472 if (typeOfIRExpr(tyenv,puti->data) in tcStmt()
4525 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt()
4575 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt()
4644 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt()
[all …]
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/lifting/
H A Dzerodivision.py54 arg_size = s.data.args[1].result_size(self.irsb.tyenv)
59 cmp_tmp = self.irsb.tyenv.add("Ity_I1")
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/lackey/
H A Dlk_main.c663 IRTypeEnv* tyenv = sbIn->tyenv; in lk_instrument() local
785 IRType type = typeOfIRExpr(sbOut->tyenv, expr); in lk_instrument()
807 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument()
823 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument()
886 dataTy = typeOfIRExpr(tyenv, cas->dataLo); in lk_instrument()
910 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in lk_instrument()
921 dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata); in lk_instrument()
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/lackey/
H A Dlk_main.c663 IRTypeEnv* tyenv = sbIn->tyenv; in lk_instrument() local
785 IRType type = typeOfIRExpr(sbOut->tyenv, expr); in lk_instrument()
807 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument()
823 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument()
886 dataTy = typeOfIRExpr(tyenv, cas->dataLo); in lk_instrument()
910 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in lk_instrument()
921 dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata); in lk_instrument()
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/exp-dhat/
H A Ddh_main.c785 IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update()
786 IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update()
811 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in addMemEvent()
837 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
840 IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
849 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
858 IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1); in addMemEvent()
881 IRTypeEnv* tyenv = sbIn->tyenv; in dh_instrument() local
937 sizeofIRType(typeOfIRExpr(tyenv, data)), in dh_instrument()
991 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in dh_instrument()
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/exp-dhat/
H A Ddh_main.c785 IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update()
786 IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update()
811 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in addMemEvent()
837 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
840 IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
849 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent()
858 IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1); in addMemEvent()
881 IRTypeEnv* tyenv = sbIn->tyenv; in dh_instrument() local
937 sizeofIRType(typeOfIRExpr(tyenv, data)), in dh_instrument()
991 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in dh_instrument()
[all …]
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/lifting/util/
H A Dvex_helper.py112 return rdt.result_type(self.irsb.tyenv)
158 return self.irsb.tyenv.add(t)
194 assert op.typecheck(self.irsb.tyenv), msg + "\ntypes: " + str(self.irsb.tyenv)
280 return rdt.result_size(self.irsb.tyenv)
/dports/security/py-pyvex/pyvex-9.0.5405/tests/
H A Dtest.py88 cursize = len(irsb.tyenv.types)
92 print(irsb.tyenv.types[irsb.statements[10].data.tmp])
93 nose.tools.assert_equal(irsb.tyenv.lookup(irsb.statements[10].data.tmp), 'Ity_I64')
128 print(irsb.tyenv)
130 print(irsb.tyenv)
134 print(irsb2.tyenv)
137 irsb2.tyenv = copy.deepcopy(irsb.tyenv)
138 print(irsb2.tyenv)

12345