xref: /llvm-project/llvm/test/Transforms/GlobalOpt/ARM/arm-widen-non-byte-array.ll (revision e37d736def5b95a2710f92881b5fc8b0494d8a05)
1*e37d736dSNashe Mncube; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2*e37d736dSNashe Mncube; RUN: opt < %s -mtriple=arm-none-eabi -passes=globalopt -S | FileCheck %s
3*e37d736dSNashe Mncube
4*e37d736dSNashe Mncube@.i16 = private unnamed_addr constant [5 x i16] [i16 1, i16 2, i16 3, i16 4, i16 5] , align 1
5*e37d736dSNashe Mncube
6*e37d736dSNashe Mncubedefine  void @memcpy_i16_array()  {
7*e37d736dSNashe Mncube; CHECK-LABEL: define void @memcpy_i16_array() local_unnamed_addr {
8*e37d736dSNashe Mncube; CHECK-NEXT:  [[ENTRY:.*:]]
9*e37d736dSNashe Mncube; CHECK-NEXT:    [[SOMETHING1:%.*]] = alloca [6 x i16], align 1
10*e37d736dSNashe Mncube; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr noundef nonnull align 1 dereferenceable(10) [[SOMETHING1]], ptr noundef nonnull align 1 dereferenceable(10) @.i16, i32 12, i1 false)
11*e37d736dSNashe Mncube; CHECK-NEXT:    [[CALL2:%.*]] = call i32 @bar(ptr nonnull [[SOMETHING1]])
12*e37d736dSNashe Mncube; CHECK-NEXT:    ret void
13*e37d736dSNashe Mncube;
14*e37d736dSNashe Mncubeentry:
15*e37d736dSNashe Mncube  %something = alloca [5 x i16], align 1
16*e37d736dSNashe Mncube  call void @llvm.memcpy.p0.p0.i32(ptr noundef nonnull align 1 dereferenceable(10) %something, ptr noundef nonnull align 1 dereferenceable(10) @.i16, i32 10, i1 false)
17*e37d736dSNashe Mncube  %call2 = call i32 @bar(ptr nonnull %something)
18*e37d736dSNashe Mncube  ret void
19*e37d736dSNashe Mncube}
20*e37d736dSNashe Mncube
21*e37d736dSNashe Mncube
22*e37d736dSNashe Mncubedeclare i32 @bar(...)
23