• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -scalar-evolution -analyze \
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%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] }
9%struct.SHA_INFO = type { [5 x i32], i32, i32, [16 x i32] }
10%struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 }
11
12@_2E_str = external constant [26 x i8]
13@stdin = external global %struct.FILE*
14@_2E_str1 = external constant [3 x i8]
15@_2E_str12 = external constant [30 x i8]
16
17declare void @sha_init(%struct.SHA_INFO* nocapture) nounwind
18
19declare fastcc void @sha_transform(%struct.SHA_INFO* nocapture) nounwind
20
21declare void @sha_print(%struct.SHA_INFO* nocapture) nounwind
22
23declare i32 @printf(i8* nocapture, ...) nounwind
24
25declare void @sha_final(%struct.SHA_INFO* nocapture) nounwind
26
27declare void @sha_update(%struct.SHA_INFO* nocapture, i8* nocapture, i32) nounwind
28
29declare i64 @fread(i8* noalias nocapture, i64, i64, %struct.FILE* noalias nocapture) nounwind
30
31declare i32 @main(i32, i8** nocapture) nounwind
32
33declare noalias %struct.FILE* @fopen(i8* noalias nocapture, i8* noalias nocapture) nounwind
34
35declare i32 @fclose(%struct.FILE* nocapture) nounwind
36
37declare void @sha_stream(%struct.SHA_INFO* nocapture, %struct.FILE* nocapture) nounwind
38
39define 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 {
40newFuncRoot:
41  br label %bb3.i
42
43sha_update.exit.exitStub:                         ; preds = %bb3.i
44  store i8* %buffer_addr.0.i, i8** %buffer_addr.0.i.out
45  store i32 %count_addr.0.i, i32* %count_addr.0.i.out
46  ret void
47
48bb2.i:                                            ; preds = %bb3.i
49  %1 = getelementptr %struct.SHA_INFO* %sha_info, i64 0, i32 3
50  %2 = bitcast [16 x i32]* %1 to i8*
51  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %buffer_addr.0.i, i64 64, i32 1, i1 false)
52  %3 = getelementptr %struct.SHA_INFO* %sha_info, i64 0, i32 3, i64 0
53  %4 = bitcast i32* %3 to i8*
54  br label %codeRepl
55
56codeRepl:                                         ; preds = %bb2.i
57  call void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8* %4)
58  br label %byte_reverse.exit.i
59
60byte_reverse.exit.i:                              ; preds = %codeRepl
61  call fastcc void @sha_transform(%struct.SHA_INFO* %sha_info) nounwind
62  %5 = getelementptr i8* %buffer_addr.0.i, i64 64
63  %6 = add i32 %count_addr.0.i, -64
64  br label %bb3.i
65
66bb3.i:                                            ; preds = %byte_reverse.exit.i, %newFuncRoot
67  %buffer_addr.0.i = phi i8* [ %data1, %newFuncRoot ], [ %5, %byte_reverse.exit.i ]
68  %count_addr.0.i = phi i32 [ %0, %newFuncRoot ], [ %6, %byte_reverse.exit.i ]
69  %7 = icmp sgt i32 %count_addr.0.i, 63
70  br i1 %7, label %bb2.i, label %sha_update.exit.exitStub
71}
72
73declare void @sha_stream_bb3_2E_i_bb1_2E_i_2E_i(i8*) nounwind
74
75declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
76
77declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
78
79