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
10define i32 @foo() nounwind {
11; CHECK-LABEL: define i32 @foo(
12; CHECK: call i32 @strcmp
13; CHECK: ret i32 %temp1
14
15entry:
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
22define i32 @bar() nounwind {
23; CHECK-LABEL: define i32 @bar(
24; CHECK: ret i32 0
25
26entry:
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
33declare i32 @strcmp(i8*, i8*) nounwind readonly
34