RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 12:41:49 +01:00
Code Issues Projects Releases Wiki Activity

[VE] Support TargetBlockAddress

Browse Source 
Change to handle TargetBlockAddress and add a regression test for it.

Reviewed By: simoll

Differential Revision: https://reviews.llvm.org/D88576
This commit is contained in:
Kazushi (Jam) Marukawa 2020-09-21 17:15:26 +09:00
parent 5ebd974f16
commit 0cce4d5573
3 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Target/VE/VEInstrInfo.td
View File

@ -1661,6 +1661,14 @@ def : Pat<(add (VEhi tglobaladdr:$in1), (VElo tglobaladdr:$in2)),
(LEASLrii (ANDrm (LEAzii 0, 0, tglobaladdr:$in2), !add(32, 64)), 0,
(tglobaladdr:$in1))>;
// Address calculation and its optimization
def : Pat<(VEhi tblockaddress:$in), (LEASLzii 0, 0, tblockaddress:$in)>;
def : Pat<(VElo tblockaddress:$in),
(ANDrm (LEAzii 0, 0, tblockaddress:$in), !add(32, 64))>;
def : Pat<(add (VEhi tblockaddress:$in1), (VElo tblockaddress:$in2)),
(LEASLrii (ANDrm (LEAzii 0, 0, tblockaddress:$in2), !add(32, 64)), 0,
(tblockaddress:$in1))>;
// GlobalTLS address calculation and its optimization
def : Pat<(VEhi tglobaltlsaddr:$in), (LEASLzii 0, 0, tglobaltlsaddr:$in)>;
def : Pat<(VElo tglobaltlsaddr:$in),

3
lib/Target/VE/VEMCInstLower.cpp
View File

@ -51,6 +51,9 @@ static MCOperand LowerOperand(const MachineInstr *MI, const MachineOperand &MO,
break;
return MCOperand::createReg(MO.getReg());
case MachineOperand::MO_BlockAddress:
return LowerSymbolOperand(
MI, MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()), AP);
case MachineOperand::MO_ConstantPoolIndex:
return LowerSymbolOperand(MI, MO, AP.GetCPISymbol(MO.getIndex()), AP);
case MachineOperand::MO_ExternalSymbol:

25
test/CodeGen/VE/blockaddress.ll Normal file
View File

@ -0,0 +1,25 @@
; RUN: llc < %s -mtriple=ve | FileCheck %s
@addr = global i8* null, align 8
; Function Attrs: nofree norecurse nounwind writeonly
define void @test() {
; CHECK-LABEL: test:
; CHECK: .LBB0_3: # %entry
; CHECK-NEXT: .Ltmp0: # Block address taken
; CHECK-NEXT: # %bb.1: # %test1
; CHECK-NEXT: lea %s0, addr@lo
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: lea.sl %s0, addr@hi(, %s0)
; CHECK-NEXT: lea %s1, .Ltmp0@lo
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: lea.sl %s1, .Ltmp0@hi(, %s1)
; CHECK-NEXT: st %s1, (, %s0)
; CHECK-NEXT: or %s11, 0, %s9
entry:
br label %test1
test1:
store i8* blockaddress(@test, %test1), i8** @addr, align 8
ret void
}