[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SROA / pointer-offset-size.ll
blobc632c37988b0b29ee494d2c1bd08852c04f02a64
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -sroa -S | FileCheck %s
3 target datalayout = "e-p:64:64:64:32"
5 %struct.test = type { %struct.basic, %struct.basic }
6 %struct.basic = type { i16, i8 }
8 define i16 @test(%struct.test* %ts2.i) {
9 ; CHECK-LABEL: @test(
10 ; CHECK-NEXT:  entry:
11 ; CHECK-NEXT:    [[S_SROA_0:%.*]] = alloca [3 x i8], align 2
12 ; CHECK-NEXT:    [[S_SROA_0_0__SROA_CAST:%.*]] = bitcast %struct.test* [[TS2_I:%.*]] to i8*
13 ; CHECK-NEXT:    [[S_SROA_0_0__SROA_IDX:%.*]] = getelementptr inbounds [3 x i8], [3 x i8]* [[S_SROA_0]], i32 0, i32 0
14 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[S_SROA_0_0__SROA_CAST]], i8* align 2 [[S_SROA_0_0__SROA_IDX]], i32 3, i1 false)
15 ; CHECK-NEXT:    [[X1_I_I:%.*]] = getelementptr inbounds [[STRUCT_TEST:%.*]], %struct.test* [[TS2_I]], i32 0, i32 0, i32 0
16 ; CHECK-NEXT:    [[TMP0:%.*]] = load i16, i16* [[X1_I_I]]
17 ; CHECK-NEXT:    ret i16 [[TMP0]]
19 entry:
20   %s = alloca %struct.test
21   %0 = bitcast %struct.test* %ts2.i to i8*
22   %1 = bitcast %struct.test* %s to i8*
23   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %0, i8* %1, i32 3, i1 false)
24   %x1.i.i = getelementptr inbounds %struct.test, %struct.test* %ts2.i, i32 0, i32 0, i32 0
25   %2 = load i16, i16* %x1.i.i
26   ret i16 %2
29 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture writeonly, i8* nocapture readonly, i32, i1)