Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/InstCombine/token.ll @ 100:7d135dc70f03 LLVM 3.9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.9
author Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
date Tue, 26 Jan 2016 22:53:40 +0900
parents
children
comparison
equal deleted inserted replaced
96:6418606d0ead 100:7d135dc70f03
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
3 target triple = "x86_64-pc-windows-msvc18.0.0"
4
5 declare i32 @__CxxFrameHandler3(...)
6
7 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
8 bb:
9 unreachable
10
11 unreachable:
12 %cl = cleanuppad within none []
13 cleanupret from %cl unwind to caller
14 }
15
16 ; CHECK-LABEL: define void @test1(
17 ; CHECK: unreachable:
18 ; CHECK: %cl = cleanuppad within none []
19 ; CHECK: cleanupret from %cl unwind to caller
20
21 define void @test2(i8 %A, i8 %B) personality i32 (...)* @__CxxFrameHandler3 {
22 bb:
23 %X = zext i8 %A to i32
24 invoke void @g(i32 0)
25 to label %cont
26 unwind label %catch
27
28 cont:
29 %Y = zext i8 %B to i32
30 invoke void @g(i32 0)
31 to label %unreachable
32 unwind label %catch
33
34 catch:
35 %phi = phi i32 [ %X, %bb ], [ %Y, %cont ]
36 %cs = catchswitch within none [label %doit] unwind to caller
37
38 doit:
39 %cl = catchpad within %cs []
40 call void @g(i32 %phi)
41 unreachable
42
43 unreachable:
44 unreachable
45 }
46
47 ; CHECK-LABEL: define void @test2(
48 ; CHECK: %X = zext i8 %A to i32
49 ; CHECK: %Y = zext i8 %B to i32
50 ; CHECK: %phi = phi i32 [ %X, %bb ], [ %Y, %cont ]
51
52 define void @test3(i8 %A, i8 %B) personality i32 (...)* @__CxxFrameHandler3 {
53 bb:
54 %X = zext i8 %A to i32
55 invoke void @g(i32 0)
56 to label %cont
57 unwind label %catch
58
59 cont:
60 %Y = zext i8 %B to i32
61 invoke void @g(i32 0)
62 to label %cont2
63 unwind label %catch
64
65 cont2:
66 invoke void @g(i32 0)
67 to label %unreachable
68 unwind label %catch
69
70 catch:
71 %phi = phi i32 [ %X, %bb ], [ %Y, %cont ], [ %Y, %cont2 ]
72 %cs = catchswitch within none [label %doit] unwind to caller
73
74 doit:
75 %cl = catchpad within %cs []
76 call void @g(i32 %phi)
77 unreachable
78
79 unreachable:
80 unreachable
81 }
82
83 ; CHECK-LABEL: define void @test3(
84 ; CHECK: %X = zext i8 %A to i32
85 ; CHECK: %Y = zext i8 %B to i32
86 ; CHECK: %phi = phi i32 [ %X, %bb ], [ %Y, %cont ], [ %Y, %cont2 ]
87
88 declare void @foo()
89 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
90
91 define void @test4(i8 addrspace(1)* %obj) gc "statepoint-example" {
92 bb:
93 unreachable
94
95 unreachable:
96 call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
97 ret void
98 }
99
100 ; CHECK-LABEL: define void @test4(
101 ; CHECK: unreachable:
102 ; CHECK: call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
103 ; CHECK: ret void
104
105
106 declare void @g(i32)