[llvm] r279625 - Create subranges for new intervals resulting from live interval splitting
Mikael Holmén via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 29 23:58:17 PDT 2016
Hi,
On 08/29/2016 03:26 PM, Krzysztof Parzyszek wrote:
> Hi Mikael,
> This should be fixed in r279969.
Yes it seems to be. Thanks!
/Mikael
>
> -Krzysztof
>
>
> On 8/29/2016 4:41 AM, Mikael Holmén wrote:
>> Hi Krzysztof,
>>
>> We also see crashes with this commit, e.g. with
>>
>> llc ./reproducer.ll
>>
>> And I noticed someone wrote a PR on it as well:
>>
>> https://llvm.org/bugs/show_bug.cgi?id=29132
>>
>> Will you commit the patches to fix it? Or revert?
>>
>> Regards,
>> Mikael
>>
>>
>> On 08/26/2016 10:01 PM, Krzysztof Parzyszek via llvm-commits wrote:
>>> Just posted the other patch.
>>> https://reviews.llvm.org/D23942
>>>
>>> -Krzysztof
>>>
>>>
>>> On 8/25/2016 4:54 PM, Krzysztof Parzyszek via llvm-commits wrote:
>>>> Just an update---I posted a fix for one problem and I'm still
>>>> working on
>>>> a fix for the other one.
>>>>
>>>> -Krzysztof
>>>>
>>>> On 8/25/2016 7:51 AM, Krzysztof Parzyszek via llvm-commits wrote:
>>>>> Hi Michel,
>>>>> Thank you for the testcases. I'm working on a fix.
>>>>>
>>>>> -Krzysztof
>>>>>
>>>>> On 8/25/2016 1:52 AM, Michel Dänzer wrote:
>>>>>>
>>>>>> Hi Krzysztof,
>>>>>>
>>>>>>
>>>>>> On 24/08/16 10:37 PM, Krzysztof Parzyszek via llvm-commits wrote:
>>>>>>> Author: kparzysz
>>>>>>> Date: Wed Aug 24 08:37:55 2016
>>>>>>> New Revision: 279625
>>>>>>>
>>>>>>> URL: http://llvm.org/viewvc/llvm-project?rev=279625&view=rev
>>>>>>> Log:
>>>>>>> Create subranges for new intervals resulting from live interval
>>>>>>> splitting
>>>>>>
>>>>>> This change broke several piglit tests using the Mesa radeonsi
>>>>>> driver.
>>>>>> I'm attaching two examples of failing LLVM IR, below is the
>>>>>> corresponding output from llc:
>>>>>>
>>>>>>
>>>>>> llc: ../lib/CodeGen/RegisterCoalescer.cpp:2021:
>>>>>> {anonymous}::JoinVals::ConflictResolution
>>>>>> {anonymous}::JoinVals::analyzeValue(unsigned int,
>>>>>> {anonymous}::JoinVals&): Assertion `DefMI != nullptr' failed.
>>>>>> #0 0x00007f147fdf9d78 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Unix/Signals.inc:404:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #1 0x00007f147fdf7bbe llvm::sys::RunSignalHandlers()
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Signals.cpp:45:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #2 0x00007f147fdf7d09 SignalHandler(int)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Unix/Signals.inc:258:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #3 0x00007f147f6daed0 __restore_rt
>>>>>> (/lib/x86_64-linux-gnu/libpthread.so.0+0x10ed0)
>>>>>> #4 0x00007f147eaad1c8 gsignal
>>>>>> (/lib/x86_64-linux-gnu/libc.so.6+0x331c8)
>>>>>> #5 0x00007f147eaae64a abort (/lib/x86_64-linux-gnu/libc.so.6+0x3464a)
>>>>>> #6 0x00007f147eaa6107 (/lib/x86_64-linux-gnu/libc.so.6+0x2c107)
>>>>>> #7 0x00007f147eaa61b2 (/lib/x86_64-linux-gnu/libc.so.6+0x2c1b2)
>>>>>> #8 0x00007f14801584bf analyzeValue
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2112:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #9 0x00007f14801584bf (anonymous
>>>>>> namespace)::JoinVals::computeAssignment(unsigned int, (anonymous
>>>>>> namespace)::JoinVals&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2233:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #10 0x00007f14801585b6 begin
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/ADT/SmallVector.h:115:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #11 0x00007f14801585b6 size
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/ADT/SmallVector.h:132:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #12 0x00007f14801585b6 operator[]
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/ADT/SmallVector.h:145:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #13 0x00007f14801585b6 (anonymous
>>>>>> namespace)::JoinVals::mapValues((anonymous namespace)::JoinVals&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2269:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #14 0x00007f148015b8e1 joinSubRegRanges
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2657:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #15 0x00007f148015b8e1 (anonymous
>>>>>> namespace)::RegisterCoalescer::mergeSubRangeInto(llvm::LiveInterval&,
>>>>>> llvm::LiveRange const&, unsigned int, llvm::CoalescerPair&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2728:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #16 0x00007f148015f9d9
>>>>>> llvm::LiveInterval::SingleLinkedListIterator<llvm::LiveInterval::SubRange>::operator++()
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/CodeGen/LiveInterval.h:673:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #17 0x00007f148015f9d9 joinVirtRegs
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2792:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #18 0x00007f148015f9d9 joinIntervals
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2844:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #19 0x00007f148015f9d9 (anonymous
>>>>>> namespace)::RegisterCoalescer::joinCopy(llvm::MachineInstr*, bool&)
>>>>>> [clone .constprop.292]
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:1468:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #20 0x00007f1480161d8f (anonymous
>>>>>> namespace)::RegisterCoalescer::copyCoalesceWorkList(llvm::MutableArrayRef<llvm::MachineInstr*>)
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2916:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #21 0x00007f1480161e0e
>>>>>> llvm::SmallVectorTemplateCommon<llvm::MachineInstr*, void>::begin()
>>>>>> const
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/ADT/SmallVector.h:115:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #22 0x00007f1480161e0e
>>>>>> llvm::SmallVectorTemplateCommon<llvm::MachineInstr*, void>::size()
>>>>>> const
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/ADT/SmallVector.h:132:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #23 0x00007f1480161e0e (anonymous
>>>>>> namespace)::RegisterCoalescer::coalesceLocals()
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:3040:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #24 0x00007f1480163014 joinAllIntervals
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:3070:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #25 0x00007f1480163014 (anonymous
>>>>>> namespace)::RegisterCoalescer::runOnMachineFunction(llvm::MachineFunction&)
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:3115:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #26 0x00007f1480060b24
>>>>>> llvm::MachineFunctionPass::runOnFunction(llvm::Function&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/MachineFunctionPass.cpp:62:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #27 0x00007f147fed1c49
>>>>>> llvm::FPPassManager::runOnFunction(llvm::Function&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1522:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #28 0x00007f147fed1cec
>>>>>> llvm::FPPassManager::runOnModule(llvm::Module&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1543:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #29 0x00007f147fed234c runOnModule
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1599:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #30 0x00007f147fed234c
>>>>>> llvm::legacy::PassManagerImpl::run(llvm::Module&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1702:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #31 0x0000000000416815 compileModule(char**, llvm::LLVMContext&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../tools/llc/llc.cpp:508:0
>>>>>>
>>>>>> #32 0x000000000040a968 main
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../tools/llc/llc.cpp:273:0
>>>>>>
>>>>>> #33 0x00007f147ea9a730 __libc_start_main
>>>>>> (/lib/x86_64-linux-gnu/libc.so.6+0x20730)
>>>>>> #34 0x000000000040a9d9 _start
>>>>>> (/home/daenzer/src/llvm-git/llvm/build-amd64/bin/llc+0x40a9d9)
>>>>>> Stack dump:
>>>>>> 0. Program arguments:
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/bin/llc -march=amdgcn
>>>>>> -mcpu=kaveri
>>>>>> 1. Running pass 'Function Pass Manager' on module '<stdin>'.
>>>>>> 2. Running pass 'Simple Register Coalescing' on function '@main'
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> ** Couldn't join subrange!
>>>>>>
>>>>>> UNREACHABLE executed at ../lib/CodeGen/RegisterCoalescer.cpp:2666!
>>>>>> #0 0x00007f7702839d78 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Unix/Signals.inc:404:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #1 0x00007f7702837bbe llvm::sys::RunSignalHandlers()
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Signals.cpp:45:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #2 0x00007f7702837d09 SignalHandler(int)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/Support/Unix/Signals.inc:258:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #3 0x00007f770211aed0 __restore_rt
>>>>>> (/lib/x86_64-linux-gnu/libpthread.so.0+0x10ed0)
>>>>>> #4 0x00007f77014ed1c8 gsignal
>>>>>> (/lib/x86_64-linux-gnu/libc.so.6+0x331c8)
>>>>>> #5 0x00007f77014ee64a abort (/lib/x86_64-linux-gnu/libc.so.6+0x3464a)
>>>>>> #6 0x00007f77027d7bc6
>>>>>> (/home/daenzer/src/llvm-git/llvm/build-amd64/bin/../lib/libLLVM-4.0svn.so+0x4adbc6)
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #7 0x00007f7702b9bcde joinSubRegRanges
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2666:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #8 0x00007f7702b9bcde (anonymous
>>>>>> namespace)::RegisterCoalescer::mergeSubRangeInto(llvm::LiveInterval&,
>>>>>> llvm::LiveRange const&, unsigned int, llvm::CoalescerPair&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2728:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #9 0x00007f7702b9f9d9
>>>>>> llvm::LiveInterval::SingleLinkedListIterator<llvm::LiveInterval::SubRange>::operator++()
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../include/llvm/CodeGen/LiveInterval.h:673:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #10 0x00007f7702b9f9d9 joinVirtRegs
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2792:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #11 0x00007f7702b9f9d9 joinIntervals
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2844:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #12 0x00007f7702b9f9d9 (anonymous
>>>>>> namespace)::RegisterCoalescer::joinCopy(llvm::MachineInstr*, bool&)
>>>>>> [clone .constprop.292]
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:1468:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #13 0x00007f7702ba1d8f (anonymous
>>>>>> namespace)::RegisterCoalescer::copyCoalesceWorkList(llvm::MutableArrayRef<llvm::MachineInstr*>)
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:2916:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #14 0x00007f7702ba3031 joinAllIntervals
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:3074:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #15 0x00007f7702ba3031 (anonymous
>>>>>> namespace)::RegisterCoalescer::runOnMachineFunction(llvm::MachineFunction&)
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/RegisterCoalescer.cpp:3115:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #16 0x00007f7702aa0b24
>>>>>> llvm::MachineFunctionPass::runOnFunction(llvm::Function&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/CodeGen/MachineFunctionPass.cpp:62:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #17 0x00007f7702911c49
>>>>>> llvm::FPPassManager::runOnFunction(llvm::Function&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1522:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #18 0x00007f7702911cec
>>>>>> llvm::FPPassManager::runOnModule(llvm::Module&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1543:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #19 0x00007f770291234c runOnModule
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1599:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #20 0x00007f770291234c
>>>>>> llvm::legacy::PassManagerImpl::run(llvm::Module&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../lib/IR/LegacyPassManager.cpp:1702:0
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> #21 0x0000000000416815 compileModule(char**, llvm::LLVMContext&)
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../tools/llc/llc.cpp:508:0
>>>>>>
>>>>>> #22 0x000000000040a968 main
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/../tools/llc/llc.cpp:273:0
>>>>>>
>>>>>> #23 0x00007f77014da730 __libc_start_main
>>>>>> (/lib/x86_64-linux-gnu/libc.so.6+0x20730)
>>>>>> #24 0x000000000040a9d9 _start
>>>>>> (/home/daenzer/src/llvm-git/llvm/build-amd64/bin/llc+0x40a9d9)
>>>>>> Stack dump:
>>>>>> 0. Program arguments:
>>>>>> /home/daenzer/src/llvm-git/llvm/build-amd64/bin/llc -march=amdgcn
>>>>>> -mcpu=kaveri
>>>>>> 1. Running pass 'Function Pass Manager' on module '<stdin>'.
>>>>>> 2. Running pass 'Simple Register Coalescing' on function '@main'
>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>
More information about the llvm-commits
mailing list