Must-alias analysis

Hi all, how is the must-alias information represented in mainline? Is there something like DEF-USE chains for virtual operands? How can I access this kind of information and where should I look for some examples how to use it? Thank you very much! Regards, Martin

build_fold_addr_expr breaks verify_stmt

Dear GCC-Developers, I am currently experiencing two problems (which seem related). (1) I wrote a pass that works after the gimplification is completed and amongst other things does the following: It passes the address of a variable to a function. To pass the address I use the build_fold_addr_ex

prevent optimisation of variables on SSA

Hi all, I currently introduce a temporary variable on SSA form but it does not survive the SSA optimisation passes. (Not even the simple ones triggered with -O1). Since the temporary variable is considered to be a gimple register it is not possible to set a VUSE or VDEF for it. (I tried and it br

Re: prevent optimisation of variables on SSA

Hi, I will try to explain in more detail: I am trying to implement support for transactions in GCC. In particular for a Software Transactional Memory library called tinySTM. Since transactions have the nice property that they can abort and execute again, we need some kind of checkpointing at th

Re: prevent optimisation of variables on SSA

Hi Richard, thank you very much for your suggestions, it seems to be working well. Now, the temporary variables survive the SSA optimisations. and the txn_save_* variables are optimised "away". Is there any way to prevent this kind of optimisations on SSA form for a particular group of variab