[CIR][ThroughMLIR] Add ASinOp Lowering (#1530)

Adds implementation for ASinOp's lowering ThroughMLIR.

Author: ayokunle321

clang/lib/CIR/Lowering/ThroughMLIR/LowerCIRToMLIR.cpp

@@ -491,6 +491,18 @@ class CIRSinOpLowering : public mlir::OpConversionPattern<cir::SinOp> {
   }
 };
 
+class CIRASinOpLowering : public mlir::OpConversionPattern<cir::ASinOp> {
+public:
+  using mlir::OpConversionPattern<cir::ASinOp>::OpConversionPattern;
+
+  mlir::LogicalResult
+  matchAndRewrite(cir::ASinOp op, OpAdaptor adaptor,
+                  mlir::ConversionPatternRewriter &rewriter) const override {
+    rewriter.replaceOpWithNewOp<mlir::math::AsinOp>(op, adaptor.getSrc());
+    return mlir::LogicalResult::success();
+  }
+};
+
 template <typename CIROp, typename MLIROp>
 class CIRCountZerosBitOpLowering : public mlir::OpConversionPattern<CIROp> {
 public:
@@ -1395,8 +1407,8 @@ void populateCIRToMLIRConversionPatterns(mlir::RewritePatternSet &patterns,
            CIRBitClzOpLowering, CIRBitCtzOpLowering, CIRBitPopcountOpLowering,
            CIRBitClrsbOpLowering, CIRBitFfsOpLowering, CIRBitParityOpLowering,
            CIRIfOpLowering, CIRVectorCreateLowering, CIRVectorInsertLowering,
-           CIRVectorExtractLowering, CIRVectorCmpOpLowering, CIRACosOpLowering>(
-          converter, patterns.getContext());
+           CIRVectorExtractLowering, CIRVectorCmpOpLowering, CIRACosOpLowering,
+           CIRASinOpLowering>(converter, patterns.getContext());
 }
 
 static mlir::TypeConverter prepareTypeConverter() {

clang/test/CIR/Lowering/ThroughMLIR/asin.cir

@@ -0,0 +1,30 @@
+// RUN: cir-opt %s -cir-to-mlir -o %t.mlir
+// RUN: FileCheck %s --input-file %t.mlir
+
+module {
+  cir.func @foo() {
+    %1 = cir.const #cir.fp<1.0> : !cir.float
+    %2 = cir.const #cir.fp<1.0> : !cir.double
+    %3 = cir.const #cir.fp<1.0> : !cir.long_double<!cir.f80>
+    %4 = cir.const #cir.fp<1.0> : !cir.long_double<!cir.double>
+    %5 = cir.asin %1 : !cir.float
+    %6 = cir.asin %2 : !cir.double
+    %7 = cir.asin %3 : !cir.long_double<!cir.f80>
+    %8 = cir.asin %4 : !cir.long_double<!cir.double>
+    cir.return
+  }
+}
+
+// CHECK:      module {
+// CHECK-NEXT:   func.func @foo() {
+// CHECK-NEXT:     %[[C0:.+]] = arith.constant 1.000000e+00 : f32
+// CHECK-NEXT:     %[[C1:.+]] = arith.constant 1.000000e+00 : f64
+// CHECK-NEXT:     %[[C2:.+]] = arith.constant 1.000000e+00 : f80
+// CHECK-NEXT:     %[[C3:.+]] = arith.constant 1.000000e+00 : f64
+// CHECK-NEXT:     %{{.+}} = math.asin %[[C0]] : f32
+// CHECK-NEXT:     %{{.+}} = math.asin %[[C1]] : f64
+// CHECK-NEXT:     %{{.+}} = math.asin %[[C2]] : f80
+// CHECK-NEXT:     %{{.+}} = math.asin %[[C3]] : f64
+// CHECK-NEXT:     return
+// CHECK-NEXT:   }
+// CHECK-NEXT: }