Searched defs:orr (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sml8107 val orr = (LogicalOp_ORR,(false,(false,[d,wzr_xzr d,n]))) value

Completed in 47 milliseconds