xref: /llvm-project/llvm/test/Transforms/GlobalOpt/ARM/arm-widen-strings-lengths-dont-match.ll (revision e37d736def5b95a2710f92881b5fc8b0494d8a05)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2; RUN: opt < %s -mtriple=arm-none-eabi -passes=globalopt -S | FileCheck %s
3; CHECK: [17 x i8]
4@.str = private unnamed_addr constant [17 x i8] c"aaaaaaaaaaaaaaaa\00", align 1
5
6; Function Attrs: nounwind
7define  void @foo()   {
8; CHECK-LABEL: define void @foo() local_unnamed_addr {
9; CHECK-NEXT:  [[ENTRY:.*:]]
10; CHECK-NEXT:    [[SOMETHING:%.*]] = alloca [20 x i8], align 1
11; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 20, ptr nonnull [[SOMETHING]])
12; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr nonnull align 1 [[SOMETHING]], ptr align 1 @.str, i32 17, i1 false)
13; CHECK-NEXT:    [[CALL2:%.*]] = call i32 @bar(ptr nonnull [[SOMETHING]])
14; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 20, ptr nonnull [[SOMETHING]])
15; CHECK-NEXT:    ret void
16;
17entry:
18  %something = alloca [20 x i8], align 1
19  call void @llvm.lifetime.start(i64 20, ptr nonnull %something) #3
20  call void @llvm.memcpy.p0i8.p0i8.i32(ptr align 1 nonnull %something, ptr align 1 @.str, i32 17, i1 false)
21  %call2 = call i32 @bar(ptr nonnull %something) #3
22  call void @llvm.lifetime.end(i64 20, ptr nonnull %something) #3
23  ret void
24}
25
26declare i32 @bar(...)  #2
27