mlir/test/Target/LLVMIR/exact.mlir

   1 // RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s
   2
   3 // CHECK-LABEL: define void @exactflag_func
   4 llvm.func @exactflag_func(%arg0: i64, %arg1: i64) {
   5   // CHECK: %{{.*}} = udiv exact i64 %{{.*}}, %{{.*}}
   6   %0 = llvm.udiv exact %arg0, %arg1 : i64
   7   // CHECK: %{{.*}} = sdiv exact i64 %{{.*}}, %{{.*}}
   8   %1 = llvm.sdiv exact %arg0, %arg1 : i64
   9   // CHECK: %{{.*}} = lshr exact i64 %{{.*}}, %{{.*}}
  10   %2 = llvm.lshr exact %arg0, %arg1 : i64
  11   // CHECK: %{{.*}} = ashr exact i64 %{{.*}}, %{{.*}}
  12   %3 = llvm.ashr exact %arg0, %arg1 : i64
  13   llvm.return
  14 }