Just to finish my monolog :)
it seems I made a mistake removing std movsi expand.
Just wondering why this makes gcc converting address from PSI to BLK...
Aurélien
2011/6/20 Aurelien Buhrig <aurelien.buhrig.gcc@xxxxxxxxx>:
> I think I found why gcc was crashing. It was due to register number
> error (SP_REG) in REGNO_REG_CLASS(R).
> Now I have an ICE, almost exactly at the same point...
>
> gcc tries to convert a PSImode reg (in convert_memory_address) into
> BLKmode register...
>
> Any idea what could be wrong ?
>
> Thanks,
> Aurelien
>
>
> 2011/6/17 Aurelien BUHRIG <aurelien.buhrig.gcc@xxxxxxxxx>:
>> Hi all,
>>
>> I'm trying to modify a GCC (4.3.3) port we did 2 years ago (which was
>> working...). The MCU is a 16-bit MCU and I try to extend the
>> addressing space from HI to PSI. I get inspiration from m32c.The new
>> target has PSI registers as base regs, and special insn to use them.
>>
>> I have a segfault pb in the 2nd pass (I'm not sure about the pass)
>> while compiling libgcc2 (negdi). It seems the generated rtx structure
>> is not correctly set. valgrind do not report any pb, except before
>> segfaulting...
>>
>> The pb occurs in copy_to_mode_reg due to a NULL rtx (backtrace/faulty
>> rtx after).
>>
>> Any hint to help me fixing my backend ?
>>
>> Thanks,
>> Aurélien
>>
>> Backtrace
>>
>> #0 0x000000000050b9e5 in copy_to_mode_reg (mode=PSImode, x=0x0) at
>> <...>/src/gcc/explow.c:621
>> #1 0x00000000005206d3 in set_storage_via_libcall (object=0x8a15ec0,
>> size=0x88a1480, val=0x88a1400, tailcall=0 '\000') at
>> <...>/src/gcc/expr.c:2644
>> #2 0x0000000000520665 in clear_storage_hints (object=0x8a15ec0,
>> size=0x88a1480, method=BLOCK_OP_NORMAL, expected_align=0,
>> expected_size=-1) at <...>/src/gcc/expr.c:2618
>> #3 0x00000000005206a8 in clear_storage (object=0x8a15ec0,
>> size=0x88a1480, method=BLOCK_OP_NORMAL) at <...>/src/gcc/expr.c:2627
>> #4 0x000000000052598b in store_constructor (exp=0x8a09de0,
>> target=0x8a15ec0, cleared=0, size=8) at <...>/src/gcc/expr.c:5134
>> #5 0x000000000052a305 in expand_constructor (exp=0x8a09de0,
>> target=0x8a15ec0, modifier=EXPAND_NORMAL, avoid_temp_mem=0 '\000') at
>> <...>/src/gcc/expr.c:7013
>> #6 0x000000000052b5da in expand_expr_real_1 (exp=0x8a09de0,
>> target=0x8a15ec0, tmode=BLKmode, modifier=EXPAND_NORMAL,
>> alt_rtl=0x7feffec88) at <...>/src/gcc/expr.c:7506
>> #7 0x000000000052a472 in expand_expr_real (exp=0x8a09de0,
>> target=0x8a15ec0, tmode=BLKmode, modifier=EXPAND_NORMAL,
>> alt_rtl=0x7feffec88) at <...>/src/gcc/expr.c:7115
>> #8 0x0000000000524758 in store_expr (exp=0x8a09de0, target=0x8a15ec0,
>> call_param_p=0, nontemporal=0 '\000') at <...>/src/gcc/expr.c:4584
>> #9 0x0000000000523c52 in expand_assignment (to=0x8998a00,
>> from=0x8a09de0, nontemporal=0 '\000') at <...>/src/gcc/expr.c:4367
>> #10 0x000000000053120b in expand_expr_real_1 (exp=0x889e300,
>> target=0x0, tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0) at
>> <...>/src/gcc/expr.c:9158
>> #11 0x000000000052a449 in expand_expr_real (exp=0x889e300,
>> target=0x88a1400, tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
>> at <...>/src/gcc/expr.c:7109
>> #12 0x0000000000667942 in expand_expr (exp=0x889e300,
>> target=0x88a1400, mode=VOIDmode, modifier=EXPAND_NORMAL) at
>> <...>/src/gcc/expr.h:514
>> #13 0x0000000000668206 in expand_expr_stmt (exp=0x889e300) at
>> <...>/src/gcc/stmt.c:1361
>> #14 0x000000000082ae40 in expand_gimple_basic_block (bb=0x8a1d4e0) at
>> <...>/src/gcc/cfgexpand.c:1610
>> #15 0x000000000082bcc9 in tree_expand_cfg () at <...>/src/gcc/cfgexpand.c:1921
>> #16 0x00000000005dfcdf in execute_one_pass (pass=0xc4d580) at
>> <...>/src/gcc/passes.c:1122
>> #17 0x00000000005dfe43 in execute_pass_list (pass=0xc4d580) at
>> <...>/src/gcc/passes.c:1176
>> #18 0x00000000006b9458 in tree_rest_of_compilation (fndecl=0x89799c0)
>> at <...>/src/gcc/tree-optimize.c:404
>> #19 0x00000000007de32f in cgraph_expand_function (node=0x88a3e00) at
>> <...>/src/gcc/cgraphunit.c:1166
>> #20 0x00000000007de4df in cgraph_expand_all_functions () at
>> <...>/src/gcc/cgraphunit.c:1229 #21 0x00000000007dea94 in
>> cgraph_optimize () at <...>/src/gcc/cgraphunit.c:1436 #22
>> 0x0000000000417ff7 in c_write_global_declarations () at
>> <...>/src/gcc/c-decl.c:8086 #23 0x0000000000672a9b in compile_file ()
>> at <...>/src/gcc/toplev.c:1055
>> #24 0x0000000000674611 in do_compile () at <...>/src/gcc/toplev.c:2240
>> #25 0x0000000000674675 in toplev_main (argc=70, argv=0x7fefff9e8) at
>> <...>/src/gcc/toplev.c:2272
>> #26 0x0000000000479383 in main (argc=70, argv=0x7fefff9e8) at
>> <...>/src/gcc/main.c:35
>>
>>
>> The "object" parameter in set_storage_via_libcall seems "correct" :
>>
>> {code = MEM, mode = BLKmode, jump = 0, call = 1, unchanging = 0,
>> volatil = 0, in_struct = 1, used = 0, frame_related = 0, return_val =
>> 0, u = {fld = {{
>> rt_int = 144793312, rt_uint = 144793312, rt_str = 0x8a15ee0
>> "/", rt_rtx = 0x8a15ee0, rt_rtvec = 0x8a15ee0, rt_type = 144793312,
>> rt_addr_diff_vec_flags = {min_align = 224, base_after_vec = 0,
>> min_after_vec = 1, max_after_vec = 1, min_after_base = 1,
>> max_after_base = 1,
>> offset_unsigned = 0, scale = 161}, rt_cselib = 0x8a15ee0,
>> rt_bit = 0x8a15ee0, rt_tree = 0x8a15ee0, rt_bb = 0x8a15ee0, rt_mem =
>> 0x8a15ee0,
>> rt_reg = 0x8a15ee0, rt_constant = 0x8a15ee0}}, hwint =
>> {144793312}, block_sym = {fld = {{rt_int = 144793312, rt_uint =
>> 144793312,
>> rt_str = 0x8a15ee0 "/", rt_rtx = 0x8a15ee0, rt_rtvec =
>> 0x8a15ee0, rt_type = 144793312, rt_addr_diff_vec_flags = {min_align =
>> 224,
>> base_after_vec = 0, min_after_vec = 1, max_after_vec = 1,
>> min_after_base = 1, max_after_base = 1, offset_unsigned = 0, scale =
>> 161},
>> rt_cselib = 0x8a15ee0, rt_bit = 0x8a15ee0, rt_tree =
>> 0x8a15ee0, rt_bb = 0x8a15ee0, rt_mem = 0x8a15ee0, rt_reg = 0x8a15ee0,
>> rt_constant = 0x8a15ee0}, {rt_int = 144804576, rt_uint =
>> 144804576, rt_str = 0x8a18ae0 "\002", rt_rtx = 0x8a18ae0, rt_rtvec =
>> 0x8a18ae0,
>> rt_type = 144804576, rt_addr_diff_vec_flags = {min_align =
>> 224, base_after_vec = 0, min_after_vec = 1, max_after_vec = 0,
>> min_after_base = 1,
>> max_after_base = 0, offset_unsigned = 0, scale = 161},
>> rt_cselib = 0x8a18ae0, rt_bit = 0x8a18ae0, rt_tree = 0x8a18ae0, rt_bb
>> = 0x8a18ae0,
>> rt_mem = 0x8a18ae0, rt_reg = 0x8a18ae0, rt_constant =
>> 0x8a18ae0}, {rt_int = 0, rt_uint = 0, rt_str = 0x0, rt_rtx = 0x0,
>> rt_rtvec = 0x0,
>> rt_type = VOIDmode, rt_addr_diff_vec_flags = {min_align = 0,
>> base_after_vec = 0, min_after_vec = 0, max_after_vec = 0,
>> min_after_base = 0,
>> max_after_base = 0, offset_unsigned = 0, scale = 0},
>> rt_cselib = 0x0, rt_bit = 0x0, rt_tree = 0x0, rt_bb = 0x0, rt_mem =
>> 0x0, rt_reg = 0x0,
>> rt_constant = 0x0}}, block = 0x9002f, offset = 143271360},
>> rv = {cl = 0, decimal = 0, sign = 0, signalling = 0, canonical = 1,
>> uexp = 2262395,
>> sig = {144804576, 0, 589871}}, fv = {data = {low = 144793312,
>> high = 144804576}, mode = 0}}}
>>
>>
>> Here its XEXP:
>>
>> {code = 24288, mode = 161, jump = 0, call = 0, unchanging = 0, volatil
>> = 1, in_struct = 0, used = 0, frame_related = 0, return_val = 0, u =
>> {fld = {{
>> rt_int = 144804576, rt_uint = 144804576, rt_str = 0x8a18ae0
>> "\002", rt_rtx = 0x8a18ae0, rt_rtvec = 0x8a18ae0, rt_type = 144804576,
>> rt_addr_diff_vec_flags = {min_align = 224, base_after_vec = 0,
>> min_after_vec = 1, max_after_vec = 0, min_after_base = 1,
>> max_after_base = 0,
>> offset_unsigned = 0, scale = 161}, rt_cselib = 0x8a18ae0,
>> rt_bit = 0x8a18ae0, rt_tree = 0x8a18ae0, rt_bb = 0x8a18ae0, rt_mem =
>> 0x8a18ae0,
>> rt_reg = 0x8a18ae0, rt_constant = 0x8a18ae0}}, hwint =
>> {144804576}, block_sym = {fld = {{rt_int = 144804576, rt_uint =
>> 144804576,
>> rt_str = 0x8a18ae0 "\002", rt_rtx = 0x8a18ae0, rt_rtvec =
>> 0x8a18ae0, rt_type = 144804576, rt_addr_diff_vec_flags = {min_align =
>> 224,
>> base_after_vec = 0, min_after_vec = 1, max_after_vec = 0,
>> min_after_base = 1, max_after_base = 0, offset_unsigned = 0, scale =
>> 161},
>> rt_cselib = 0x8a18ae0, rt_bit = 0x8a18ae0, rt_tree =
>> 0x8a18ae0, rt_bb = 0x8a18ae0, rt_mem = 0x8a18ae0, rt_reg = 0x8a18ae0,
>> rt_constant = 0x8a18ae0}, {rt_int = 0, rt_uint = 0, rt_str =
>> 0x0, rt_rtx = 0x0, rt_rtvec = 0x0, rt_type = VOIDmode,
>> rt_addr_diff_vec_flags = {
>> min_align = 0, base_after_vec = 0, min_after_vec = 0,
>> max_after_vec = 0, min_after_base = 0, max_after_base = 0,
>> offset_unsigned = 0,
>> scale = 0}, rt_cselib = 0x0, rt_bit = 0x0, rt_tree = 0x0,
>> rt_bb = 0x0, rt_mem = 0x0, rt_reg = 0x0, rt_constant = 0x0}, {rt_int =
>> 589871,
>> rt_uint = 589871, rt_str = 0x9002f <Address 0x9002f out of
>> bounds>, rt_rtx = 0x9002f, rt_rtvec = 0x9002f, rt_type = 589871,
>> rt_addr_diff_vec_flags = {min_align = 47, base_after_vec =
>> 0, min_after_vec = 0, max_after_vec = 0, min_after_base = 0,
>> max_after_base = 0,
>> offset_unsigned = 0, scale = 9}, rt_cselib = 0x9002f,
>> rt_bit = 0x9002f, rt_tree = 0x9002f, rt_bb = 0x9002f, rt_mem =
>> 0x9002f, rt_reg = 0x9002f,
>> rt_constant = 0x9002f}}, block = 0x88a25c0, offset =
>> 143266688}, rv = {cl = 0, decimal = 0, sign = 0, signalling = 0,
>> canonical = 1,
>> uexp = 2262571, sig = {0, 589871, 143271360}}, fv = {data = {low
>> = 144804576, high = 0}, mode = 589871}}}
>>
>
