llvm/test/Transforms/SimplifyCFG/convergent.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
   3 ; RUN: opt -S -passes=simplifycfg < %s | FileCheck %s
   4
   5 declare void @foo() convergent
   6
   7 define i32 @test_01(i32 %a) {
   8 ; CHECK-LABEL: @test_01(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[A:%.*]], 0
  11 ; CHECK-NEXT:    br i1 [[COND]], label [[MERGE:%.*]], label [[IF_FALSE:%.*]]
  12 ; CHECK:       if.false:
  13 ; CHECK-NEXT:    call void @foo()
  14 ; CHECK-NEXT:    br label [[MERGE]]
  15 ; CHECK:       merge:
  16 ; CHECK-NEXT:    call void @foo()
  17 ; CHECK-NEXT:    br i1 [[COND]], label [[EXIT:%.*]], label [[IF_FALSE_2:%.*]]
  18 ; CHECK:       if.false.2:
  19 ; CHECK-NEXT:    call void @foo()
  20 ; CHECK-NEXT:    br label [[EXIT]]
  21 ; CHECK:       exit:
  22 ; CHECK-NEXT:    ret i32 [[A]]
  23 ;
  24 entry:
  25   %cond = icmp eq i32 %a, 0
  26   br i1 %cond, label %merge, label %if.false
  27
  28 if.false:
  29   call void @foo()
  30   br label %merge
  31
  32 merge:
  33   call void @foo()
  34   br i1 %cond, label %exit, label %if.false.2
  35
  36 if.false.2:
  37   call void @foo()
  38   br label %exit
  39
  40 exit:
  41   ret i32 %a
  42 }