blob: a995506666db0b08be83cfd6549a0471e7820185 [file] [log] [blame]
; RUN: llc -march=hexagon -O3 -verify-machineinstrs -disable-hexagon-peephole < %s
; REQUIRES: asserts
; This test checks if tied operands are consistent.
target triple = "hexagon-unknown--elf"
; Function Attrs: nounwind
define void @f0(i16* nocapture %a0) #0 {
b0:
br label %b1
b1: ; preds = %b5, %b0
%v0 = phi i16* [ %a0, %b0 ], [ %v5, %b5 ]
%v1 = phi i16 [ undef, %b0 ], [ %v10, %b5 ]
br i1 undef, label %b2, label %b3
b2: ; preds = %b1
%v2 = getelementptr inbounds i16, i16* %v0, i32 1
%v3 = load i16, i16* %v0, align 2, !tbaa !0
br label %b3
b3: ; preds = %b2, %b1
%v4 = phi i16 [ %v3, %b2 ], [ %v1, %b1 ]
%v5 = phi i16* [ %v2, %b2 ], [ %v0, %b1 ]
%v6 = lshr i16 %v4, 4
%v7 = zext i16 %v6 to i32
%v8 = and i32 %v7, 15
%v9 = icmp ult i32 %v8, 9
br i1 %v9, label %b4, label %b5
b4: ; preds = %b3
call void @llvm.trap()
unreachable
b5: ; preds = %b3
%v10 = lshr i16 %v4, 8
br label %b1
}
; Function Attrs: noreturn nounwind
declare void @llvm.trap() #1
attributes #0 = { nounwind "target-cpu"="hexagonv55" }
attributes #1 = { noreturn nounwind }
!0 = !{!1, !1, i64 0}
!1 = !{!"short", !2}
!2 = !{!"omnipotent char", !3}
!3 = !{!"Simple C/C++ TBAA"}