Do not bail on fcmp ord (#319)

lifting-bits · Feb 22, 2023 · 0cccc98 · 0cccc98
1 parent 87c50e8
commit 0cccc98
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/lib/AST/IRToASTVisitor.cpp b/lib/AST/IRToASTVisitor.cpp
@@ -851,6 +851,11 @@ clang::Expr *ExprGen::visitCmpInst(llvm::CmpInst &inst) {
           ast.CreateBuiltinCall(clang::Builtin::BI__builtin_isunordered, args);
       break;
 
+    case llvm::CmpInst::FCMP_ORD:
+      res = ast.CreateLNot(
+          ast.CreateBuiltinCall(clang::Builtin::BI__builtin_isunordered, args));
+      break;
+
     case llvm::CmpInst::FCMP_TRUE:
       res = ast.CreateTrue();
       break;
@@ -860,7 +865,7 @@ clang::Expr *ExprGen::visitCmpInst(llvm::CmpInst &inst) {
       break;
 
     default:
-      THROW() << "Unknown CmpInst predicate: " << inst.getOpcodeName();
+      THROW() << "Unknown CmpInst predicate: " << LLVMThingToString(&inst);
       return nullptr;
   }
   return res;