← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Analysis/ScalarEvolution/trip-count3.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Analysis/ScalarEvolution/trip-count3.ll
 
1
; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
 
2
 
 
3
; ScalarEvolution can't compute a trip count because it doesn't know if
 
4
; dividing by the stride will have a remainder. This could theoretically
 
5
; be teaching it how to use a more elaborate trip count computation.
 
6
 
 
7
; CHECK: Loop %bb3.i: backedge-taken count is ((64 + (-64 smax (-1 + (-1 * %0))) + %0) /u 64)
 
8
; CHECK: Loop %bb3.i: max backedge-taken count is 33554431
 
9
 
 
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
 
 
14
@_2E_str = external constant [26 x i8]
 
15
@stdin = external global %struct.FILE*
 
16
@_2E_str1 = external constant [3 x i8]
 
17
@_2E_str12 = external constant [30 x i8]
 
18
 
 
19
declare void @sha_init(%struct.SHA_INFO* nocapture) nounwind
 
20
 
 
21
declare fastcc void @sha_transform(%struct.SHA_INFO* nocapture) nounwind
 
22
 
 
23
declare void @sha_print(%struct.SHA_INFO* nocapture) nounwind
 
24
 
 
25
declare i32 @printf(i8* nocapture, ...) nounwind
 
26
 
 
27
declare void @sha_final(%struct.SHA_INFO* nocapture) nounwind
 
28
 
 
29
declare void @sha_update(%struct.SHA_INFO* nocapture, i8* nocapture, i32) nounwind
 
30
 
 
31
declare i64 @fread(i8* noalias nocapture, i64, i64, %struct.FILE* noalias nocapture) nounwind
 
32
 
 
33
declare i32 @main(i32, i8** nocapture) nounwind
 
34
 
 
35
declare noalias %struct.FILE* @fopen(i8* noalias nocapture, i8* noalias nocapture) nounwind
 
36
 
 
37
declare i32 @fclose(%struct.FILE* nocapture) nounwind
 
38
 
 
39
declare void @sha_stream(%struct.SHA_INFO* nocapture, %struct.FILE* nocapture) nounwind
 
40
 
 
41
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 {
 
42
newFuncRoot:
 
43
  br label %bb3.i
 
44
 
 
45
sha_update.exit.exitStub:                         ; preds = %bb3.i
 
46
  store i8* %buffer_addr.0.i, i8** %buffer_addr.0.i.out
 
47
  store i32 %count_addr.0.i, i32* %count_addr.0.i.out
 
48
  ret void
 
49
 
 
50
bb2.i:                                            ; preds = %bb3.i
 
51
  %1 = getelementptr %struct.SHA_INFO, %struct.SHA_INFO* %sha_info, i64 0, i32 3
 
52
  %2 = bitcast [16 x i32]* %1 to i8*
 
53
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %buffer_addr.0.i, i64 64, i32 1, i1 false)
 
54
  %3 = getelementptr %struct.SHA_INFO, %struct.SHA_INFO* %sha_info, i64 0, i32 3, i64 0
 
55
  %4 = bitcast i32* %3 to i8*
 
56
  br label %codeRepl
 
57
 
 
58
codeRepl:                                         ; preds = %bb2.i
 
59
  call void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8* %4)
 
60
  br label %byte_reverse.exit.i
 
61
 
 
62
byte_reverse.exit.i:                              ; preds = %codeRepl
 
63
  call fastcc void @sha_transform(%struct.SHA_INFO* %sha_info) nounwind
 
64
  %5 = getelementptr i8, i8* %buffer_addr.0.i, i64 64
 
65
  %6 = add i32 %count_addr.0.i, -64
 
66
  br label %bb3.i
 
67
 
 
68
bb3.i:                                            ; preds = %byte_reverse.exit.i, %newFuncRoot
 
69
  %buffer_addr.0.i = phi i8* [ %data1, %newFuncRoot ], [ %5, %byte_reverse.exit.i ]
 
70
  %count_addr.0.i = phi i32 [ %0, %newFuncRoot ], [ %6, %byte_reverse.exit.i ]
 
71
  %7 = icmp sgt i32 %count_addr.0.i, 63
 
72
  br i1 %7, label %bb2.i, label %sha_update.exit.exitStub
 
73
}
 
74
 
 
75
declare void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8*) nounwind
 
76
 
 
77
declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
 
78
 
 
79
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
 
80