230b437d05
### 1. ElementType deduction for pointer-based array sections Problem: Pointer-based array sections were previously ignored during `ElementType` deduction, leading to incorrect assumptions about array item types. This often resulted in out-of-bounds access, as seen in the assertion failure: ``` Assertion `idx < size()' failed. llvm-project/llvm/include/llvm/ADT/SmallVector.h:292: reference llvm::SmallVectorTemplateCommon<llvm::Value *>::operatorsize_type [T = llvm::Value *] ``` Fix: Added a check in clang/lib/CodeGen/CGOpenMPRuntime.cpp to ensure `ElementType` is correctly detected for cases involving non-contiguous updates with a base pointer. Impact: Resolves failures in OpenMP_VV (formerly sollve_vv) and other offload/clang-OpenMP tests: All tests under: https://github.com/OpenMP-Validation-and-Verification/OpenMP_VV/tree/master/tests/5.0/target_update test_target_update_mapper_from_discontiguous.c test_target_update_mapper_to_discontiguous.c test_target_update_to_discontiguous.c test_target_update_from_discontiguous.c ### 2. Zero-dimension propagation in struct member mappings Problem: A zero-dimension entry for struct members introduced inconsistencies in complex mapping logic within OMPIRBuilder.cpp. Placeholder zeros propagated to emitNonContiguousDescriptor(), breaking reverse indexing logic and corrupting IR: Loops assume `Dims[I] >= 1`. When `Dims[I] == 0`: Reverse indexing still stores pointers to uninitialized allocas or mismatched slots. Runtime interprets `ArgSizes[I]` (derived from `Dims[I])` as dimensionality, causing size/offset calculations to collapse to zero → results in `size=0` async copy and plugin interface errors. Fix: Prepend a synthetic dimension of size 1 instead of appending a zero, preserving correctness in `targetDataUpdate()` for non-contiguous updates. Impact: Added dedicated test cases that previously failed on main.
99 lines
2.1 KiB
C
99 lines
2.1 KiB
C
// RUN: %libomptarget-compile-run-and-check-generic
|
|
// This test checks that "update to" with struct member arrays supports strided
|
|
// sections using fixed-size arrays in structs.
|
|
|
|
#include <omp.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
|
|
#define N 16
|
|
|
|
typedef struct {
|
|
double data[N];
|
|
int len;
|
|
} T;
|
|
|
|
int main() {
|
|
T s;
|
|
s.len = N;
|
|
|
|
// Initialize struct array on host with simple sequential values
|
|
for (int i = 0; i < N; i++) {
|
|
s.data[i] = i;
|
|
}
|
|
|
|
printf("original host struct array values:\n");
|
|
for (int i = 0; i < N; i++)
|
|
printf("%.1f\n", s.data[i]);
|
|
printf("\n");
|
|
|
|
#pragma omp target data map(tofrom : s)
|
|
{
|
|
// Initialize device struct array to 20
|
|
#pragma omp target map(tofrom : s)
|
|
{
|
|
for (int i = 0; i < s.len; i++) {
|
|
s.data[i] = 20.0;
|
|
}
|
|
}
|
|
|
|
// Modify host struct data for strided elements (set to 10)
|
|
for (int i = 0; i < 8; i++) {
|
|
s.data[i * 2] = 10.0; // Set even indices to 10
|
|
}
|
|
|
|
// indices 0,2,4,6,8,10,12,14
|
|
#pragma omp target update to(s.data[0 : 8 : 2])
|
|
|
|
// Execute on device - add 5 to verify update worked
|
|
#pragma omp target map(tofrom : s)
|
|
{
|
|
for (int i = 0; i < s.len; i++) {
|
|
s.data[i] += 5.0;
|
|
}
|
|
}
|
|
}
|
|
|
|
printf("after target update to struct:\n");
|
|
for (int i = 0; i < N; i++)
|
|
printf("%.1f\n", s.data[i]);
|
|
|
|
// CHECK: original host struct array values:
|
|
// CHECK-NEXT: 0.0
|
|
// CHECK-NEXT: 1.0
|
|
// CHECK-NEXT: 2.0
|
|
// CHECK-NEXT: 3.0
|
|
// CHECK-NEXT: 4.0
|
|
// CHECK-NEXT: 5.0
|
|
// CHECK-NEXT: 6.0
|
|
// CHECK-NEXT: 7.0
|
|
// CHECK-NEXT: 8.0
|
|
// CHECK-NEXT: 9.0
|
|
// CHECK-NEXT: 10.0
|
|
// CHECK-NEXT: 11.0
|
|
// CHECK-NEXT: 12.0
|
|
// CHECK-NEXT: 13.0
|
|
// CHECK-NEXT: 14.0
|
|
// CHECK-NEXT: 15.0
|
|
|
|
// CHECK: after target update to struct:
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
// CHECK-NEXT: 15.0
|
|
// CHECK-NEXT: 25.0
|
|
|
|
return 0;
|
|
}
|