| ; RUN: opt -S -ipsccp < %s | FileCheck %s | |
| @d = internal externally_initialized global i32 0, section ".openbsd.randomdata", align 4 | |
| ; CHECK-LABEL: @test1( | |
| define i32 @test1() { | |
| entry: | |
| %load = load i32, i32* @d, align 4 | |
| ret i32 %load | |
| ; CHECK: %[[load:.*]] = load i32, i32* @d, align 4 | |
| ; CHECK: ret i32 %[[load]] | |
| } |