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