FileCheck-3.6 - 클라우드의 온라인

프로그램:

이름

FileCheck - 유연한 패턴 매칭 파일 검증기

개요

파일 검사 일치 파일 이름 [--check-접두사=XXX] [--엄격한 공백]

기술

파일 검사 두 개의 파일을 읽습니다(하나는 표준 입력에서, 다른 하나는 명령줄에서 지정)
하나를 사용하여 다른 하나를 확인합니다. 이 동작은 테스트 슈트에 특히 유용합니다.
어떤 도구(예: LLC) 예상 포함
정보(예: esp의 movsd 또는 흥미로운 것). 이것은 비슷하다
사용 방법 GREP, 그러나 하나의 파일에서 여러 개의 다른 입력을 일치시키는 데 최적화되어 있습니다.
특정 주문.

XNUMXD덴탈의 일치 파일 이름 file은 일치시킬 패턴이 포함된 파일을 지정합니다. 파일
확인하려면 표준 입력에서 읽어야 합니다. --입력 파일 옵션이 사용됩니다.

옵션

-도움 명령줄 옵션의 요약을 인쇄합니다.

--check-접두사 접두사
FileCheck는 다음의 내용을 검색합니다. 일치 파일 이름 패턴이 일치하도록 합니다. 에 의해
기본적으로 이러한 패턴에는 "검사:". 사용하고 싶다면
다른 접두사(예: 동일한 입력 파일이 여러 개의 서로 다른
도구 또는 옵션), --check-접두사 인수를 사용하면 하나 이상을 지정할 수 있습니다.
일치하는 접두사. 다중 접두사는 다음에 대해 변경될 수 있는 테스트에 유용합니다.
실행 옵션은 다르지만 대부분의 행은 그대로 유지됩니다.

--입력 파일 파일 이름
확인할 파일(기본값은 stdin)입니다.

--엄격한 공백
기본적으로 FileCheck는 입력 수평 공백(공백 및 탭)을 정규화합니다.
이는 이러한 차이점을 무시하도록 합니다(공백은 탭과 일치함). NS
--엄격한 공백 인수는 이 동작을 비활성화합니다. 줄 끝 시퀀스는 다음과 같습니다.
UNIX 스타일로 정규화 \n 모든 모드에서.

--암시적 확인 안 함 체크 패턴
긍정 검사 사이에 지정된 패턴에 대한 암시적 부정 검사를 추가합니다.
이 옵션을 사용하면 다음으로 채우지 않고 더 엄격한 테스트를 작성할 수 있습니다. 체크하지 않음s.

예를 들어, "--암시적 확인 안 함 경고:" 진단을 테스트할 때 유용할 수 있습니다.
와 유사한 옵션이 없는 도구의 메시지 그 소리 -검증. 이것으로
옵션 FileCheck는 입력에 포함되지 않은 경고가 없는지 확인합니다.
어떤 검사: 패턴.

-번역
이 프로그램의 버전 번호를 표시합니다.

EXIT 지위

If 파일 검사 파일이 예상 내용과 일치하는지 확인하고 0으로 종료합니다.
그렇지 않고 오류가 발생하면 XNUMX이 아닌 값으로 종료됩니다.

이용 가이드

FileCheck는 일반적으로 LLVM 회귀 테스트에서 사용되며 RUN 라인에서 호출됩니다.
시험. RUN 라인에서 FileCheck를 사용하는 간단한 예는 다음과 같습니다.

; 실행: llvm-as < %s | LLC -86월=x64-XNUMX | 파일 검사 %s

이 구문은 현재 파일("%s") 안으로 llvm-as, 파이프 LLC다음,
파이프의 출력 LLC 으로 파일 검사. 이는 FileCheck가
지정된 파일 이름 인수에 대한 표준 입력(llc 출력)(원본 .NS
"로 지정된 파일%s"). 이것이 어떻게 작동하는지 보려면 나머지 .NS 파일
(RUN 라인 이후):

