Using Loop Dependence analysis for vectorization
I found a few resources which helped me to understand the more complex algorithms for use of loop dependence analysis.

The basic way in which the result from Loop Dependence Analysis is utilized is through various tests such as 

Dependence Test of various types such as GCD Test, Conservative Test etc. help in determining if the dependency exists and they can further be utilized to test if the 
Loop Transformation is safe or not.

Following are a few references which helped:

1) http://www.cs.cmu.edu/afs/cs/academic/class/15745-s09/www/lectures/lect6-deps.pdf

2) http://www.cs.utsa.edu/~qingyi/cs6363/slides/Ch02Dependence.pdf

3) http://www.cs.arizona.edu/~collberg/Teaching/553/2011/Handouts/Handout-33.pdf