| /* { dg-do compile } */ |
| /* { dg-options "-fgnu-tm -O1 -fdump-tree-lim1" } */ |
| |
| /* Test that thread visible loads do not get hoisted out of loops if |
| the load would not have occurred on each path out of the loop. */ |
| |
| int x[10] = {0,0,0,0,0,0,0,0,0,0}; |
| int DATA_DATA = 0; |
| |
| void reader() |
| { |
| int i; |
| __transaction_atomic |
| { |
| for (i = 0; i < 10; i++) |
| if (x[i]) |
| x[i] += DATA_DATA; |
| /* If we loaded DATA_DATA here, we could hoist it before the loop, |
| but since we don't... we can't. */ |
| } |
| } |
| |
| /* { dg-final { scan-tree-dump-times "Cannot hoist.*DATA_DATA because it is in a transaction" 1 "lim1" } } */ |
| /* { dg-final { cleanup-tree-dump "lim1" } } */ |