diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2bc2367e71e0a323bdd65b85f68b714ac50ec3ef..410dc97c7b3ec2f23f7d69a0c7b6fdb18558803b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-11 Jakub Jelinek <jakub@redhat.com> + + PR target/35760 + * config/rs6000/rs6000.c (rs6000_legitimize_address): Only create + LO_SUM on Darwin if mode has just one unit. + 2008-10-10 H.J. Lu <hongjiu.lu@intel.com> PR debug/37002 diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c index 9f48b611e6f88ca5748840d6a19a7d912b393723..1218ea9b9b0d92d768191227a7ca0c6e8c36e768 100644 --- a/gcc/config/rs6000/rs6000.c +++ b/gcc/config/rs6000/rs6000.c @@ -3860,6 +3860,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, && GET_CODE (x) != CONST_INT && GET_CODE (x) != CONST_DOUBLE && CONSTANT_P (x) + && GET_MODE_NUNITS (mode) == 1 && ((TARGET_HARD_FLOAT && TARGET_FPRS && TARGET_DOUBLE_FLOAT) || (mode != DFmode && mode != DDmode)) && mode != DImode diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 92a0f4102fb74a249485886ea67f510364b2647e..f7545fccaaeff06a5e1e824604f234ea8d0913c5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-10-11 Jakub Jelinek <jakub@redhat.com> + + PR target/35760 + * gcc.c-torture/compile/pr35760.c: New test. + 2008-10-10 Jakub Jelinek <jakub@redhat.com> PR c++/37146 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr35760.c b/gcc/testsuite/gcc.c-torture/compile/pr35760.c new file mode 100644 index 0000000000000000000000000000000000000000..9b972f6b1b70bf8712b84877b031d7fe0c5774df --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr35760.c @@ -0,0 +1,7 @@ +/* PR target/35760 */ + +void +foo (void) +{ + __complex__ float i = 0; +} diff --git a/gcc/tree-switch-conversion.c b/gcc/tree-switch-conversion.c index e9757454f21923c1197d5098b2e9d841949c396c..798cf161569460d8713feb2f6ac9d6be4e623b34 100644 --- a/gcc/tree-switch-conversion.c +++ b/gcc/tree-switch-conversion.c @@ -296,12 +296,29 @@ check_final_bb (void) { basic_block bb = gimple_phi_arg_edge (phi, i)->src; - if ((bb == info.switch_bb - || (single_pred_p (bb) && single_pred (bb) == info.switch_bb)) - && !is_gimple_ip_invariant (gimple_phi_arg_def (phi, i))) + if (bb == info.switch_bb + || (single_pred_p (bb) && single_pred (bb) == info.switch_bb)) { - info.reason = " Non-invariant value from a case\n"; - return false; /* Non-invariant argument. */ + tree reloc, val; + + val = gimple_phi_arg_def (phi, i); + if (!is_gimple_ip_invariant (val)) + { + info.reason = " Non-invariant value from a case\n"; + return false; /* Non-invariant argument. */ + } + reloc = initializer_constant_valid_p (val, TREE_TYPE (val)); + if ((flag_pic && reloc != null_pointer_node) + || (!flag_pic && reloc == NULL_TREE)) + { + if (reloc) + info.reason + = " Value from a case would need runtime relocations\n"; + else + info.reason + = " Value from a case is not a valid initializer\n"; + return false; + } } } }