;
; Test: ExternalConstant
;
; Description:
;	This regression test helps check whether the instruction combining
;	optimization pass correctly handles global variables which are marked
;	as external and constant.
;
;	If a problem occurs, we should die on an assert().  Otherwise, we
;	should pass through the optimizer without failure.
;
; Extra code:
; RUN: as < %s | opt -instcombine
;

target endian = little
target pointersize = 32
%silly = external constant int		; <int*> [#uses=1]

implementation   ; Functions:

declare void %bzero(sbyte*, uint)

declare void %bcopy(sbyte*, sbyte*, uint)

declare int %bcmp(sbyte*, sbyte*, uint)

declare int %fputs(sbyte*, sbyte*)

declare int %fputs_unlocked(sbyte*, sbyte*)

int %function(int %a.1) {
entry:		; No predecessors!
	%a.0 = alloca int		; <int*> [#uses=2]
	%result = alloca int		; <int*> [#uses=2]
	store int %a.1, int* %a.0
	%tmp.0 = load int* %a.0		; <int> [#uses=1]
	%tmp.1 = load int* %silly		; <int> [#uses=1]
	%tmp.2 = add int %tmp.0, %tmp.1		; <int> [#uses=1]
	store int %tmp.2, int* %result
	br label %return

return:		; preds = %entry
	%tmp.3 = load int* %result		; <int> [#uses=1]
	ret int %tmp.3
}
