| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -verify -iroutliner < %s | FileCheck %s |
| |
| ; This test checks to make sure that we do not outline getelementptr |
| ; instructions since we must make extra checks on the final operands. |
| |
| %struct.RT = type { i8, [10 x [20 x i32]], i8 } |
| %struct.ST = type { i32, double, %struct.RT } |
| |
| define void @function1(%struct.ST* %s, i64 %t) { |
| ; CHECK-LABEL: @function1( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 |
| ; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 |
| ; CHECK-NEXT: call void @function1.outlined(i32* [[A]], i32* [[B]]) |
| ; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]], %struct.ST* [[S:%.*]], i64 1 |
| ; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT_ST]], %struct.ST* [[S]], i64 [[T:%.*]] |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %a = alloca i32, align 4 |
| %b = alloca i32, align 4 |
| store i32 2, i32* %a, align 4 |
| store i32 3, i32* %b, align 4 |
| %0 = getelementptr inbounds %struct.ST, %struct.ST* %s, i64 1 |
| %1 = getelementptr inbounds %struct.ST, %struct.ST* %s, i64 %t |
| ret void |
| } |
| |
| define void @function2(%struct.ST* %s, i64 %t) { |
| ; CHECK-LABEL: @function2( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 |
| ; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 |
| ; CHECK-NEXT: call void @function2.outlined(i32* [[A]], i32* [[B]]) |
| ; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]], %struct.ST* [[S:%.*]], i64 1 |
| ; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT_ST]], %struct.ST* [[S]], i64 [[T:%.*]] |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %a = alloca i32, align 4 |
| %b = alloca i32, align 4 |
| store i32 2, i32* %a, align 4 |
| store i32 3, i32* %b, align 4 |
| %0 = getelementptr inbounds %struct.ST, %struct.ST* %s, i64 1 |
| %1 = getelementptr inbounds %struct.ST, %struct.ST* %s, i64 %t |
| ret void |
| } |