1// RUN: mlir-runner %s -e entry -entry-point-result=void \ 2// RUN: -shared-libs=%mlir_c_runner_utils | \ 3// RUN: FileCheck %s 4 5// End-to-end test of all int reduction intrinsics (not exhaustive unit tests). 6module { 7 llvm.func @printNewline() 8 llvm.func @printI64(i64) 9 llvm.func @entry() { 10 // Setup (1,2,3,4). 11 %0 = llvm.mlir.constant(1 : i64) : i64 12 %1 = llvm.mlir.constant(2 : i64) : i64 13 %2 = llvm.mlir.constant(3 : i64) : i64 14 %3 = llvm.mlir.constant(4 : i64) : i64 15 %4 = llvm.mlir.undef : vector<4xi64> 16 %5 = llvm.mlir.constant(0 : index) : i64 17 %6 = llvm.insertelement %0, %4[%5 : i64] : vector<4xi64> 18 %7 = llvm.shufflevector %6, %4 [0, 0, 0, 0] : vector<4xi64> 19 %8 = llvm.mlir.constant(1 : i64) : i64 20 %9 = llvm.insertelement %1, %7[%8 : i64] : vector<4xi64> 21 %10 = llvm.mlir.constant(2 : i64) : i64 22 %11 = llvm.insertelement %2, %9[%10 : i64] : vector<4xi64> 23 %12 = llvm.mlir.constant(3 : i64) : i64 24 %v = llvm.insertelement %3, %11[%12 : i64] : vector<4xi64> 25 26 %add = "llvm.intr.vector.reduce.add"(%v) 27 : (vector<4xi64>) -> i64 28 llvm.call @printI64(%add) : (i64) -> () 29 llvm.call @printNewline() : () -> () 30 // CHECK: 10 31 32 %and = "llvm.intr.vector.reduce.and"(%v) 33 : (vector<4xi64>) -> i64 34 llvm.call @printI64(%and) : (i64) -> () 35 llvm.call @printNewline() : () -> () 36 // CHECK: 0 37 38 %mul = "llvm.intr.vector.reduce.mul"(%v) 39 : (vector<4xi64>) -> i64 40 llvm.call @printI64(%mul) : (i64) -> () 41 llvm.call @printNewline() : () -> () 42 // CHECK: 24 43 44 %or = "llvm.intr.vector.reduce.or"(%v) 45 : (vector<4xi64>) -> i64 46 llvm.call @printI64(%or) : (i64) -> () 47 llvm.call @printNewline() : () -> () 48 // CHECK: 7 49 50 %smax = "llvm.intr.vector.reduce.smax"(%v) 51 : (vector<4xi64>) -> i64 52 llvm.call @printI64(%smax) : (i64) -> () 53 llvm.call @printNewline() : () -> () 54 // CHECK: 4 55 56 %smin = "llvm.intr.vector.reduce.smin"(%v) 57 : (vector<4xi64>) -> i64 58 llvm.call @printI64(%smin) : (i64) -> () 59 llvm.call @printNewline() : () -> () 60 // CHECK: 1 61 62 %umax = "llvm.intr.vector.reduce.umax"(%v) 63 : (vector<4xi64>) -> i64 64 llvm.call @printI64(%umax) : (i64) -> () 65 llvm.call @printNewline() : () -> () 66 // CHECK: 4 67 68 %umin = "llvm.intr.vector.reduce.umin"(%v) 69 : (vector<4xi64>) -> i64 70 llvm.call @printI64(%umin) : (i64) -> () 71 llvm.call @printNewline() : () -> () 72 // CHECK: 1 73 74 %xor = "llvm.intr.vector.reduce.xor"(%v) 75 : (vector<4xi64>) -> i64 76 llvm.call @printI64(%xor) : (i64) -> () 77 llvm.call @printNewline() : () -> () 78 // CHECK: 4 79 80 llvm.return 81 } 82} 83