1 ; RUN: opt -S -ipsccp < %s | FileCheck %s
2 @d = internal externally_initialized global i32 0, section ".openbsd.randomdata", align 4
7 %load = load i32, i32* @d, align 4
9 ; CHECK: %[[load:.*]] = load i32, i32* @d, align 4
10 ; CHECK: ret i32 %[[load]]