; RUN: llvm-upgrade < %s | llvm-as | opt -ipsccp | llvm-dis | not grep global %G = internal global int undef implementation void %foo() { %X = load int* %G store int %X, int* %G ret void } int %bar() { %V = load int* %G %C = seteq int %V, 17 br bool %C, label %T, label %F T: store int 17, int* %G ret int %V F: store int 123, int* %G ret int 0 }