diff options
Diffstat (limited to 'llvm/test/CodeGen/Hexagon/constext-replace.ll')
| -rw-r--r-- | llvm/test/CodeGen/Hexagon/constext-replace.ll | 151 |
1 files changed, 151 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/Hexagon/constext-replace.ll b/llvm/test/CodeGen/Hexagon/constext-replace.ll new file mode 100644 index 00000000000..2d51b8ab0b9 --- /dev/null +++ b/llvm/test/CodeGen/Hexagon/constext-replace.ll @@ -0,0 +1,151 @@ +; RUN: llc -march=hexagon < %s | FileCheck %s + +; Check that 3 or more addressing modes using the same constant extender are +; transformed into using a register. +; CHECK: r{{[0-9]+}} = ##g1 +; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) +; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) +; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) +; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1) +; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1) +; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1) +; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}} +; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}} +; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}} +; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}} +; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}} +; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}} + +target triple = "hexagon-unknown-linux-gnu" + +@g0 = external global i32 +@g1 = external global [13595 x i32], align 8 +@g2 = external global [13595 x i32], align 8 + +define i32 @f0(i32 %a0, i32* nocapture %a1) { +b0: + %v0 = load i32, i32* %a1, align 4 + %v1 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v0 + %v2 = load i32, i32* %v1, align 4 + %v3 = icmp sgt i32 %v2, %a0 + br i1 %v3, label %b1, label %b2 + +b1: ; preds = %b0 + %v4 = load i32, i32* @g0, align 4 + store i32 %v4, i32* %a1, align 4 + %v5 = load i32, i32* @g0, align 4 + %v6 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v5 + %v7 = load i32, i32* %v6, align 4 + store i32 %v7, i32* @g0, align 4 + %v8 = load i32, i32* %a1, align 4 + %v9 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v8 + store i32 %v0, i32* %v9, align 4 + %v10 = load i32, i32* %a1, align 4 + %v11 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v10 + store i32 %a0, i32* %v11, align 4 + br label %b16 + +b2: ; preds = %b0 + %v12 = icmp eq i32 %v2, %a0 + br i1 %v12, label %b16, label %b3 + +b3: ; preds = %b2 + br label %b4 + +b4: ; preds = %b13, %b3 + %v13 = phi i32 [ %v45, %b13 ], [ %v0, %b3 ] + %v14 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v13 + %v15 = load i32, i32* %v14, align 4 + %v16 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v15 + %v17 = load i32, i32* %v16, align 4 + %v18 = icmp slt i32 %v17, %a0 + br i1 %v18, label %b7, label %b5 + +b5: ; preds = %b4 + %v19 = icmp eq i32 %v17, %a0 + br i1 %v19, label %b16, label %b6 + +b6: ; preds = %b5 + %v20 = load i32, i32* @g0, align 4 + store i32 %v20, i32* %v14, align 4 + %v21 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v20 + store i32 %a0, i32* %v21, align 4 + %v22 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v20 + %v23 = load i32, i32* %v22, align 4 + store i32 %v23, i32* @g0, align 4 + store i32 %v15, i32* %v22, align 4 + br label %b16 + +b7: ; preds = %b4 + %v24 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v15 + %v25 = load i32, i32* %v24, align 4 + %v26 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v25 + %v27 = load i32, i32* %v26, align 4 + %v28 = icmp slt i32 %v27, %a0 + br i1 %v28, label %b10, label %b8 + +b8: ; preds = %b7 + %v29 = icmp eq i32 %v27, %a0 + br i1 %v29, label %b16, label %b9 + +b9: ; preds = %b8 + %v30 = load i32, i32* @g0, align 4 + store i32 %v30, i32* %v24, align 4 + %v31 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v30 + store i32 %a0, i32* %v31, align 4 + %v32 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v30 + %v33 = load i32, i32* %v32, align 4 + store i32 %v33, i32* @g0, align 4 + store i32 %v25, i32* %v32, align 4 + br label %b16 + +b10: ; preds = %b7 + %v34 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v25 + %v35 = load i32, i32* %v34, align 4 + %v36 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v35 + %v37 = load i32, i32* %v36, align 4 + %v38 = icmp slt i32 %v37, %a0 + br i1 %v38, label %b13, label %b11 + +b11: ; preds = %b10 + %v39 = icmp eq i32 %v37, %a0 + br i1 %v39, label %b16, label %b12 + +b12: ; preds = %b11 + %v40 = load i32, i32* @g0, align 4 + store i32 %v40, i32* %v34, align 4 + %v41 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v40 + store i32 %a0, i32* %v41, align 4 + %v42 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v40 + %v43 = load i32, i32* %v42, align 4 + store i32 %v43, i32* @g0, align 4 + store i32 %v35, i32* %v42, align 4 + br label %b16 + +b13: ; preds = %b10 + %v44 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v35 + %v45 = load i32, i32* %v44, align 4 + %v46 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v45 + %v47 = load i32, i32* %v46, align 4 + %v48 = icmp slt i32 %v47, %a0 + br i1 %v48, label %b4, label %b14 + +b14: ; preds = %b13 + %v49 = icmp eq i32 %v47, %a0 + br i1 %v49, label %b16, label %b15 + +b15: ; preds = %b14 + %v50 = load i32, i32* @g0, align 4 + store i32 %v50, i32* %v44, align 4 + %v51 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g1, i32 0, i32 %v50 + store i32 %a0, i32* %v51, align 4 + %v52 = getelementptr inbounds [13595 x i32], [13595 x i32]* @g2, i32 0, i32 %v50 + %v53 = load i32, i32* %v52, align 4 + store i32 %v53, i32* @g0, align 4 + store i32 %v45, i32* %v52, align 4 + br label %b16 + +b16: ; preds = %b15, %b14, %b12, %b11, %b9, %b8, %b6, %b5, %b2, %b1 + %v54 = phi i32 [ 1, %b1 ], [ 1, %b6 ], [ 1, %b9 ], [ 1, %b12 ], [ 1, %b15 ], [ 0, %b2 ], [ 0, %b5 ], [ 0, %b8 ], [ 0, %b11 ], [ 0, %b14 ] + ret i32 %v54 +} |
