Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -sroa -S | FileCheck %s |
| 2 | target datalayout = "e-p:64:64:64-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n8:16:32:64" |
| 3 | |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 4 | declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1) |
| 5 | declare void @llvm.memcpy.p1i8.p0i8.i32(i8 addrspace(1)* nocapture, i8* nocapture readonly, i32, i32, i1) |
| 6 | declare void @llvm.memcpy.p0i8.p1i8.i32(i8* nocapture, i8 addrspace(1)* nocapture readonly, i32, i32, i1) |
| 7 | declare void @llvm.memcpy.p1i8.p1i8.i32(i8 addrspace(1)* nocapture, i8 addrspace(1)* nocapture readonly, i32, i32, i1) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 8 | |
| 9 | |
| 10 | ; Make sure an illegal bitcast isn't introduced |
| 11 | define void @test_address_space_1_1(<2 x i64> addrspace(1)* %a, i16 addrspace(1)* %b) { |
| 12 | ; CHECK-LABEL: @test_address_space_1_1( |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 13 | ; CHECK: load <2 x i64>, <2 x i64> addrspace(1)* %a, align 2 |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 14 | ; CHECK: store <2 x i64> {{.*}}, <2 x i64> addrspace(1)* {{.*}}, align 2 |
| 15 | ; CHECK: ret void |
| 16 | %aa = alloca <2 x i64>, align 16 |
| 17 | %aptr = bitcast <2 x i64> addrspace(1)* %a to i8 addrspace(1)* |
| 18 | %aaptr = bitcast <2 x i64>* %aa to i8* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 19 | call void @llvm.memcpy.p0i8.p1i8.i32(i8* %aaptr, i8 addrspace(1)* %aptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 20 | %bptr = bitcast i16 addrspace(1)* %b to i8 addrspace(1)* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 21 | call void @llvm.memcpy.p1i8.p0i8.i32(i8 addrspace(1)* %bptr, i8* %aaptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 22 | ret void |
| 23 | } |
| 24 | |
| 25 | define void @test_address_space_1_0(<2 x i64> addrspace(1)* %a, i16* %b) { |
| 26 | ; CHECK-LABEL: @test_address_space_1_0( |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 27 | ; CHECK: load <2 x i64>, <2 x i64> addrspace(1)* %a, align 2 |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 28 | ; CHECK: store <2 x i64> {{.*}}, <2 x i64>* {{.*}}, align 2 |
| 29 | ; CHECK: ret void |
| 30 | %aa = alloca <2 x i64>, align 16 |
| 31 | %aptr = bitcast <2 x i64> addrspace(1)* %a to i8 addrspace(1)* |
| 32 | %aaptr = bitcast <2 x i64>* %aa to i8* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 33 | call void @llvm.memcpy.p0i8.p1i8.i32(i8* %aaptr, i8 addrspace(1)* %aptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 34 | %bptr = bitcast i16* %b to i8* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 35 | call void @llvm.memcpy.p0i8.p0i8.i32(i8* %bptr, i8* %aaptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 36 | ret void |
| 37 | } |
| 38 | |
| 39 | define void @test_address_space_0_1(<2 x i64>* %a, i16 addrspace(1)* %b) { |
| 40 | ; CHECK-LABEL: @test_address_space_0_1( |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 41 | ; CHECK: load <2 x i64>, <2 x i64>* %a, align 2 |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 42 | ; CHECK: store <2 x i64> {{.*}}, <2 x i64> addrspace(1)* {{.*}}, align 2 |
| 43 | ; CHECK: ret void |
| 44 | %aa = alloca <2 x i64>, align 16 |
| 45 | %aptr = bitcast <2 x i64>* %a to i8* |
| 46 | %aaptr = bitcast <2 x i64>* %aa to i8* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 47 | call void @llvm.memcpy.p0i8.p0i8.i32(i8* %aaptr, i8* %aptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 48 | %bptr = bitcast i16 addrspace(1)* %b to i8 addrspace(1)* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 49 | call void @llvm.memcpy.p1i8.p0i8.i32(i8 addrspace(1)* %bptr, i8* %aaptr, i32 16, i32 2, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 50 | ret void |
| 51 | } |
| 52 | |
| 53 | %struct.struct_test_27.0.13 = type { i32, float, i64, i8, [4 x i32] } |
| 54 | |
Jack Liu | f101c0f | 2016-05-03 19:30:48 +0000 | [diff] [blame] | 55 | ; Function Attrs: nounwind |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 56 | define void @copy_struct([5 x i64] %in.coerce) { |
| 57 | ; CHECK-LABEL: @copy_struct( |
| 58 | ; CHECK-NOT: memcpy |
| 59 | for.end: |
| 60 | %in = alloca %struct.struct_test_27.0.13, align 8 |
| 61 | %0 = bitcast %struct.struct_test_27.0.13* %in to [5 x i64]* |
| 62 | store [5 x i64] %in.coerce, [5 x i64]* %0, align 8 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 63 | %scevgep9 = getelementptr %struct.struct_test_27.0.13, %struct.struct_test_27.0.13* %in, i32 0, i32 4, i32 0 |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 64 | %scevgep910 = bitcast i32* %scevgep9 to i8* |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 65 | call void @llvm.memcpy.p1i8.p0i8.i32(i8 addrspace(1)* undef, i8* %scevgep910, i32 16, i32 4, i1 false) |
Chandler Carruth | 286d87e | 2014-02-26 08:25:02 +0000 | [diff] [blame] | 66 | ret void |
| 67 | } |
| 68 | |
Jack Liu | f101c0f | 2016-05-03 19:30:48 +0000 | [diff] [blame] | 69 | %union.anon = type { i32* } |
| 70 | |
| 71 | @g = common global i32 0, align 4 |
| 72 | @l = common addrspace(3) global i32 0, align 4 |
| 73 | |
| 74 | ; Make sure an illegal bitcast isn't introduced |
| 75 | define void @pr27557() { |
| 76 | ; CHECK-LABEL: @pr27557( |
| 77 | ; CHECK: %[[CAST:.*]] = bitcast i32** {{.*}} to i32 addrspace(3)** |
| 78 | ; CHECK: store i32 addrspace(3)* @l, i32 addrspace(3)** %[[CAST]] |
| 79 | %1 = alloca %union.anon, align 8 |
| 80 | %2 = bitcast %union.anon* %1 to i32** |
| 81 | store i32* @g, i32** %2, align 8 |
| 82 | %3 = bitcast %union.anon* %1 to i32 addrspace(3)** |
| 83 | store i32 addrspace(3)* @l, i32 addrspace(3)** %3, align 8 |
| 84 | ret void |
| 85 | } |