An extractelt with a constant index which extracts an element from the
two vector operands of a select can be directly folded into a select.
extractelt (select %cond, <vec1>, <vec2>), %c ->
select %cond, <vec1>[c], <vec2>[c]
Note: the implementation currently only works for constant vector operands.