[llvm-commits] [llvm] r48491 - in /llvm/trunk: lib/CodeGen/SelectionDAG/DAGCombiner.cpp test/CodeGen/X86/field-extract-use-trunc.ll
Christopher Lamb
christopher.lamb at gmail.com
Tue Mar 18 20:10:30 PDT 2008
On Mar 18, 2008, at 10:18 AM, Evan Cheng wrote:
> Thanks. Comments below:
>
> On Mar 18, 2008, at 9:46 AM, Christopher Lamb wrote:
>
>>
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =====================================================================
>> =
>> --- llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp (original)
>> +++ llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp Tue Mar 18
>> 11:46:39 2008
>> @@ -2374,6 +2374,32 @@
>> DAG.getValueType(EVT));
>> }
>>
>> + // fold sra (shl X, m), result_size - n
>> + // -> (sign_extend (trunc (shl X, result_size - n - m))) for
>> + // result_size - n != m. If truncate is free for the target
>> sext(shl) is
>> + // likely to result in better code.
>> + if (N0.getOpcode() == ISD::SHL) {
>> + // Get the two constanst of the shifts, CN0 = m, CN = n.
>> + const ConstantSDNode *N01C =
>> dyn_cast<ConstantSDNode>(N0.getOperand(1));
>> + if (N01C && N1C) {
>> + // Determine if the truncate type's bitsize would
>> correspond to
>> + // an integer type for this target.
>> + unsigned VTValSize = MVT::getSizeInBits(VT);
>> + MVT::ValueType TruncVT = MVT::getIntegerType(VTValSize - N1C-
>>> getValue());
>
> Can this trigger an assertion in getIntegerType? How can you ensure
> VTValSize - N1C->getValue() matches a legal integer type?
MVT will return an iAny type (an extendedVT) if it doesn't match. It
shouldn't assert, I think.
>
>
> Evan
>>
>> + unsigned ShiftAmt = N1C->getValue() - N01C->getValue();
>> +
>> + // If the shift wouldn't be a noop, the truncated type is an
>> actual type,
>> + // and the truncate is free, then proceed with the transform.
>> + if (ShiftAmt != 0 &&
>> + !MVT::isExtendedVT(TruncVT) && TLI.isTruncateFree(VT,
>> TruncVT)) {
>> + SDOperand Amt = DAG.getConstant(ShiftAmt,
>> TLI.getShiftAmountTy());
>> + SDOperand Shift = DAG.getNode(ISD::SRL, VT,
>> N0.getOperand(0), Amt);
>> + SDOperand Trunc = DAG.getNode(ISD::TRUNCATE, TruncVT,
>> Shift);
>> + return DAG.getNode(ISD::SIGN_EXTEND, N->getValueType(0),
>> Trunc);
>> + }
>> + }
>> + }
>> +
>> // fold (sra (sra x, c1), c2) -> (sra x, c1+c2)
>> if (N1C && N0.getOpcode() == ISD::SRA) {
>> if (ConstantSDNode *C1 =
>> dyn_cast<ConstantSDNode>(N0.getOperand(1))) {
>>
>> Added: llvm/trunk/test/CodeGen/X86/field-extract-use-trunc.ll
>> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/
>> X86/field-extract-use-trunc.ll?rev=48491&view=auto
>>
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =====================================================================
>> =
>> --- llvm/trunk/test/CodeGen/X86/field-extract-use-trunc.ll (added)
>> +++ llvm/trunk/test/CodeGen/X86/field-extract-use-trunc.ll Tue Mar
>> 18 11:46:39 2008
>> @@ -0,0 +1,39 @@
>> +; RUN: llvm-as < %s | llc -march=x86 | grep sar | count 1
>> +; RUN: llvm-as < %s | llc -march=x86-64 | not grep sar
>> +
>> +define i32 @test(i32 %f12) {
>> + %tmp7.25 = lshr i32 %f12, 16
>> + %tmp7.26 = trunc i32 %tmp7.25 to i8
>> + %tmp78.2 = sext i8 %tmp7.26 to i32
>> + ret i32 %tmp78.2
>> +}
>> +
>> +define i32 @test2(i32 %f12) {
>> + %f11 = shl i32 %f12, 8
>> + %tmp7.25 = ashr i32 %f11, 24
>> + ret i32 %tmp7.25
>> +}
>> +
>> +define i32 @test3(i32 %f12) {
>> + %f11 = shl i32 %f12, 13
>> + %tmp7.25 = ashr i32 %f11, 24
>> + ret i32 %tmp7.25
>> +}
>> +
>> +define i64 @test4(i64 %f12) {
>> + %f11 = shl i64 %f12, 32
>> + %tmp7.25 = ashr i64 %f11, 32
>> + ret i64 %tmp7.25
>> +}
>> +
>> +define i16 @test5(i16 %f12) {
>> + %f11 = shl i16 %f12, 2
>> + %tmp7.25 = ashr i16 %f11, 8
>> + ret i16 %tmp7.25
>> +}
>> +
>> +define i16 @test6(i16 %f12) {
>> + %f11 = shl i16 %f12, 8
>> + %tmp7.25 = ashr i16 %f11, 8
>> + ret i16 %tmp7.25
>> +}
>> \ No newline at end of file
>>
>>
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
--
Christopher Lamb
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20080318/c42f3be9/attachment.html>
More information about the llvm-commits
mailing list