| ; RUN: llc -march=hexagon -enable-pipeliner < %s | 
 | ; REQUIRES: asserts | 
 |  | 
 | ; Function Attrs: nounwind | 
 | define void @f0() #0 { | 
 | b0: | 
 |   br i1 undef, label %b1, label %b4 | 
 |  | 
 | b1:                                               ; preds = %b0 | 
 |   %v0 = load i16*, i16** undef, align 4 | 
 |   br label %b2 | 
 |  | 
 | b2:                                               ; preds = %b2, %b1 | 
 |   %v1 = phi i32 [ 13, %b1 ], [ %v5, %b2 ] | 
 |   %v2 = getelementptr inbounds i16, i16* %v0, i32 %v1 | 
 |   %v3 = add nsw i32 0, %v1 | 
 |   %v4 = getelementptr inbounds i16, i16* %v0, i32 %v3 | 
 |   store i16 0, i16* %v4, align 2 | 
 |   store i16 0, i16* %v2, align 2 | 
 |   %v5 = add i32 %v1, 1 | 
 |   %v6 = icmp eq i32 %v5, 26 | 
 |   br i1 %v6, label %b3, label %b2 | 
 |  | 
 | b3:                                               ; preds = %b3, %b2 | 
 |   br i1 undef, label %b4, label %b3 | 
 |  | 
 | b4:                                               ; preds = %b3, %b0 | 
 |   ret void | 
 | } | 
 |  | 
 | attributes #0 = { nounwind } |