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