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

/seL4-l4v-master/graph-refine/
H A Dsearch.py440 word_ops = {'bvadd':lambda x, y: x + y, 'bvsub':lambda x, y: x - y, variable
537 elif xs and xs[0].typ.kind == 'Word' and op in word_ops:
540 result = word_ops[op](* [x.val for x in xs])

Completed in 41 milliseconds