78 lines · plain
1// RUN: mlir-opt %s | mlir-opt | FileCheck %s2 3// CHECK-LABEL: @opaque_ptr_load4llvm.func @opaque_ptr_load(%arg0: !llvm.ptr) -> i32 {5 // CHECK: = llvm.load %{{.*}} : !llvm.ptr -> i326 %0 = llvm.load %arg0 : !llvm.ptr -> i327 llvm.return %0 : i328}9 10// CHECK-LABEL: @opaque_ptr_store11llvm.func @opaque_ptr_store(%arg0: i32, %arg1: !llvm.ptr){12 // CHECK: llvm.store %{{.*}}, %{{.*}} : i32, !llvm.ptr13 llvm.store %arg0, %arg1 : i32, !llvm.ptr14 llvm.return15}16 17// CHECK-LABEL: @opaque_ptr_ptr_store18llvm.func @opaque_ptr_ptr_store(%arg0: !llvm.ptr, %arg1: !llvm.ptr) {19 // CHECK: llvm.store %{{.*}}, %{{.*}} : !llvm.ptr, !llvm.ptr20 llvm.store %arg0, %arg1 : !llvm.ptr, !llvm.ptr21 llvm.return22}23 24// CHECK-LABEL: @opaque_ptr_alloca25llvm.func @opaque_ptr_alloca(%arg0: i32) -> !llvm.ptr {26 // CHECK: llvm.alloca %{{.*}} x f32 : (i32) -> !llvm.ptr27 %0 = llvm.alloca %arg0 x f32 : (i32) -> !llvm.ptr28 llvm.return %0 : !llvm.ptr29}30 31// CHECK-LABEL: @opaque_ptr_gep32llvm.func @opaque_ptr_gep(%arg0: !llvm.ptr, %arg1: i32) -> !llvm.ptr {33 // CHECK: = llvm.getelementptr %{{.*}}[%{{.*}}] : (!llvm.ptr, i32) -> !llvm.ptr, f3234 %0 = llvm.getelementptr %arg0[%arg1] : (!llvm.ptr, i32) -> !llvm.ptr, f3235 llvm.return %0 : !llvm.ptr36}37 38// CHECK-LABEL: @opaque_ptr_gep_struct39llvm.func @opaque_ptr_gep_struct(%arg0: !llvm.ptr, %arg1: i32) -> !llvm.ptr {40 // CHECK: = llvm.getelementptr %{{.*}}[%{{.*}}, 0, 1]41 // CHECK: : (!llvm.ptr, i32) -> !llvm.ptr, !llvm.struct<(struct<(f32, f64)>, struct<(i32, i64)>)>42 %0 = llvm.getelementptr %arg0[%arg1, 0, 1] : (!llvm.ptr, i32) -> !llvm.ptr, !llvm.struct<(struct<(f32, f64)>, struct<(i32, i64)>)>43 llvm.return %0 : !llvm.ptr44}45 46// CHECK-LABEL: @opaque_ptr_matrix_load_store47llvm.func @opaque_ptr_matrix_load_store(%ptr: !llvm.ptr, %stride: i64) -> vector<48 x f32> {48 // CHECK: = llvm.intr.matrix.column.major.load49 // CHECK: vector<48xf32> from !llvm.ptr stride i6450 %0 = llvm.intr.matrix.column.major.load %ptr, <stride=%stride>51 { isVolatile = 0: i1, rows = 3: i32, columns = 16: i32} :52 vector<48 x f32> from !llvm.ptr stride i6453 // CHECK: llvm.intr.matrix.column.major.store54 // CHECK: vector<48xf32> to !llvm.ptr stride i6455 llvm.intr.matrix.column.major.store %0, %ptr, <stride=%stride>56 { isVolatile = 0: i1, rows = 3: i32, columns = 16: i32} :57 vector<48 x f32> to !llvm.ptr stride i6458 llvm.return %0 : vector<48 x f32>59}60 61// CHECK-LABEL: @opaque_ptr_masked_load62llvm.func @opaque_ptr_masked_load(%arg0: !llvm.ptr, %arg1: vector<7xi1>) -> vector<7xf32> {63 // CHECK: = llvm.intr.masked.load64 // CHECK: (!llvm.ptr, vector<7xi1>) -> vector<7xf32>65 %0 = llvm.intr.masked.load %arg0, %arg1 { alignment = 1: i32} :66 (!llvm.ptr, vector<7xi1>) -> vector<7xf32>67 llvm.return %0 : vector<7 x f32>68}69 70// CHECK-LABEL: @opaque_ptr_gather71llvm.func @opaque_ptr_gather(%M: vector<7x!llvm.ptr>, %mask: vector<7xi1>) -> vector<7xf32> {72 // CHECK: = llvm.intr.masked.gather73 // CHECK: (vector<7x!llvm.ptr>, vector<7xi1>) -> vector<7xf32>74 %a = llvm.intr.masked.gather %M, %mask { alignment = 1: i32} :75 (vector<7x!llvm.ptr>, vector<7xi1>) -> vector<7xf32>76 llvm.return %a : vector<7xf32>77}78