[CIR][ThroughMLIR] Add ATanOp Lowering (#1528)

Adds implementation for ATanOp's lowering ThroughMLIR.

Author: ayokunle321

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

@@ -279,6 +279,18 @@ class CIRStoreOpLowering : public mlir::OpConversionPattern<cir::StoreOp> {
   }
 };
 
+class CIRATanOpLowering : public mlir::OpConversionPattern<cir::ATanOp> {
+public:
+  using OpConversionPattern<cir::ATanOp>::OpConversionPattern;
+
+  mlir::LogicalResult
+  matchAndRewrite(cir::ATanOp op, OpAdaptor adaptor,
+                  mlir::ConversionPatternRewriter &rewriter) const override {
+    rewriter.replaceOpWithNewOp<mlir::math::AtanOp>(op, adaptor.getSrc());
+    return mlir::LogicalResult::success();
+  }
+};
+
 class CIRCosOpLowering : public mlir::OpConversionPattern<cir::CosOp> {
 public:
   using OpConversionPattern<cir::CosOp>::OpConversionPattern;
@@ -1356,22 +1368,23 @@ void populateCIRToMLIRConversionPatterns(mlir::RewritePatternSet &patterns,
                                          mlir::TypeConverter &converter) {
   patterns.add<CIRReturnLowering, CIRBrOpLowering>(patterns.getContext());
 
-  patterns.add<
-      CIRCmpOpLowering, CIRCallOpLowering, CIRUnaryOpLowering, CIRBinOpLowering,
-      CIRLoadOpLowering, CIRConstantOpLowering, CIRStoreOpLowering,
-      CIRAllocaOpLowering, CIRFuncOpLowering, CIRScopeOpLowering,
-      CIRBrCondOpLowering, CIRTernaryOpLowering, CIRYieldOpLowering,
-      CIRCosOpLowering, CIRGlobalOpLowering, CIRGetGlobalOpLowering,
-      CIRCastOpLowering, CIRPtrStrideOpLowering, CIRSqrtOpLowering,
-      CIRCeilOpLowering, CIRExp2OpLowering, CIRExpOpLowering, CIRFAbsOpLowering,
-      CIRAbsOpLowering, CIRFloorOpLowering, CIRLog10OpLowering,
-      CIRLog2OpLowering, CIRLogOpLowering, CIRRoundOpLowering,
-      CIRPtrStrideOpLowering, CIRSinOpLowering, CIRShiftOpLowering,
-      CIRBitClzOpLowering, CIRBitCtzOpLowering, CIRBitPopcountOpLowering,
-      CIRBitClrsbOpLowering, CIRBitFfsOpLowering, CIRBitParityOpLowering,
-      CIRIfOpLowering, CIRVectorCreateLowering, CIRVectorInsertLowering,
-      CIRVectorExtractLowering, CIRVectorCmpOpLowering>(converter,
-                                                        patterns.getContext());
+  patterns
+      .add<CIRATanOpLowering, CIRCmpOpLowering, CIRCallOpLowering,
+           CIRUnaryOpLowering, CIRBinOpLowering, CIRLoadOpLowering,
+           CIRConstantOpLowering, CIRStoreOpLowering, CIRAllocaOpLowering,
+           CIRFuncOpLowering, CIRScopeOpLowering, CIRBrCondOpLowering,
+           CIRTernaryOpLowering, CIRYieldOpLowering, CIRCosOpLowering,
+           CIRGlobalOpLowering, CIRGetGlobalOpLowering, CIRCastOpLowering,
+           CIRPtrStrideOpLowering, CIRSqrtOpLowering, CIRCeilOpLowering,
+           CIRExp2OpLowering, CIRExpOpLowering, CIRFAbsOpLowering,
+           CIRAbsOpLowering, CIRFloorOpLowering, CIRLog10OpLowering,
+           CIRLog2OpLowering, CIRLogOpLowering, CIRRoundOpLowering,
+           CIRPtrStrideOpLowering, CIRSinOpLowering, CIRShiftOpLowering,
+           CIRBitClzOpLowering, CIRBitCtzOpLowering, CIRBitPopcountOpLowering,
+           CIRBitClrsbOpLowering, CIRBitFfsOpLowering, CIRBitParityOpLowering,
+           CIRIfOpLowering, CIRVectorCreateLowering, CIRVectorInsertLowering,
+           CIRVectorExtractLowering, CIRVectorCmpOpLowering>(
+          converter, patterns.getContext());
 }
 
 static mlir::TypeConverter prepareTypeConverter() {

clang/test/CIR/Lowering/ThroughMLIR/atan.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.atan %1 : !cir.float
+    %6 = cir.atan %2 : !cir.double
+    %7 = cir.atan %3 : !cir.long_double<!cir.f80>
+    %8 = cir.atan %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.atan %[[C0]] : f32
+// CHECK-NEXT:     %{{.+}} = math.atan %[[C1]] : f64
+// CHECK-NEXT:     %{{.+}} = math.atan %[[C2]] : f80
+// CHECK-NEXT:     %{{.+}} = math.atan %[[C3]] : f64
+// CHECK-NEXT:     return
+// CHECK-NEXT:   }
+// CHECK-NEXT: }