; Promoting some values allows promotion of other values.
; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep alloca

int %test2() {
        %result = alloca int             ; ty=int*
        %a = alloca int          ; ty=int*
        %p = alloca int*                 ; ty=int**
        store int 0, int* %a
        store int* %a, int** %p
        %tmp.0 = load int** %p           ; ty=int*
        %tmp.1 = load int* %tmp.0                ; ty=int
        store int %tmp.1, int* %result
        %tmp.2 = load int* %result               ; ty=int
        ret int %tmp.2
}