test/Transforms/ScalarRepl/lifetime.ll

   1 ; RUN: opt -scalarrepl -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 declare void @llvm.lifetime.start(i64, i8*)
   7 declare void @llvm.lifetime.end(i64, i8*)
   8
   9 %t1 = type {i32, i32, i32}
  10
  11 define void @test1() {
  12 ; CHECK-LABEL: @test1(
  13   %A = alloca %t1
  14   %A1 = getelementptr %t1, %t1* %A, i32 0, i32 0
  15   %A2 = getelementptr %t1, %t1* %A, i32 0, i32 1
  16   %A3 = getelementptr %t1, %t1* %A, i32 0, i32 2
  17   %B = bitcast i32* %A1 to i8*
  18   store i32 0, i32* %A1
  19   call void @llvm.lifetime.start(i64 -1, i8* %B)
  20   ret void
  21 ; CHECK-NEXT: ret void
  22 }
  23
  24 define void @test2() {
  25 ; CHECK-LABEL: @test2(
  26   %A = alloca %t1
  27   %A1 = getelementptr %t1, %t1* %A, i32 0, i32 0
  28   %A2 = getelementptr %t1, %t1* %A, i32 0, i32 1
  29   %A3 = getelementptr %t1, %t1* %A, i32 0, i32 2
  30   %B = bitcast i32* %A2 to i8*
  31   store i32 0, i32* %A2
  32   call void @llvm.lifetime.start(i64 -1, i8* %B)
  33   %C = load i32, i32* %A2
  34   ret void
  35 ; CHECK: ret void
  36 }
  37
  38 define void @test3() {
  39 ; CHECK-LABEL: @test3(
  40   %A = alloca %t1
  41   %A1 = getelementptr %t1, %t1* %A, i32 0, i32 0
  42   %A2 = getelementptr %t1, %t1* %A, i32 0, i32 1
  43   %A3 = getelementptr %t1, %t1* %A, i32 0, i32 2
  44   %B = bitcast i32* %A2 to i8*
  45   store i32 0, i32* %A2
  46   call void @llvm.lifetime.start(i64 6, i8* %B)
  47   %C = load i32, i32* %A2
  48   ret void
  49 ; CHECK-NEXT: ret void
  50 }
  51
  52 define void @test4() {
  53 ; CHECK-LABEL: @test4(
  54   %A = alloca %t1
  55   %A1 = getelementptr %t1, %t1* %A, i32 0, i32 0
  56   %A2 = getelementptr %t1, %t1* %A, i32 0, i32 1
  57   %A3 = getelementptr %t1, %t1* %A, i32 0, i32 2
  58   %B = bitcast i32* %A2 to i8*
  59   store i32 0, i32* %A2
  60   call void @llvm.lifetime.start(i64 1, i8* %B)
  61   %C = load i32, i32* %A2
  62   ret void
  63 ; CHECK-NEXT: ret void
  64 }
  65
  66 %t2 = type {i32, [4 x i8], i32}
  67
  68 define void @test5() {
  69 ; CHECK-LABEL: @test5(
  70   %A = alloca %t2
  71 ; CHECK: alloca{{.*}}i8
  72 ; CHECK: alloca{{.*}}i8
  73 ; CHECK: alloca{{.*}}i8
  74
  75   %A21 = getelementptr %t2, %t2* %A, i32 0, i32 1, i32 0
  76   %A22 = getelementptr %t2, %t2* %A, i32 0, i32 1, i32 1
  77   %A23 = getelementptr %t2, %t2* %A, i32 0, i32 1, i32 2
  78   %A24 = getelementptr %t2, %t2* %A, i32 0, i32 1, i32 3
  79 ; CHECK-NOT: store i8 1
  80   store i8 1, i8* %A21
  81   store i8 2, i8* %A22
  82   store i8 3, i8* %A23
  83   store i8 4, i8* %A24
  84
  85   %A1 = getelementptr %t2, %t2* %A, i32 0, i32 0
  86   %A2 = getelementptr %t2, %t2* %A, i32 0, i32 1, i32 1
  87   %A3 = getelementptr %t2, %t2* %A, i32 0, i32 2
  88   store i8 0, i8* %A2
  89   call void @llvm.lifetime.start(i64 5, i8* %A2)
  90 ; CHECK: llvm.lifetime{{.*}}i64 1
  91 ; CHECK: llvm.lifetime{{.*}}i64 1
  92 ; CHECK: llvm.lifetime{{.*}}i64 1
  93   %C = load i8, i8* %A2
  94   ret void
  95 }
  96
  97 %t3 = type {[4 x i16], [4 x i8]}
  98
  99 define void @test6() {
 100 ; CHECK-LABEL: @test6(
 101   %A = alloca %t3
 102 ; CHECK: alloca i8
 103 ; CHECK: alloca i8
 104 ; CHECK: alloca i8
 105
 106   %A11 = getelementptr %t3, %t3* %A, i32 0, i32 0, i32 0
 107   %A12 = getelementptr %t3, %t3* %A, i32 0, i32 0, i32 1
 108   %A13 = getelementptr %t3, %t3* %A, i32 0, i32 0, i32 2
 109   %A14 = getelementptr %t3, %t3* %A, i32 0, i32 0, i32 3
 110   store i16 11, i16* %A11
 111   store i16 12, i16* %A12
 112   store i16 13, i16* %A13
 113   store i16 14, i16* %A14
 114 ; CHECK-NOT: store i16 11
 115 ; CHECK-NOT: store i16 12
 116 ; CHECK-NOT: store i16 13
 117 ; CHECK-NOT: store i16 14
 118
 119   %A21 = getelementptr %t3, %t3* %A, i32 0, i32 1, i32 0
 120   %A22 = getelementptr %t3, %t3* %A, i32 0, i32 1, i32 1
 121   %A23 = getelementptr %t3, %t3* %A, i32 0, i32 1, i32 2
 122   %A24 = getelementptr %t3, %t3* %A, i32 0, i32 1, i32 3
 123   store i8 21, i8* %A21
 124   store i8 22, i8* %A22
 125   store i8 23, i8* %A23
 126   store i8 24, i8* %A24
 127 ; CHECK: store i8 21
 128 ; CHECK: store i8 22
 129 ; CHECK: store i8 23
 130 ; CHECK-NOT: store i8 24
 131
 132   %B = bitcast i16* %A13 to i8*
 133   call void @llvm.lifetime.start(i64 7, i8* %B)
 134 ; CHECK: lifetime.start{{.*}}i64 1
 135 ; CHECK: lifetime.start{{.*}}i64 1
 136 ; CHECK: lifetime.start{{.*}}i64 1
 137
 138   ret void
 139 }