152 lines · plain
1; RUN: llc -mtriple=hexagon < %s | FileCheck %s2 3; Check that 3 or more addressing modes using the same constant extender are4; transformed into using a register.5; CHECK: r{{[0-9]+}} = ##g16; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2)7; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2)8; CHECK: r{{[0-9]+}} = memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2)9; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1)10; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1)11; CHECK-NOT: r{{[0-9]+}} = memw(r{{[0-9]+}}<<#2+##g1)12; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}}13; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}}14; CHECK: memw(r{{[0-9]+}}+r{{[0-9]+}}<<#2) = r{{[0-9]+}}15; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}}16; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}}17; CHECK-NOT: memw(r{{[0-9]+}}<<#2+##g1) = r{{[0-9]+}}18 19target triple = "hexagon-unknown-linux-gnu"20 21@g0 = external global i3222@g1 = external global [13595 x i32], align 823@g2 = external global [13595 x i32], align 824 25define i32 @f0(i32 %a0, ptr nocapture %a1) {26b0:27 %v0 = load i32, ptr %a1, align 428 %v1 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v029 %v2 = load i32, ptr %v1, align 430 %v3 = icmp sgt i32 %v2, %a031 br i1 %v3, label %b1, label %b232 33b1: ; preds = %b034 %v4 = load i32, ptr @g0, align 435 store i32 %v4, ptr %a1, align 436 %v5 = load i32, ptr @g0, align 437 %v6 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v538 %v7 = load i32, ptr %v6, align 439 store i32 %v7, ptr @g0, align 440 %v8 = load i32, ptr %a1, align 441 %v9 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v842 store i32 %v0, ptr %v9, align 443 %v10 = load i32, ptr %a1, align 444 %v11 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v1045 store i32 %a0, ptr %v11, align 446 br label %b1647 48b2: ; preds = %b049 %v12 = icmp eq i32 %v2, %a050 br i1 %v12, label %b16, label %b351 52b3: ; preds = %b253 br label %b454 55b4: ; preds = %b13, %b356 %v13 = phi i32 [ %v45, %b13 ], [ %v0, %b3 ]57 %v14 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v1358 %v15 = load i32, ptr %v14, align 459 %v16 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v1560 %v17 = load i32, ptr %v16, align 461 %v18 = icmp slt i32 %v17, %a062 br i1 %v18, label %b7, label %b563 64b5: ; preds = %b465 %v19 = icmp eq i32 %v17, %a066 br i1 %v19, label %b16, label %b667 68b6: ; preds = %b569 %v20 = load i32, ptr @g0, align 470 store i32 %v20, ptr %v14, align 471 %v21 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v2072 store i32 %a0, ptr %v21, align 473 %v22 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v2074 %v23 = load i32, ptr %v22, align 475 store i32 %v23, ptr @g0, align 476 store i32 %v15, ptr %v22, align 477 br label %b1678 79b7: ; preds = %b480 %v24 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v1581 %v25 = load i32, ptr %v24, align 482 %v26 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v2583 %v27 = load i32, ptr %v26, align 484 %v28 = icmp slt i32 %v27, %a085 br i1 %v28, label %b10, label %b886 87b8: ; preds = %b788 %v29 = icmp eq i32 %v27, %a089 br i1 %v29, label %b16, label %b990 91b9: ; preds = %b892 %v30 = load i32, ptr @g0, align 493 store i32 %v30, ptr %v24, align 494 %v31 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v3095 store i32 %a0, ptr %v31, align 496 %v32 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v3097 %v33 = load i32, ptr %v32, align 498 store i32 %v33, ptr @g0, align 499 store i32 %v25, ptr %v32, align 4100 br label %b16101 102b10: ; preds = %b7103 %v34 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v25104 %v35 = load i32, ptr %v34, align 4105 %v36 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v35106 %v37 = load i32, ptr %v36, align 4107 %v38 = icmp slt i32 %v37, %a0108 br i1 %v38, label %b13, label %b11109 110b11: ; preds = %b10111 %v39 = icmp eq i32 %v37, %a0112 br i1 %v39, label %b16, label %b12113 114b12: ; preds = %b11115 %v40 = load i32, ptr @g0, align 4116 store i32 %v40, ptr %v34, align 4117 %v41 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v40118 store i32 %a0, ptr %v41, align 4119 %v42 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v40120 %v43 = load i32, ptr %v42, align 4121 store i32 %v43, ptr @g0, align 4122 store i32 %v35, ptr %v42, align 4123 br label %b16124 125b13: ; preds = %b10126 %v44 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v35127 %v45 = load i32, ptr %v44, align 4128 %v46 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v45129 %v47 = load i32, ptr %v46, align 4130 %v48 = icmp slt i32 %v47, %a0131 br i1 %v48, label %b4, label %b14132 133b14: ; preds = %b13134 %v49 = icmp eq i32 %v47, %a0135 br i1 %v49, label %b16, label %b15136 137b15: ; preds = %b14138 %v50 = load i32, ptr @g0, align 4139 store i32 %v50, ptr %v44, align 4140 %v51 = getelementptr inbounds [13595 x i32], ptr @g1, i32 0, i32 %v50141 store i32 %a0, ptr %v51, align 4142 %v52 = getelementptr inbounds [13595 x i32], ptr @g2, i32 0, i32 %v50143 %v53 = load i32, ptr %v52, align 4144 store i32 %v53, ptr @g0, align 4145 store i32 %v45, ptr %v52, align 4146 br label %b16147 148b16: ; preds = %b15, %b14, %b12, %b11, %b9, %b8, %b6, %b5, %b2, %b1149 %v54 = phi i32 [ 1, %b1 ], [ 1, %b6 ], [ 1, %b9 ], [ 1, %b12 ], [ 1, %b15 ], [ 0, %b2 ], [ 0, %b5 ], [ 0, %b8 ], [ 0, %b11 ], [ 0, %b14 ]150 ret i32 %v54151}152