62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -passes=licm -S | FileCheck %s3; PR96344 5@g_58 = common global i32 0, align 46@g_116 = common global ptr null, align 87 8define void @f() {9; CHECK-LABEL: define void @f() {10; CHECK-NEXT: [[ENTRY:.*]]:11; CHECK-NEXT: [[L_87_I:%.*]] = alloca [9 x i16], align 1612; CHECK-NEXT: [[G_58_PROMOTED:%.*]] = load i32, ptr @g_58, align 4, !tbaa [[INT_TBAA0:![0-9]+]]13; CHECK-NEXT: br label %[[FOR_BODY:.*]]14; CHECK: [[FOR_BODY]]:15; CHECK-NEXT: [[TMP31:%.*]] = phi i32 [ [[G_58_PROMOTED]], %[[ENTRY]] ], [ [[OR:%.*]], %[[FOR_BODY]] ]16; CHECK-NEXT: [[INC12:%.*]] = phi i32 [ 0, %[[ENTRY]] ], [ [[INC:%.*]], %[[FOR_BODY]] ]17; CHECK-NEXT: [[OR]] = or i32 [[TMP31]], 1018; CHECK-NEXT: [[INC]] = add nsw i32 [[INC12]], 119; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[INC]], 420; CHECK-NEXT: br i1 [[CMP]], label %[[FOR_BODY]], label %[[FOR_END:.*]]21; CHECK: [[FOR_END]]:22; CHECK-NEXT: [[OR_LCSSA:%.*]] = phi i32 [ [[OR]], %[[FOR_BODY]] ]23; CHECK-NEXT: store ptr @g_58, ptr @g_116, align 8, !tbaa [[ANYPTR_TBAA4:![0-9]+]]24; CHECK-NEXT: store i32 [[OR_LCSSA]], ptr @g_58, align 4, !tbaa [[INT_TBAA0]]25; CHECK-NEXT: ret void26;27 28entry:29 %l_87.i = alloca [9 x i16], align 1630 br label %for.body31 32for.body: ; preds = %entry, %for.inc33 %inc12 = phi i32 [ 0, %entry ], [ %inc, %for.body ]34 store ptr @g_58, ptr @g_116, align 8, !tbaa !035 %tmp2 = load ptr, ptr @g_116, align 8, !tbaa !036 %tmp3 = load i32, ptr %tmp2, !tbaa !437 %or = or i32 %tmp3, 1038 store i32 %or, ptr %tmp2, !tbaa !439 %inc = add nsw i32 %inc12, 140 %cmp = icmp slt i32 %inc, 441 br i1 %cmp, label %for.body, label %for.end42 43for.end: ; preds = %for.inc44 ret void45}46 47!0 = !{!5, !5, i64 0}48!1 = !{!"omnipotent char", !2}49!2 = !{!"Simple C/C++ TBAA"}50!3 = !{!"short", !1}51!4 = !{!6, !6, i64 0}52!5 = !{!"any pointer", !1}53!6 = !{!"int", !1}54;.55; CHECK: [[INT_TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}56; CHECK: [[META1]] = !{!"int", [[META2:![0-9]+]]}57; CHECK: [[META2]] = !{!"omnipotent char", [[META3:![0-9]+]]}58; CHECK: [[META3]] = !{!"Simple C/C++ TBAA"}59; CHECK: [[ANYPTR_TBAA4]] = !{[[META5:![0-9]+]], [[META5]], i64 0}60; CHECK: [[META5]] = !{!"any pointer", [[META2]]}61;.62