MicroTESK

Example to reproduce:

    final Memory t = Memory.def(Kind.VAR, "t", Type.INT(64), 1);

    t.access().bitField(31, 0).store(DataEngine.valueOf(Type.INT(32), 0xffffffffL));
    t.access().bitField(63, 32).store(DataEngine.valueOf(Type.INT(32), 0x77777777));
    trace("t=%x", t.access().load().getRawData().longValue());

    trace("t=%x", Location.concat(t.access().bitField(63, 32), t.access().bitField(31, 0)).load().getRawData().longValue());
    t.access().store(Location.concat(t.access().bitField(63, 32), t.access().bitField(31, 0)).load());
    trace("t=%x", t.access().load().getRawData().longValue());

You are reading and writing to the same location simultaneously. This happens because the load() method does not actually create a copy of the data, it just provides a view on this data. This is done to avoid redundant copying. There two solutions:

1. You do not do this (have to use a temporary variable).
2. I have to create a copy of the data each time load() is called.