NVCC hoạt động tốt như thế nào khi tối ưu hóa mã?

Question

NVCC tối ưu hóa mã thiết bị như thế nào? Liệu nó có thực hiện bất kỳ loại tối ưu nào như xếp liên tục và loại trừ biểu hiện chung không?

Ví dụ, nó sẽ làm giảm sau:

float a = 1/sqrtf(2 * M_PI); 
float b = c/sqrtf(2 * M_PI); 

này:

float sqrt_2pi = sqrtf(2 * M_PI); // Compile time constant 
float a = 1/sqrt_2pi; 
float b = c/sqrt_2pi; 

gì về tối ưu hóa thông minh hơn, liên quan đến hiểu biết ngữ nghĩa của hàm toán học:

float a = 1/sqrtf(c * M_PI); 
float b = c/sqrtf(M_PI); 

để này:

float sqrt_pi = sqrtf(M_PI); // Compile time constant 
float a = 1/(sqrt_pi * sqrtf(c)); 
float b = c/sqrt_pi; 

Answer 1

Trình biên dịch luôn đi trước bạn. Trong ví dụ của bạn:

float a = 1/sqrtf(2 * M_PI); 
float b = c/sqrtf(2 * M_PI); 

nvopencc (Open64) sẽ phát ra này:

mov.f32   %f2, 0f40206c99;  // 2.50663 
    div.full.f32 %f3, %f1, %f2; 
    mov.f32   %f4, 0f3ecc422a;  // 0.398942 

tương đương với

float b = c/2.50663f; 
float a = 0.398942f; 

---

Trường hợp thứ hai được biên dịch như sau:

float a = 1/sqrtf(c * 3.14159f); // 0f40490fdb 
float b = c/1.77245f; // 0f3fe2dfc5 

Tôi đoán biểu thức cho a được tạo bởi trình biên dịch phải chính xác hơn phiên bản "được tối ưu hóa" của bạn, nhưng về cùng tốc độ.