llvm/test/Transforms/SCCP/return-zapped.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
   2 ; RUN: opt < %s -S -passes=ipsccp | FileCheck %s
   3
   4 ; After the first round of Solver.Solve(), the return value of @testf still
   5 ; undefined as we hit a branch on undef. Therefore the conditional branch on
   6 ; @testf's return value in @bar is unknown. In ResolvedUndefsIn, we force the
   7 ; false branch to be feasible. We later discover that @testf actually
   8 ; returns true, so we end up with an unfolded "br i1 true".
   9 define void @test1() {
  10 ; CHECK-LABEL: define {{[^@]+}}@test1() {
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    br label [[IF_THEN:%.*]]
  13 ; CHECK:       if.then:
  14 ; CHECK-NEXT:    [[FOO:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[IF_THEN]] ]
  15 ; CHECK-NEXT:    [[NEXT]] = add i32 [[FOO]], 1
  16 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @testf()
  17 ; CHECK-NEXT:    br i1 true, label [[IF_END:%.*]], label [[IF_THEN]]
  18 ; CHECK:       if.end:
  19 ; CHECK-NEXT:    ret void
  20 ;
  21 entry:
  22   br label %if.then
  23 if.then:                                          ; preds = %entry, %if.then
  24   %foo = phi i32 [ 0, %entry], [ %next, %if.then]
  25   %next = add i32 %foo, 1
  26   %call = call i1 @testf()
  27   br i1 %call, label %if.end, label %if.then
  28
  29 if.end:                                           ; preds = %if.then, %entry
  30   ret void
  31 }
  32
  33 define internal i1 @testf() {
  34 ; CHECK-LABEL: define {{[^@]+}}@testf() {
  35 ; CHECK-NEXT:  entry:
  36 ; CHECK-NEXT:    br label [[IF_END3:%.*]]
  37 ; CHECK:       if.end3:
  38 ; CHECK-NEXT:    ret i1 undef
  39 ;
  40 entry:
  41   br i1 undef, label %if.then1, label %if.end3
  42
  43 if.then1:                                         ; preds = %if.end
  44   br label %if.end3
  45
  46 if.end3:                                          ; preds = %if.then1, %entry
  47   ret i1 true
  48 }
  49
  50 ; Call sites in unreachable blocks should not be a problem.
  51 define i1 @test2() {
  52 ; CHECK-LABEL: define {{[^@]+}}@test2() {
  53 ; CHECK-NEXT:  entry:
  54 ; CHECK-NEXT:    br label [[IF_END:%.*]]
  55 ; CHECK:       if.end:
  56 ; CHECK-NEXT:    [[CALL2:%.*]] = call i1 @testf()
  57 ; CHECK-NEXT:    ret i1 true
  58 ;
  59 entry:
  60   br label %if.end
  61
  62 if.then:                                          ; preds = %entry, %if.then
  63   %call = call i1 @testf()
  64   br i1 %call, label %if.end, label %if.then
  65
  66 if.end:                                           ; preds = %if.then, %entry
  67   %call2 = call i1 @testf()
  68   ret i1 %call2
  69 }