|  | ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu -frame-pointer=all | FileCheck %s | 
|  |  | 
|  | define i32 @_Z4funci(i32 %a) ssp { | 
|  | ; CHECK:       mflr 0 | 
|  | ; CHECK-NEXT:  stw 0, 4(1) | 
|  | ; CHECK-NEXT:  stwu 1, -32(1) | 
|  | ; CHECK-NEXT:  stw 31, 28(1) | 
|  | ; CHECK:  mr 31, 1 | 
|  | entry: | 
|  | %a_addr = alloca i32                            ; <i32*> [#uses=2] | 
|  | %retval = alloca i32                            ; <i32*> [#uses=2] | 
|  | %0 = alloca i32                                 ; <i32*> [#uses=2] | 
|  | %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0] | 
|  | store i32 %a, i32* %a_addr | 
|  | %1 = call i32 @_Z3barPi(i32* %a_addr)           ; <i32> [#uses=1] | 
|  | store i32 %1, i32* %0, align 4 | 
|  | %2 = load i32, i32* %0, align 4                      ; <i32> [#uses=1] | 
|  | store i32 %2, i32* %retval, align 4 | 
|  | br label %return | 
|  |  | 
|  | return:                                           ; preds = %entry | 
|  | %retval1 = load i32, i32* %retval                    ; <i32> [#uses=1] | 
|  | ret i32 %retval1 | 
|  | } | 
|  |  | 
|  | declare i32 @_Z3barPi(i32*) |