Richard Henderson 
		15d7409260 
		
	 
	
	
	tcg: Add TCG_CALL_NO_RETURN ... 
			Remember which helpers have been marked noreturn.
Reviewed-by: Emilio G. Cota <cota@braap.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org> 
		
	 
		2018-12-26 06:40:24 +11:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2018-05-24 20:46:54 +02:00 
		 
	
		
			
			
			
			
			
			2016-07-12 16:19:16 +02:00 
		 
	
		
			
			
			
			
			
			2018-10-18 19:46:53 -07:00 
		 
	
		
			
			
			
			
			
			2018-08-17 13:56:33 +02:00 
		 
	
		
			
			
			
			
			
			2018-10-18 19:46:53 -07:00 
		 
	
		
			
			
			
			
			
			2018-07-02 08:02:20 -07:00 
		 
	
		
			
			
			
			
			
			2018-12-14 13:30:48 +00:00 
		 
	
		
			
			
			
			
			
			2018-10-31 12:16:39 +00:00 
		 
	
		
			
			
			
			
			
			2018-10-31 12:16:30 +00:00 
		 
	
		
			
			
			
			
			
			2018-10-18 18:58:10 -07:00 
		 
	
		
			
			
			
			
			
			2018-05-25 10:10:55 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-01 15:15:27 -07:00 
		 
	
		
			
			
			
			
			
			2017-12-29 12:43:40 -08:00 
		 
	
		
			
			
			
			
			
			2018-12-26 06:40:24 +11:00 
		 
	
		
			
			
			
			
			
			2017-12-29 12:43:40 -08:00 
		 
	
		
			
			
			
			
			
			2018-12-26 06:40:24 +11:00 
		 
	
		
			
			
			
			
			
			2016-06-07 18:19:23 +03:00 
		 
	
		
			
			
			
			
			
			2016-05-19 16:42:30 +02:00 
		 
	
		
			
			
			
			
			
			2017-10-25 11:55:09 +02:00 
		 
	
		
			
			
			
			
			
			2017-09-04 15:21:54 +01:00 
		 
	
		
			
			
			
			
			
			2018-05-09 00:13:38 +02:00 
		 
	
		
			
			
			
			
			
			2018-05-09 00:13:38 +02:00 
		 
	
		
			
			
			
			
			
			2018-05-09 00:13:38 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-15 08:18:48 -10:00 
		 
	
		
			
			
			
			
			
			2018-12-14 13:30:48 +00:00 
		 
	
		
			
			
			
			
			
			2018-12-26 06:40:02 +11:00 
		 
	
		
			
			
			
			
			
			2018-10-19 11:15:03 +08:00 
		 
	
		
			
			
			
			
			
			2018-06-15 14:40:56 +01:00 
		 
	
		
			
			
			
			
			
			2015-06-19 14:17:45 +01:00 
		 
	
		
			
			
			
			
			
			2016-07-12 16:20:46 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-18 19:21:00 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-15 08:18:48 -10:00 
		 
	
		
			
			
			
			
			
			2018-12-17 06:04:44 +03:00 
		 
	
		
			
			
			
			
			
			2018-02-09 05:05:11 +01:00 
		 
	
		
			
			
			
			
			
			2018-05-09 10:12:21 -07:00