[PATCH] R600/SI: Make private pointers be 32-bit.

Matt Arsenault Matthew.Arsenault at amd.com
Wed Dec 18 19:46:25 PST 2013


On 12/18/2013 12:44 PM, Tom Stellard wrote:
> On Tue, Dec 17, 2013 at 10:11:48AM -0800, Matt Arsenault wrote:
>>    Fix check for 64-bit. I don't think there's any particular reason to check for SI here.
>>
>> http://llvm-reviews.chandlerc.com/D2418
>>
>> CHANGE SINCE LAST DIFF
>>    http://llvm-reviews.chandlerc.com/D2418?vs=6128&id=6147#toc
>>
> I've found a few issues while testing this.
>
>> Files:
>>    lib/Target/R600/AMDGPUTargetMachine.cpp
>>    lib/Target/R600/SIISelLowering.cpp
>>    lib/Target/R600/SIInstrInfo.td
>>    lib/Target/R600/SIInstructions.td
>>    test/CodeGen/R600/array-ptr-calc-i32.ll
>>
>> Index: lib/Target/R600/AMDGPUTargetMachine.cpp
>> ===================================================================
>> --- lib/Target/R600/AMDGPUTargetMachine.cpp
>> +++ lib/Target/R600/AMDGPUTargetMachine.cpp
>> @@ -50,13 +50,12 @@
>>                       createR600MachineScheduler);
>>   
>>   static std::string computeDataLayout(const AMDGPUSubtarget &ST) {
>> -  std::string Ret = "e";
>> +  std::string Ret = "e-p32:32";
>>   
> I had to replace p32:32 with p0:32:32 or else I would get an assertion
> failure in the DataLayout parser.  This is probably due to some of the
> recent DataLayout changes.
>
>> -  if (!ST.is64bit())
>> -    Ret += "-p:32:32";
>> -
>> -  if (ST.getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS)
>> -    Ret += "-p3:32:32";
>> +  if (ST.is64bit()) {
>> +    // 32-bit private, local, and region pointers. 64-bit global and constant.
>> +    Ret += "-p1:64:64:64-p2:64:64:64-p3:32:32-p4:32:32:32-p5:64:64:64";
>> +  }
>>   
>>     Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
>>            "-v512:512-v1024:1024-v2048:2048-n32:64";
>> Index: lib/Target/R600/SIISelLowering.cpp
>> ===================================================================
>> --- lib/Target/R600/SIISelLowering.cpp
>> +++ lib/Target/R600/SIISelLowering.cpp
>> @@ -137,7 +137,7 @@
>>     setTruncStoreAction(MVT::v16i32, MVT::v16i16, Expand);
>>   
>>     setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
>> -  setOperationAction(ISD::FrameIndex, MVT::i64, Custom);
>> +  setOperationAction(ISD::FrameIndex, MVT::i32, Custom);
>>   
>>     setTargetDAGCombine(ISD::SELECT_CC);
>>   
>> @@ -704,9 +704,7 @@
>>     if (Load->getAddressSpace() != AMDGPUAS::PRIVATE_ADDRESS)
>>       return SDValue();
>>   
>> -  SDValue TruncPtr = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, MVT::i32,
>> -                                 Load->getBasePtr(), DAG.getConstant(0, MVT::i32));
>> -  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, TruncPtr,
>> +  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, Load->getBasePtr(),
>>                               DAG.getConstant(2, MVT::i32));
>>   
>>     SDValue Ret = DAG.getNode(AMDGPUISD::REGISTER_LOAD, DL, Op.getValueType(),
>> @@ -793,8 +791,7 @@
>>     if (Store->getAddressSpace() != AMDGPUAS::PRIVATE_ADDRESS)
>>       return SDValue();
>>   
>> -  SDValue TruncPtr = DAG.getZExtOrTrunc(Store->getBasePtr(), DL, MVT::i32);
>> -  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, TruncPtr,
>> +  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, Store->getBasePtr(),
>>                               DAG.getConstant(2, MVT::i32));
>>     SDValue Chain = Store->getChain();
>>     SmallVector<SDValue, 8> Values;
>> Index: lib/Target/R600/SIInstrInfo.td
>> ===================================================================
>> --- lib/Target/R600/SIInstrInfo.td
>> +++ lib/Target/R600/SIInstrInfo.td
>> @@ -121,7 +121,7 @@
>>     return false;
>>   }]>;
>>   
>> -def FRAMEri64 : Operand<iPTR> {
>> +def FRAMEri32 : Operand<iPTR> {
>>     let MIOperandInfo = (ops SReg_32:$ptr, i32imm:$index);
>>   }
>>   
>> Index: lib/Target/R600/SIInstructions.td
>> ===================================================================
>> --- lib/Target/R600/SIInstructions.td
>> +++ lib/Target/R600/SIInstructions.td
>> @@ -1328,13 +1328,13 @@
>>   
>>   let Uses = [EXEC], Defs = [EXEC,VCC,M0] in {
>>   
>> -//defm SI_ : RegisterLoadStore <VReg_32, FRAMEri64, ADDRIndirect>;
>> +//defm SI_ : RegisterLoadStore <VReg_32, FRAMEri, ADDRIndirect>;
>>   
>>   let UseNamedOperandTable = 1 in {
>>   
>>   def SI_RegisterLoad : AMDGPUShaderInst <
>> -  (outs VReg_32:$dst, SReg_64:$temp),
>> -  (ins FRAMEri64:$addr, i32imm:$chan),
>> +  (outs VReg_32:$dst, SReg_32:$temp),
> $temp is used for the EXEC mask, so it needs to be a 64-bit register.
Perhaps it should be renamed to $exec?

>
>> +  (ins FRAMEri32:$addr, i32imm:$chan),
>>     "", []
>>   > {
>>     let isRegisterLoad = 1;
>> @@ -1343,7 +1343,7 @@
>>   
>>   class SIRegStore<dag outs> : AMDGPUShaderInst <
>>     outs,
>> -  (ins VReg_32:$val, FRAMEri64:$addr, i32imm:$chan),
>> +  (ins VReg_32:$val, FRAMEri32:$addr, i32imm:$chan),
>>     "", []
>>   > {
>>     let isRegisterStore = 1;
>> @@ -1353,20 +1353,20 @@
>>   let usesCustomInserter = 1 in {
>>   def SI_RegisterStorePseudo : SIRegStore<(outs)>;
>>   } // End usesCustomInserter = 1
>> -def SI_RegisterStore : SIRegStore<(outs SReg_64:$temp)>;
>> +def SI_RegisterStore : SIRegStore<(outs SReg_32:$temp)>;
>>   
> Same here $temp needs to be 64-bit.
>
>>   
>>   } // End UseNamedOperandTable = 1
>>   
>>   def SI_INDIRECT_SRC : InstSI <
>> -  (outs VReg_32:$dst, SReg_64:$temp),
>> +  (outs VReg_32:$dst, SReg_32:$temp),
>>     (ins unknown:$src, VSrc_32:$idx, i32imm:$off),
>>     "SI_INDIRECT_SRC $dst, $temp, $src, $idx, $off",
>>     []
>>   >;
>>
> Here too.
>
>>   class SI_INDIRECT_DST<RegisterClass rc> : InstSI <
>> -  (outs rc:$dst, SReg_64:$temp),
>> +  (outs rc:$dst, SReg_32:$temp),
>>     (ins unknown:$src, VSrc_32:$idx, i32imm:$off, VReg_32:$val),
>>     "SI_INDIRECT_DST $dst, $temp, $src, $idx, $off, $val",
>>     []
> And here.
>
>> Index: test/CodeGen/R600/array-ptr-calc-i32.ll
>> ===================================================================
>> --- /dev/null
>> +++ test/CodeGen/R600/array-ptr-calc-i32.ll
>> @@ -0,0 +1,31 @@
>> +; RUN: llc -march=r600 -mcpu=SI < %s | FileCheck -check-prefix=SI %s
>> +
>> +declare i32 @llvm.SI.tid() nounwind readnone
>> +declare void @llvm.AMDGPU.barrier.local() nounwind noduplicate
>> +
>> +; The required pointer calculations for the alloca'd actually requires
>> +; an add and won't be folded into the addressing, which fails with a
>> +; 64-bit pointer add. This should work since private pointers should
>> +; be 32-bits.
>> +
>> +; SI-LABEL: @test_private_array_ptr_calc:
>> +; SI: V_ADD_I32_e32 [[PTRREG:v[0-9]+]]
>> +; SI: V_MOVRELD_B32_e32 {{v[0-9]+}}, [[PTRREG]]
>> +define void @test_private_array_ptr_calc(i32 addrspace(1)* noalias %out, i32 addrspace(1)* noalias %inA, i32 addrspace(1)* noalias %inB) {
>> +  %alloca = alloca [4 x i32], i32 4, align 16
>> +  %tid = call i32 @llvm.SI.tid() readnone
>> +  %a_ptr = getelementptr i32 addrspace(1)* %inA, i32 %tid
>> +  %b_ptr = getelementptr i32 addrspace(1)* %inB, i32 %tid
>> +  %a = load i32 addrspace(1)* %a_ptr
>> +  %b = load i32 addrspace(1)* %b_ptr
>> +  %result = add i32 %a, %b
>> +  %alloca_ptr = getelementptr [4 x i32]* %alloca, i32 1, i32 %b
>> +  store i32 %result, i32* %alloca_ptr, align 4
>> +  ; Dummy call
>> +  call void @llvm.AMDGPU.barrier.local() nounwind noduplicate
>> +  %reload = load i32* %alloca_ptr, align 4
>> +  %out_ptr = getelementptr i32 addrspace(1)* %out, i32 %tid
>> +  store i32 %reload, i32 addrspace(1)* %out_ptr, align 4
>> +  ret void
>> +}
>> +
>> Index: lib/Target/R600/AMDGPUTargetMachine.cpp
>> ===================================================================
>> --- lib/Target/R600/AMDGPUTargetMachine.cpp
>> +++ lib/Target/R600/AMDGPUTargetMachine.cpp
>> @@ -50,13 +50,12 @@
>>                       createR600MachineScheduler);
>>   
>>   static std::string computeDataLayout(const AMDGPUSubtarget &ST) {
>> -  std::string Ret = "e";
>> +  std::string Ret = "e-p32:32";
>>   
>> -  if (!ST.is64bit())
>> -    Ret += "-p:32:32";
>> -
>> -  if (ST.getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS)
>> -    Ret += "-p3:32:32";
>> +  if (ST.is64bit()) {
>> +    // 32-bit private, local, and region pointers. 64-bit global and constant.
>> +    Ret += "-p1:64:64:64-p2:64:64:64-p3:32:32-p4:32:32:32-p5:64:64:64";
>> +  }
>>   
>>     Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
>>            "-v512:512-v1024:1024-v2048:2048-n32:64";
>> Index: lib/Target/R600/SIISelLowering.cpp
>> ===================================================================
>> --- lib/Target/R600/SIISelLowering.cpp
>> +++ lib/Target/R600/SIISelLowering.cpp
>> @@ -137,7 +137,7 @@
>>     setTruncStoreAction(MVT::v16i32, MVT::v16i16, Expand);
>>   
>>     setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
>> -  setOperationAction(ISD::FrameIndex, MVT::i64, Custom);
>> +  setOperationAction(ISD::FrameIndex, MVT::i32, Custom);
>>   
>>     setTargetDAGCombine(ISD::SELECT_CC);
>>   
>> @@ -704,9 +704,7 @@
>>     if (Load->getAddressSpace() != AMDGPUAS::PRIVATE_ADDRESS)
>>       return SDValue();
>>   
>> -  SDValue TruncPtr = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, MVT::i32,
>> -                                 Load->getBasePtr(), DAG.getConstant(0, MVT::i32));
>> -  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, TruncPtr,
>> +  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, Load->getBasePtr(),
>>                               DAG.getConstant(2, MVT::i32));
>>   
>>     SDValue Ret = DAG.getNode(AMDGPUISD::REGISTER_LOAD, DL, Op.getValueType(),
>> @@ -793,8 +791,7 @@
>>     if (Store->getAddressSpace() != AMDGPUAS::PRIVATE_ADDRESS)
>>       return SDValue();
>>   
>> -  SDValue TruncPtr = DAG.getZExtOrTrunc(Store->getBasePtr(), DL, MVT::i32);
>> -  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, TruncPtr,
>> +  SDValue Ptr = DAG.getNode(ISD::SRL, DL, MVT::i32, Store->getBasePtr(),
>>                               DAG.getConstant(2, MVT::i32));
>>     SDValue Chain = Store->getChain();
>>     SmallVector<SDValue, 8> Values;
>> Index: lib/Target/R600/SIInstrInfo.td
>> ===================================================================
>> --- lib/Target/R600/SIInstrInfo.td
>> +++ lib/Target/R600/SIInstrInfo.td
>> @@ -121,7 +121,7 @@
>>     return false;
>>   }]>;
>>   
>> -def FRAMEri64 : Operand<iPTR> {
>> +def FRAMEri32 : Operand<iPTR> {
>>     let MIOperandInfo = (ops SReg_32:$ptr, i32imm:$index);
>>   }
>>   
>> Index: lib/Target/R600/SIInstructions.td
>> ===================================================================
>> --- lib/Target/R600/SIInstructions.td
>> +++ lib/Target/R600/SIInstructions.td
>> @@ -1328,13 +1328,13 @@
>>   
>>   let Uses = [EXEC], Defs = [EXEC,VCC,M0] in {
>>   
>> -//defm SI_ : RegisterLoadStore <VReg_32, FRAMEri64, ADDRIndirect>;
>> +//defm SI_ : RegisterLoadStore <VReg_32, FRAMEri, ADDRIndirect>;
>>   
>>   let UseNamedOperandTable = 1 in {
>>   
>>   def SI_RegisterLoad : AMDGPUShaderInst <
>> -  (outs VReg_32:$dst, SReg_64:$temp),
>> -  (ins FRAMEri64:$addr, i32imm:$chan),
>> +  (outs VReg_32:$dst, SReg_32:$temp),
>> +  (ins FRAMEri32:$addr, i32imm:$chan),
>>     "", []
>>   > {
>>     let isRegisterLoad = 1;
>> @@ -1343,7 +1343,7 @@
>>   
>>   class SIRegStore<dag outs> : AMDGPUShaderInst <
>>     outs,
>> -  (ins VReg_32:$val, FRAMEri64:$addr, i32imm:$chan),
>> +  (ins VReg_32:$val, FRAMEri32:$addr, i32imm:$chan),
>>     "", []
>>   > {
>>     let isRegisterStore = 1;
>> @@ -1353,20 +1353,20 @@
>>   let usesCustomInserter = 1 in {
>>   def SI_RegisterStorePseudo : SIRegStore<(outs)>;
>>   } // End usesCustomInserter = 1
>> -def SI_RegisterStore : SIRegStore<(outs SReg_64:$temp)>;
>> +def SI_RegisterStore : SIRegStore<(outs SReg_32:$temp)>;
>>   
>>   
>>   } // End UseNamedOperandTable = 1
>>   
>>   def SI_INDIRECT_SRC : InstSI <
>> -  (outs VReg_32:$dst, SReg_64:$temp),
>> +  (outs VReg_32:$dst, SReg_32:$temp),
>>     (ins unknown:$src, VSrc_32:$idx, i32imm:$off),
>>     "SI_INDIRECT_SRC $dst, $temp, $src, $idx, $off",
>>     []
>>   >;
>>   
>>   class SI_INDIRECT_DST<RegisterClass rc> : InstSI <
>> -  (outs rc:$dst, SReg_64:$temp),
>> +  (outs rc:$dst, SReg_32:$temp),
>>     (ins unknown:$src, VSrc_32:$idx, i32imm:$off, VReg_32:$val),
>>     "SI_INDIRECT_DST $dst, $temp, $src, $idx, $off, $val",
>>     []
>> Index: test/CodeGen/R600/array-ptr-calc-i32.ll
>> ===================================================================
>> --- /dev/null
>> +++ test/CodeGen/R600/array-ptr-calc-i32.ll
>> @@ -0,0 +1,31 @@
>> +; RUN: llc -march=r600 -mcpu=SI < %s | FileCheck -check-prefix=SI %s
>> +
>> +declare i32 @llvm.SI.tid() nounwind readnone
>> +declare void @llvm.AMDGPU.barrier.local() nounwind noduplicate
>> +
>> +; The required pointer calculations for the alloca'd actually requires
>> +; an add and won't be folded into the addressing, which fails with a
>> +; 64-bit pointer add. This should work since private pointers should
>> +; be 32-bits.
>> +
>> +; SI-LABEL: @test_private_array_ptr_calc:
>> +; SI: V_ADD_I32_e32 [[PTRREG:v[0-9]+]]
>> +; SI: V_MOVRELD_B32_e32 {{v[0-9]+}}, [[PTRREG]]
>> +define void @test_private_array_ptr_calc(i32 addrspace(1)* noalias %out, i32 addrspace(1)* noalias %inA, i32 addrspace(1)* noalias %inB) {
>> +  %alloca = alloca [4 x i32], i32 4, align 16
>> +  %tid = call i32 @llvm.SI.tid() readnone
>> +  %a_ptr = getelementptr i32 addrspace(1)* %inA, i32 %tid
>> +  %b_ptr = getelementptr i32 addrspace(1)* %inB, i32 %tid
>> +  %a = load i32 addrspace(1)* %a_ptr
>> +  %b = load i32 addrspace(1)* %b_ptr
>> +  %result = add i32 %a, %b
>> +  %alloca_ptr = getelementptr [4 x i32]* %alloca, i32 1, i32 %b
>> +  store i32 %result, i32* %alloca_ptr, align 4
>> +  ; Dummy call
>> +  call void @llvm.AMDGPU.barrier.local() nounwind noduplicate
>> +  %reload = load i32* %alloca_ptr, align 4
>> +  %out_ptr = getelementptr i32 addrspace(1)* %out, i32 %tid
>> +  store i32 %reload, i32 addrspace(1)* %out_ptr, align 4
>> +  ret void
>> +}
>> +
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>





More information about the llvm-commits mailing list