1 ; a load or store of a pointer indicates that the pointer is not null.
2 ; Any succeeding uses of the pointer should get this info
4 ; RUN: as < %s | opt -cee -instcombine -simplifycfg | dis | not grep br
6 implementation ; Functions:
8 int %nullptr(int* %j) {
10 store int 7, int* %j ; j != null
11 %cond220 = seteq int* %j, null ; F
12 br bool %cond220, label %bb3, label %bb4 ; direct branch