1; RUN: opt < %s -instcombine -disable-output
2; Checks that bitcasts are not converted into GEP when
3; when the size of an aggregate cannot be determined.
4%swift.opaque = type opaque
5%SQ = type <{ [8 x i8] }>
6%Si = type <{ i64 }>
7
8%V = type <{ <{ %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8 }>, %Si, %SQ, %SQ, %Si, %swift.opaque }>
9%Vs4Int8 = type <{ i8 }>
10%swift.type = type { i64 }
11
12declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1) #8
13
14@_swift_slowAlloc = external global i8* (i64, i64)*
15
16declare i8* @rt_swift_slowAlloc(i64, i64)
17
18define  %swift.opaque* @_TwTkV([24 x i8]* %dest, %swift.opaque* %src,
19%swift.type* %bios_boot_params) #0 {
20entry:
21  %0 = bitcast %swift.opaque* %src to %V*
22  %1 = call noalias i8* @rt_swift_slowAlloc(i64 40, i64 0) #11
23  %2 = bitcast [24 x i8]* %dest to i8**
24  store i8* %1, i8** %2, align 8
25  %3 = bitcast i8* %1 to %V*
26  %4 = bitcast %V* %3 to i8*
27  %5 = bitcast %V* %0 to i8*
28  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %4, i8* %5, i64 40, i1 false)
29  %6 = bitcast %V* %3 to %swift.opaque*
30  ret %swift.opaque* %6
31}
32