fix(exception_elimination): Exception branches are no longer consistent

so cover both cases

Also adjusts Half precision thresholds in python

Signed-off-by: Naren Dasan <naren@narendasan.com>
Signed-off-by: Naren Dasan <narens@nvidia.com>

Author: narendasan

core/lowering/passes/exception_elimination.cpp

@@ -27,13 +27,6 @@ struct ExceptionOrPassPatternElimination {
 
  private:
   bool isExceptionOrPassNode(Node* n) {
-    /// Check if this Node hosts a pattern like so:
-    ///  = prim::If(%5958)
-    ///   block0():
-    ///     = prim::RaiseException(%45)
-    ///    -> ()
-    ///   block1():
-    ///    -> ()
     if (n->blocks().size() != 2) {
       return false;
     }
@@ -46,15 +39,44 @@ struct ExceptionOrPassPatternElimination {
     }
 
     auto arm1_start = arm1->nodes().begin();
+    auto arm2_start = arm2->nodes().begin();
 
-    if ((*arm1_start)->kind() != prim::RaiseException && (*(++arm1_start))->kind() != prim::Return) {
-      // Make sure that block0 is solely just the exception and the return
-      return false;
+    /// Check if this Node hosts a pattern like so:
+    ///  = prim::If(%5958)
+    ///   block0():
+    ///     = prim::RaiseException(%45)
+    ///    -> ()
+    ///   block1():
+    ///    -> ()
+    if ((*arm1_start)->kind() == prim::RaiseException) {
+      if ((*(++arm1_start))->kind() != prim::Return) {
+        // Make sure that block0 is solely just the exception and the return
+        return false;
+      }
+
+      if ((*(arm2_start))->kind() != prim::Return) {
+        // Make sure that block1 is solely the return
+        return false;
+      }
     }
 
-    if ((*(arm2->nodes().begin()))->kind() != prim::Return) {
-      // Make sure that block1 is solely the return
-      return false;
+    /// Check if this Node hosts a pattern like so:
+    ///  = prim::If(%5958)
+    ///   block0():
+    ///    -> ()
+    ///   block1():
+    ///     = prim::RaiseException(%45)
+    ///    -> ()
+    if ((*arm2_start)->kind() == prim::RaiseException) {
+      if ((*(++arm2_start))->kind() != prim::Return) {
+        // Make sure that block1 is solely just the exception and the return
+        return false;
+      }
+
+      if ((*(arm1_start))->kind() != prim::Return) {
+        // Make sure that block0 is solely the return
+        return false;
+      }
     }
 
     return true;

tests/py/test_api.py

@@ -93,7 +93,8 @@ def test_compile_script_half(self):
 
         trt_mod = trtorch.compile(self.scripted_model, compile_spec)
         same = (trt_mod(self.input.half()) - self.scripted_model(self.input.half())).abs().max()
-        self.assertTrue(same < 2e-2)
+        trtorch.logging.log(trtorch.logging.Level.Debug, "Max diff: " + str(same))
+        self.assertTrue(same < 3e-2)
 
 
 class TestCompileHalfDefault(ModelTestCase):
@@ -115,7 +116,8 @@ def test_compile_script_half_by_default(self):
 
         trt_mod = trtorch.compile(self.scripted_model, compile_spec)
         same = (trt_mod(self.input.half()) - self.scripted_model(self.input.half())).abs().max()
-        self.assertTrue(same < 2e-2)
+        trtorch.logging.log(trtorch.logging.Level.Debug, "Max diff: " + str(same))
+        self.assertTrue(same < 3e-2)
 
 
 class TestFallbackToTorch(ModelTestCase):