1; 2; Test: ExternalConstant 3; 4; Description: 5; This regression test helps check whether the instruction combining 6; optimization pass correctly handles global variables which are marked 7; as external and constant. 8; 9; If a problem occurs, we should die on an assert(). Otherwise, we 10; should pass through the optimizer without failure. 11; 12; Extra code: 13; RUN: opt < %s -instcombine 14; END. 15 16target datalayout = "e-p:32:32" 17@silly = external constant i32 ; <i32*> [#uses=1] 18 19declare void @bzero(i8*, i32) 20 21declare void @bcopy(i8*, i8*, i32) 22 23declare i32 @bcmp(i8*, i8*, i32) 24 25declare i32 @fputs(i8*, i8*) 26 27declare i32 @fputs_unlocked(i8*, i8*) 28 29define i32 @function(i32 %a.1) { 30entry: 31 %a.0 = alloca i32 ; <i32*> [#uses=2] 32 %result = alloca i32 ; <i32*> [#uses=2] 33 store i32 %a.1, i32* %a.0 34 %tmp.0 = load i32* %a.0 ; <i32> [#uses=1] 35 %tmp.1 = load i32* @silly ; <i32> [#uses=1] 36 %tmp.2 = add i32 %tmp.0, %tmp.1 ; <i32> [#uses=1] 37 store i32 %tmp.2, i32* %result 38 br label %return 39 40return: ; preds = %entry 41 %tmp.3 = load i32* %result ; <i32> [#uses=1] 42 ret i32 %tmp.3 43} 44 45