1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s 3 4declare void @bar() 5declare void @baz() 6 7define i8 @foo(i1 %c, i8 %v0, i8 %v1) { 8; CHECK-LABEL: @foo( 9; CHECK-NEXT: entry: 10; CHECK-NEXT: [[V0_V1:%.*]] = select i1 [[C:%.*]], i8 [[V0:%.*]], i8 [[V1:%.*]] 11; CHECK-NEXT: ret i8 [[V0_V1]] 12; 13entry: 14 br i1 %c, label %true, label %false 15 16true: 17 ret i8 %v0 18 19false: 20 ret i8 %v1 21} 22