Searched refs:get_pc (Results 1 - 11 of 11) sorted by path
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | arm_evalLib.sml | 335 fun get_pc t = function
764 let val pc = eval_word (get_pc (#reg x)) in
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/decompiler/ |
| H A D | m0_core_decompLib.sml | 165 val get_pc = Term.rand o Term.rand value
170 stateLib.get_delta (get_pc p) (get_pc q)
|
| /seL4-l4v-master/HOL4/examples/machine-code/decompiler/ |
| H A D | decompilerLib.sml | 143 fun get_pc () = let val (_,_,_,x) = get_tools () in x end; function
641 val pc_tm = get_pc()
827 val pc = get_pc ()
875 val p = get_pc ()
1568 val pc = get_pc()
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
| H A D | stateLib.sml | 1266 val get_pc = Term.rand o Lib.first is_pc o progSyntax.strip_star value
1272 get_delta (get_pc p) (get_pc q)
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | stack_analysisLib.sml | 241 fun get_pc (pc,s,t) = pc function
|
| /seL4-l4v-master/graph-refine/ |
| H A D | c_rodata.py | 29 pc = rep.get_pc ((n, vc))
|
| H A D | debug.py | 117 rep.get_pc ((n, vc), tag))
|
| H A D | loop_bounds.py | 161 pc = rep.get_pc ((p_n, restrs2))
163 print 'get_pc failed'
168 #print 'got rep_.get_pc'
170 epc = rep.get_pc (('Err', restrs3), tag = tag)
526 continue_to_split_guess = rep.get_pc ((split, visit))
|
| H A D | rep_graph.py | 239 pc1 = rep.get_pc (visit1, tag = tag1)
243 pc2 = rep.get_pc (visit2, tag = tag2)
261 x_pc = rep.get_pc (xvis[0], tag = xvis[1])
262 y_pc = rep.get_pc (yvis[0], tag = yvis[1])
850 lpc = self.get_pc (l_n_vc)
851 rpc = self.get_pc (r_n_vc)
1042 def get_pc (self, (n, vcount), tag = None): member in class:GraphSlice
1235 rep.get_pc (n_vc, tag = tag)
|
| H A D | search.py | 91 pc = rep.get_pc ((n, restrs2))
93 epc = rep.get_pc (('Err', restrs3), tag = tag)
140 pc_map = logic.dict_list ([(rep.get_pc ((c, ())), c)
175 pc = rep.get_pc ((n1, ()))
760 pc = rep.get_pc (vis2)
854 smt_pc = lambda n, i: rep.get_pc (vis (n, i))
1036 nrerr_pc = mk_not (rep.get_pc (('Err', err_restrs), tag = r_tag))
1038 def get_pc (n, k): function in function:setup_split_search
1040 return rep.get_pc ((n, restrs2))
1043 get_pc (
[all...] |
| H A D | stack_logic.py | 647 rep.get_pc (default_n_vc (p, 'Ret'), 'Target')
648 err_pc = rep.get_pc (default_n_vc (p, 'Err'), 'Target')
752 pc = rep.get_pc (default_n_vc (p, n))
957 pc = rep.get_pc (default_n_vc (p, n))
|
Completed in 135 milliseconds