Re: Missing barrier in outof_cfglayout

2015-05-14 Thread Jeff Law
On 05/13/2015 06:30 AM, Georg-Johann Lay wrote: hmmm, it would actually lead to valid machine code: The jump table is actually a dispatch table, i.e. it contains a list of direct jumps to the case labels. casesi loads the value of the label associated with the jump table into a register, add

Re: Missing barrier in outof_cfglayout

2015-05-13 Thread Georg-Johann Lay
Am 05/12/2015 um 05:13 PM schrieb Jeff Law: On 05/12/2015 08:58 AM, Georg-Johann Lay wrote: Ah, yes. The ICE is actually in verify_flow_info: "wrong number of branch edges after unconditional jump in bb 4". It starts with an almost trivial jump table: (jump_insn 82 81 83 19 (parallel [

Re: Missing barrier in outof_cfglayout

2015-05-12 Thread Jeff Law
On 05/12/2015 08:58 AM, Georg-Johann Lay wrote: Am 05/11/2015 um 10:43 PM schrieb Steven Bosscher: On Mon, May 11, 2015 at 7:37 PM, Georg-Johann Lay wrote: BTW, what's the policy about unconditional jumps at that time? There are plenty of unconditional jumps around and all are legitimate; just

Re: Missing barrier in outof_cfglayout

2015-05-12 Thread Georg-Johann Lay
Am 05/11/2015 um 10:43 PM schrieb Steven Bosscher: On Mon, May 11, 2015 at 7:37 PM, Georg-Johann Lay wrote: BTW, what's the policy about unconditional jumps at that time? There are plenty of unconditional jumps around and all are legitimate; just this one generated by cse1 is wrong? If you're

Re: Missing barrier in outof_cfglayout

2015-05-11 Thread Steven Bosscher
On Mon, May 11, 2015 at 7:37 PM, Georg-Johann Lay wrote: > BTW, what's the policy about unconditional jumps at that time? There are > plenty of unconditional jumps around and all are legitimate; just this one > generated by cse1 is wrong? If you're in cfglayout mode, then there should be no uncon

Re: Missing barrier in outof_cfglayout

2015-05-11 Thread Georg-Johann Lay
Am 05/11/2015 um 06:58 PM schrieb Jeff Law: Wow, that was fast! On 05/11/2015 10:19 AM, Georg-Johann Lay wrote: When pass outof_cfglayout is adding barriers, it appears that it misses some situations and then runs into "ICE: missing barrier" in the remainder (or, with checking disabled, into s

Re: Missing barrier in outof_cfglayout

2015-05-11 Thread Jeff Law
On 05/11/2015 10:19 AM, Georg-Johann Lay wrote: When pass outof_cfglayout is adding barriers, it appears that it misses some situations and then runs into "ICE: missing barrier" in the remainder (or, with checking disabled, into some other assertion). [ ... ] The last else is entered for a