64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading < %s | FileCheck %s3 4define void @test(ptr %ptr) {5; CHECK-LABEL: @test(6; CHECK-NEXT: entry:7; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata !0)8; CHECK-NEXT: br label [[LOOP:%.*]]9; CHECK: loop:10; CHECK-NEXT: [[I:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[I_INC:%.*]], [[LATCH:%.*]] ]11; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[I]], 10012; CHECK-NEXT: br i1 [[C]], label [[EXIT:%.*]], label [[LATCH]]13; CHECK: latch:14; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata !3)15; CHECK-NEXT: store i8 0, ptr [[PTR:%.*]], align 1, !noalias !016; CHECK-NEXT: store i8 1, ptr [[PTR]], align 1, !noalias !317; CHECK-NEXT: [[I_INC]] = add i32 [[I]], 118; CHECK-NEXT: br label [[LOOP]]19; CHECK: exit:20; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata !5)21; CHECK-NEXT: store i8 0, ptr [[PTR]], align 1, !noalias !022; CHECK-NEXT: store i8 1, ptr [[PTR]], align 1, !noalias !523; CHECK-NEXT: ret void24;25entry:26 call void @llvm.experimental.noalias.scope.decl(metadata !0)27 br label %loop28 29loop:30 %i = phi i32 [ 0, %entry ], [ %i.inc, %latch ]31 %c = icmp eq i32 %i, 10032 br i1 %c, label %if, label %latch33 34if:35 br label %latch36 37latch:38 %p = phi i1 [ true, %if ], [ false, %loop ]39 call void @llvm.experimental.noalias.scope.decl(metadata !3)40 store i8 0, ptr %ptr, !noalias !041 store i8 1, ptr %ptr, !noalias !342 %i.inc = add i32 %i, 143 br i1 %p, label %exit, label %loop44 45exit:46 ret void47}48 49declare void @llvm.experimental.noalias.scope.decl(metadata)50 51!0 = !{!1}52!1 = distinct !{!1, !2, !"scope1"}53!2 = distinct !{!2, !"domain"}54!3 = !{!4}55!4 = distinct !{!4, !2, !"scope2"}56 57; CHECK: !0 = !{!1}58; CHECK: !1 = distinct !{!1, !2, !"scope1"}59; CHECK: !2 = distinct !{!2, !"domain"}60; CHECK: !3 = !{!4}61; CHECK: !4 = distinct !{!4, !2, !"scope2"}62; CHECK: !5 = !{!6}63; CHECK: !6 = distinct !{!6, !2, !"scope2:thread"}64