diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index dd1dc2bd7a8..a398c3d31ce 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -1241,10 +1241,19 @@ if (GET_CODE (operands[0]) == MEM && operands[1] != const0_rtx) operands[1] = force_reg (mode, operands[1]); - /* FIXME: RR we still need to fix up what we are doing with - symbol_refs and other types of constants. */ - if (CONSTANT_P (operands[1]) - && !CONST_INT_P (operands[1])) + /* Lower moves of symbolic constants into individual instructions. + Doing this now is sometimes necessary for correctness, since some + sequences require temporary pseudo registers. Lowering now is also + often better for optimization, since more RTL passes get the + chance to optimize the individual instructions. + + When called after RA, also split multi-instruction moves into + smaller pieces now, since we can't be sure that sure that there + will be a following split pass. */ + if (CONST_INT_P (operands[1]) + ? (reload_completed + && !aarch64_mov_imm_operand (operands[1], mode)) + : CONSTANT_P (operands[1])) { aarch64_expand_mov_immediate (operands[0], operands[1]); DONE; diff --git a/gcc/testsuite/g++.dg/pr98136.C b/gcc/testsuite/g++.dg/pr98136.C new file mode 100644 index 00000000000..f3c27f6b09f --- /dev/null +++ b/gcc/testsuite/g++.dg/pr98136.C @@ -0,0 +1,26 @@ +// { dg-do compile { target { ilp32 || lp64 } } } + +struct AddIn +{ + virtual ~AddIn() {} + virtual void AddInCall()=0; +}; + +struct Base +{ + char b[32*1024*1024]; // Anything bigger than 16mb causes internal compiler error + virtual ~Base() {} +}; + +struct Deriv : public Base, + public AddIn +{ + void AddInCall() {} +}; + +int main (int argc, char **argv) +{ + Deriv deriv; + deriv.AddInCall(); + return 0; +}