1; RUN: opt < %s -passes=globalopt -S | FileCheck %s
2
3@G = internal global void ()* null              ; <void ()**> [#uses=2]
4; CHECK: global
5
6define internal void @Actual() {
7; CHECK-LABEL: Actual(
8        ret void
9}
10
11define void @init() {
12; CHECK-LABEL: init(
13; CHECK:  store void ()* @Actual, void ()** @G
14        store void ()* @Actual, void ()** @G
15        ret void
16}
17
18define void @doit() #0 {
19; CHECK-LABEL: doit(
20; CHECK: %FP = load void ()*, void ()** @G
21; CHECK: call void %FP()
22        %FP = load void ()*, void ()** @G         ; <void ()*> [#uses=1]
23        call void %FP( )
24        ret void
25}
26
27attributes #0 = { null_pointer_is_valid }
28