svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Aliasing through ICmpInst

From: Arushi Aggarwal <arushi987 AT gmail.com>
To: svadev AT cs.uiuc.edu
Subject: [svadev] Aliasing through ICmpInst
Date: Mon, 7 Mar 2011 15:00:33 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hi,

The Local pass of DSA has a comment saying that aliasing information might be needed for ICmpInst. Do we really need that? If the values are equal, we probably already know that through the rest of the alias analysis.

What am I missing here?

Arushi

[svadev] Aliasing through ICmpInst, Arushi Aggarwal, 03/07/2011