test/Transforms/SimplifyCFG/branch-phi-thread.ll

   1 ; RUN: opt < %s -simplifycfg -adce -S | \
   2 ; RUN:   not grep {call void @f1}
   3 ; END.
   4
   5 declare void @f1()
   6
   7 declare void @f2()
   8
   9 declare void @f3()
  10
  11 declare void @f4()
  12
  13 define i32 @test1(i32 %X, i1 %D) {
  14 E:
  15         %C = icmp eq i32 %X, 0          ; <i1> [#uses=2]
  16         br i1 %C, label %T, label %F
  17 T:              ; preds = %A, %E
  18         br i1 %C, label %B, label %A
  19 A:              ; preds = %T
  20         call void @f1( )
  21         br i1 %D, label %T, label %F
  22 B:              ; preds = %T
  23         call void @f2( )
  24         ret i32 345
  25 F:              ; preds = %A, %E
  26         call void @f3( )
  27         ret i32 123
  28 }
  29
  30 define i32 @test2(i32 %X, i1 %D) {
  31 E:
  32         %C = icmp eq i32 %X, 0          ; <i1> [#uses=2]
  33         br i1 %C, label %T, label %F
  34 T:              ; preds = %A, %E
  35         %P = phi i1 [ true, %E ], [ %C, %A ]            ; <i1> [#uses=1]
  36         br i1 %P, label %B, label %A
  37 A:              ; preds = %T
  38         call void @f1( )
  39         br i1 %D, label %T, label %F
  40 B:              ; preds = %T
  41         call void @f2( )
  42         ret i32 345
  43 F:              ; preds = %A, %E
  44         call void @f3( )
  45         ret i32 123
  46 }
  47
  48 define i32 @test3(i32 %X, i1 %D, i32* %AP, i32* %BP) {
  49 E:
  50         %C = icmp eq i32 %X, 0          ; <i1> [#uses=2]
  51         br i1 %C, label %T, label %F
  52 T:              ; preds = %A, %E
  53         call void @f3( )
  54         %XX = load i32* %AP             ; <i32> [#uses=1]
  55         store i32 %XX, i32* %BP
  56         br i1 %C, label %B, label %A
  57 A:              ; preds = %T
  58         call void @f1( )
  59         br i1 %D, label %T, label %F
  60 B:              ; preds = %T
  61         call void @f2( )
  62         ret i32 345
  63 F:              ; preds = %A, %E
  64         call void @f3( )
  65         ret i32 123
  66 }