[CallSiteSplitting] Avoid branch on undef UB in test (NFC)
authorNikita Popov <npopov@redhat.com>
Tue, 3 Jan 2023 11:51:01 +0000 (12:51 +0100)
committerNikita Popov <npopov@redhat.com>
Tue, 3 Jan 2023 11:51:01 +0000 (12:51 +0100)
llvm/test/Transforms/CallSiteSplitting/split-loop.ll

index 5e8087d..649beb3 100644 (file)
@@ -55,7 +55,7 @@ for.cond12:
   br label %for.cond12
 }
 
-define i16 @test3() {
+define i16 @test3(i1 %c) {
 ; CHECK-LABEL: @test3(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    [[S:%.*]] = select i1 undef, i16 1, i16 0
@@ -67,7 +67,7 @@ define i16 @test3() {
 ; CHECK-NEXT:    call void @callee(i16 [[S]])
 ; CHECK-NEXT:    [[ADD:%.*]] = add i16 [[S]], 10
 ; CHECK-NEXT:    [[ADD2:%.*]] = add i16 [[ADD]], 10
-; CHECK-NEXT:    br i1 undef, label [[FOR_COND12]], label [[EXIT:%.*]]
+; CHECK-NEXT:    br i1 [[C:%.*]], label [[FOR_COND12]], label [[EXIT:%.*]]
 ; CHECK:       exit:
 ; CHECK-NEXT:    ret i16 [[ADD2]]
 ;
@@ -83,7 +83,7 @@ for.cond12:
   call void @callee(i16 %s)
   %add = add i16 %s, 10
   %add2 = add i16 %add, 10
-  br i1 undef, label %for.cond12, label %exit
+  br i1 %c, label %for.cond12, label %exit
 
 exit:
   ret i16 %add2