1; RUN: opt < %s -argpromotion -S | \
2; RUN:    not grep {load i32\* null}
3
4define internal i32 @callee(i1 %C, i32* %P) {
5        br i1 %C, label %T, label %F
6
7T:              ; preds = %0
8        ret i32 17
9
10F:              ; preds = %0
11        %X = load i32* %P               ; <i32> [#uses=1]
12        ret i32 %X
13}
14
15define i32 @foo() {
16        %X = call i32 @callee( i1 true, i32* null )             ; <i32> [#uses=1]
17        ret i32 %X
18}
19
20