[IRGen] Added dominance scope.

nate-chandler · nate-chandler · commit 1875361efe9e · 2023-07-27T15:05:49.000-07:00
diff --git a/lib/IRGen/GenCast.cpp b/lib/IRGen/GenCast.cpp
@@ -883,6 +883,7 @@ void irgen::emitScalarCheckedCast(IRGenFunction &IGF,
 
   bool sourceWrappedInOptional = false;
 
+  llvm::Optional<ConditionalDominanceScope> domScope;
   if (auto sourceOptObjectType = sourceLoweredType.getOptionalObjectType()) {
     // Translate the value from an enum representation to a possibly-null
     // representation.  Note that we assume that this projection is safe
@@ -912,6 +913,7 @@ void irgen::emitScalarCheckedCast(IRGenFunction &IGF,
       Builder.CreateCondBr(isNotNil, isNotNilContBB, nilMergeBB);
 
       Builder.emitBlock(isNotNilContBB);
+      domScope.emplace(IGF);
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -883,6 +883,7 @@ void irgen::emitScalarCheckedCast(IRGenFunction &IGF,`
`883`	`883`
`884`	`884`	`bool sourceWrappedInOptional = false;`
`885`	`885`
	`886`	`+ llvm::Optional<ConditionalDominanceScope> domScope;`
`886`	`887`	`if (auto sourceOptObjectType = sourceLoweredType.getOptionalObjectType()) {`
`887`	`888`	`// Translate the value from an enum representation to a possibly-null`
`888`	`889`	`// representation. Note that we assume that this projection is safe`
`@@ -912,6 +913,7 @@ void irgen::emitScalarCheckedCast(IRGenFunction &IGF,`
`912`	`913`	`Builder.CreateCondBr(isNotNil, isNotNilContBB, nilMergeBB);`
`913`	`914`
`914`	`915`	`Builder.emitBlock(isNotNilContBB);`
	`916`	`+ domScope.emplace(IGF);`
`915`	`917`	`}`
`916`	`918`	`}`
`917`	`919`