Occa: 기능 요청: 정의된 변수를 값으로 바꾸기 위해 파서를 중지하는 옵션 추가

불행히도 코드 변환을 적용하려면 모든 정의를 확장해야 합니다.
#define 값은 두 곳에서 찾을 수 있습니다.

raw_source.cpp

> head ~/.occa/cache/c8141715ac4e4272/raw_source.cpp 
#define  block 256

/* The MIT License (MIT)
 *

빌드.json

> cat ~/.occa/cache/c8141715ac4e4272/build.json | jq .kernel.props.defines
{
  "block": 256
}

실제 루프 경계를 추출하기 위해 이 작업을 수행하는 것이 유용하다는 데 동의하고 파서가 이를 수행하도록 설계되었다고 생각합니다. 그러나 코드에서 정의를 보존하는 것이 불가능할 것 같지는 않습니다. 값이 어떻게 계산되는지 추적하면 숫자 값을 인쇄할 필요가 없습니다.

코드를 유지하고 변형하는 것보다 더 어렵습니다.
부분 코드라도 무엇이든 정의할 수 있습니다.

#define foo 3 +

for (int i = 0; i < foo 5; ++i) {}

컴파일러가 여전히 전처리기를 실행하므로 #define 행을 유지하면 문제가 발생할 수도 있습니다.

... 그리고 정의가 단지 숫자 상수라면... ?

... 그리고 왜 추가 논리가 필요한가요 ....?

이것은 출력 커널의 예입니다.

extern "C" __global__ void _occa_ellipticPreconCoarsenHex3D_0(const int Nelements,
                                                              const double * __restrict__ R,
                                                              const double * __restrict__ qf,
                                                              double * __restrict__ qc) {
  {
    int e = 0 + blockIdx.x;
    __shared__ double s_qfff[8][8][8];
    __shared__ double s_qcff[2][8][8];
    __shared__ double s_qccf[2][2][8];
    __shared__ double s_qccc[2][2][2];
    __shared__ double s_R[2][8];
    {
      int k = 0 + threadIdx.z;
      {
        int j = 0 + threadIdx.y;
        {
          int i = 0 + threadIdx.x;
          const int id = i + j * 8 + k * 8 * 8 + e * 512;
          s_qfff[k][j][i] = qf[id];
          if ((k == 0) && (j < 2)) {
            s_R[j][i] = R[j * 8 + i];
          }
        }
      }
    }

커널은 번역 시 가독성을 잃고 있습니다. 이 모든 숫자는 정의되었습니다.

한 걸음 물러서서 기능을 요청한 이유는

생성된 코드를 읽기 쉽게 만들기

생성된 코드는 사용자가 아니라 컴파일러를 위한 것입니다(컴파일러에서 사전 처리된 출력과 유사). 특히 구문 분석기가 아직 성숙하지 않았기 때문에 구문 분석 문제가 있는 경우 살펴보는 데 도움이 될 수 있습니다. 그러나 이러한 문제는 시간이 지남에 따라 해결되어야 합니다.

디버깅을 쉽게 하는 것이 목적이라면 원본 소스 코드와 일치하도록 #line 를 추가해야 한다는 데 동의합니다.

디버깅을 위해 이것이 진정한 보너스가 될 것이라는 데 동의합니다. 좋은 생각입니다!

이 요청의 이유에 대해 더 명확해야 했습니다. OCCA 1.0의 새로운 코드 생성 도구에 대해 내가 구상하는 중요한 사용 사례 중 하나는 OKL에서 비 OCCA 응용 프로그램을 위한 기본 스레딩 언어로의 변환기입니다. 이 경우 생성된 CUDA/OpenCL/HIP/OpenMP 코드가 OKL 코드에서 분리되므로 가독성을 유지하는 것이 중요합니다.

합리적으로 들리네요

먼저 추가해야 할 몇 가지 기능이 있습니다.

• #define 가 아닌 커널 속성으로 전달된 수치 정의에서 전역 변수 생성
  
  
  
  • :warning: #defines 모두에 대해 수행할 수 있다는 것은 정의된 위치와 변환 후 접촉하는 범위를 추적해야 하기 때문에 너무 어렵습니다.
  
  
• [신규 기능] parser::getExpression 동안 $ constexpr 를 해당 값으로 대체
  
  
  
  • 처음에는 const 변수만
  
  
  • constexpr 기능으로 확장
  
  
• 평소처럼 #define 줄을 맨 위에 다시 추가합니다.

기능 요청을 고려해주셔서 감사합니다!