test/Transforms/GVN/calls-nonlocal.ll

   1 ; Two occurrences of strlen should be zapped.
   2 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   4 target triple = "i386-apple-darwin9"
   5
   6 define i32 @test(i32 %g, i8* %P) nounwind  {
   7 entry:
   8         %tmp2 = call i32 @strlen( i8* %P ) nounwind readonly            ; <i32> [#uses=1]
   9         %tmp3 = icmp eq i32 %tmp2, 100          ; <i1> [#uses=1]
  10         %tmp34 = zext i1 %tmp3 to i8            ; <i8> [#uses=1]
  11         %toBool = icmp ne i8 %tmp34, 0          ; <i1> [#uses=1]
  12         br i1 %toBool, label %bb, label %bb6
  13
  14 bb:             ; preds = %entry
  15         br label %bb27
  16
  17 bb6:            ; preds = %entry
  18         %tmp8 = add i32 %g, 42          ; <i32> [#uses=2]
  19         %tmp10 = call i32 @strlen( i8* %P ) nounwind readonly           ; <i32> [#uses=1]
  20         %tmp11 = icmp eq i32 %tmp10, 100                ; <i1> [#uses=1]
  21         %tmp1112 = zext i1 %tmp11 to i8         ; <i8> [#uses=1]
  22         %toBool13 = icmp ne i8 %tmp1112, 0              ; <i1> [#uses=1]
  23         br i1 %toBool13, label %bb14, label %bb16
  24
  25 bb14:           ; preds = %bb6
  26         br label %bb27
  27
  28 bb16:           ; preds = %bb6
  29         %tmp18 = mul i32 %tmp8, 2               ; <i32> [#uses=1]
  30         %tmp20 = call i32 @strlen( i8* %P ) nounwind readonly           ; <i32> [#uses=1]
  31         %tmp21 = icmp eq i32 %tmp20, 100                ; <i1> [#uses=1]
  32         %tmp2122 = zext i1 %tmp21 to i8         ; <i8> [#uses=1]
  33         %toBool23 = icmp ne i8 %tmp2122, 0              ; <i1> [#uses=1]
  34         br i1 %toBool23, label %bb24, label %bb26
  35
  36 bb24:           ; preds = %bb16
  37         br label %bb27
  38
  39 bb26:           ; preds = %bb16
  40         br label %bb27
  41
  42 bb27:           ; preds = %bb26, %bb24, %bb14, %bb
  43         %tmp.0 = phi i32 [ 11, %bb26 ], [ %tmp18, %bb24 ], [ %tmp8, %bb14 ], [ %g, %bb ]                ; <i32> [#uses=1]
  44         br label %return
  45
  46 return:         ; preds = %bb27
  47         ret i32 %tmp.0
  48 }
  49
  50 ; CHECK: define i32 @test(i32 %g, i8* %P) #0 {
  51 ; CHECK: entry:
  52 ; CHECK:   %tmp2 = call i32 @strlen(i8* %P) #1
  53 ; CHECK:   %tmp3 = icmp eq i32 %tmp2, 100
  54 ; CHECK:   %tmp34 = zext i1 %tmp3 to i8
  55 ; CHECK:   br i1 %tmp3, label %bb, label %bb6
  56 ; CHECK: bb:
  57 ; CHECK:   br label %bb27
  58 ; CHECK: bb6:
  59 ; CHECK:   %tmp8 = add i32 %g, 42
  60 ; CHECK:   br i1 false, label %bb14, label %bb16
  61 ; CHECK: bb14:
  62 ; CHECK:   br label %bb27
  63 ; CHECK: bb16:
  64 ; CHECK:   %tmp18 = mul i32 %tmp8, 2
  65 ; CHECK:   br i1 false, label %bb24, label %bb26
  66 ; CHECK: bb24:
  67 ; CHECK:   br label %bb27
  68 ; CHECK: bb26:
  69 ; CHECK:   br label %bb27
  70 ; CHECK: bb27:
  71 ; CHECK:   %tmp.0 = phi i32 [ 11, %bb26 ], [ undef, %bb24 ], [ undef, %bb14 ], [ %g, %bb ]
  72 ; CHECK:   ret i32 %tmp.0
  73 ; CHECK: }
  74
  75 declare i32 @strlen(i8*) nounwind readonly