- * If we have PhiEs with unknown operands then we have to make sure that some
- * value is actually put onto the stack.
+ * If we have PhiEs with unknown operands in a block
+ * we have to make sure that some value is actually put onto the stack.
+ *
+ * @param state the x87 state
+ * @param block the block that should be checked
+ * @param pred_block check inputs from this predecessor block
+ * @param pos index of pred_block