Static Analysis For Gpu Program Performance