blob: 6c5321d3194a63d1dbf87b523e7a260a4cc61853 [file] [log] [blame]
Frits van Bommeld9df6ea2010-12-06 23:36:56 +00001; RUN: opt -S < %s -jump-threading | FileCheck %s
2
3; Keep block addresses alive.
4@addresses = constant [4 x i8*] [
5 i8* blockaddress(@test1, %L1), i8* blockaddress(@test1, %L2),
6 i8* blockaddress(@test2, %L1), i8* blockaddress(@test2, %L2)
7]
8
9declare void @bar()
10declare void @baz()
11
12
13
14; Check basic jump threading for indirectbr instructions.
15
16; CHECK: void @test1
17; CHECK: br i1 %tobool, label %L1, label %indirectgoto
18; CHECK-NOT: if.else:
19; CHECK: L1:
20; CHECK: indirectbr i8* %address, [label %L1, label %L2]
21define void @test1(i32 %i, i8* %address) nounwind {
22entry:
23 %rem = srem i32 %i, 2
24 %tobool = icmp ne i32 %rem, 0
25 br i1 %tobool, label %indirectgoto, label %if.else
26
27if.else: ; preds = %entry
28 br label %indirectgoto
29
30L1: ; preds = %indirectgoto
31 call void @bar()
32 ret void
33
34L2: ; preds = %indirectgoto
35 call void @baz()
36 ret void
37
38indirectgoto: ; preds = %if.else, %entry
39 %indirect.goto.dest = phi i8* [ %address, %if.else ], [ blockaddress(@test1, %L1), %entry ]
40 indirectbr i8* %indirect.goto.dest, [label %L1, label %L2]
41}
42
43
44; Check constant folding of indirectbr
45
46; CHECK: void @test2
47; CHECK-NEXT: :
48; CHECK-NEXT: call void @bar
49; CHECK-NEXT: ret void
50define void @test2() nounwind {
51entry:
52 indirectbr i8* blockaddress(@test2, %L1), [label %L1, label %L2]
53
54L1: ; preds = %indirectgoto
55 call void @bar()
56 ret void
57
58L2: ; preds = %indirectgoto
59 call void @baz()
60 ret void
61}