[llvm] r191393 - Teach DAGCombiner how to canonicalize dags according to the rule

[Andrea_DiBiagio at sn.scee.net]

llvm-commits-bounces at cs.uiuc.edu wrote on 26/09/2013 17:47:11:

> From: Andrea_DiBiagio at sn.scee.net
> > From: Rafael Espíndola <rafael.espindola at gmail.com>
> > 
> > This causes llc to crash on
> > 
> > -----------------------------
> > define void @g(i32 %a) {
> >   %b = lshr i32 %a, 2
> >   %c = zext i32 %b to i64
> >   %d = add i64 %c, 1
> >   %e = shl i64 %c, 2
> >   tail call void @f(i64 %e)
> >   ret void
> > }
> > 
> > declare void @f(i64)
> > -----------------------------
> > 
> > which is pr17380.
> > 
> > Could you please take a look?
> 
> Sure, I'll have a look.
> I am going to revert the change.

I re-applied the change from r191393 with a fix for pr17380 at r191509.
I added the test case from pr17380 and fixed the algorithm.
I am going to update the bugzilla.

Thanks,
Andrea

**********************************************************************
This email and any files transmitted with it are confidential and intended 
solely for the use of the individual or entity to whom they are addressed. 
If you have received this email in error please notify postmaster at scee.net
This footnote also confirms that this email message has been checked for 
all known viruses.
Sony Computer Entertainment Europe Limited
Registered Office: 10 Great Marlborough Street, London W1F 7LP, United 
Kingdom
Registered in England: 3277793
**********************************************************************

P Please consider the environment before printing this e-mail