Hi Manfred,
Actually, we have made a test on 9.30 ogl package about the alpha blending, with . We load an ext bmp which is filled with 0x60504030 (alpha = 0x30) , then blend it with a gui rectangle backgroud with its color defined as 0x0000004C, and then we dumped the gui frame and found the result to be 0x6050406E. It seems to be unconformable with what you said above, if the result is still pre-multiplied, it should be 0x29221C6E . Is it right?
BTW, why we care about it is that the blended gui frame will then be blended with a video frame, while our hardware can only support non-premultipiled alpha. And now the rendered result seems not confusing.
BR
Arnold