test/Transforms/InstCombine/weak-symbols.ll

   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