|  | ; RUN: llc -march=hexagon -O2 < %s | FileCheck %s | 
|  | ; CHECK: mem{{.*}} = {{.*}}.new | 
|  |  | 
|  | target triple = "hexagon-unknown-linux-gnu" | 
|  |  | 
|  | ; Function Attrs: nounwind | 
|  | define void @f0(i8* nocapture %a0, i8* nocapture %a1) #0 { | 
|  | b0: | 
|  | br label %b1 | 
|  |  | 
|  | b1:                                               ; preds = %b1, %b0 | 
|  | %v0 = phi i8* [ %a1, %b0 ], [ %v2, %b1 ] | 
|  | %v1 = phi i8* [ %a0, %b0 ], [ %v4, %b1 ] | 
|  | %v2 = getelementptr inbounds i8, i8* %v0, i32 1 | 
|  | %v3 = load volatile i8, i8* %v0, align 1, !tbaa !0 | 
|  | %v4 = getelementptr inbounds i8, i8* %v1, i32 1 | 
|  | store volatile i8 %v3, i8* %v1, align 1, !tbaa !0 | 
|  | %v5 = icmp eq i8 %v3, 0 | 
|  | br i1 %v5, label %b2, label %b1 | 
|  |  | 
|  | b2:                                               ; preds = %b1 | 
|  | ret void | 
|  | } | 
|  |  | 
|  | attributes #0 = { nounwind } | 
|  |  | 
|  | !0 = !{!1, !1, i64 0} | 
|  | !1 = !{!"omnipotent char", !2} | 
|  | !2 = !{!"Simple C/C++ TBAA"} |