Generate IR code for the post increments of pointers

Author: robertoraggi

src/mlir/cxx/mlir/codegen_expressions.cc

@@ -741,6 +741,24 @@ auto Codegen::ExpressionVisitor::operator()(PostIncrExpressionAST* ast)
                                expressionResult.value);
     return {loadOp};
   }
+  if (control()->is_pointer(ast->baseExpression->type)) {
+    auto loc = gen.getLocation(ast->firstSourceLocation());
+    auto ptrTy =
+        mlir::cast<mlir::cxx::PointerType>(expressionResult.value.getType());
+    auto elementTy = ptrTy.getElementType();
+    auto loadOp = mlir::cxx::LoadOp::create(gen.builder_, loc, elementTy,
+                                            expressionResult.value);
+    auto resultTy = gen.convertType(ast->baseExpression->type);
+    auto intTy =
+        mlir::cxx::IntegerType::get(gen.builder_.getContext(), 32, true);
+    auto oneOp = mlir::cxx::IntConstantOp::create(
+        gen.builder_, loc, intTy, ast->op == TokenKind::T_PLUS_PLUS ? 1 : -1);
+    auto addOp =
+        mlir::cxx::PtrAddOp::create(gen.builder_, loc, resultTy, loadOp, oneOp);
+    mlir::cxx::StoreOp::create(gen.builder_, loc, addOp,
+                               expressionResult.value);
+    return {loadOp};
+  }
 
   auto op =
       gen.emitTodoExpr(ast->firstSourceLocation(), to_string(ast->kind()));
@@ -1314,6 +1332,11 @@ auto Codegen::ExpressionVisitor::operator()(ImplicitCastExpressionAST* ast)
       return expressionResult;
     }
 
+    case ImplicitCastKind::kPointerConversion: {
+      auto expressionResult = gen.expression(ast->expression);
+      return expressionResult;
+    }
+
     default:
       break;
 

src/mlir/cxx/mlir/codegen_statements.cc

@@ -186,6 +186,10 @@ void Codegen::StatementVisitor::operator()(SwitchStatementAST* ast) {
 
   auto conditionResult = gen.expression(ast->condition);
 
+  if (!gen.switch_.defaultDestination) {
+    gen.switch_.defaultDestination = endSwitchBlock;
+  }
+
   mlir::cxx::SwitchOp::create(
       gen.builder_, gen.getLocation(ast->firstSourceLocation()),
       conditionResult.value, gen.switch_.defaultDestination, {},

src/mlir/cxx/mlir/cxx_dialect_conversions.cc

@@ -504,14 +504,8 @@ class IntegralCastOpLowering : public OpConversionPattern<cxx::IntegralCastOp> {
     }
 
     if (targetType.getWidth() < sourceType.getWidth()) {
-      // truncation
-      if (isSigned) {
-        rewriter.replaceOpWithNewOp<LLVM::TruncOp>(op, resultType,
-                                                   adaptor.getValue());
-      } else {
-        rewriter.replaceOpWithNewOp<LLVM::ZExtOp>(op, resultType,
-                                                  adaptor.getValue());
-      }
+      rewriter.replaceOpWithNewOp<LLVM::TruncOp>(op, resultType,
+                                                 adaptor.getValue());
       return success();
     }