mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-11-04 05:17:07 +00:00 
			
		
		
		
	This was done with the following sed invocation to catch label lines demarking function boundaries:
    sed -i '' "s/^;\( *\)\([A-Z0-9_]*\):\( *\)test\([A-Za-z0-9_-]*\):\( *\)$/;\1\2-LABEL:\3test\4:\5/g" test/CodeGen/*/*.ll
which was written conservatively to avoid false positives rather than false negatives. I scanned through all the changes and everything looks correct.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186258 91177308-0d34-0410-b5e6-96231b3b80d8
		
	
		
			
				
	
	
		
			55 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			55 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
; Make sure this testcase codegens to the fabs instruction, not a call to fabsf
 | 
						|
; RUN: llc < %s -mtriple=i686-apple-macosx -mattr=-sse2,-sse3,-sse | FileCheck %s
 | 
						|
; RUN: llc < %s -mtriple=i686-apple-macosx -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math -enable-no-nans-fp-math | FileCheck %s --check-prefix=UNSAFE
 | 
						|
; RUN: llc < %s -mtriple=x86_64-apple-macosx -O0 | FileCheck %s --check-prefix=NOOPT
 | 
						|
 | 
						|
declare float @fabsf(float)
 | 
						|
 | 
						|
declare x86_fp80 @fabsl(x86_fp80)
 | 
						|
 | 
						|
; CHECK-LABEL:  test1:
 | 
						|
; UNSAFE-LABEL: test1:
 | 
						|
; NOOPT-LABEL:  test1:
 | 
						|
define float @test1(float %X) {
 | 
						|
        %Y = call float @fabsf(float %X) readnone
 | 
						|
        ret float %Y
 | 
						|
}
 | 
						|
; CHECK:  {{^[ \t]+fabs$}}
 | 
						|
; UNSAFE: {{^[ \t]+fabs$}}
 | 
						|
 | 
						|
; CHECK-NOT:  fabs
 | 
						|
; UNSAFE-NOT: fabs
 | 
						|
; NOOPT-NOT:  fabsf
 | 
						|
 | 
						|
; CHECK-LABEL:  test2:
 | 
						|
; UNSAFE-LABEL: test2:
 | 
						|
; NOOPT-LABEL:  test2:
 | 
						|
define double @test2(double %X) {
 | 
						|
        %Y = fcmp oge double %X, -0.0
 | 
						|
        %Z = fsub double -0.0, %X
 | 
						|
        %Q = select i1 %Y, double %X, double %Z
 | 
						|
        ret double %Q
 | 
						|
}
 | 
						|
; fabs is not used here.
 | 
						|
; CHECK-NOT:  fabs
 | 
						|
; NOOPT-NOT:  fabs
 | 
						|
 | 
						|
; UNSAFE: {{^[ \t]+fabs$}}
 | 
						|
 | 
						|
; UNSAFE-NOT: fabs
 | 
						|
 | 
						|
; CHECK-LABEL:  test3:
 | 
						|
; UNSAFE-LABEL: test3:
 | 
						|
; NOOPT-LABEL:  test3:
 | 
						|
define x86_fp80 @test3(x86_fp80 %X) {
 | 
						|
        %Y = call x86_fp80 @fabsl(x86_fp80 %X) readnone
 | 
						|
        ret x86_fp80 %Y
 | 
						|
}
 | 
						|
; CHECK:  {{^[ \t]+fabs$}}
 | 
						|
; UNSAFE: {{^[ \t]+fabs$}}
 | 
						|
; NOOPT:  {{^[ \t]+fabs$}}
 | 
						|
 | 
						|
; CHECK-NOT:  fabs
 | 
						|
; UNSAFE-NOT: fabs
 | 
						|
; NOOPT-NOT:  fabs
 |