77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --scrub-attributes --version 62; RUN: opt < %s -passes=argpromotion -S | FileCheck %s3 4; PR179065; When we promote two arguments in a single function with different types,6; before the fix, we used the same tag for the newly-created two loads.7; This testing case makes sure that we correctly transfer the tbaa tags from the8; original loads to the newly-created loads when promoting pointer arguments.9 10@a = global ptr null, align 811@e = global ptr @a, align 812@g = global i32 0, align 413@c = global i64 0, align 814@d = global i8 0, align 115 16define internal fastcc void @fn(ptr nocapture readonly %p1, ptr nocapture readonly %p2) {17; CHECK-LABEL: define internal fastcc void @fn(18; CHECK-SAME: i32 [[P1_0_VAL:%.*]], i64 [[P2_0_VAL:%.*]]) {19; CHECK-NEXT: [[ENTRY:.*:]]20; CHECK-NEXT: [[CONV:%.*]] = trunc i64 [[P2_0_VAL]] to i3221; CHECK-NEXT: [[CONV1:%.*]] = trunc i32 [[P1_0_VAL]] to i822; CHECK-NEXT: store i8 [[CONV1]], ptr @d, align 1, !tbaa [[CHAR_TBAA0:![0-9]+]]23; CHECK-NEXT: ret void24;25entry:26 %0 = load i64, ptr %p2, align 8, !tbaa !127 %conv = trunc i64 %0 to i3228 %1 = load i32, ptr %p1, align 4, !tbaa !529 %conv1 = trunc i32 %1 to i830 store i8 %conv1, ptr @d, align 1, !tbaa !731 ret void32}33 34define i32 @main() {35; CHECK-LABEL: define i32 @main() {36; CHECK-NEXT: [[ENTRY:.*:]]37; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr @e, align 8, !tbaa [[ANYPTR_TBAA3:![0-9]+]]38; CHECK-NEXT: store ptr @g, ptr [[TMP0]], align 8, !tbaa [[ANYPTR_TBAA3]]39; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr @a, align 8, !tbaa [[ANYPTR_TBAA3]]40; CHECK-NEXT: store i32 1, ptr [[TMP1]], align 4, !tbaa [[INT_TBAA5:![0-9]+]]41; CHECK-NEXT: [[G_VAL:%.*]] = load i32, ptr @g, align 4, !tbaa [[INT_TBAA5]]42; CHECK-NEXT: [[C_VAL:%.*]] = load i64, ptr @c, align 8, !tbaa [[LONG_TBAA7:![0-9]+]]43; CHECK-NEXT: call fastcc void @fn(i32 [[G_VAL]], i64 [[C_VAL]])44; CHECK-NEXT: ret i32 045;46entry:47 %0 = load ptr, ptr @e, align 8, !tbaa !848 store ptr @g, ptr %0, align 8, !tbaa !849 %1 = load ptr, ptr @a, align 8, !tbaa !850 store i32 1, ptr %1, align 4, !tbaa !551 call fastcc void @fn(ptr @g, ptr @c)52 53 ret i32 054}55 56!1 = !{!2, !2, i64 0}57!2 = !{!"long", !3, i64 0}58!3 = !{!"omnipotent char", !4, i64 0}59!4 = !{!"Simple C/C++ TBAA"}60!5 = !{!6, !6, i64 0}61!6 = !{!"int", !3, i64 0}62!7 = !{!3, !3, i64 0}63!8 = !{!9, !9, i64 0}64!9 = !{!"any pointer", !3, i64 0}65 66;.67; CHECK: [[CHAR_TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}68; CHECK: [[META1]] = !{!"omnipotent char", [[META2:![0-9]+]], i64 0}69; CHECK: [[META2]] = !{!"Simple C/C++ TBAA"}70; CHECK: [[ANYPTR_TBAA3]] = !{[[META4:![0-9]+]], [[META4]], i64 0}71; CHECK: [[META4]] = !{!"any pointer", [[META1]], i64 0}72; CHECK: [[INT_TBAA5]] = !{[[META6:![0-9]+]], [[META6]], i64 0}73; CHECK: [[META6]] = !{!"int", [[META1]], i64 0}74; CHECK: [[LONG_TBAA7]] = !{[[META8:![0-9]+]], [[META8]], i64 0}75; CHECK: [[META8]] = !{!"long", [[META1]], i64 0}76;.77