61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading -jump-threading-threshold=3 < %s | FileCheck %s3 4; TODO: In this test case, only the stores in %join should count towards5; the jump threading threshold, as everything else are free instructions.6define i32 @free_instructions(i1 %c, ptr %p) {7; CHECK-LABEL: @free_instructions(8; CHECK-NEXT: br i1 [[C:%.*]], label [[IF2:%.*]], label [[ELSE2:%.*]]9; CHECK: if2:10; CHECK-NEXT: store i32 -1, ptr [[P:%.*]], align 411; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0:![0-9]+]])12; CHECK-NEXT: store i32 1, ptr [[P]], align 4, !noalias !013; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P]], i64 32) ]14; CHECK-NEXT: store i32 2, ptr [[P]], align 415; CHECK-NEXT: [[P32:%.*]] = call ptr @llvm.launder.invariant.group.p0(ptr [[P]])16; CHECK-NEXT: store i32 3, ptr [[P32]], align 4, !invariant.group !317; CHECK-NEXT: ret i32 018; CHECK: else2:19; CHECK-NEXT: store i32 -2, ptr [[P]], align 420; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META4:![0-9]+]])21; CHECK-NEXT: store i32 1, ptr [[P]], align 4, !noalias !422; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P]], i64 32) ]23; CHECK-NEXT: store i32 2, ptr [[P]], align 424; CHECK-NEXT: [[P3:%.*]] = call ptr @llvm.launder.invariant.group.p0(ptr [[P]])25; CHECK-NEXT: store i32 3, ptr [[P3]], align 4, !invariant.group !326; CHECK-NEXT: ret i32 127;28 br i1 %c, label %if, label %else29 30if:31 store i32 -1, ptr %p32 br label %join33 34else:35 store i32 -2, ptr %p36 br label %join37 38join:39 call void @llvm.experimental.noalias.scope.decl(metadata !0)40 store i32 1, ptr %p, !noalias !041 call void @llvm.assume(i1 true) ["align"(ptr %p, i64 32)]42 store i32 2, ptr %p43 %p3 = call ptr @llvm.launder.invariant.group.p0(ptr %p)44 store i32 3, ptr %p3, !invariant.group !{}45 br i1 %c, label %if2, label %else246 47if2:48 ret i32 049 50else2:51 ret i32 152}53 54declare void @llvm.assume(i1)55declare void @llvm.experimental.noalias.scope.decl(metadata)56declare ptr @llvm.launder.invariant.group.p0(ptr)57 58!0 = !{!1}59!1 = distinct !{!1, !2, !"scope"}60!2 = distinct !{!2, !"domain"}61