50 lines · plain
1; RUN: llc -mtriple=hexagon -O3 -verify-machineinstrs -disable-hexagon-peephole < %s2; REQUIRES: asserts3 4; This test checks if tied operands are consistent.5target triple = "hexagon-unknown--elf"6 7; Function Attrs: nounwind8define void @f0(ptr nocapture %a0) #0 {9b0:10 br label %b111 12b1: ; preds = %b5, %b013 %v0 = phi ptr [ %a0, %b0 ], [ %v5, %b5 ]14 %v1 = phi i16 [ undef, %b0 ], [ %v10, %b5 ]15 br i1 undef, label %b2, label %b316 17b2: ; preds = %b118 %v2 = getelementptr inbounds i16, ptr %v0, i32 119 %v3 = load i16, ptr %v0, align 2, !tbaa !020 br label %b321 22b3: ; preds = %b2, %b123 %v4 = phi i16 [ %v3, %b2 ], [ %v1, %b1 ]24 %v5 = phi ptr [ %v2, %b2 ], [ %v0, %b1 ]25 %v6 = lshr i16 %v4, 426 %v7 = zext i16 %v6 to i3227 %v8 = and i32 %v7, 1528 %v9 = icmp ult i32 %v8, 929 br i1 %v9, label %b4, label %b530 31b4: ; preds = %b332 call void @llvm.trap()33 unreachable34 35b5: ; preds = %b336 %v10 = lshr i16 %v4, 837 br label %b138}39 40; Function Attrs: noreturn nounwind41declare void @llvm.trap() #142 43attributes #0 = { nounwind "target-cpu"="hexagonv55" }44attributes #1 = { noreturn nounwind }45 46!0 = !{!1, !1, i64 0}47!1 = !{!"short", !2}48!2 = !{!"omnipotent char", !3}49!3 = !{!"Simple C/C++ TBAA"}50