ASR and LLVM: implement xor

Chochan-He · Dec 2, 2021 · f02b68a · f02b68a
1 parent 1ec6095
commit f02b68a
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/grammar/ASR.asdl b/grammar/ASR.asdl
@@ -230,7 +230,7 @@ ttype
     | Class(symbol class_type, dimension* dims)
     | Pointer(ttype type)
 
-boolop = And | Or | NEqv | Eqv
+boolop = And | Or | Xor | NEqv | Eqv
 
 binop = Add | Sub | Mul | Div | Pow
 

diff --git a/src/lfortran/codegen/asr_to_llvm.cpp b/src/lfortran/codegen/asr_to_llvm.cpp
@@ -2714,6 +2714,10 @@ class ASRToLLVMVisitor : public ASR::BaseVisitor<ASRToLLVMVisitor>
                     tmp = builder->CreateOr(left_val, right_val);
                     break;
                 };
+                case ASR::boolopType::Xor: {
+                    tmp = builder->CreateXor(left_val, right_val);
+                    break;
+                };
                 case ASR::boolopType::NEqv: {
                     tmp = builder->CreateXor(left_val, right_val);
                     break;

diff --git a/src/lfortran/semantics/ast_common_visitor.h b/src/lfortran/semantics/ast_common_visitor.h
@@ -257,14 +257,17 @@ class CommonVisitorMethods {
     case (AST::Or):
       op = ASR::Or;
       break;
+    case (AST::Xor):
+      op = ASR::Xor;
+      break;
     case (AST::NEqv):
       op = ASR::NEqv;
       break;
     case (AST::Eqv):
       op = ASR::Eqv;
       break;
     default:
-      throw SemanticError(R"""(Only .and., .or., .neqv., .eqv.
+      throw SemanticError(R"""(Only .and., .or., .xor., .neqv., .eqv.
                                     implemented for logical type operands.)""",
                           x.base.base.loc);
     }