53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 62; RUN: opt -S -passes='sroa<preserve-cfg>' %s | FileCheck %s --check-prefixes=CHECK,CHECK-PRESERVE-CFG3; RUN: opt -S -passes='sroa<modify-cfg>' %s | FileCheck %s --check-prefixes=CHECK,CHECK-MODIFY-CFG4 5; SROA should correctly offset `!tbaa.struct` metadata6 7%struct.Wishart = type { double, i32 }8declare void @llvm.memcpy.p0.p0.i64(ptr writeonly, ptr readonly, i64, i1 immarg)9declare double @subcall(double %g, i32 %m)10 11define double @bar(ptr %wishart) {12; CHECK-LABEL: define double @bar(13; CHECK-SAME: ptr [[WISHART:%.*]]) {14; CHECK-NEXT: [[TMP_SROA_3:%.*]] = alloca [4 x i8], align 415; CHECK-NEXT: [[TMP_SROA_0_0_COPYLOAD:%.*]] = load double, ptr [[WISHART]], align 8, !tbaa [[DOUBLE_TBAA0:![0-9]+]]16; CHECK-NEXT: [[TMP_SROA_2_0_WISHART_SROA_IDX:%.*]] = getelementptr inbounds i8, ptr [[WISHART]], i64 817; CHECK-NEXT: [[TMP_SROA_2_0_COPYLOAD:%.*]] = load i32, ptr [[TMP_SROA_2_0_WISHART_SROA_IDX]], align 8, !tbaa [[INT_TBAA4:![0-9]+]]18; CHECK-NEXT: [[TMP_SROA_3_0_WISHART_SROA_IDX:%.*]] = getelementptr inbounds i8, ptr [[WISHART]], i64 1219; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP_SROA_3]], ptr align 4 [[TMP_SROA_3_0_WISHART_SROA_IDX]], i64 4, i1 false), !tbaa.struct [[TBAA_STRUCT6:![0-9]+]]20; CHECK-NEXT: [[CALL:%.*]] = call double @subcall(double [[TMP_SROA_0_0_COPYLOAD]], i32 [[TMP_SROA_2_0_COPYLOAD]])21; CHECK-NEXT: ret double [[CALL]]22;23 %tmp = alloca %struct.Wishart, align 824 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %tmp, ptr align 8 %wishart, i64 16, i1 false), !tbaa.struct !225 %lg = load double, ptr %tmp, align 8, !tbaa !426 %m = getelementptr inbounds %struct.Wishart, ptr %tmp, i32 0, i32 127 %lm = load i32, ptr %m, align 8, !tbaa !828 %call = call double @subcall(double %lg, i32 %lm)29 ret double %call30}31 32!2 = !{i64 0, i64 8, !3, i64 8, i64 4, !7}33!3 = !{!4, !4, i64 0}34!4 = !{!"double", !5, i64 0}35!5 = !{!"omnipotent char", !6, i64 0}36!6 = !{!"Simple C++ TBAA"}37!7 = !{!8, !8, i64 0}38!8 = !{!"int", !5, i64 0}39;.40; CHECK: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }41;.42; CHECK: [[DOUBLE_TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}43; CHECK: [[META1]] = !{!"double", [[META2:![0-9]+]], i64 0}44; CHECK: [[META2]] = !{!"omnipotent char", [[META3:![0-9]+]], i64 0}45; CHECK: [[META3]] = !{!"Simple C++ TBAA"}46; CHECK: [[INT_TBAA4]] = !{[[META5:![0-9]+]], [[META5]], i64 0}47; CHECK: [[META5]] = !{!"int", [[META2]], i64 0}48; CHECK: [[TBAA_STRUCT6]] = !{}49;.50;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:51; CHECK-MODIFY-CFG: {{.*}}52; CHECK-PRESERVE-CFG: {{.*}}53