Lines Matching defs:data
3299 fun log_w_csr (csr,data) =
3300 String.concat["CSR (",csrName csr,") <- 0x",hex64 data];
3428 fun log_w_gpr (r,data) =
3430 ["Reg ",reg r," (",Nat.toString(BitsN.toNat r),") <- 0x",hex64 data];
3432 fun log_w_fprs (r,data) =
3434 ["FPR ",reg r," (",Nat.toString(BitsN.toNat r),") <- 0x",hex32 data];
3436 fun log_w_fprd (r,data) =
3438 ["FPR ",reg r," (",Nat.toString(BitsN.toNat r),") <- 0x",hex64 data];
3440 fun log_w_mem_mask (pAddrIdx,(vAddr,(mask,(data,(old,new))))) =
3443 hex64 vAddr,"] <- (data: 0x",hex64 data,", mask: 0x",hex64 mask,
3447 (pAddrIdx,(vAddr,(mask,(data,(align,(old,new)))))) =
3450 hex64 vAddr,"/ misaligned@",Nat.toString align,"] <- (data: 0x",
3451 hex64 data,", mask: 0x",hex64 mask,", old: 0x",hex64 old,", new: 0x",
3454 fun log_w_mem (pAddrIdx,(vAddr,data)) =
3457 hex64 vAddr,"] <- (data: 0x",hex64 data,")"];
3459 fun log_r_mem (pAddrIdx,(vAddr,data)) =
3461 ["data <- MEM[0x",
3463 hex64 vAddr,"]: 0x",hex64 data];
3864 val data = MEM pAddrIdx
3866 ( log := ((3,log_r_mem(pAddrIdx,(pAddr,data))) :: (!log))
3867 ; data
3874 val data = BitsN.bits(63,0) ddw
3881 ; log := ((3,log_r_mem(pAddrIdx,(pAddr,data))) :: (!log))
3882 ; data
3887 fun rawWriteData (pAddr,(data,nbytes)) =
3901 BitsN.||(BitsN.&&(old,BitsN.~ mask),BitsN.&&(data,mask))
3907 (pAddrIdx,(pAddr,(mask,(data,(old,new))))))
3917 BitsN.<<(BitsN.&&(data,mask),Nat.*(align,8)))
3923 (pAddrIdx,(pAddr,(mask,(data,(align,(old,new)))))))
3932 BitsN.<<(BitsN.zeroExtend 128 data,Nat.*(align,8))
3946 (Nat.-(Nat.*(2,BitsN.size data),1),
3947 BitsN.size data)
3952 (BitsN.bits(Nat.-(BitsN.size data,1),0) dw_new),
3962 val data = MEM pAddrIdx
3964 ( log := ((3,log_r_mem(pAddrIdx,(pAddr,data))) :: (!log))
3966 then BitsN.bits(63,32) data
3967 else BitsN.bits(31,0) data
3971 fun rawWriteMem (pAddr,data) =
3975 ( write'MEM(data,pAddrIdx)
3976 ; log := ((3,log_w_mem(pAddrIdx,(pAddr,data))) :: (!log))
5644 val data = GPR rs2
5646 ( rawWriteData(pAddr,(data,4))
5655 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
5675 val data = GPR rs2
5677 ( rawWriteData(pAddr,(data,2))
5686 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
5706 val data = GPR rs2
5708 ( rawWriteData(pAddr,(data,1))
5717 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
5739 val data = GPR rs2
5741 ( rawWriteData(pAddr,(data,8))
5750 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
5837 val data = GPR rs2
5839 ( rawWriteData(pAddr,(data,4))
5850 (StateDelta_data2_rupd(x,Option.SOME data))
5896 val data = GPR rs2
5898 ( rawWriteData(pAddr,(data,8))
5909 (StateDelta_data2_rupd(x,Option.SOME data))
5946 val data = GPR rs2
5949 ; rawWriteData(pAddr,(data,4))
5971 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
5995 val data = GPR rs2
5998 ; rawWriteData(pAddr,(data,8))
6020 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))
6046 val data = GPR rs2
6050 val val' = BitsN.+(data,memv)
6102 val data = GPR rs2
6106 val val' = BitsN.+(data,memv)
6160 val data = GPR rs2
6164 val val' = BitsN.??(data,memv)
6216 val data = GPR rs2
6220 val val' = BitsN.??(data,memv)
6274 val data = GPR rs2
6278 val val' = BitsN.&&(data,memv)
6330 val data = GPR rs2
6334 val val' = BitsN.&&(data,memv)
6388 val data = GPR rs2
6392 val val' = BitsN.||(data,memv)
6444 val data = GPR rs2
6448 val val' = BitsN.||(data,memv)
6502 val data = GPR rs2
6506 val val' = BitsN.smin(data,memv)
6558 val data = GPR rs2
6562 val val' = BitsN.smin(data,memv)
6616 val data = GPR rs2
6620 val val' = BitsN.smax(data,memv)
6672 val data = GPR rs2
6676 val val' = BitsN.smax(data,memv)
6730 val data = GPR rs2
6734 val val' = BitsN.min(data,memv)
6786 val data = GPR rs2
6790 val val' = BitsN.min(data,memv)
6844 val data = GPR rs2
6848 val val' = BitsN.max(data,memv)
6900 val data = GPR rs2
6904 val val' = BitsN.max(data,memv)
6980 val data = FPRS rs2
6982 ( rawWriteData(pAddr,(BitsN.zeroExtend 64 data,4))
6993 (x,Option.SOME(BitsN.zeroExtend 64 data)))
7472 val data = FPRD rs2
7474 ( rawWriteData(pAddr,(data,8))
7483 write'Delta(StateDelta_data2_rupd(x,Option.SOME data))