On 8/15/08 1:00 PM, Martin Schindewolf wrote:
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 t
On 8/18/08 7:15 AM, Martin Schindewolf wrote:
txn_handle.12_4 = __builtin_stm_new ();
jmp_buf.13_5 = __builtin_stm_get_env (txn_handle.12_4);
ssj_value.14_6 = _setjmp (jmp_buf.13_5);
if (ssj_value.14_6 == 0)
goto ();
else
goto ();
# SUCC: 4 (false) 3 (true)
# BLOCK 3
# PRED: 2
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
On Mon, Aug 18, 2008 at 1:15 PM, Martin Schindewolf <[EMAIL PROTECTED]> wrote:
> 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 pro
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
On Fri, Aug 15, 2008 at 7:00 PM, Martin Schindewolf <[EMAIL PROTECTED]> wrote:
> 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
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
