test/Transforms/Inline/invoke_test-2.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

; Test that if an invoked function is inlined, and if that function cannot
; throw, that the dead handler is now unreachable.

; RUN: as < %s | opt -inline -simplifycfg | dis | not grep UnreachableExceptionHandler

declare void %might_throw()

implementation

internal int %callee() {
	invoke void %might_throw() to label %cont except label %exc
cont:
	ret int 0
exc:
	; This just consumes the exception!
	ret int 1
}

; caller returns true if might_throw throws an exception... callee cannot throw.
int %caller() {
	%X = invoke int %callee() to label %cont 
		except label %UnreachableExceptionHandler
cont:
	ret int %X
UnreachableExceptionHandler:
	ret int -1   ; This is dead!
}