| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -passes='sroa<preserve-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-PRESERVE-CFG |
| ; RUN: opt < %s -passes='sroa<modify-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-MODIFY-CFG |
| |
| %S = type { [4 x i8] } |
| |
| ; Ensure the load/store of integer types whose size is not equal to the store |
| ; size are not split. |
| |
| define i8 @foo(i23 %0) { |
| ; CHECK-LABEL: @foo( |
| ; CHECK-NEXT: Entry: |
| ; CHECK-NEXT: [[DOTSROA_0:%.*]] = alloca [3 x i8], align 8 |
| ; CHECK-NEXT: store i23 [[TMP0:%.*]], ptr [[DOTSROA_0]], align 8 |
| ; CHECK-NEXT: [[DOTSROA_0_1__SROA_IDX1:%.*]] = getelementptr inbounds i8, ptr [[DOTSROA_0]], i64 1 |
| ; CHECK-NEXT: [[DOTSROA_0_1__SROA_0_1_:%.*]] = load i8, ptr [[DOTSROA_0_1__SROA_IDX1]], align 1 |
| ; CHECK-NEXT: ret i8 [[DOTSROA_0_1__SROA_0_1_]] |
| ; |
| Entry: |
| %1 = alloca %S |
| store i23 %0, ptr %1 |
| %2 = getelementptr inbounds %S, ptr %1, i64 0, i32 0, i32 1 |
| %3 = load i8, ptr %2 |
| ret i8 %3 |
| } |
| |
| define i32 @bar(i16 %0) { |
| ; CHECK-LABEL: @bar( |
| ; CHECK-NEXT: Entry: |
| ; CHECK-NEXT: [[DOTSROA_0:%.*]] = alloca [3 x i8], align 8 |
| ; CHECK-NEXT: store i16 [[TMP0:%.*]], ptr [[DOTSROA_0]], align 8 |
| ; CHECK-NEXT: [[DOTSROA_0_0__SROA_0_0_:%.*]] = load i17, ptr [[DOTSROA_0]], align 8 |
| ; CHECK-NEXT: [[TMP1:%.*]] = zext i17 [[DOTSROA_0_0__SROA_0_0_]] to i32 |
| ; CHECK-NEXT: ret i32 [[TMP1]] |
| ; |
| Entry: |
| %1 = alloca %S |
| store i16 %0, ptr %1 |
| %2 = load i17, ptr %1 |
| %3 = zext i17 %2 to i32 |
| ret i32 %3 |
| } |
| ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: |
| ; CHECK-MODIFY-CFG: {{.*}} |
| ; CHECK-PRESERVE-CFG: {{.*}} |