xref: /llvm-project/llvm/test/Transforms/InstCombine/opaque.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
1; RUN: opt < %s -passes=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.p0.p0.i64(ptr nocapture, ptr nocapture readonly, i64, i1) #8
13
14@_swift_slowAlloc = external global ptr
15
16declare ptr @rt_swift_slowAlloc(i64, i64)
17
18define  ptr @_TwTkV(ptr %dest, ptr %src,
19ptr %bios_boot_params) #0 {
20entry:
21  %0 = call noalias ptr @rt_swift_slowAlloc(i64 40, i64 0) #11
22  store ptr %0, ptr %dest, align 8
23  call void @llvm.memcpy.p0.p0.i64(ptr %0, ptr %src, i64 40, i1 false)
24  ret ptr %0
25}
26