Lines Matching +full:test +full:- +full:shared +full:- +full:dbg
1 ; RUN: opt -mtriple=x86_64-pc-windows-msvc -S -winehprepare < %s | FileCheck %s
33 ; CHECK-LABEL: define void @test1(
42 ; CHECK-NEXT: call void @llvm.foo(i32 %x)
58 ; Need two copies of %exit's call to @f -- the subsequent ret is only
61 ; CHECK-LABEL: define void @test2(
68 ; CHECK-NEXT: unreachable
71 ; CHECK-NEXT: ret void
85 br label %shared
88 br label %shared
89 shared:
95 ; Need two copies of %shared's call to @f (similar to @test2 but
96 ; the two regions here are siblings, not parent-child).
97 ; CHECK-LABEL: define void @test3(
103 ; CHECK-NEXT: call void @llvm.bar()
104 ; CHECK-NEXT: unreachable
108 ; CHECK-NEXT: unreachable
116 to label %shared unwind label %catch.switch
121 br label %shared
122 shared:
128 %i.loop = phi i32 [ %i, %shared ], [ %i.dec, %loop.tail ]
147 ; from %shared to %exit.
148 ; CHECK-LABEL: define void @test4(
211 catchret from %i to label %outer.post-inner
212 outer.post-inner:
220 ; Simple nested case (catch-inside-cleanup). Nothing needs
223 ; CHECK-LABEL: define void @test5(
226 ; CHECK-NEXT: invoke void @f()
227 ; CHECK-NEXT: to label %outer.ret unwind label %catch.switch
229 ; CHECK-NEXT: %i = catchpad within %cs []
230 ; CHECK-NEXT: catchret from %i to label %outer.post-inner
231 ; CHECK: outer.post-inner:
232 ; CHECK-NEXT: call void @llvm.foo(i32 %x)
233 ; CHECK-NEXT: br label %outer.ret
256 ; CHECK-LABEL: define void @test10(
257 ; CHECK-NEXT: entry:
258 ; CHECK-NEXT: invoke
259 ; CHECK-NEXT: to label %unreachable unwind label %inner
261 ; CHECK-NEXT: %cleanup = cleanuppad within none []
262 ; CHECK-NEXT: cleanupret from %cleanup unwind label %outer
264 ; CHECK-NEXT: %cs = catchswitch within none [label %catch.body] unwind to caller
266 ; CHECK-NEXT: %catch = catchpad within %cs []
267 ; CHECK-NEXT: catchret from %catch to label %exit
269 ; CHECK-NEXT: ret void
293 ; CHECK-LABEL: define void @test11()
295 ; CHECK-NEXT: call void @llvm.bar()
296 ; CHECK-NEXT: unreachable
298 define void @test12() personality i32 (...)* @__CxxFrameHandler3 !dbg !5 {
301 to label %cont unwind label %left, !dbg !8
314 call void @llvm.bar(), !dbg !9
320 ; CHECK-LABEL: define void @test13()
365 ; CHECK-LABEL: define void @test14()
369 ; CHECK-NEXT: call void @llvm.foo(i32 1)
370 ; CHECK-NEXT: unreachable
372 ; CHECK-NEXT: call void @llvm.foo(i32 2)
373 ; CHECK-NEXT: unreachable
378 ; CHECK-LABEL: !llvm.module.flags
379 ; CHECK-NOT: !DISubprogram
380 ; CHECK: !{{[0-9]+}} = distinct !DISubprogram(name: "test12"
381 ; CHECK-NOT: !DISubprogram
383 !llvm.dbg.cu = !{!1}
387 !2 = !DIFile(filename: "test.cpp", directory: ".")