63 lines · plain
1; RUN: llc -mtriple=hexagon -rdf-opt=0 -disable-hexagon-misched -hexagon-initial-cfg-cleanup=0 -lsr-setupcost-depth-limit=1 -disable-cgp-delete-phis < %s -pipeliner-experimental-cg=true -terminal-rule=0 | FileCheck %s2 3; Test that we generate the correct code when a loop carried value4; is scheduled one stage earlier than it's use. The code in5; isLoopCarried was returning false in this case, and the generated6; code was missing an copy.7 8; CHECK: loop0(.LBB0_[[LOOP:.]],9; CHECK: .LBB0_[[LOOP]]:10; CHECK: += mpy([[REG0:(r[0-9]+)]],r{{[0-9]+}})11; CHECK: [[REG0]] = r{{[0-9]+}}12; CHECK-NOT: [[REG0]] = memw13; CHECK: endloop014 15@g0 = external global [256 x i32], align 816 17define void @f0() #0 {18b0:19 br label %b120 21b1: ; preds = %b1, %b022 br i1 undef, label %b2, label %b123 24b2: ; preds = %b125 br label %b326 27b3: ; preds = %b3, %b228 %v0 = phi ptr [ @g0, %b2 ], [ %v1, %b3 ]29 %v1 = getelementptr i32, ptr %v0, i32 630 br i1 undef, label %b4, label %b331 32b4: ; preds = %b333 br i1 undef, label %b6, label %b534 35b5: ; preds = %b5, %b436 %v2 = phi i64 [ %v19, %b5 ], [ undef, %b4 ]37 %v3 = phi ptr [ %v8, %b5 ], [ %v1, %b4 ]38 %v4 = phi i32 [ %v9, %b5 ], [ undef, %b4 ]39 %v5 = phi i32 [ %v11, %b5 ], [ undef, %b4 ]40 %v6 = phi i32 [ %v5, %b5 ], [ undef, %b4 ]41 %v7 = phi i32 [ %v10, %b5 ], [ 0, %b4 ]42 %v8 = getelementptr i32, ptr %v3, i32 143 %v9 = add nsw i32 %v4, 144 %v10 = load i32, ptr %v8, align 445 %v11 = load i32, ptr null, align 446 %v12 = sext i32 %v6 to i6447 %v13 = sext i32 %v10 to i6448 %v14 = sext i32 %v7 to i6449 %v15 = mul nsw i64 %v14, %v1250 %v16 = add i64 %v12, %v251 %v17 = add i64 %v16, %v1352 %v18 = add i64 %v17, 053 %v19 = add i64 %v18, %v1554 %v20 = icmp eq i32 %v9, 12855 br i1 %v20, label %b6, label %b556 57b6: ; preds = %b5, %b458 %v21 = phi i64 [ undef, %b4 ], [ %v19, %b5 ]59 unreachable60}61 62attributes #0 = { nounwind "target-cpu"="hexagonv62" }63