test/Transforms/Inline/inline-constexpr-addrspacecast-argument.ll

   1 ; RUN: opt -S -inline < %s | FileCheck %s
   2 ; RUN: opt -S -passes='cgscc(inline)' < %s | FileCheck %s
   3
   4 target datalayout = "e-p3:32:32-p4:64:64-n32"
   5
   6 @lds = internal addrspace(3) global [64 x i64] zeroinitializer
   7
   8 ; CHECK-LABEL: @constexpr_addrspacecast_ptr_size_change(
   9 ; CHECK: load i64, i64 addrspace(4)* addrspacecast (i64 addrspace(3)* getelementptr inbounds ([64 x i64], [64 x i64] addrspace(3)* @lds, i32 0, i32 0) to i64 addrspace(4)*)
  10 ; CHECK-NEXT: br
  11 define void @constexpr_addrspacecast_ptr_size_change() #0 {
  12   %tmp0 = call i32 @foo(i64 addrspace(4)* addrspacecast (i64 addrspace(3)* getelementptr inbounds ([64 x i64], [64 x i64] addrspace(3)* @lds, i32 0, i32 0) to i64 addrspace(4)*)) #1
  13   ret void
  14 }
  15
  16 define i32 @foo(i64 addrspace(4)* %arg) #1 {
  17 bb:
  18   %tmp = getelementptr i64, i64 addrspace(4)* %arg, i64 undef
  19   %tmp1 = load i64, i64 addrspace(4)* %tmp
  20   br i1 undef, label %bb2, label %bb3
  21
  22 bb2:
  23   store i64 0, i64 addrspace(4)* %tmp
  24   br label %bb3
  25
  26 bb3:
  27   unreachable
  28 }
  29
  30 attributes #0 = { nounwind }
  31 attributes #1 = { alwaysinline nounwind }