[Hexagon] Add more lit tests
llvm-svn: 327271
diff --git a/llvm/test/CodeGen/Hexagon/constext-replace.ll b/llvm/test/CodeGen/Hexagon/constext-replace.ll
new file mode 100644
index 0000000..2d51b8a
--- /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
+}