test/Transforms/InstCombine/opaque.ll

   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
  12 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1) #8
  13
  14 @_swift_slowAlloc = external global i8* (i64, i64)*
  15
  16 declare i8* @rt_swift_slowAlloc(i64, i64)
  17
  18 define  %swift.opaque* @_TwTkV([24 x i8]* %dest, %swift.opaque* %src,
  19 %swift.type* %bios_boot_params) #0 {
  20 entry:
  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 }