[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / wcslen-2.ll
blob15f1fdbb1ad4020d4a4dc5c43dd30dcb8629c61e
1 ; Test that the wcslen library call simplifier works correctly.
3 ; RUN: opt < %s -instcombine -S | FileCheck %s
5 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
7 !0 = !{i32 1, !"wchar_size", i32 4}
8 !llvm.module.flags = !{!0}
10 @hello = constant [6 x i32] [i32 104, i32 101, i32 108, i32 108, i32 111, i32 0]
12 declare i64 @wcslen(i32*, i32)
14 define i64 @test_no_simplify1() {
15 ; CHECK-LABEL: @test_no_simplify1(
16   %hello_p = getelementptr [6 x i32], [6 x i32]* @hello, i64 0, i64 0
17   %hello_l = call i64 @wcslen(i32* %hello_p, i32 187)
18 ; CHECK-NEXT: %hello_l = call i64 @wcslen
19   ret i64 %hello_l
20 ; CHECK-NEXT: ret i64 %hello_l