| ; RUN: llc -mtriple=hexagon < %s | 
 | ; REQUIRES: asserts | 
 |  | 
 | target triple = "hexagon" | 
 |  | 
 | ; Function Attrs: nounwind optsize readonly | 
 | define void @f0() #0 align 2 { | 
 | b0: | 
 |   %v0 = load i32, ptr undef, align 8 | 
 |   %v1 = zext i32 %v0 to i64 | 
 |   %v2 = add nuw nsw i64 %v1, 63 | 
 |   %v3 = lshr i64 %v2, 6 | 
 |   %v4 = trunc i64 %v3 to i32 | 
 |   br i1 undef, label %b3, label %b1 | 
 |  | 
 | b1:                                               ; preds = %b0 | 
 |   %v5 = add nsw i32 %v4, -1 | 
 |   br label %b2 | 
 |  | 
 | b2:                                               ; preds = %b2, %b1 | 
 |   %v6 = phi i32 [ %v5, %b1 ], [ %v7, %b2 ] | 
 |   %v7 = add i32 %v6, -1 | 
 |   %v8 = icmp sgt i32 %v7, -1 | 
 |   br i1 %v8, label %b2, label %b3 | 
 |  | 
 | b3:                                               ; preds = %b2, %b0 | 
 |   ret void | 
 | } | 
 |  | 
 | attributes #0 = { nounwind optsize readonly } |