; RUN: llvm-upgrade < %s | llvm-as | opt -constprop | llvm-dis | \
; RUN: not grep {ret bool false}
%b = external global [2 x { }]
implementation
bool %f() {
; tmp.2 -> true, not false.
%tmp.2 = seteq { }* getelementptr ([2 x { }]* %b, int 0, int 0),
getelementptr ([2 x { }]* %b, int 0, int 1)
ret bool %tmp.2
}