Also put argument with ptr-size*2 on the stack

Author: Urgau

compiler/rustc_middle/src/ty/layout.rs

@@ -3189,7 +3189,7 @@ impl<'tcx> LayoutCx<'tcx, TyCtxt<'tcx>> {
                         let max_by_val_size = Pointer.size(self) * 2;
                         let size = arg.layout.size;
 
-                        if arg.layout.is_unsized() || size >= max_by_val_size {
+                        if arg.layout.is_unsized() || size > max_by_val_size {
                             arg.make_indirect();
                         }
                     }

src/test/codegen/array-clone.rs

@@ -17,8 +17,36 @@ pub fn array_clone(a: &[u8; 2]) -> [u8; 2] {
 #[no_mangle]
 pub fn array_clone_big(a: &[u8; 16]) -> [u8; 16] {
     // CHECK: getelementptr inbounds [16 x i8]
-    // CHECK-NEXT: getelementptr inbounds [16 x i8]
-    // CHECK-NEXT: {{.*}} call {{.*}} @llvm.memcpy.p0i8.p0i8.i64
-    // CHECK-NEXT: ret void
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: getelementptr inbounds [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: insertvalue [16 x i8]
+    // CHECK: ret [16 x i8]
     a.clone()
 }

src/test/codegen/array-equality.rs

@@ -42,9 +42,8 @@ pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
 // CHECK-LABEL: @array_eq_zero
 #[no_mangle]
 pub fn array_eq_zero(x: [u16; 8]) -> bool {
-    // CHECK-NEXT: start:
-    // CHECK-NEXT: bitcast [8 x i16]
-    // CHECK-NEXT: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(i8* {{.*}} dereferenceable(16) %{{.+}}, i8* {{.*}} dereferenceable(16) {{.+}}, i64 16)
+    // CHECK: bitcast [8 x i16]
+    // CHECK-NEXT: %[[CMP:.+]] = call i32 @{{bcmp|memcmp}}(i8* {{.*}} dereferenceable(16) %{{.+}}, i8* {{.*}} dereferenceable(16) {{.+}}, i64 16)
     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
     // CHECK-NEXT: ret i1 %[[EQ]]
     x == [0; 8]