Mixed-size accesses

dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/MemToReg.java

@@ -119,16 +119,11 @@ private Map<RegWriter, Promotable> collectPromotableObjects(Function function, M
                 final int accessSize = types.getMemorySizeInBytes(accessType);
                 registerTypes.add(new Field((int) entry.getValue().offset, accessSize, accessType));
             }
-            promotableObjects.put(allocation, new Promotable(Maps.asMap(registerTypes, f -> newFieldRegister(allocation, f))));
+            promotableObjects.put(allocation, new Promotable(Maps.asMap(registerTypes, f -> function.newRegister(f.type))));
         }
         return promotableObjects;
     }
 
-    private static Register newFieldRegister(Alloc allocation, Field field) {
-        final String name = String.format("m2r_%d_%d_%s", allocation.getGlobalId(), field.offset, field.type);
-        return allocation.getFunction().newRegister(name, field.type);
-    }
-
     private List<Event> promoteAccess(MemoryCoreEvent event, AddressOffset access, Map<RegWriter, Promotable> promotableObjects) {
         final Promotable object = access == null ? null : promotableObjects.get(access.base);
         final Type accessType = event.getAccessType();