test/Analysis/ScalarEvolution/trip-count3.ll

   1 ; RUN: opt < %s -scalar-evolution -analyze -disable-output \
   2 ; RUN:  | grep {Loop bb3\\.i: Unpredictable backedge-taken count\\.}
   3
   4 ; ScalarEvolution can't compute a trip count because it doesn't know if
   5 ; dividing by the stride will have a remainder. This could theoretically
   6 ; be teaching it how to use a more elaborate trip count computation.
   7
   8 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   9 target triple = "x86_64-unknown-linux-gnu"
  10         %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i64, i32, [20 x i8] }
  11         %struct.SHA_INFO = type { [5 x i32], i32, i32, [16 x i32] }
  12         %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 }
  13 @_2E_str = external constant [26 x i8]          ; <[26 x i8]*> [#uses=0]
  14 @stdin = external global %struct.FILE*          ; <%struct.FILE**> [#uses=0]
  15 @_2E_str1 = external constant [3 x i8]          ; <[3 x i8]*> [#uses=0]
  16 @_2E_str12 = external constant [30 x i8]                ; <[30 x i8]*> [#uses=0]
  17
  18 declare void @sha_init(%struct.SHA_INFO* nocapture) nounwind
  19
  20 declare fastcc void @sha_transform(%struct.SHA_INFO* nocapture) nounwind
  21
  22 declare void @sha_print(%struct.SHA_INFO* nocapture) nounwind
  23
  24 declare i32 @printf(i8* nocapture, ...) nounwind
  25
  26 declare void @sha_final(%struct.SHA_INFO* nocapture) nounwind
  27
  28 declare void @llvm.memset.i64(i8* nocapture, i8, i64, i32) nounwind
  29
  30 declare void @sha_update(%struct.SHA_INFO* nocapture, i8* nocapture, i32) nounwind
  31
  32 declare void @llvm.memcpy.i64(i8* nocapture, i8* nocapture, i64, i32) nounwind
  33
  34 declare i64 @fread(i8* noalias nocapture, i64, i64, %struct.FILE* noalias nocapture) nounwind
  35
  36 declare i32 @main(i32, i8** nocapture) nounwind
  37
  38 declare noalias %struct.FILE* @fopen(i8* noalias nocapture, i8* noalias nocapture) nounwind
  39
  40 declare i32 @fclose(%struct.FILE* nocapture) nounwind
  41
  42 declare void @sha_stream(%struct.SHA_INFO* nocapture, %struct.FILE* nocapture) nounwind
  43
  44 define void @sha_stream_bb3_2E_i(%struct.SHA_INFO* %sha_info, i8* %data1, i32, i8** %buffer_addr.0.i.out, i32* %count_addr.0.i.out) nounwind {
  45 newFuncRoot:
  46         br label %bb3.i
  47
  48 sha_update.exit.exitStub:               ; preds = %bb3.i
  49         store i8* %buffer_addr.0.i, i8** %buffer_addr.0.i.out
  50         store i32 %count_addr.0.i, i32* %count_addr.0.i.out
  51         ret void
  52
  53 bb2.i:          ; preds = %bb3.i
  54         %1 = getelementptr %struct.SHA_INFO* %sha_info, i64 0, i32 3            ; <[16 x i32]*> [#uses=1]
  55         %2 = bitcast [16 x i32]* %1 to i8*              ; <i8*> [#uses=1]
  56         call void @llvm.memcpy.i64(i8* %2, i8* %buffer_addr.0.i, i64 64, i32 1) nounwind
  57         %3 = getelementptr %struct.SHA_INFO* %sha_info, i64 0, i32 3, i64 0             ; <i32*> [#uses=1]
  58         %4 = bitcast i32* %3 to i8*             ; <i8*> [#uses=1]
  59         br label %codeRepl
  60
  61 codeRepl:               ; preds = %bb2.i
  62         call void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8* %4)
  63         br label %byte_reverse.exit.i
  64
  65 byte_reverse.exit.i:            ; preds = %codeRepl
  66         call fastcc void @sha_transform(%struct.SHA_INFO* %sha_info) nounwind
  67         %5 = getelementptr i8* %buffer_addr.0.i, i64 64         ; <i8*> [#uses=1]
  68         %6 = add i32 %count_addr.0.i, -64               ; <i32> [#uses=1]
  69         br label %bb3.i
  70
  71 bb3.i:          ; preds = %byte_reverse.exit.i, %newFuncRoot
  72         %buffer_addr.0.i = phi i8* [ %data1, %newFuncRoot ], [ %5, %byte_reverse.exit.i ]               ; <i8*> [#uses=3]
  73         %count_addr.0.i = phi i32 [ %0, %newFuncRoot ], [ %6, %byte_reverse.exit.i ]            ; <i32> [#uses=3]
  74         %7 = icmp sgt i32 %count_addr.0.i, 63           ; <i1> [#uses=1]
  75         br i1 %7, label %bb2.i, label %sha_update.exit.exitStub
  76 }
  77
  78 declare void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8*) nounwind