Add regression test to close #43069

Author: AnthonyLatsis

test/IRGen/recursion_infinite_optimized.sil

@@ -0,0 +1,20 @@
+// RUN: %target-swift-emit-ir %s -O | %FileCheck %s
+
+sil_stage canonical
+
+import Swift
+
+sil @rec : $@convention(thin) (Int) -> Int {
+bb0(%arg : $Int):
+  %ref = function_ref @rec : $@convention(thin) (Int) -> Int
+  %res = apply %ref(%arg) : $@convention(thin) (Int) -> Int
+  return %res : $Int
+}
+
+// CHECK: define swiftcc [[T:i[0-9]+]] @rec([[T]] %0) #0 {
+// CHECK-NEXT: entry:
+// CHECK-NEXT: br label %tailrecurse
+// CHECK-EMPTY:
+// CHECK-NEXT: tailrecurse:
+// CHECK-NEXT: br label %tailrecurse
+// CHECK-NEXT: }