2013-06-04  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

	* rtl.def: Add extra fourth optional field to define_cond_exec.
	* gensupport.c (process_one_cond_exec): Process attributes from
	define_cond_exec.
	* doc/md.texi: Document fourth field in define_cond_exec.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199640 138bc75d-0d04-0410-961f-82ee72b054a4