Blame - llvm/test/CodeGen/WinEH/wineh-no-demotion.ll - toolchain/llvm-project

blob: ab094aeebf520751fbf8ffc470463e606e3cb2c5 [file] [log] [blame]

David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	1	; RUN: opt -mtriple=x86_x64-pc-windows-msvc -S -winehprepare -disable-demotion < %s \| FileCheck %s
				2
				3	declare i32 @__CxxFrameHandler3(...)
				4
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	5	declare i32 @__C_specific_handler(...)
				6
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	7	declare void @f()
				8
				9	declare i32 @g()
				10
				11	declare void @h(i32)
				12
				13	; CHECK-LABEL: @test1(
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	14	define void @test1() personality i32 (...)* @__C_specific_handler {
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	15	entry:
				16	invoke void @f()
				17	to label %invoke.cont1 unwind label %left
				18
				19	invoke.cont1:
				20	invoke void @f()
				21	to label %invoke.cont2 unwind label %right
				22
				23	invoke.cont2:
				24	invoke void @f()
				25	to label %exit unwind label %inner
				26
				27	left:
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	28	%0 = cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	29	br label %shared
				30
				31	right:
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	32	%1 = cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	33	br label %shared
				34
				35	shared:
				36	%x = call i32 @g()
				37	invoke void @f()
				38	to label %shared.cont unwind label %inner
				39
				40	shared.cont:
				41	unreachable
				42
				43	inner:
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	44	%phi = phi i32 [ %x, %shared ], [ 0, %invoke.cont2 ]
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	45	%i = cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	46	call void @h(i32 %phi)
				47	unreachable
				48
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	49	; CHECK: %phi = phi i32 [ %x, %right ], [ 0, %invoke.cont2 ], [ %x.for.left, %left ]
				50	; CHECK: %i = cleanuppad within none []
				51	; CHECK: call void @h(i32 %phi)
Andrew Kaylor	fdd48fa	2015-11-09 19:59:02 +0000	[diff] [blame]	52
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	53	exit:
				54	unreachable
				55	}
				56
				57	; CHECK-LABEL: @test2(
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	58	define void @test2() personality i32 (...)* @__C_specific_handler {
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	59	entry:
				60	invoke void @f()
				61	to label %invoke.cont unwind label %left
				62
				63	invoke.cont:
				64	invoke void @f()
				65	to label %exit unwind label %right
				66
				67	left:
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	68	cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	69	br label %shared
				70
				71	right:
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	72	cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	73	br label %shared
				74
				75	shared:
				76	%x = call i32 @g()
				77	invoke void @f()
				78	to label %shared.cont unwind label %inner
				79
				80	shared.cont:
				81	unreachable
				82
				83	inner:
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	84	%i = cleanuppad within none []
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	85	call void @h(i32 %x)
				86	unreachable
				87
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	88	; CHECK: %x1 = phi i32 [ %x.for.left, %left ], [ %x, %right ]
				89	; CHECK: %i = cleanuppad within none []
				90	; CHECK: call void @h(i32 %x1)
Andrew Kaylor	fdd48fa	2015-11-09 19:59:02 +0000	[diff] [blame]	91
David Majnemer	459a64a	2015-09-16 18:40:37 +0000	[diff] [blame]	92	exit:
				93	unreachable
				94	}
David Majnemer	67bff0d	2015-09-16 20:42:16 +0000	[diff] [blame]	95
David Majnemer	8a1c45d	2015-12-12 05:38:55 +0000	[diff] [blame]	96	; CHECK-LABEL: @test4(
				97	define void @test4(i1 %x) personality i32 (...)* @__CxxFrameHandler3 {
				98	entry:
				99	invoke void @f()
				100	to label %invoke.cont1 unwind label %left
				101
				102	invoke.cont1:
				103	invoke void @f()
				104	to label %exit unwind label %right
				105
				106	left:
				107	%0 = cleanuppad within none []
				108	br label %shared
				109
				110	right:
				111	%1 = cleanuppad within none []
				112	br i1 %x, label %shared, label %right.other
				113
				114	right.other:
				115	br label %shared
				116
				117	shared:
				118	%phi = phi i32 [ 1, %left ], [ 0, %right ], [ -1, %right.other ]
				119	call void @h(i32 %phi)
				120	unreachable
				121
				122	; CHECK: %0 = cleanuppad within none []
				123	; CHECK: call void @h(i32 1)
				124
				125	; CHECK: %1 = cleanuppad within none []
				126	; CHECK: %phi = phi i32 [ 0, %right ], [ -1, %right.other ]
				127	; CHECK: call void @h(i32 %phi)
				128
				129	exit:
				130	unreachable
David Majnemer	67bff0d	2015-09-16 20:42:16 +0000	[diff] [blame]	131	}
				132
				133	declare void @__std_terminate()