mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-11-03 14:21:30 +00:00 
			
		
		
		
	input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			39 lines
		
	
	
		
			781 B
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			39 lines
		
	
	
		
			781 B
		
	
	
	
		
			LLVM
		
	
	
	
	
	
; RUN: opt < %s -instcombine -S > %t
 | 
						|
; RUN: not grep zext %t
 | 
						|
; RUN: not grep sext %t
 | 
						|
 | 
						|
; Instcombine should be able to eliminate all of these ext casts.
 | 
						|
 | 
						|
declare void @use(i32)
 | 
						|
 | 
						|
define i64 @foo(i64 %a) {
 | 
						|
  %b = trunc i64 %a to i32
 | 
						|
  %c = and i32 %b, 15
 | 
						|
  %d = zext i32 %c to i64
 | 
						|
  call void @use(i32 %b)
 | 
						|
  ret i64 %d
 | 
						|
}
 | 
						|
define i64 @bar(i64 %a) {
 | 
						|
  %b = trunc i64 %a to i32
 | 
						|
  %c = shl i32 %b, 4
 | 
						|
  %q = ashr i32 %c, 4
 | 
						|
  %d = sext i32 %q to i64
 | 
						|
  call void @use(i32 %b)
 | 
						|
  ret i64 %d
 | 
						|
}
 | 
						|
define i64 @goo(i64 %a) {
 | 
						|
  %b = trunc i64 %a to i32
 | 
						|
  %c = and i32 %b, 8
 | 
						|
  %d = zext i32 %c to i64
 | 
						|
  call void @use(i32 %b)
 | 
						|
  ret i64 %d
 | 
						|
}
 | 
						|
define i64 @hoo(i64 %a) {
 | 
						|
  %b = trunc i64 %a to i32
 | 
						|
  %c = and i32 %b, 8
 | 
						|
  %x = xor i32 %c, 8
 | 
						|
  %d = zext i32 %x to i64
 | 
						|
  call void @use(i32 %b)
 | 
						|
  ret i64 %d
 | 
						|
}
 |