; RUN: llvm-upgrade < %s | llvm-as | opt -globalopt | llvm-dis | not grep CTOR

%llvm.global_ctors = appending global [10 x { int, void ()* }] [ 
  { int, void ()* } { int 65535, void ()* %CTOR1 },
  { int, void ()* } { int 65535, void ()* %CTOR1 },
  { int, void ()* } { int 65535, void ()* %CTOR2 },
  { int, void ()* } { int 65535, void ()* %CTOR3 },
  { int, void ()* } { int 65535, void ()* %CTOR4 },
  { int, void ()* } { int 65535, void ()* %CTOR5 },
  { int, void ()* } { int 65535, void ()* %CTOR6 },
  { int, void ()* } { int 65535, void ()* %CTOR7 },
  { int, void ()* } { int 65535, void ()* %CTOR8 },
  { int, void ()* } { int 2147483647, void ()* null }
]

%G = global int 0
%G2 = global int 0
%G3 = global int -123
%X = global {int, [2 x int]} { int 0, [2 x int] [ int 17, int 21] }
%Y = global int -1
%Z = global int 123
%D = global double 0.0

%CTORGV = internal global bool false    ;; Should become constant after eval

implementation

internal void %CTOR1() {   ;; noop ctor, remove.
        ret void
}

internal void %CTOR2() {   ;; evaluate the store
	%A = add int 1, 23
	store int %A, int* %G
	store bool true, bool* %CTORGV
        ret void
}

internal void %CTOR3() {
	%X = or bool true, false
	br label %Cont
Cont:
	br bool %X, label %S, label %T
S:
	store int 24, int* %G2
	ret void
T:
	ret void
}

internal void %CTOR4() {
	%X = load int* %G3
	%Y = add int %X, 123
	store int %Y, int* %G3
	ret void
}

internal void %CTOR5() {
	%X.2p = getelementptr {int,[2 x int]}* %X, int 0, uint 1, int 0
	%X.2 = load int* %X.2p
	%X.1p = getelementptr {int,[2 x int]}* %X, int 0, uint 0
	store int %X.2, int* %X.1p
	store int 42, int* %X.2p
	ret void
}

internal void %CTOR6() {
	%A = alloca int
	%y = load int* %Y
	store int %y, int* %A
	%Av = load int* %A
	%Av1 = add int %Av, 1
	store int %Av1, int* %Y
	ret void
}

internal void %CTOR7() {
	call void %setto(int* %Z, int 0)
	ret void
}

void %setto(int* %P, int %V) {
	store int %V, int* %P
	ret void
}

declare double %cos(double)

internal void %CTOR8() {
	%X = call double %cos(double 1.0)
	store double %X, double* %D
	ret void
}
bool %accessor() {
	%V = load bool* %CTORGV   ;; constant true
	ret bool %V
}
