1; RUN: opt < %s -constprop -S | \
2; RUN:    not grep "ret i1 false"
3
4@b = external global [2 x {  }]         ; <[2 x {  }]*> [#uses=2]
5
6define i1 @f() {
7        %tmp.2 = icmp eq {  }* getelementptr ([2 x {  }], [2 x {  }]* @b, i32 0, i32 0), getelementptr ([2 x {  }], [2 x {  }]* @b, i32 0, i32 1)                ; <i1> [#uses=1]
8        ret i1 %tmp.2
9}
10
11