Index: lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp =================================================================== --- lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp +++ lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp @@ -309,7 +309,7 @@ auto *NewI = new BitCastInst(V, NewT); IC.InsertNewInstWith(NewI, *BC); NewI->takeName(BC); - WorkMap[GEP] = NewI; + WorkMap[BC] = NewI; } else { llvm_unreachable("should never reach here"); } Index: test/Transforms/InstCombine/memcpy-addrspace.ll =================================================================== --- test/Transforms/InstCombine/memcpy-addrspace.ll +++ test/Transforms/InstCombine/memcpy-addrspace.ll @@ -21,6 +21,26 @@ ret void } +; CHECK-LABEL: test_load_bitcast_chain +; CHECK: %[[GEP:.*]] = getelementptr [8 x i32], [8 x i32] addrspace(2)* @test.data, i64 0, i64 %x +; CHECK: %{{.*}} = load i32, i32 addrspace(2)* %[[GEP]] +; CHECK-NOT: alloca +; CHECK-NOT: call void @llvm.memcpy.p0i8.p2i8.i64 +; CHECK-NOT: addrspacecast +; CHECK-NOT: load i32, i32* +define void @test_load_bitcast_chain(i32 addrspace(1)* %out, i64 %x) { +entry: + %data = alloca [8 x i32], align 4 + %0 = bitcast [8 x i32]* %data to i8* + call void @llvm.memcpy.p0i8.p2i8.i64(i8* %0, i8 addrspace(2)* bitcast ([8 x i32] addrspace(2)* @test.data to i8 addrspace(2)*), i64 32, i32 4, i1 false) + %1 = bitcast i8* %0 to i32* + %arrayidx = getelementptr inbounds i32, i32* %1, i64 %x + %2 = load i32, i32* %arrayidx, align 4 + %arrayidx1 = getelementptr inbounds i32, i32 addrspace(1)* %out, i64 %x + store i32 %2, i32 addrspace(1)* %arrayidx1, align 4 + ret void +} + ; CHECK-LABEL: test_call ; CHECK: alloca ; CHECK: call void @llvm.memcpy.p0i8.p2i8.i64