Large integers in aggregates cannot be scalarised (#5442)

Fixes #5377

sway-ir/src/optimize/sroa.rs

@@ -395,7 +395,7 @@ fn is_processable_aggregate(context: &Context, ty: Type) -> bool {
         match ty.get_content(context) {
             crate::TypeContent::Unit => true,
             crate::TypeContent::Bool => true,
-            crate::TypeContent::Uint(_) => true,
+            crate::TypeContent::Uint(width) => *width <= 64,
             crate::TypeContent::B256 => false,
             crate::TypeContent::Array(elm_ty, _) => check_sub_types(context, *elm_ty),
             crate::TypeContent::Union(_) => false,

test/src/e2e_vm_tests/test_programs/should_pass/language/largeint_sroa/Forc.lock

@@ -0,0 +1,16 @@
+[[package]]
+name = "core"
+source = "path+from-root-5C15EEA63C6F47D5"
+
+[[package]]
+name = "largeint_sroa"
+source = "member"
+dependencies = [
+    "core",
+    "std",
+]
+
+[[package]]
+name = "std"
+source = "path+from-root-5C15EEA63C6F47D5"
+dependencies = ["core"]

test/src/e2e_vm_tests/test_programs/should_pass/language/largeint_sroa/Forc.toml

@@ -0,0 +1,9 @@
+[project]
+authors = ["Fuel Labs <[email protected]>"]
+entry = "main.sw"
+license = "Apache-2.0"
+name = "largeint_sroa"
+
+[dependencies]
+core = { path = "../../../../../../../sway-lib-core" }
+std = { path = "../../../../../../../sway-lib-std" }

test/src/e2e_vm_tests/test_programs/should_pass/language/largeint_sroa/json_abi_oracle.json

@@ -0,0 +1,25 @@
+{
+  "configurables": [],
+  "functions": [
+    {
+      "attributes": null,
+      "inputs": [],
+      "name": "main",
+      "output": {
+        "name": "",
+        "type": 0,
+        "typeArguments": null
+      }
+    }
+  ],
+  "loggedTypes": [],
+  "messagesTypes": [],
+  "types": [
+    {
+      "components": null,
+      "type": "bool",
+      "typeId": 0,
+      "typeParameters": null
+    }
+  ]
+}

test/src/e2e_vm_tests/test_programs/should_pass/language/largeint_sroa/src/main.sw

@@ -0,0 +1,35 @@
+script;
+
+fn array_test() {
+    let mut a = [0x0111111111111111111111111111111111111111111111111111111111111111u256];
+    assert(a[0] == 0x0111111111111111111111111111111111111111111111111111111111111111u256);
+    a[0] = 0x0222222222222222222222222222222222222222222222222222222222222222u256;
+}
+
+struct S {
+    x: u256,
+}
+
+fn struct_test() {
+    let mut s = S { x: 0x0111111111111111111111111111111111111111111111111111111111111111u256 };
+    assert(s.x == 0x0111111111111111111111111111111111111111111111111111111111111111u256);
+    s.x = 0x0222222222222222222222222222222222222222222222222222222222222222u256;
+}
+
+fn tuple_test() {
+    let mut t = (0x0111111111111111111111111111111111111111111111111111111111111111u256,);
+    assert(t.0 == 0x0111111111111111111111111111111111111111111111111111111111111111u256);
+    t.0 = 0x0222222222222222222222222222222222222222222222222222222222222222u256;
+}
+
+fn main() {
+
+}
+
+
+#[test]
+fn test() {
+   array_test();
+   struct_test();
+   tuple_test();
+}

test/src/e2e_vm_tests/test_programs/should_pass/language/largeint_sroa/test.toml

@@ -0,0 +1,2 @@
+category = "unit_tests_pass"
+expected_warnings = 0