K-user mailing list

[Sandeep Dasgupta <sdasgup3 AT illinois.edu>]

Hello All,

I am new to K and trying to define the semantics of x86-64 and I wil appreciate some help on the following issues:

Issue:

The semantic rules for assembly language need various representations of integers and various bitwise operation between those.
For example: addb $1, %al; adds 1 to lower 8 bits of hardware register %rax in 64 bit machine and does not affect the any higher bits.
I  would like have built-in operators like +Int8 and "ability to mask out the relevant bits"  which implements the semantics of above instruction. For that I might need the bitwise operators which I failed to find.
    
Can somebody please point me to some relevant examples or places where can I get some hint on that?

Thanks
Sandeep