; RUN: llvm-as < %s | opt -constprop | llvm-dis | \
; RUN:    not grep {ret i1 false}

@b = external global [2 x {  }]         ; <[2 x {  }]*> [#uses=2]

define i1 @f() {
        %tmp.2 = icmp eq {  }* getelementptr ([2 x {  }]* @b, i32 0, i32 0), getelementptr ([2 x {  }]* @b, i32 0, i32 1)                ; <i1> [#uses=1]
        ret i1 %tmp.2
}