File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -11,6 +11,8 @@ pub enum Never {}
1111pub fn make_unmake_result_never ( x : i32 ) -> i32 {
1212 // CHECK-LABEL: define i32 @make_unmake_result_never(i32{{( signext)?}} %x)
1313 // CHECK: start:
14+ // CHECK-NEXT: br label %[[next:bb.*]]
15+ // CHECK: [[next]]:
1416 // CHECK-NEXT: ret i32 %x
1517
1618 let y: Result < i32 , Never > = Ok ( x) ;
@@ -22,6 +24,8 @@ pub fn make_unmake_result_never(x: i32) -> i32 {
2224pub fn extract_control_flow_never ( x : ControlFlow < & str , Never > ) -> & str {
2325 // CHECK-LABEL: define { ptr, i64 } @extract_control_flow_never(ptr align 1 %x.0, i64 %x.1)
2426 // CHECK: start:
27+ // CHECK-NEXT: br label %[[next:bb.*]]
28+ // CHECK: [[next]]:
2529 // CHECK-NEXT: %[[P0:.+]] = insertvalue { ptr, i64 } poison, ptr %x.0, 0
2630 // CHECK-NEXT: %[[P1:.+]] = insertvalue { ptr, i64 } %[[P0]], i64 %x.1, 1
2731 // CHECK-NEXT: ret { ptr, i64 } %[[P1]]
You can’t perform that action at this time.
0 commit comments