GlobalISel: legalize GEP instructions with small offsets.
llvm-svn: 281602
diff --git a/llvm/lib/CodeGen/GlobalISel/MachineLegalizeHelper.cpp b/llvm/lib/CodeGen/GlobalISel/MachineLegalizeHelper.cpp
index 7c32cd5..6d18139 100644
--- a/llvm/lib/CodeGen/GlobalISel/MachineLegalizeHelper.cpp
+++ b/llvm/lib/CodeGen/GlobalISel/MachineLegalizeHelper.cpp
@@ -281,6 +281,13 @@
MI.eraseFromParent();
return Legalized;
}
+ case TargetOpcode::G_GEP: {
+ assert(TypeIdx == 1 && "unable to legalize pointer of GEP");
+ unsigned OffsetExt = MRI.createGenericVirtualRegister(WideTy);
+ MIRBuilder.buildSExt(OffsetExt, MI.getOperand(2).getReg());
+ MI.getOperand(2).setReg(OffsetExt);
+ return Legalized;
+ }
}
}
diff --git a/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp b/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
index a5a7ed6..653c7d5 100644
--- a/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
+++ b/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
@@ -43,6 +43,12 @@
setAction({BinOp, Ty}, Legal);
}
+ setAction({G_GEP, p0}, Legal);
+ setAction({G_GEP, 1, s64}, Legal);
+
+ for (auto Ty : {s1, s8, s16, s32})
+ setAction({G_GEP, 1, Ty}, WidenScalar);
+
for (auto BinOp : {G_LSHR, G_ASHR, G_SDIV, G_UDIV}) {
for (auto Ty : {s32, s64})
setAction({BinOp, Ty}, Legal);
diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/legalize-gep.mir b/llvm/test/CodeGen/AArch64/GlobalISel/legalize-gep.mir
new file mode 100644
index 0000000..4ae441e
--- /dev/null
+++ b/llvm/test/CodeGen/AArch64/GlobalISel/legalize-gep.mir
@@ -0,0 +1,31 @@
+# RUN: llc -O0 -run-pass=legalize-mir -global-isel %s -o - 2>&1 | FileCheck %s
+
+--- |
+ target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
+ target triple = "aarch64-apple-ios"
+ define void @test_gep_small() {
+ entry:
+ ret void
+ }
+...
+
+---
+name: test_gep_small
+registers:
+ - { id: 0, class: _ }
+ - { id: 1, class: _ }
+ - { id: 2, class: _ }
+ - { id: 3, class: _ }
+body: |
+ bb.0.entry:
+ liveins: %x0, %x1, %x2, %x3
+ ; CHECK-LABEL: name: test_gep_small
+ ; CHECK: [[OFFSET_EXT:%[0-9]+]](s64) = G_SEXT %2(s8)
+ ; CHECK: %3(p0) = G_GEP %0, [[OFFSET_EXT]](s64)
+
+ %0(p0) = COPY %x0
+ %1(s64) = COPY %x1
+ %2(s8) = G_TRUNC %1
+ %3(p0) = G_GEP %0, %2(s8)
+ %x0 = COPY %3
+...