정의 무효 @sub1(i32* %p, i32 %v) {
기입:
; 확인: 하위 1:
; 확인: 서브
%0 = 꼬리 호출 i32 @llvm.atomic.load.sub.i32.p0i32(i32* %p, i32 %v)
무효
}

정의 무효 @inc4(i64* %p) {
기입:
; 확인: Inc4:
; 확인: Incq
%0 = 꼬리 호출 i64 @llvm.atomic.load.add.i64.p0i64(i64* %p, i64 1)
무효
}

여기에서 일부 "를 볼 수 있습니다.검사:" 라인이 주석으로 지정되었습니다. 이제 파일이 어떻게
로 파이프된다 llvm-as다음, LLC, 그리고 기계어 코드 출력은 우리가 확인하는 것입니다.
FileCheck는 기계 코드 출력을 검사하여 "검사:" 라인
지정합니다.

"의 구문검사:" 줄은 매우 간단합니다.
주문하다. FileCheck는 기본적으로 가로 공백 차이를 무시합니다(예: 공백은
탭과 일치하도록 허용됨). 그렇지 않으면 "검사:" 라인은 필수
테스트 파일의 어떤 것을 정확히 일치시킵니다.

FileCheck(grep과 비교하여)에 대한 한 가지 좋은 점은 테스트 사례를 병합할 수 있다는 것입니다.
함께 논리 그룹으로. 예를 들어 위의 테스트는
"하위 1:"와"Inc4:" 라벨이 없으면 일치하지 않습니다 "서브"그 사이에
레이블. 파일의 다른 위치에 존재하는 경우 계산되지 않습니다. "GREP 서브"
"이면 일치서브"는 파일의 아무 곳에나 존재합니다.

