1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -loop-idiom < %s -S | FileCheck %s
3
4; #include <vector>
5;
6; class SDValue {
7;     int A;
8;     int B;
9;     unsigned C;
10; };
11;
12; class SDUse {
13;     SDValue Val;
14;     SDUse **Prev = nullptr;
15;     SDUse *Next = nullptr;
16;
17; public:
18;     operator const SDValue&() const { return Val; }
19; };
20;
21; void foo(SDUse *S, int N) {
22;     // Should not hoist memcpy because source and destination are of different types
23;     std::vector<SDValue> Ops(S, S + N);
24; }
25
26; ModuleID = 'different_types.cpp'
27source_filename = "different_types.cpp"
28target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
29target triple = "x86_64-unknown-linux-gnu"
30
31%class.SDUse = type { %class.SDValue, %class.SDUse**, %class.SDUse* }
32%class.SDValue = type { i32, i32, i32 }
33
34declare dso_local i32 @__gxx_personality_v0(...)
35
36; Function Attrs: uwtable mustprogress
37define linkonce_odr dso_local %class.SDValue* @_ZNSt20__uninitialized_copyILb0EE13__uninit_copyIP5SDUseP7SDValueEET0_T_S7_S6_(%class.SDUse* %__first, %class.SDUse* %__last, %class.SDValue* %__result) local_unnamed_addr #0  align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
38; CHECK-LABEL: @_ZNSt20__uninitialized_copyILb0EE13__uninit_copyIP5SDUseP7SDValueEET0_T_S7_S6_(
39; CHECK-NEXT:  entry:
40; CHECK-NEXT:    [[CMP_NOT15:%.*]] = icmp eq %class.SDUse* [[__FIRST:%.*]], [[__LAST:%.*]]
41; CHECK-NEXT:    br i1 [[CMP_NOT15]], label [[FOR_END:%.*]], label [[FOR_INC_PREHEADER:%.*]]
42; CHECK:       for.inc.preheader:
43; CHECK-NEXT:    br label [[FOR_INC:%.*]]
44; CHECK:       for.inc:
45; CHECK-NEXT:    [[__CUR_017:%.*]] = phi %class.SDValue* [ [[INCDEC_PTR1:%.*]], [[FOR_INC]] ], [ [[__RESULT:%.*]], [[FOR_INC_PREHEADER]] ]
46; CHECK-NEXT:    [[__FIRST_ADDR_016:%.*]] = phi %class.SDUse* [ [[INCDEC_PTR:%.*]], [[FOR_INC]] ], [ [[__FIRST]], [[FOR_INC_PREHEADER]] ]
47; CHECK-NEXT:    [[TMP0:%.*]] = bitcast %class.SDValue* [[__CUR_017]] to i8*
48; CHECK-NEXT:    [[TMP1:%.*]] = bitcast %class.SDUse* [[__FIRST_ADDR_016]] to i8*
49; CHECK-NEXT:    tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(12) [[TMP0]], i8* noundef nonnull align 8 dereferenceable(12) [[TMP1]], i64 12, i1 false)
50; CHECK-NEXT:    [[INCDEC_PTR]] = getelementptr inbounds [[CLASS_SDUSE:%.*]], %class.SDUse* [[__FIRST_ADDR_016]], i64 1
51; CHECK-NEXT:    [[INCDEC_PTR1]] = getelementptr inbounds [[CLASS_SDVALUE:%.*]], %class.SDValue* [[__CUR_017]], i64 1
52; CHECK-NEXT:    [[CMP_NOT:%.*]] = icmp eq %class.SDUse* [[INCDEC_PTR]], [[__LAST]]
53; CHECK-NEXT:    br i1 [[CMP_NOT]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_INC]]
54; CHECK:       for.end.loopexit:
55; CHECK-NEXT:    [[INCDEC_PTR1_LCSSA:%.*]] = phi %class.SDValue* [ [[INCDEC_PTR1]], [[FOR_INC]] ]
56; CHECK-NEXT:    br label [[FOR_END]]
57; CHECK:       for.end:
58; CHECK-NEXT:    [[__CUR_0_LCSSA:%.*]] = phi %class.SDValue* [ [[__RESULT]], [[ENTRY:%.*]] ], [ [[INCDEC_PTR1_LCSSA]], [[FOR_END_LOOPEXIT]] ]
59; CHECK-NEXT:    ret %class.SDValue* [[__CUR_0_LCSSA]]
60;
61entry:
62  %cmp.not15 = icmp eq %class.SDUse* %__first, %__last
63  br i1 %cmp.not15, label %for.end, label %for.inc.preheader
64
65for.inc.preheader:                                ; preds = %entry
66  br label %for.inc
67
68for.inc:                                          ; preds = %for.inc.preheader, %for.inc
69  %__cur.017 = phi %class.SDValue* [ %incdec.ptr1, %for.inc ], [ %__result, %for.inc.preheader ]
70  %__first.addr.016 = phi %class.SDUse* [ %incdec.ptr, %for.inc ], [ %__first, %for.inc.preheader ]
71  %0 = bitcast %class.SDValue* %__cur.017 to i8*
72  %1 = bitcast %class.SDUse* %__first.addr.016 to i8*
73  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(12) %0, i8* noundef nonnull align 8 dereferenceable(12) %1, i64 12, i1 false)
74  %incdec.ptr = getelementptr inbounds %class.SDUse, %class.SDUse* %__first.addr.016, i64 1
75  %incdec.ptr1 = getelementptr inbounds %class.SDValue, %class.SDValue* %__cur.017, i64 1
76  %cmp.not = icmp eq %class.SDUse* %incdec.ptr, %__last
77  br i1 %cmp.not, label %for.end.loopexit, label %for.inc
78
79for.end.loopexit:                                 ; preds = %for.inc
80  %incdec.ptr1.lcssa = phi %class.SDValue* [ %incdec.ptr1, %for.inc ]
81  br label %for.end
82
83for.end:                                          ; preds = %for.end.loopexit, %entry
84  %__cur.0.lcssa = phi %class.SDValue* [ %__result, %entry ], [ %incdec.ptr1.lcssa, %for.end.loopexit ]
85  ret %class.SDValue* %__cur.0.lcssa
86}
87
88; Function Attrs: argmemonly nofree nosync nounwind willreturn
89declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i64, i1 immarg) #1
90