1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -jump-threading -jump-threading-threshold=3 < %s | FileCheck %s
3
4; TODO: In this test case, only the stores in %join should cound towards
5; the jump threading threshold, as everything else are free instructions.
6define i32 @free_instructions(i1 %c, i32* %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, i32* [[P:%.*]], align 4
11; CHECK-NEXT:    call void @llvm.experimental.noalias.scope.decl(metadata [[META0:![0-9]+]])
12; CHECK-NEXT:    store i32 1, i32* [[P]], align 4, !noalias !0
13; CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(i32* [[P]], i64 32) ]
14; CHECK-NEXT:    store i32 2, i32* [[P]], align 4
15; CHECK-NEXT:    [[P21:%.*]] = bitcast i32* [[P]] to i8*
16; CHECK-NEXT:    [[P32:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[P21]])
17; CHECK-NEXT:    [[P43:%.*]] = bitcast i8* [[P32]] to i32*
18; CHECK-NEXT:    store i32 3, i32* [[P43]], align 4, !invariant.group !3
19; CHECK-NEXT:    ret i32 0
20; CHECK:       else2:
21; CHECK-NEXT:    store i32 -2, i32* [[P]], align 4
22; CHECK-NEXT:    call void @llvm.experimental.noalias.scope.decl(metadata [[META4:![0-9]+]])
23; CHECK-NEXT:    store i32 1, i32* [[P]], align 4, !noalias !4
24; CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(i32* [[P]], i64 32) ]
25; CHECK-NEXT:    store i32 2, i32* [[P]], align 4
26; CHECK-NEXT:    [[P2:%.*]] = bitcast i32* [[P]] to i8*
27; CHECK-NEXT:    [[P3:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[P2]])
28; CHECK-NEXT:    [[P4:%.*]] = bitcast i8* [[P3]] to i32*
29; CHECK-NEXT:    store i32 3, i32* [[P4]], align 4, !invariant.group !3
30; CHECK-NEXT:    ret i32 1
31;
32  br i1 %c, label %if, label %else
33
34if:
35  store i32 -1, i32* %p
36  br label %join
37
38else:
39  store i32 -2, i32* %p
40  br label %join
41
42join:
43  call void @llvm.experimental.noalias.scope.decl(metadata !0)
44  store i32 1, i32* %p, !noalias !0
45  call void @llvm.assume(i1 true) ["align"(i32* %p, i64 32)]
46  store i32 2, i32* %p
47  %p2 = bitcast i32* %p to i8*
48  %p3 = call i8* @llvm.launder.invariant.group.p0i8(i8* %p2)
49  %p4 = bitcast i8* %p3 to i32*
50  store i32 3, i32* %p4, !invariant.group !{}
51  br i1 %c, label %if2, label %else2
52
53if2:
54  ret i32 0
55
56else2:
57  ret i32 1
58}
59
60declare void @llvm.assume(i1)
61declare void @llvm.experimental.noalias.scope.decl(metadata)
62declare i8* @llvm.launder.invariant.group.p0i8(i8*)
63
64!0 = !{!1}
65!1 = distinct !{!1, !2, !"scope"}
66!2 = distinct !{!2, !"domain"}
67