On Fri, Jun 20, 2008 at 4:46 PM, David Given <dg@xxxxxxxxxxx> wrote: > - how do you determine the scalar type of a pseudo? Depend on the pseudo type. If pseudo from a symbol, pseudo->sym->ctype has the full type information. If pseudo is from constant expression, pseduo->def->val is the constant expression. using expr->ctype to get to the ctype. If pseudo is from normal instruction result, the target type is the same as any source type. The special case the OP_CAST instruction, the type is in insn->cast_type. I agree we should probability make the ctype into instruction so make the back end easier. > - if I wish to rewrite a basic block's instruction list --- for example, > to decompose instructions that use a non-register pseudo into two > instructions --- do I need to do anything other than iterate through the > bb's list and insert instruction nodes? Is there any additional > housekeeping to do? Naturally, I'd do this *before* calling > track_pseudo_death()... If you modify instructions in a existing instruction list. Make sure you keep the pseudo in SSA form, including proper user list. If you add basic block, you need to update the parent and child list. > - what does expand_symbol() do? Well, it expand symbols. That does help does it? Sparse parsing have a few stage. The tokenizer parse the source code and convert it into token list. Pre-process stage expand the macro and handle include files etc. Parsing stage consume the token list and parse into AST tree. Evaluate stage does the type propagation, pointer degenerate etc. Expand stage is mostly for some fix up. E.g. remove obvious dead code like "#if 0". The inline function get expanded in this stage. Hope that helps. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
