; RUN: llvm-upgrade < %s | llvm-as | opt -globalopt -instcombine | \
; RUN:    llvm-dis | grep 'ret i1 true'

;; check that global opt turns integers that only hold 0 or 1 into bools.

%G = internal global int 0    ;; This only holds 0 or 1.

implementation

void %set1() {
	store int 0, int* %G
	ret void
}
void %set2() {
	store int 1, int* %G
	ret void
}

bool %get() {
	%A = load int* %G
	%C = setlt int %A, 2  ;; always true
	ret bool %C
}