1 ; PR4738 - Test that the library call simplifier doesn't assume anything about 2 ; weak symbols. 3 ; 4 ; RUN: opt < %s -instcombine -S | FileCheck %s 5 6 @real_init = weak_odr constant [2 x i8] c"y\00" 7 @fake_init = weak constant [2 x i8] c"y\00" 8 @.str = private constant [2 x i8] c"y\00" 9 10 define i32 @foo() nounwind { 11 ; CHECK-LABEL: define i32 @foo( 12 ; CHECK: call i32 @strcmp 13 ; CHECK: ret i32 %temp1 14 15 entry: 16 %str1 = getelementptr inbounds [2 x i8], [2 x i8]* @fake_init, i64 0, i64 0 17 %str2 = getelementptr inbounds [2 x i8], [2 x i8]* @.str, i64 0, i64 0 18 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) nounwind readonly 19 ret i32 %temp1 20 } 21 22 define i32 @bar() nounwind { 23 ; CHECK-LABEL: define i32 @bar( 24 ; CHECK: ret i32 0 25 26 entry: 27 %str1 = getelementptr inbounds [2 x i8], [2 x i8]* @real_init, i64 0, i64 0 28 %str2 = getelementptr inbounds [2 x i8], [2 x i8]* @.str, i64 0, i64 0 29 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) nounwind readonly 30 ret i32 %temp1 31 } 32 33 declare i32 @strcmp(i8*, i8*) nounwind readonly 34
