I am adding a new optimisation pass to GCC and I have found that I probably need to make use of SSA's definition-finding. The problem I am having is that the trees I am working on don't seem to be in SSA form (i.e. not SSA_NAME nodes).
I have looked endlessly and can't find any documentation on the basics of getting set up to use SSA. I've tried looking at existing optimisation passes but I can't find anything that they do in common in the way of set-up. The tree_opt_pass for my pass has PROP_ssa set in the properties_required field. Is this all I need to do? Any help is greatly appreciated. Alex