107 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=aggressive-instcombine -mtriple=x86_64-unknown-linux-gnu -data-layout="E-n64" < %s | FileCheck %s3 4; Pretend X86 is big endian.5 6; FIXME: Big endian not supported yet.7 8define void @test_i32_be(i32 %x, ptr %p) {9; CHECK-LABEL: define void @test_i32_be(10; CHECK-SAME: i32 [[X:%.*]], ptr [[P:%.*]]) {11; CHECK-NEXT: [[X_0:%.*]] = trunc i32 [[X]] to i812; CHECK-NEXT: [[GEP_0:%.*]] = getelementptr i8, ptr [[P]], i64 313; CHECK-NEXT: store i8 [[X_0]], ptr [[GEP_0]], align 114; CHECK-NEXT: [[SHR_1:%.*]] = lshr i32 [[X]], 815; CHECK-NEXT: [[X_1:%.*]] = trunc i32 [[SHR_1]] to i816; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[P]], i64 217; CHECK-NEXT: store i8 [[X_1]], ptr [[GEP_1]], align 118; CHECK-NEXT: [[SHR_2:%.*]] = lshr i32 [[X]], 1619; CHECK-NEXT: [[X_2:%.*]] = trunc i32 [[SHR_2]] to i820; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[P]], i64 121; CHECK-NEXT: store i8 [[X_2]], ptr [[GEP_2]], align 122; CHECK-NEXT: [[TMP1:%.*]] = lshr i32 [[X]], 2423; CHECK-NEXT: [[X_3:%.*]] = trunc i32 [[TMP1]] to i824; CHECK-NEXT: store i8 [[X_3]], ptr [[P]], align 125; CHECK-NEXT: ret void26;27 %x.0 = trunc i32 %x to i828 %gep.0 = getelementptr i8, ptr %p, i64 329 store i8 %x.0, ptr %gep.030 %shr.1 = lshr i32 %x, 831 %x.1 = trunc i32 %shr.1 to i832 %gep.1 = getelementptr i8, ptr %p, i64 233 store i8 %x.1, ptr %gep.134 %shr.2 = lshr i32 %x, 1635 %x.2 = trunc i32 %shr.2 to i836 %gep.2 = getelementptr i8, ptr %p, i64 137 store i8 %x.2, ptr %gep.238 %shr.3 = lshr i32 %x, 2439 %x.3 = trunc i32 %shr.3 to i840 store i8 %x.3, ptr %p41 ret void42}43 44define void @test_i32_le(i32 %x, ptr %p) {45; CHECK-LABEL: define void @test_i32_le(46; CHECK-SAME: i32 [[X:%.*]], ptr [[P:%.*]]) {47; CHECK-NEXT: [[X_0:%.*]] = trunc i32 [[X]] to i848; CHECK-NEXT: store i8 [[X_0]], ptr [[P]], align 149; CHECK-NEXT: [[SHR_1:%.*]] = lshr i32 [[X]], 850; CHECK-NEXT: [[X_1:%.*]] = trunc i32 [[SHR_1]] to i851; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[P]], i64 152; CHECK-NEXT: store i8 [[X_1]], ptr [[GEP_1]], align 153; CHECK-NEXT: [[SHR_2:%.*]] = lshr i32 [[X]], 1654; CHECK-NEXT: [[X_2:%.*]] = trunc i32 [[SHR_2]] to i855; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[P]], i64 256; CHECK-NEXT: store i8 [[X_2]], ptr [[GEP_2]], align 157; CHECK-NEXT: [[SHR_3:%.*]] = lshr i32 [[X]], 2458; CHECK-NEXT: [[X_3:%.*]] = trunc i32 [[SHR_3]] to i859; CHECK-NEXT: [[GEP_3:%.*]] = getelementptr i8, ptr [[P]], i64 360; CHECK-NEXT: store i8 [[X_3]], ptr [[GEP_3]], align 161; CHECK-NEXT: ret void62;63 %x.0 = trunc i32 %x to i864 store i8 %x.0, ptr %p65 %shr.1 = lshr i32 %x, 866 %x.1 = trunc i32 %shr.1 to i867 %gep.1 = getelementptr i8, ptr %p, i64 168 store i8 %x.1, ptr %gep.169 %shr.2 = lshr i32 %x, 1670 %x.2 = trunc i32 %shr.2 to i871 %gep.2 = getelementptr i8, ptr %p, i64 272 store i8 %x.2, ptr %gep.273 %shr.3 = lshr i32 %x, 2474 %x.3 = trunc i32 %shr.3 to i875 %gep.3 = getelementptr i8, ptr %p, i64 376 store i8 %x.3, ptr %gep.377 ret void78}79 80define void @test_i32_mixed_parts(i32 %x, ptr %p) {81; CHECK-LABEL: define void @test_i32_mixed_parts(82; CHECK-SAME: i32 [[X:%.*]], ptr [[P:%.*]]) {83; CHECK-NEXT: [[X_0:%.*]] = trunc i32 [[X]] to i884; CHECK-NEXT: [[GEP_0:%.*]] = getelementptr i8, ptr [[P]], i64 385; CHECK-NEXT: store i8 [[X_0]], ptr [[GEP_0]], align 186; CHECK-NEXT: [[SHR_1:%.*]] = lshr i32 [[X]], 887; CHECK-NEXT: [[X_1:%.*]] = trunc i32 [[SHR_1]] to i1688; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr i8, ptr [[P]], i64 189; CHECK-NEXT: store i16 [[X_1]], ptr [[GEP_1]], align 290; CHECK-NEXT: [[SHR_3:%.*]] = lshr i32 [[X]], 2491; CHECK-NEXT: [[X_3:%.*]] = trunc i32 [[SHR_3]] to i892; CHECK-NEXT: store i8 [[X_3]], ptr [[P]], align 193; CHECK-NEXT: ret void94;95 %x.0 = trunc i32 %x to i896 %gep.0 = getelementptr i8, ptr %p, i64 397 store i8 %x.0, ptr %gep.098 %shr.1 = lshr i32 %x, 899 %x.1 = trunc i32 %shr.1 to i16100 %gep.1 = getelementptr i8, ptr %p, i64 1101 store i16 %x.1, ptr %gep.1102 %shr.3 = lshr i32 %x, 24103 %x.3 = trunc i32 %shr.3 to i8104 store i8 %x.3, ptr %p105 ret void106}107