| OLD | NEW |
| 1 ; RUN: opt < %s -expand-getelementptr -S | FileCheck %s | 1 ; RUN: opt < %s -expand-getelementptr -S | FileCheck %s |
| 2 | 2 |
| 3 target datalayout = "p:32:32:32" | 3 target datalayout = "p:32:32:32" |
| 4 | 4 |
| 5 %MyStruct = type { i8, i32, i8 } | 5 %MyStruct = type { i8, i32, i8 } |
| 6 %MyArray = type { [100 x i64] } | 6 %MyArray = type { [100 x i64] } |
| 7 %MyArrayOneByte = type { [100 x i8] } | 7 %MyArrayOneByte = type { [100 x i8] } |
| 8 | 8 |
| 9 | 9 |
| 10 ; Test indexing struct field | 10 ; Test indexing struct field |
| 11 define i8* @test_struct_field(%MyStruct* %ptr) { | 11 define i8* @test_struct_field(%MyStruct* %ptr) { |
| 12 %addr = getelementptr %MyStruct* %ptr, i32 0, i32 2 | 12 %addr = getelementptr %MyStruct, %MyStruct* %ptr, i32 0, i32 2 |
| 13 ret i8* %addr | 13 ret i8* %addr |
| 14 } | 14 } |
| 15 ; CHECK: @test_struct_field | 15 ; CHECK: @test_struct_field |
| 16 ; CHECK-NEXT: %gep_int = ptrtoint %MyStruct* %ptr to i32 | 16 ; CHECK-NEXT: %gep_int = ptrtoint %MyStruct* %ptr to i32 |
| 17 ; CHECK-NEXT: %gep = add i32 %gep_int, 8 | 17 ; CHECK-NEXT: %gep = add i32 %gep_int, 8 |
| 18 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i8* | 18 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i8* |
| 19 ; CHECK-NEXT: ret i8* %addr | 19 ; CHECK-NEXT: ret i8* %addr |
| 20 | 20 |
| 21 | 21 |
| 22 ; Test non-constant index into an array | 22 ; Test non-constant index into an array |
| 23 define i64* @test_array_index(%MyArray* %ptr, i32 %index) { | 23 define i64* @test_array_index(%MyArray* %ptr, i32 %index) { |
| 24 %addr = getelementptr %MyArray* %ptr, i32 0, i32 0, i32 %index | 24 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 0, i32 0, i32 %index |
| 25 ret i64* %addr | 25 ret i64* %addr |
| 26 } | 26 } |
| 27 ; CHECK: @test_array_index | 27 ; CHECK: @test_array_index |
| 28 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 28 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 29 ; CHECK-NEXT: %gep_array = mul i32 %index, 8 | 29 ; CHECK-NEXT: %gep_array = mul i32 %index, 8 |
| 30 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array | 30 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array |
| 31 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* | 31 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* |
| 32 ; CHECK-NEXT: ret i64* %addr | 32 ; CHECK-NEXT: ret i64* %addr |
| 33 | 33 |
| 34 | 34 |
| 35 ; Test constant index into an array (as a pointer) | 35 ; Test constant index into an array (as a pointer) |
| 36 define %MyStruct* @test_ptr_add(%MyStruct* %ptr) { | 36 define %MyStruct* @test_ptr_add(%MyStruct* %ptr) { |
| 37 %addr = getelementptr %MyStruct* %ptr, i32 2 | 37 %addr = getelementptr %MyStruct, %MyStruct* %ptr, i32 2 |
| 38 ret %MyStruct* %addr | 38 ret %MyStruct* %addr |
| 39 } | 39 } |
| 40 ; CHECK: @test_ptr_add | 40 ; CHECK: @test_ptr_add |
| 41 ; CHECK-NEXT: %gep_int = ptrtoint %MyStruct* %ptr to i32 | 41 ; CHECK-NEXT: %gep_int = ptrtoint %MyStruct* %ptr to i32 |
| 42 ; CHECK-NEXT: %gep = add i32 %gep_int, 24 | 42 ; CHECK-NEXT: %gep = add i32 %gep_int, 24 |
| 43 ; CHECK-NEXT: %addr = inttoptr i32 %gep to %MyStruct* | 43 ; CHECK-NEXT: %addr = inttoptr i32 %gep to %MyStruct* |
| 44 ; CHECK-NEXT: ret %MyStruct* %addr | 44 ; CHECK-NEXT: ret %MyStruct* %addr |
| 45 | 45 |
| 46 | 46 |
| 47 ; Test that additions and multiplications are combined properly | 47 ; Test that additions and multiplications are combined properly |
| 48 define i64* @test_add_and_index(%MyArray* %ptr, i32 %index) { | 48 define i64* @test_add_and_index(%MyArray* %ptr, i32 %index) { |
| 49 %addr = getelementptr %MyArray* %ptr, i32 1, i32 0, i32 %index | 49 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 1, i32 0, i32 %index |
| 50 ret i64* %addr | 50 ret i64* %addr |
| 51 } | 51 } |
| 52 ; CHECK: @test_add_and_index | 52 ; CHECK: @test_add_and_index |
| 53 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 53 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 54 ; CHECK-NEXT: %gep = add i32 %gep_int, 800 | 54 ; CHECK-NEXT: %gep = add i32 %gep_int, 800 |
| 55 ; CHECK-NEXT: %gep_array = mul i32 %index, 8 | 55 ; CHECK-NEXT: %gep_array = mul i32 %index, 8 |
| 56 ; CHECK-NEXT: %gep1 = add i32 %gep, %gep_array | 56 ; CHECK-NEXT: %gep1 = add i32 %gep, %gep_array |
| 57 ; CHECK-NEXT: %addr = inttoptr i32 %gep1 to i64* | 57 ; CHECK-NEXT: %addr = inttoptr i32 %gep1 to i64* |
| 58 ; CHECK-NEXT: ret i64* %addr | 58 ; CHECK-NEXT: ret i64* %addr |
| 59 | 59 |
| 60 | 60 |
| 61 ; Test that we don't multiply by 1 unnecessarily | 61 ; Test that we don't multiply by 1 unnecessarily |
| 62 define i8* @test_add_and_index_one_byte(%MyArrayOneByte* %ptr, i32 %index) { | 62 define i8* @test_add_and_index_one_byte(%MyArrayOneByte* %ptr, i32 %index) { |
| 63 %addr = getelementptr %MyArrayOneByte* %ptr, i32 1, i32 0, i32 %index | 63 %addr = getelementptr %MyArrayOneByte, %MyArrayOneByte* %ptr, i32 1, i32 0, i3
2 %index |
| 64 ret i8* %addr | 64 ret i8* %addr |
| 65 } | 65 } |
| 66 ; CHECK: @test_add_and_index | 66 ; CHECK: @test_add_and_index |
| 67 ; CHECK-NEXT: %gep_int = ptrtoint %MyArrayOneByte* %ptr to i32 | 67 ; CHECK-NEXT: %gep_int = ptrtoint %MyArrayOneByte* %ptr to i32 |
| 68 ; CHECK-NEXT: %gep = add i32 %gep_int, 100 | 68 ; CHECK-NEXT: %gep = add i32 %gep_int, 100 |
| 69 ; CHECK-NEXT: %gep1 = add i32 %gep, %index | 69 ; CHECK-NEXT: %gep1 = add i32 %gep, %index |
| 70 ; CHECK-NEXT: %addr = inttoptr i32 %gep1 to i8* | 70 ; CHECK-NEXT: %addr = inttoptr i32 %gep1 to i8* |
| 71 ; CHECK-NEXT: ret i8* %addr | 71 ; CHECK-NEXT: ret i8* %addr |
| 72 | 72 |
| 73 | 73 |
| 74 ; Test >32-bit array index | 74 ; Test >32-bit array index |
| 75 define i64* @test_array_index64(%MyArray* %ptr, i64 %index) { | 75 define i64* @test_array_index64(%MyArray* %ptr, i64 %index) { |
| 76 %addr = getelementptr %MyArray* %ptr, i32 0, i32 0, i64 %index | 76 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 0, i32 0, i64 %index |
| 77 ret i64* %addr | 77 ret i64* %addr |
| 78 } | 78 } |
| 79 ; CHECK: @test_array_index64 | 79 ; CHECK: @test_array_index64 |
| 80 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 80 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 81 ; CHECK-NEXT: %gep_trunc = trunc i64 %index to i32 | 81 ; CHECK-NEXT: %gep_trunc = trunc i64 %index to i32 |
| 82 ; CHECK-NEXT: %gep_array = mul i32 %gep_trunc, 8 | 82 ; CHECK-NEXT: %gep_array = mul i32 %gep_trunc, 8 |
| 83 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array | 83 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array |
| 84 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* | 84 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* |
| 85 ; CHECK-NEXT: ret i64* %addr | 85 ; CHECK-NEXT: ret i64* %addr |
| 86 | 86 |
| 87 | 87 |
| 88 ; Test <32-bit array index | 88 ; Test <32-bit array index |
| 89 define i64* @test_array_index16(%MyArray* %ptr, i16 %index) { | 89 define i64* @test_array_index16(%MyArray* %ptr, i16 %index) { |
| 90 %addr = getelementptr %MyArray* %ptr, i32 0, i32 0, i16 %index | 90 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 0, i32 0, i16 %index |
| 91 ret i64* %addr | 91 ret i64* %addr |
| 92 } | 92 } |
| 93 ; CHECK: @test_array_index16 | 93 ; CHECK: @test_array_index16 |
| 94 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 94 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 95 ; CHECK-NEXT: %gep_sext = sext i16 %index to i32 | 95 ; CHECK-NEXT: %gep_sext = sext i16 %index to i32 |
| 96 ; CHECK-NEXT: %gep_array = mul i32 %gep_sext, 8 | 96 ; CHECK-NEXT: %gep_array = mul i32 %gep_sext, 8 |
| 97 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array | 97 ; CHECK-NEXT: %gep = add i32 %gep_int, %gep_array |
| 98 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* | 98 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* |
| 99 ; CHECK-NEXT: ret i64* %addr | 99 ; CHECK-NEXT: ret i64* %addr |
| 100 | 100 |
| 101 | 101 |
| 102 ; Test >32-bit constant array index | 102 ; Test >32-bit constant array index |
| 103 define i64* @test_array_index64_const(%MyArray* %ptr) { | 103 define i64* @test_array_index64_const(%MyArray* %ptr) { |
| 104 %addr = getelementptr %MyArray* %ptr, i32 0, i32 0, i64 100 | 104 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 0, i32 0, i64 100 |
| 105 ret i64* %addr | 105 ret i64* %addr |
| 106 } | 106 } |
| 107 ; CHECK: @test_array_index64_const | 107 ; CHECK: @test_array_index64_const |
| 108 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 108 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 109 ; CHECK-NEXT: %gep = add i32 %gep_int, 800 | 109 ; CHECK-NEXT: %gep = add i32 %gep_int, 800 |
| 110 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* | 110 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* |
| 111 ; CHECK-NEXT: ret i64* %addr | 111 ; CHECK-NEXT: ret i64* %addr |
| 112 | 112 |
| 113 | 113 |
| 114 ; Test <32-bit constant array index -- test sign extension | 114 ; Test <32-bit constant array index -- test sign extension |
| 115 define i64* @test_array_index16_const(%MyArray* %ptr) { | 115 define i64* @test_array_index16_const(%MyArray* %ptr) { |
| 116 %addr = getelementptr %MyArray* %ptr, i32 0, i32 0, i16 -100 | 116 %addr = getelementptr %MyArray, %MyArray* %ptr, i32 0, i32 0, i16 -100 |
| 117 ret i64* %addr | 117 ret i64* %addr |
| 118 } | 118 } |
| 119 ; CHECK: @test_array_index16_const | 119 ; CHECK: @test_array_index16_const |
| 120 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 | 120 ; CHECK-NEXT: %gep_int = ptrtoint %MyArray* %ptr to i32 |
| 121 ; CHECK-NEXT: %gep = add i32 %gep_int, -800 | 121 ; CHECK-NEXT: %gep = add i32 %gep_int, -800 |
| 122 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* | 122 ; CHECK-NEXT: %addr = inttoptr i32 %gep to i64* |
| 123 ; CHECK-NEXT: ret i64* %addr | 123 ; CHECK-NEXT: ret i64* %addr |
| OLD | NEW |