1; RUN: opt -S -instcombine < %s | FileCheck %s
2; rdar://problem/10063307
3target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32"
4target triple = "thumbv7-apple-ios5.0.0"
5
6%0 = type { [2 x i32] }
7%struct.CGPoint = type { float, float }
8
9define void @t(%struct.CGPoint* %a) nounwind {
10  %Point = alloca %struct.CGPoint, align 4
11  %1 = bitcast %struct.CGPoint* %a to i64*
12  %2 = bitcast %struct.CGPoint* %Point to i64*
13  %3 = load i64* %1, align 4
14  store i64 %3, i64* %2, align 4
15  call void @foo(i64* %2) nounwind
16  ret void
17; CHECK: %Point = alloca i64, align 4
18}
19
20declare void @foo(i64*)
21