This might even be better:
conversion between glsl and hlsl should be possible using nvidia's cg available at: http://developer.nvidia.com/object/cg_toolkit.html

the following commands can be used (have not tested it yet):
cgc -oglsl -profile fp30unlimited some_wicked_shader.frag
cgc -oglsl -profile vp30 some_wicked_shader.vert
to create assembly like shaders, but hlsl and glsl are also targets, so conversion from glsl to hlsl should also be possible