test/Transforms/ScalarRepl/union-pointer.ll

   1 ; PR892
   2 ; RUN: opt < %s -scalarrepl -S | FileCheck %s
   3
   4
   5 target datalayout = "e-p:32:32-p1:16:16-n8:16:32"
   6 target triple = "i686-apple-darwin8.7.2"
   7
   8 %struct.Val = type { i32*, i32 }
   9
  10 define i8* @test(i16* %X) {
  11 ; CHECK-LABEL: @test(
  12 ; CHECK-NOT: alloca
  13 ; CHECK: ret i8*
  14         %X_addr = alloca i16*           ; <i16**> [#uses=2]
  15         store i16* %X, i16** %X_addr
  16         %X_addr.upgrd.1 = bitcast i16** %X_addr to i8**         ; <i8**> [#uses=1]
  17         %tmp = load i8** %X_addr.upgrd.1                ; <i8*> [#uses=1]
  18         ret i8* %tmp
  19 }
  20
  21 define i8 addrspace(1)* @test_as1(i16 addrspace(1)* %x) {
  22 ; CHECK-LABEL: @test_as1(
  23 ; CHECK-NEXT: %1 = ptrtoint i16 addrspace(1)* %x to i16
  24 ; CHECK-NEXT: %2 = inttoptr i16 %1 to i8 addrspace(1)*
  25 ; CHECK-NEXT: ret i8 addrspace(1)* %2
  26     %x_addr = alloca i16 addrspace(1)*
  27         store i16 addrspace(1)* %x, i16 addrspace(1)** %x_addr
  28         %x_addr.upgrd.1 = bitcast i16 addrspace(1)** %x_addr to i8 addrspace(1)**
  29         %tmp = load i8 addrspace(1)** %x_addr.upgrd.1
  30         ret i8 addrspace(1)* %tmp
  31 }
  32
  33 define i8 addrspace(1)* @test_as1_array(i16 addrspace(1)* %x) {
  34 ; CHECK-LABEL: @test_as1_array(
  35 ; CHECK-NEXT: %1 = ptrtoint i16 addrspace(1)* %x to i16
  36 ; CHECK-NEXT: %2 = inttoptr i16 %1 to i8 addrspace(1)*
  37 ; CHECK-NEXT: ret i8 addrspace(1)* %2
  38   %as_ptr_array = alloca [4 x i16 addrspace(1)*]
  39   %elem1 = getelementptr [4 x i16 addrspace(1)*]* %as_ptr_array, i32 0, i32 1
  40   store i16 addrspace(1)* %x, i16 addrspace(1)** %elem1
  41   %elem1.cast = bitcast i16 addrspace(1)** %elem1 to i8 addrspace(1)**
  42   %tmp = load i8 addrspace(1)** %elem1.cast
  43   ret i8 addrspace(1)* %tmp
  44 }
  45
  46
  47 define void @test2(i64 %Op.0) {
  48 ; CHECK-LABEL: @test2(
  49 ; CHECK-NOT: alloca
  50 ; CHECK: ret void
  51
  52         %tmp = alloca %struct.Val, align 8              ; <%struct.Val*> [#uses=3]
  53         %tmp1 = alloca %struct.Val, align 8             ; <%struct.Val*> [#uses=3]
  54         %tmp.upgrd.2 = call i64 @_Z3foov( )             ; <i64> [#uses=1]
  55         %tmp1.upgrd.3 = bitcast %struct.Val* %tmp1 to i64*              ; <i64*> [#uses=1]
  56         store i64 %tmp.upgrd.2, i64* %tmp1.upgrd.3
  57         %tmp.upgrd.4 = getelementptr %struct.Val* %tmp, i32 0, i32 0            ; <i32**> [#uses=1]
  58         %tmp2 = getelementptr %struct.Val* %tmp1, i32 0, i32 0          ; <i32**> [#uses=1]
  59         %tmp.upgrd.5 = load i32** %tmp2         ; <i32*> [#uses=1]
  60         store i32* %tmp.upgrd.5, i32** %tmp.upgrd.4
  61         %tmp3 = getelementptr %struct.Val* %tmp, i32 0, i32 1           ; <i32*> [#uses=1]
  62         %tmp4 = getelementptr %struct.Val* %tmp1, i32 0, i32 1          ; <i32*> [#uses=1]
  63         %tmp.upgrd.6 = load i32* %tmp4          ; <i32> [#uses=1]
  64         store i32 %tmp.upgrd.6, i32* %tmp3
  65         %tmp7 = bitcast %struct.Val* %tmp to { i64 }*           ; <{ i64 }*> [#uses=1]
  66         %tmp8 = getelementptr { i64 }* %tmp7, i32 0, i32 0              ; <i64*> [#uses=1]
  67         %tmp9 = load i64* %tmp8         ; <i64> [#uses=1]
  68         call void @_Z3bar3ValS_( i64 %Op.0, i64 %tmp9 )
  69         ret void
  70 }
  71
  72 declare i64 @_Z3foov()
  73
  74 declare void @_Z3bar3ValS_(i64, i64)