Merge branch 'compiler_fixes3' into demo_mode3

.github/workflows/pr_master.yml

@@ -24,14 +24,14 @@ jobs:
     name: Build (Linux)
     runs-on: ubuntu-22.04
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with:
@@ -79,14 +79,14 @@ jobs:
     outputs:
       test_package: ${{ steps.upload_artifacts.outputs.artifact-id }}
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with:

.github/workflows/push_master.yml

@@ -18,14 +18,14 @@ jobs:
     permissions:
       contents: write
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       # fetch-depth and fetch-tags are required to properly tag pre-release builds
@@ -117,14 +117,14 @@ jobs:
     outputs:
       test_package: ${{ steps.upload_artifacts.outputs.artifact-id }}
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with:

ptx/src/test/spirv_run/mod.rs

@@ -352,7 +352,11 @@ test_ptx!(
     [613065134u32]
 );
 test_ptx!(param_is_addressable, [0xDEAD], [0u64]);
-test_ptx!(atomics_128, [0xce16728dead1ceb0u64, 0xe7728e3c390b7fb7], [0xce16728dead1ceb1u64, 0xe7728e3c390b7fb8]);
+test_ptx!(
+    atomics_128,
+    [0xce16728dead1ceb0u64, 0xe7728e3c390b7fb7],
+    [0xce16728dead1ceb1u64, 0xe7728e3c390b7fb8]
+);
 
 test_ptx!(assertfail);
 // TODO: not yet supported