97 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s2 3// -----4// CHECK-LABEL: @simd_nontemporal5llvm.func @simd_nontemporal() {6 %0 = llvm.mlir.constant(10 : i64) : i647 %1 = llvm.mlir.constant(1 : i64) : i648 %2 = llvm.alloca %1 x i64 : (i64) -> !llvm.ptr9 %3 = llvm.alloca %1 x i64 : (i64) -> !llvm.ptr10 //CHECK: %[[A_ADDR:.*]] = alloca i64, i64 1, align 811 //CHECK: %[[B_ADDR:.*]] = alloca i64, i64 1, align 812 //CHECK: %[[B:.*]] = load i64, ptr %[[B_ADDR]], align 4, !nontemporal !1, !llvm.access.group !213 //CHECK: store i64 %[[B]], ptr %[[A_ADDR]], align 4, !nontemporal !1, !llvm.access.group !214 omp.simd nontemporal(%2, %3 : !llvm.ptr, !llvm.ptr) {15 omp.loop_nest (%arg0) : i64 = (%1) to (%0) inclusive step (%1) {16 %4 = llvm.load %3 {nontemporal}: !llvm.ptr -> i6417 llvm.store %4, %2 {nontemporal} : i64, !llvm.ptr18 omp.yield19 }20 }21 llvm.return22}23 24// -----25 26//CHECK-LABEL: define void @_QPtest(ptr %0, ptr %1) {27llvm.func @_QPtest(%arg0: !llvm.ptr {fir.bindc_name = "n"}, %arg1: !llvm.ptr {fir.bindc_name = "a"}) {28 %0 = llvm.mlir.constant(1 : i32) : i3229 %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.ptr30 %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.ptr31 %3 = llvm.mlir.constant(1 : i64) : i6432 %4 = llvm.alloca %3 x i32 {bindc_name = "i", pinned} : (i64) -> !llvm.ptr33 %6 = llvm.load %arg0 : !llvm.ptr -> i3234 // CHECK: %[[A_VAL1:.*]] = alloca { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, align 835 // CHECK: %[[A_VAL2:.*]] = alloca { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, align 836 omp.simd nontemporal(%arg1 : !llvm.ptr) {37 omp.loop_nest (%arg2) : i32 = (%0) to (%6) inclusive step (%0) {38 llvm.store %arg2, %4 : i32, !llvm.ptr39 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr %[[A_VAL2]], ptr %1, i32 48, i1 false)40 %7 = llvm.mlir.constant(48 : i32) : i3241 "llvm.intr.memcpy"(%2, %arg1, %7) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i32) -> ()42 %8 = llvm.load %4 : !llvm.ptr -> i3243 %9 = llvm.sext %8 : i32 to i6444 %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>>)>45 %11 = llvm.load %10 : !llvm.ptr -> !llvm.ptr46 %12 = llvm.mlir.constant(0 : index) : i6447 %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>>)>48 %14 = llvm.load %13 : !llvm.ptr -> i6449 %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>>)>50 %16 = llvm.load %15 : !llvm.ptr -> i6451 %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>>)>52 %18 = llvm.load %17 : !llvm.ptr -> i6453 %19 = llvm.mlir.constant(0 : i64) : i6454 %20 = llvm.sub %9, %14 overflow<nsw> : i6455 %21 = llvm.mul %20, %3 overflow<nsw> : i6456 %22 = llvm.mul %21, %3 overflow<nsw> : i6457 %23 = llvm.add %22,%19 overflow<nsw> : i6458 %24 = llvm.mul %3, %16 overflow<nsw> : i6459 // CHECK: %[[VAL1:.*]] = getelementptr float, ptr {{.*}}, i64 %{{.*}}60 // CHECK: %[[LOAD_A:.*]] = load float, ptr %[[VAL1]], align 4, !nontemporal 61 // CHECK: %[[RES:.*]] = fadd contract float %[[LOAD_A]], 2.000000e+0162 %25 = llvm.getelementptr %11[%23] : (!llvm.ptr, i64) -> !llvm.ptr, f3263 %26 = llvm.load %25 {nontemporal} : !llvm.ptr -> f3264 %27 = llvm.mlir.constant(2.000000e+01 : f32) : f3265 %28 = llvm.fadd %26, %27 {fastmathFlags = #llvm.fastmath<contract>} : f3266 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr %[[A_VAL1]], ptr %1, i32 48, i1 false)67 %29 = llvm.mlir.constant(48 : i32) : i3268 "llvm.intr.memcpy"(%1, %arg1, %29) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i32) -> ()69 %30 = llvm.load %4 : !llvm.ptr -> i3270 %31 = llvm.sext %30 : i32 to i6471 %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>>)>72 %33 = llvm.load %32 : !llvm.ptr -> !llvm.ptr73 %34 = llvm.mlir.constant(0 : index) : i6474 %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>>)>75 %36 = llvm.load %35 : !llvm.ptr -> i6476 %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>>)>77 %38 = llvm.load %37 : !llvm.ptr -> i6478 %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>>)>79 %40 = llvm.load %39 : !llvm.ptr -> i6480 %41 = llvm.sub %31, %36 overflow<nsw> : i6481 %42 = llvm.mul %41, %3 overflow<nsw> : i6482 %43 = llvm.mul %42, %3 overflow<nsw> : i6483 %44 = llvm.add %43,%19 overflow<nsw> : i6484 %45 = llvm.mul %3, %38 overflow<nsw> : i6485 // CHECK: %[[VAL2:.*]] = getelementptr float, ptr %{{.*}}, i64 %{{.*}}86 // CHECK: store float %[[RES]], ptr %[[VAL2]], align 4, !nontemporal 87 %46 = llvm.getelementptr %33[%44] : (!llvm.ptr, i64) -> !llvm.ptr, f3288 llvm.store %28, %46 {nontemporal} : f32, !llvm.ptr89 omp.yield90 }91 }92 llvm.return93 }94 95// -----96 97