Lines Matching defs:Put
83 state into a temporary value. Afterwards, one can write ("Put")
86 Get and Put are characterised by a byte offset into the guest
91 The basic "Get" and "Put" operations are sufficient to model normal
111 PUT(0) = t1 # put %eax
126 - one register write (put)
131 - three temporaries (two nested within the Add32, one in the PUT)
137 PUT(0) = Add32(GET:I32(0), GET:I32(12))
2382 /* ------------------ Circular Array Put ------------------ */
2581 ppIRStmt output: PUT(<offset>) = <data>, eg. PUT(60) = t1
2586 } Put;
2738 PUT-ing <dst> at <offsIP>. This is done because a
