test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll

   1 ; PR957
   2 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   3
   4 ; CHECK-NOT: select
   5
   6 @G = extern_weak global i32
   7
   8 define i32 @test(i32 %tmp) {
   9 cond_false179:
  10         %tmp181 = icmp eq i32 %tmp, 0           ; <i1> [#uses=1]
  11         br i1 %tmp181, label %cond_true182, label %cond_next185
  12 cond_true182:           ; preds = %cond_false179
  13         br label %cond_next185
  14 cond_next185:           ; preds = %cond_true182, %cond_false179
  15         %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
  16         ret i32 %d0.3
  17 }
  18
  19 define i32 @test2(i32 %tmp) {
  20 cond_false179:
  21         %tmp181 = icmp eq i32 %tmp, 0           ; <i1> [#uses=1]
  22         br i1 %tmp181, label %cond_true182, label %cond_next185
  23 cond_true182:           ; preds = %cond_false179
  24         br label %cond_next185
  25 cond_next185:           ; preds = %cond_true182, %cond_false179
  26         %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
  27         call i32 @test( i32 4 )         ; <i32>:0 [#uses=0]
  28         ret i32 %d0.3
  29 }