XNUMXD덴탈의 파일 검사 -체크 접두사 선택권
파일체크 -체크 접두사 옵션을 통해 여러 테스트 구성을 구동할 수 있습니다.
한 .NS 파일. 이것은 여러 상황에서 유용합니다(예: 다른 테스트
아키텍처 변형 LLC. 다음은 간단한 예입니다.

; 실행: llvm-as < %s | llc -mtriple=i686-apple-darwin9 -mattr=sse41 \
; 실행: | 파일 검사 %s -검사 접두사=X32
; 실행: llvm-as < %s | llc -mtriple=x86_64-apple-darwin9 -mattr=sse41 \
; 실행: | 파일 검사 %s -검사 접두사=X64

정의 <4 x i32> @pinsrd_1(i32 %s, <4 x i32> %tmp) nounwind {
%tmp1 = 삽입 요소 <4 x i32>; %tmp, i32 %s, i32 1
ret <4 x i32> %tmp1
; X32: pinrd_1:
; X32: 핀 번호 $1, 4(%esp), %xmm0

; X64: pinrd_1:
; X64: 핀 번호 $1, %edi, %xmm0
}

이 경우 32비트 및
64비트 코드 생성.

XNUMXD덴탈의 확인-다음: 지령
때로는 라인을 일치시키고 일치가 정확히
그 사이에 다른 줄이 없는 연속된 줄. 이 경우 "를 사용할 수 있습니다.검사:"
와 "확인-다음:" 지시문을 지정합니다. 사용자 지정 검사 접두사를 지정한 경우
그냥 사용 "-다음:". 예를 들어 다음과 같이 예상한 대로 작동합니다.

정의 무효 @t2(<2 x 더블>* %r, <2 x 더블>* %A, 더블 %B) {
%tmp3 = 로드 <2 x 더블>* %A, 16 정렬
%tmp7 = 삽입 요소 <2 x 이중> undef, 이중 %B, i32 0
%tmp9 = 셔플 벡터 <2 x 더블> %tmp3,
<2 x 더블> %tmp7,
<2 x i32> < i32 0, i32 2 >
저장 <2 x 이중> %tmp9, <2 x 이중>* %r, 정렬 16
무효

; 확인: t2:
; 확인: movl 8(%esp), %eax
; 다음 확인: movapd(%eax), %xmm0
; 다음 확인: movhpd 12(%esp), %xmm0
; 다음 확인: movl 4(%esp), %eax
; 다음 확인: movapd %xmm0, (%eax)
; CHECK-NEXT: 다시
}

"확인-다음:" 지시문 사이에 정확히 하나의 개행 문자가 없으면 입력을 거부합니다.
및 이전 지시문. NS "확인-다음:"는 파일의 첫 번째 지시문일 수 없습니다.

XNUMXD덴탈의 체크하지 않음: 지령
"체크하지 않음:" 지시문은 두 문자열 사이에 문자열이 발생하지 않는지 확인하는 데 사용됩니다.
일치(또는 첫 번째 일치 전 또는 마지막 일치 후). 예를 들어 다음을 확인하려면
변형에 의해 부하가 제거되면 다음과 같은 테스트를 사용할 수 있습니다.

정의 i8 @coerce_offset0(i32 %V, i32* %P) {
i32 %V, i32* %P 저장

%P2 = 비트캐스트 i32* %P에서 i8*로
%P3 = getelementptr i8* %P2, i32 2

%A = 로드 i8* %P3
i8%A를 다시 설정하세요
; 확인: @coerce_offset0
; 체크하지 않음: 로드
; 확인: ret i8
}

XNUMXD덴탈의 체크-DAG: 지령
엄격하게 순차적으로 발생하지 않는 문자열을 일치시켜야 하는 경우,
"체크-DAG:" 두 경기 사이(또는 첫 번째 경기 전,
또는 마지막 경기 후). 예를 들어, clang은 vtable 전역을 역순으로 내보냅니다. 사용
체크-DAG:, 수표를 자연스러운 순서로 유지할 수 있습니다.

// 실행: %clang_cc1 %s -emit-llvm -o - | 파일 검사 %s

struct Foo { 가상 무효 메소드(); };
푸 에프; // vtable을 내보냅니다.
// 확인-DAG: @_ZTV3Foo =

struct Bar { 가상 무효 메소드(); };
바 b;
// 체크-DAG: @_ZTV3Bar =

체크하지 않음: 지시문은 다음과 혼합될 수 있습니다. 체크-DAG: 사이의 문자열을 제외하는 지시문
주변 체크-DAG: 지시. 그 결과 주변 체크-DAG: ��ħ
재정렬할 수 없습니다. 즉, 모든 항목이 일치합니다. 체크-DAG: 전에 체크하지 않음: 하지 않아야
뒤처지는 발생 일치 체크-DAG: 시간 내에 체크하지 않음:. 예를 들어,

; 체크-대그: 이전
; 체크하지 않음: 아님
; CHECK-DAG: 이후

이 경우는 입력 문자열을 거부합니다. 전에 이후에 발생 한 후에.

캡처된 변수로, 체크-DAG: DAG의 유효한 토폴로지 순서와 일치할 수 있습니다.
변수의 정의에서 사용까지의 가장자리가 있습니다. 예를 들어 다음과 같은 경우에 유용합니다.
테스트 케이스는 명령어 스케줄러의 다른 출력 시퀀스와 일치해야 합니다. 을위한
예,

; CHECK-DAG: [[REG1:r[0-9]+]], r1, r2 추가
; CHECK-DAG: [[REG2:r[0-9]+]], r3, r4 추가
; 확인: mul r5, [[REG1]], [[REG2]]

이 경우, 그 둘 중 어떤 순서라도 더하다 지시가 허용됩니다.

정의하는 경우 과 같은 변수를 사용하여 체크-DAG: 차단
정의 규칙이 일치할 수 있음 시간 내에 그것의 사용.

따라서 예를 들어 아래 코드는 다음과 같이 전달됩니다.

; 확인-DAG: vmov.32 [[REG2:d[0-9]+]][0]
; 확인-DAG: vmov.32 [[REG2]][1]
vmov.32 d0[1]
vmov.32 d0[0]

이 다른 코드는 다음을 수행하지 않습니다.

; 확인-DAG: vmov.32 [[REG2:d[0-9]+]][0]
; 확인-DAG: vmov.32 [[REG2]][1]
vmov.32 d1[1]
vmov.32 d0[0]

이것은 매우 유용할 수 있지만 또한 위험합니다.
순서가 확실해야 합니다(쓰기 전에 읽기, 사용하기 전에 복사 등). 만약
테스트가 찾고 있는 정의가 일치하지 않는 경우(컴파일러의 버그로 인해)
사용에서 더 멀리 일치할 수 있으며 실제 버그를 멀리 숨길 수 있습니다.

이러한 경우 순서를 적용하려면 DAG 블록 사이에 비 DAG 지시문을 사용하십시오.

XNUMXD덴탈의 체크 라벨: 지령
때로는 논리적 블록으로 분할된 여러 테스트를 포함하는 파일에서 하나 이상의
검사: 지시문은 이후 블록의 행을 일치시켜 실수로 성공할 수 있습니다. 동안
오류는 일반적으로 결국 생성되지만 오류를 일으키는 것으로 플래그가 지정된 검사는 그렇지 않을 수 있습니다.
실제로 문제의 실제 원인과 관계가 있습니다.

이러한 경우 더 나은 오류 메시지를 생성하기 위해 "체크 라벨:" 지시문은
사용된다. 일반과 동일하게 처리됩니다 CHECK FileCheck가 만드는 것을 제외하고 지시문
지시문과 일치하는 행도 다음에 의해 일치될 수 없다는 추가 가정
다른 모든 수표 일치 파일 이름; 이것은 라인에 사용하기위한 것입니다
레이블 또는 기타 고유 식별자를 포함합니다. 개념적으로 존재 체크 라벨
입력 스트림을 개별 블록으로 나누고 각 블록은 독립적으로 처리됩니다.
방지 검사: 한 블록의 지시문이 다른 블록의 행과 일치합니다. 예를 들어,

정의 %struct.C* @C_ctor_base(%struct.C* %this, i32 %x) {
기입:
; 확인 라벨: C_ctor_base:
; 확인: mov [[SAVETHIS:r[0-9]+]], r0
; 확인: bl A_ctor_base
; 확인: mov r0, [[저장]]
%0 = 비트캐스트 %struct.C* %이를 %struct.A*로
%call = 꼬리 호출 %struct.A* @A_ctor_base(%struct.A* %0)
%1 = 비트캐스트 %struct.C* %이를 %struct.B*로
%call2 = 꼬리 호출 %struct.B* @B_ctor_base(%struct.B* %1, i32 %x)
ret %struct.C* % this
}

정의 %struct.D* @D_ctor_base(%struct.D* %this, i32 %x) {
기입:
; 확인 라벨: D_ctor_base:

사용 체크 라벨: 이 경우 지시문은 세 가지 검사: ��ħ
본문에 해당하는 줄만 허용 @C_ctor_base 기능을 수행하더라도
패턴은 파일의 뒷부분에서 찾은 일치 라인입니다. 또한 이 XNUMX가지 중 하나라도 검사:
지시문이 실패하면 FileCheck는 다음 블록을 계속하여 복구하여 여러
단일 호출에서 감지할 테스트 실패.

요구 사항은 없습니다. 체크 라벨: 지시문에는 다음과 같은 문자열이 포함됩니다.
소스 또는 출력 언어의 실제 구문 레이블: 단순히 고유하게 일치해야 합니다.
확인 중인 파일의 한 줄.

체크 라벨: 지시문은 변수 정의 또는 사용을 포함할 수 없습니다.

파일 검사 무늬 매칭 통사론
"검사:"와"체크하지 않음:" 지시문은 모두 일치하는 패턴을 취합니다. 대부분의 경우
FileCheck, 고정 문자열 매칭으로 충분합니다. 어떤 경우에는 더
유연한 형태의 매칭이 필요합니다. 이를 지원하기 위해 FileCheck를 사용하여 다음을 지정할 수 있습니다.
이중 중괄호로 묶인 일치하는 문자열의 정규식: {{yourregex}}.
우리가 하는 대부분의 작업에 고정 문자열 일치를 사용하기를 원하기 때문에 FileCheck는
일반 문자열과 일치하는 고정 문자열의 혼합 및 일치를 지원하도록 설계되었습니다.
표현. 이를 통해 다음과 같이 작성할 수 있습니다.

; 확인: movhpd {{[0-9]+}}(%esp), {{%xmm[0-7]}}

이 경우 ESP 레지스터의 오프셋이 허용되고 모든 xmm 레지스터는
허용됩니다.

정규식은 이중 중괄호로 묶여 있기 때문에 시각적으로 구별됩니다.
그리고 C에서처럼 이중 중괄호 안에 이스케이프 문자를 사용할 필요가 없습니다.
입력에서 명시적으로 이중 중괄호를 일치시키려는 드문 경우에는 다음을 수행할 수 있습니다.
다음과 같은 추악한 것을 사용 {{[{][{]}} 당신의 패턴으로.

파일 검사 변수
패턴을 일치시킨 다음 나중에 다시 발생하는지 확인하는 것이 종종 유용합니다.
파일. codegen 테스트의 경우 이것은 모든 레지스터를 허용하는 데 유용할 수 있지만 다음을 확인하십시오.
레지스터는 나중에 일관되게 사용됩니다. 이것을하기 위해, 파일 검사 명명된 변수를 허용
정의되고 패턴으로 대체됩니다. 다음은 간단한 예입니다.

; 확인: 테스트5:
; 확인: 지금 [[등록:%[az]+]]
; 확인: andw {{.*}}[[등록]]

첫 번째 체크 라인은 정규식과 일치합니다. %[아즈]+ 변수에 캡처 바이낸스(BINANCE) 가입하기.
두 번째 줄은 다음 항목이 무엇인지 확인합니다. 바이낸스(BINANCE) 가입하기 이후에 파일에서 발생
"그리고". 파일 검사 변수 참조는 항상 [[ ]] 쌍, 그리고 그들의
이름은 정규식으로 구성할 수 있습니다. [a-zA-Z][a-zA-Z0-9]*. 콜론이 이름 뒤에 오는 경우,
그런 다음 변수의 정의입니다. 그렇지 않으면 사용입니다.

파일 검사 변수는 여러 번 정의할 수 있으며 항상 최신 값을 사용합니다.
변수는 나중에 정의된 동일한 라인에서 사용할 수도 있습니다. 예를 들어:

; 확인: op [[REG:r[0-9]+]], [[REG]]

피연산자를 원할 경우 유용할 수 있습니다. op 동일한 레지스터가 되며 상관하지 않습니다.
정확히 어떤 레지스터인지.

파일 검사 식
때로는 일치 파일의 줄 번호를 참조하는 출력을 확인해야 할 필요가 있습니다.
예를 들어 컴파일러 진단을 테스트할 때. 이것은 경기의 특정 취약성을 소개합니다.
파일 구조, "검사:" 줄에는 동일한 파일에 절대 줄 번호가 포함되어 있습니다.
텍스트 추가 또는 삭제로 인해 줄 번호가 변경될 때마다 업데이트해야 합니다.

이 경우를 지원하기 위해 FileCheck는 [[@선]], [[@LINE+ ]],
[[@선- ]] 패턴의 표현. 이러한 표현은 다음과 같이 확장됩니다.
패턴이 있는 라인(선택적인 정수 오프셋 포함).

이 방법으로 일치 패턴을 관련 테스트 라인 근처에 배치하고 상대 라인을 포함할 수 있습니다.
번호 참조, 예:

// 확인: test.cpp:[[@LINE+4]]:6: 오류: 예상 ';' 최상위 선언자 이후
// 확인-다음: {{^int a}}
// 확인-다음: {{^ \^}}
// 다음 확인: {{^ ;}}
정수

onworks.net 서비스를 사용하여 온라인으로 FileCheck-3.6 사용