// RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s

// -----
// CHECK-LABEL: @simd_nontemporal
llvm.func @simd_nontemporal() {
  %0 = llvm.mlir.constant(10 : i64) : i64
  %1 = llvm.mlir.constant(1 : i64) : i64
  %2 = llvm.alloca %1 x i64 : (i64) -> !llvm.ptr
  %3 = llvm.alloca %1 x i64 : (i64) -> !llvm.ptr
  //CHECK: %[[A_ADDR:.*]] = alloca i64, i64 1, align 8
  //CHECK: %[[B_ADDR:.*]] = alloca i64, i64 1, align 8
  //CHECK: %[[B:.*]] = load i64, ptr %[[B_ADDR]], align 4, !nontemporal !1, !llvm.access.group !2
  //CHECK: store i64 %[[B]], ptr %[[A_ADDR]], align 4, !nontemporal !1, !llvm.access.group !2
  omp.simd nontemporal(%2, %3 : !llvm.ptr, !llvm.ptr) {
    omp.loop_nest (%arg0) : i64 = (%1) to (%0) inclusive step (%1) {
      %4 = llvm.load %3 {nontemporal}: !llvm.ptr -> i64
      llvm.store %4, %2 {nontemporal} : i64, !llvm.ptr
      omp.yield
    }
  }
  llvm.return
}

// -----

//CHECK-LABEL:  define void @_QPtest(ptr %0, ptr %1) {
llvm.func @_QPtest(%arg0: !llvm.ptr {fir.bindc_name = "n"}, %arg1: !llvm.ptr {fir.bindc_name = "a"}) {
    %0 = llvm.mlir.constant(1 : i32) : i32
    %1 = llvm.alloca %0 x !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)> {alignment = 8 : i64} : (i32) -> !llvm.ptr
    %2 = llvm.alloca %0 x !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)> {alignment = 8 : i64} : (i32) -> !llvm.ptr
    %3 = llvm.mlir.constant(1 : i64) : i64
    %4 = llvm.alloca %3 x i32 {bindc_name = "i", pinned} : (i64) -> !llvm.ptr
    %6 = llvm.load %arg0 : !llvm.ptr -> i32
    // CHECK:  %[[A_VAL1:.*]] = alloca { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, align 8
    // CHECK:  %[[A_VAL2:.*]] = alloca { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, align 8
    omp.simd nontemporal(%arg1 : !llvm.ptr) {
      omp.loop_nest (%arg2) : i32 = (%0) to (%6) inclusive step (%0) {
        llvm.store %arg2, %4 : i32, !llvm.ptr
        // CHECK:  call void @llvm.memcpy.p0.p0.i32(ptr %[[A_VAL2]], ptr %1, i32 48, i1 false)
        %7 = llvm.mlir.constant(48 : i32) : i32
        "llvm.intr.memcpy"(%2, %arg1, %7) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i32) -> ()
        %8 = llvm.load %4 : !llvm.ptr -> i32
        %9 = llvm.sext %8 : i32 to i64
        %10 = llvm.getelementptr %2[0, 0] : (!llvm.ptr) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %11 = llvm.load %10 : !llvm.ptr -> !llvm.ptr
        %12 = llvm.mlir.constant(0 : index) : i64
        %13 = llvm.getelementptr %2[0, 7, %12, 0] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %14 = llvm.load %13 : !llvm.ptr -> i64
        %15 = llvm.getelementptr %2[0, 7, %12, 1] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %16 = llvm.load %15 : !llvm.ptr -> i64
        %17 = llvm.getelementptr %2[0, 7, %12, 2] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %18 = llvm.load %17 : !llvm.ptr -> i64
        %19 = llvm.mlir.constant(0 : i64) : i64
        %20 = llvm.sub %9, %14 overflow<nsw> : i64
        %21 = llvm.mul %20, %3 overflow<nsw> : i64
        %22 = llvm.mul %21, %3 overflow<nsw> : i64
        %23 = llvm.add %22,%19 overflow<nsw> : i64
        %24 = llvm.mul %3, %16 overflow<nsw> : i64
        // CHECK:  %[[VAL1:.*]] = getelementptr float, ptr {{.*}}, i64 %{{.*}}
        // CHECK:  %[[LOAD_A:.*]] = load float, ptr %[[VAL1]], align 4, !nontemporal 
        // CHECK:  %[[RES:.*]] = fadd contract float %[[LOAD_A]], 2.000000e+01
        %25 = llvm.getelementptr %11[%23] : (!llvm.ptr, i64) -> !llvm.ptr, f32
        %26 = llvm.load %25 {nontemporal} : !llvm.ptr -> f32
        %27 = llvm.mlir.constant(2.000000e+01 : f32) : f32
        %28 = llvm.fadd %26, %27 {fastmathFlags = #llvm.fastmath<contract>} : f32
        // CHECK:  call void @llvm.memcpy.p0.p0.i32(ptr %[[A_VAL1]], ptr %1, i32 48, i1 false)
        %29 = llvm.mlir.constant(48 : i32) : i32
        "llvm.intr.memcpy"(%1, %arg1, %29) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i32) -> ()
        %30 = llvm.load %4 : !llvm.ptr -> i32
        %31 = llvm.sext %30 : i32 to i64
        %32 = llvm.getelementptr %1[0, 0] : (!llvm.ptr) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %33 = llvm.load %32 : !llvm.ptr -> !llvm.ptr
        %34 = llvm.mlir.constant(0 : index) : i64
        %35 = llvm.getelementptr %1[0, 7, %34, 0] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %36 = llvm.load %35 : !llvm.ptr -> i64
        %37 = llvm.getelementptr %1[0, 7, %34, 1] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %38 = llvm.load %37 : !llvm.ptr -> i64
        %39 = llvm.getelementptr %1[0, 7, %34, 2] : (!llvm.ptr, i64) -> !llvm.ptr, !llvm.struct<(ptr, i64, i32, i8, i8, i8, i8, array<1 x array<3 x i64>>)>
        %40 = llvm.load %39 : !llvm.ptr -> i64
        %41 = llvm.sub %31, %36 overflow<nsw> : i64
        %42 = llvm.mul %41, %3 overflow<nsw> : i64
        %43 = llvm.mul %42, %3 overflow<nsw> : i64
        %44 = llvm.add %43,%19 overflow<nsw> : i64
        %45 = llvm.mul %3, %38 overflow<nsw> : i64
        // CHECK:  %[[VAL2:.*]] = getelementptr float, ptr %{{.*}}, i64 %{{.*}}
        // CHECK:  store float %[[RES]], ptr %[[VAL2]], align 4, !nontemporal 
        %46 = llvm.getelementptr %33[%44] : (!llvm.ptr, i64) -> !llvm.ptr, f32
        llvm.store %28, %46 {nontemporal} : f32, !llvm.ptr
        omp.yield
      }
    }
    llvm.return
  }

// -----