Support non-immediates in trans_uniq::copy_val

Issue #409

Author: brson

src/comp/middle/trans_uniq.rs

@@ -97,7 +97,7 @@ fn copy_val(cx: @block_ctxt, dst: ValueRef, src: ValueRef,
     let {bcx, val: llptr} = alloc_uniq(cx, ty);
     Store(bcx, llptr, dst);
 
-    let src = Load(bcx, src);
+    let src = load_if_immediate(bcx, src, content_ty);
     let dst = llptr;
     let bcx = trans::copy_val(bcx, INIT, dst, src, content_ty);
     ret bcx;

src/test/run-pass/generic-fn-unique.rs

@@ -1,5 +1,4 @@
-// xfail-test
 
-fn f<T>(x: ~T) -> ~T { ret x; }
+fn f<@T>(x: ~T) -> ~T { ret x; }
 
 fn main() { let x = f(~3); log *x; }

src/test/run-pass/move-1-unique.rs

@@ -1,4 +1,3 @@
-// xfail-test
 
 fn test(x: bool, foo: ~{x: int, y: int, z: int}) -> int {
     let bar = foo;

src/test/run-pass/move-3-unique.rs

@@ -1,4 +1,3 @@
-// xfail-test
 use std;
 import std::uint;
 

src/test/run-pass/move-4-unique.rs

@@ -1,4 +1,3 @@
-// xfail-test
 use std;
 import std::uint;
 

src/test/run-pass/unique-pat-2.rs

@@ -1,3 +1,5 @@
+// xfail-test
+
 type foo = {a: int, b: uint};
 tag bar { u(~foo); w(int); }
 

src/test/run-pass/unique-rec.rs

@@ -0,0 +1,6 @@
+
+fn main() {
+    let x = ~{x: 1};
+    let bar = x;
+    assert bar.x == 1;
+}