mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-10-31 08:16:47 +00:00 
			
		
		
		
	git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41097 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			47 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			47 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
| ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep xor | count 4
 | |
| ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep and
 | |
| ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep { or}
 | |
| 
 | |
| ; PR1510
 | |
| 
 | |
| ; These are all equivelent to A^B
 | |
| 
 | |
| define i32 @test1(i32 %a, i32 %b) {
 | |
| entry:
 | |
|         %tmp3 = or i32 %b, %a           ; <i32> [#uses=1]
 | |
|         %tmp3not = xor i32 %tmp3, -1            ; <i32> [#uses=1]
 | |
|         %tmp6 = and i32 %b, %a          ; <i32> [#uses=1]
 | |
|         %tmp7 = or i32 %tmp6, %tmp3not          ; <i32> [#uses=1]
 | |
|         %tmp7not = xor i32 %tmp7, -1            ; <i32> [#uses=1]
 | |
|         ret i32 %tmp7not
 | |
| }
 | |
| 
 | |
| define i32 @test2(i32 %a, i32 %b) {
 | |
| entry:
 | |
|         %tmp3 = or i32 %b, %a           ; <i32> [#uses=1]
 | |
|         %tmp6 = and i32 %b, %a          ; <i32> [#uses=1]
 | |
|         %tmp6not = xor i32 %tmp6, -1            ; <i32> [#uses=1]
 | |
|         %tmp7 = and i32 %tmp3, %tmp6not         ; <i32> [#uses=1]
 | |
|         ret i32 %tmp7
 | |
| }
 | |
| 
 | |
| define <4 x i32> @test3(<4 x i32> %a, <4 x i32> %b) {
 | |
| entry:
 | |
|         %tmp3 = or <4 x i32> %a, %b             ; <<4 x i32>> [#uses=1]
 | |
|         %tmp3not = xor <4 x i32> %tmp3, < i32 -1, i32 -1, i32 -1, i32 -1 >              ; <<4 x i32>> [#uses=1]
 | |
|         %tmp6 = and <4 x i32> %a, %b            ; <<4 x i32>> [#uses=1]
 | |
|         %tmp7 = or <4 x i32> %tmp6, %tmp3not            ; <<4 x i32>> [#uses=1]
 | |
|         %tmp7not = xor <4 x i32> %tmp7, < i32 -1, i32 -1, i32 -1, i32 -1 >              ; <<4 x i32>> [#uses=1]
 | |
|         ret <4 x i32> %tmp7not
 | |
| }
 | |
| 
 | |
| define <4 x i32> @test4(<4 x i32> %a, <4 x i32> %b) {
 | |
| entry:
 | |
|         %tmp3 = or <4 x i32> %a, %b             ; <<4 x i32>> [#uses=1]
 | |
|         %tmp6 = and <4 x i32> %a, %b            ; <<4 x i32>> [#uses=1]
 | |
|         %tmp6not = xor <4 x i32> %tmp6, < i32 -1, i32 -1, i32 -1, i32 -1 >              ; <<4 x i32>> [#uses=1]
 | |
|         %tmp7 = and <4 x i32> %tmp3, %tmp6not           ; <<4 x i32>> [#uses=1]
 | |
|         ret <4 x i32> %tmp7
 | |
| }
 | |
| 
 |