; 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
}