1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -passes=loop-versioning -aa-pipeline='' -S < %s | FileCheck %s 3 4@a = external global i16, align 1 5@b = external global i16, align 1 6@c = external global i16, align 1 7 8define i16 @f2(i16 %a) { 9; CHECK-LABEL: define i16 @f2( 10; CHECK-SAME: i16 [[A:%.*]]) { 11; CHECK-NEXT: [[FOR_BODY_LVER_CHECK:.*:]] 12; CHECK-NEXT: [[BOUND0:%.*]] = icmp ult ptr @b, getelementptr inbounds nuw (i8, ptr @a, i64 2) 13; CHECK-NEXT: [[BOUND1:%.*]] = icmp ult ptr @a, getelementptr inbounds nuw (i8, ptr @b, i64 2) 14; CHECK-NEXT: [[FOUND_CONFLICT:%.*]] = and i1 [[BOUND0]], [[BOUND1]] 15; CHECK-NEXT: br i1 [[FOUND_CONFLICT]], label %[[FOR_BODY_PH_LVER_ORIG:.*]], label %[[FOR_BODY_PH:.*]] 16; CHECK: [[FOR_BODY_PH_LVER_ORIG]]: 17; CHECK-NEXT: br label %[[FOR_BODY_LVER_ORIG:.*]] 18; CHECK: [[FOR_BODY_LVER_ORIG]]: 19; CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @a, align 1 20; CHECK-NEXT: store i16 [[TMP0]], ptr @b, align 1 21; CHECK-NEXT: [[INC_LVER_ORIG:%.*]] = add nsw i16 [[A]], 1 22; CHECK-NEXT: br i1 false, label %[[FOR_BODY_LVER_ORIG]], label %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT:.*]] 23; CHECK: [[FOR_BODY_PH]]: 24; CHECK-NEXT: br label %[[FOR_BODY:.*]] 25; CHECK: [[FOR_BODY]]: 26; CHECK-NEXT: [[TMP1:%.*]] = load i16, ptr @a, align 1, !alias.scope [[META0:![0-9]+]] 27; CHECK-NEXT: store i16 [[TMP1]], ptr @b, align 1, !alias.scope [[META3:![0-9]+]], !noalias [[META0]] 28; CHECK-NEXT: [[INC:%.*]] = add nsw i16 [[A]], 1 29; CHECK-NEXT: br i1 false, label %[[FOR_BODY]], label %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT1:.*]] 30; CHECK: [[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT]]: 31; CHECK-NEXT: [[INC_LCSSA_PH:%.*]] = phi i16 [ [[INC_LVER_ORIG]], %[[FOR_BODY_LVER_ORIG]] ] 32; CHECK-NEXT: [[SPLIT2_PH:%.*]] = phi i16 [ [[INC_LVER_ORIG]], %[[FOR_BODY_LVER_ORIG]] ] 33; CHECK-NEXT: br label %[[FOR_COND_FOR_END_CRIT_EDGE:.*]] 34; CHECK: [[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT1]]: 35; CHECK-NEXT: [[INC_LCSSA_PH2:%.*]] = phi i16 [ [[INC]], %[[FOR_BODY]] ] 36; CHECK-NEXT: [[SPLIT2_PH3:%.*]] = phi i16 [ [[INC]], %[[FOR_BODY]] ] 37; CHECK-NEXT: br label %[[FOR_COND_FOR_END_CRIT_EDGE]] 38; CHECK: [[FOR_COND_FOR_END_CRIT_EDGE]]: 39; CHECK-NEXT: [[INC_LCSSA:%.*]] = phi i16 [ [[INC_LCSSA_PH]], %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT]] ], [ [[INC_LCSSA_PH2]], %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT1]] ] 40; CHECK-NEXT: [[SPLIT2:%.*]] = phi i16 [ [[SPLIT2_PH]], %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT]] ], [ [[SPLIT2_PH3]], %[[FOR_COND_FOR_END_CRIT_EDGE_LOOPEXIT1]] ] 41; CHECK-NEXT: store i16 [[INC_LCSSA]], ptr @c, align 1 42; CHECK-NEXT: ret i16 [[SPLIT2]] 43; 44entry: 45 br label %for.body 46 47for.body: ; preds = %for.body, %entry 48 %0 = load i16, ptr @a, align 1 49 store i16 %0, ptr @b, align 1 50 %inc = add nsw i16 %a, 1 51 br i1 false, label %for.body, label %for.cond.for.end_crit_edge 52 53for.cond.for.end_crit_edge: ; preds = %for.body 54 %split2 = phi i16 [ %inc, %for.body ] 55 store i16 %inc, ptr @c, align 1 56 ret i16 %split2 57} 58;. 59; CHECK: [[META0]] = !{[[META1:![0-9]+]]} 60; CHECK: [[META1]] = distinct !{[[META1]], [[META2:![0-9]+]]} 61; CHECK: [[META2]] = distinct !{[[META2]], !"LVerDomain"} 62; CHECK: [[META3]] = !{[[META4:![0-9]+]]} 63; CHECK: [[META4]] = distinct !{[[META4]], [[META2]]} 64;. 65