RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 12:12:47 +01:00
Code Issues Projects Releases Wiki Activity

[M68k][GloballSel] LegalizerInfo implementation

Browse Source 
Added rules for G_ADD, G_SUB, G_MUL, G_UDIV to be legal.

Differential Revision: https://reviews.llvm.org/D105536
This commit is contained in:
Sushma Unnibhavi 2021-07-15 13:00:14 -06:00 committed by Anshil Gandhi
parent a74c4e37ae
commit f7010a4bb7
2 changed files with 66 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/Target/M68k/GlSel/M68kLegalizerInfo.cpp
View File

@ -20,5 +20,14 @@
using namespace llvm;
M68kLegalizerInfo::M68kLegalizerInfo(const M68kSubtarget &ST) {
using namespace TargetOpcode;
const LLT S32 = LLT::scalar(32);
const LLT P0 = LLT::pointer(0, 32);
getActionDefinitionsBuilder(G_LOAD).legalFor({S32});
getActionDefinitionsBuilder(G_FRAME_INDEX).legalFor({P0});
getActionDefinitionsBuilder(G_ADD).legalFor({S32});
getActionDefinitionsBuilder(G_SUB).legalFor({S32});
getActionDefinitionsBuilder(G_MUL).legalFor({S32});
getActionDefinitionsBuilder(G_UDIV).legalFor({S32});
getLegacyLegalizerInfo().computeTables();
}

57
test/CodeGen/M68k/GlobalISel/arithmetic.ll Normal file
View File

@ -0,0 +1,57 @@
; RUN: llc -mtriple=m68k -global-isel -stop-after=legalizer < %s | FileCheck %s
define i32 @test_add(i32 %x, i32 %y) {
; CHECK-LABEL: name: test_add
; CHECK: bb.1 (%ir-block.0):
; CHECK: [[G_F_I1:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I1]](p0)
; CHECK: [[G_F_I2:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I2]](p0)
; CHECK: [[G_ADD1:%[0-9]+]]:_(s32) = G_ADD [[G_LOAD1]], [[G_LOAD2]]
; CHECK: $d0 = COPY [[G_ADD1]](s32)
; CHECK: RTS implicit $d0
%sum = add i32 %x, %y
ret i32 %sum
}
define i32 @test_sub(i32 %x, i32 %y) {
; CHECK-LABEL: name: test_sub
; CHECK: bb.1 (%ir-block.0):
; CHECK: [[G_F_I1:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I1]](p0)
; CHECK: [[G_F_I2:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I2]](p0)
; CHECK: [[G_SUB1:%[0-9]+]]:_(s32) = G_SUB [[G_LOAD1]], [[G_LOAD2]]
; CHECK: $d0 = COPY [[G_SUB1]](s32)
; CHECK: RTS implicit $d0
%diff = sub i32 %x, %y
ret i32 %diff
}
define i32 @test_mul(i32 %x, i32 %y) {
; CHECK-LABEL: name: test_mul
; CHECK: bb.1 (%ir-block.0):
; CHECK: [[G_F_I1:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I1]](p0)
; CHECK: [[G_F_I2:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I2]](p0)
; CHECK: [[G_MUL1:%[0-9]+]]:_(s32) = G_MUL [[G_LOAD1]], [[G_LOAD2]]
; CHECK: $d0 = COPY [[G_MUL1]](s32)
; CHECK: RTS implicit $d0
%prod = mul i32 %x, %y
ret i32 %prod
}
define i32 @test_udiv(i32 %x, i32 %y) {
; CHECK-LABEL: name: test_udiv
; CHECK: bb.1 (%ir-block.0):
; CHECK: [[G_F_I1:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I1]](p0)
; CHECK: [[G_F_I2:%[0-9]+]]:_(p0) = G_FRAME_INDEX
; CHECK: [[G_LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[G_F_I2]](p0)
; CHECK: [[G_DIV1:%[0-9]+]]:_(s32) = G_UDIV [[G_LOAD1]], [[G_LOAD2]]
; CHECK: $d0 = COPY [[G_DIV1]](s32)
; CHECK: RTS implicit $d0
%div = udiv i32 %x, %y
ret i32 %div
}