[patch] Fix pr14893

[Hal Finkel]

----- Original Message -----
> From: "Rafael Espíndola" <rafael.espindola at gmail.com>
> To: "Hal Finkel" <hfinkel at anl.gov>
> Cc: "llvm-commits" <llvm-commits at cs.uiuc.edu>
> Sent: Monday, January 27, 2014 2:45:51 PM
> Subject: Re: [patch] Fix pr14893
> 
> > I think so. Updated patch attached. I also fixed the type Manman
> > Ren noticed.
> 
> Sorry, correct patch attached now.

This looks useful, thanks.

+      // semantic we don't understand.
+      // We keep tbaa since the type should still be the same.

s/semantic/semantics/

Also, to be specific about TBAA, I would say that we're allowed to assume that there are no control dependencies on the load's type information (maybe we should add this to the language reference).

 -Hal

> 
> Cheers,
> Rafael
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory