[region-isolation] Add support for test_specification_inst.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2360,6 +2360,7 @@ CONSTANT_TRANSLATION(EndApplyInst, Ignored)
 CONSTANT_TRANSLATION(AbortApplyInst, Ignored)
 CONSTANT_TRANSLATION(DebugStepInst, Ignored)
 CONSTANT_TRANSLATION(IncrementProfilerCounterInst, Ignored)
+CONSTANT_TRANSLATION(TestSpecificationInst, Ignored)
 
 //===---
 // Require
@@ -2455,7 +2456,6 @@ CONSTANT_TRANSLATION(AssignInst, Unhandled)
 CONSTANT_TRANSLATION(AssignByWrapperInst, Unhandled)
 CONSTANT_TRANSLATION(AssignOrInitInst, Unhandled)
 CONSTANT_TRANSLATION(MarkFunctionEscapeInst, Unhandled)
-CONSTANT_TRANSLATION(TestSpecificationInst, Unhandled)
 CONSTANT_TRANSLATION(PackElementSetInst, Unhandled)
 
 //===---

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -1289,3 +1289,10 @@ bb0:
   return %9999 : $()
 }
 
+sil [ossa] @test_specification_test : $@async @convention(thin) () -> () {
+bb0:
+  specify_test "test_specification_parsing Vs @function[4].trace[0] howdy"
+  %9999 = tuple ()
+  return %9999 : $()
+}
+