OpenCL Vector Swizzling Optimization under Global Value Numbering