test/Transforms/GCSE/2002-05-21-NoSharedDominator.ll


1
2
3
4
5
6
7
8
9
10
11
12
13

; This testcase shows a bug where an common subexpression exists, but there
; is no shared dominator block that the expression can be hoisted out to.
;
; RUN: as < %s | opt -gcse | dis

int "test"(int %X, int %Y) {
	%Z = add int %X, %Y
	ret int %Z

Unreachable:
	%Q = add int %X, %Y
	ret int %Q
}