• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -scalarrepl -S | FileCheck %s
2target datalayout = "E-p:64:64:64-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"
3
4define i32 @test1() {
5	%X = alloca { i32, float }		; <{ i32, float }*> [#uses=1]
6	%Y = getelementptr { i32, float }* %X, i64 0, i32 0		; <i32*> [#uses=2]
7	store i32 0, i32* %Y
8	%Z = load i32* %Y		; <i32> [#uses=1]
9	ret i32 %Z
10; CHECK: @test1
11; CHECK-NOT: alloca
12; CHECK: ret i32 0
13}
14
15; PR8980
16define i64 @test2(i64 %X) {
17	%A = alloca [8 x i8]
18        %B = bitcast [8 x i8]* %A to i64*
19
20	store i64 %X, i64* %B
21        br label %L2
22
23L2:
24	%Z = load i64* %B		; <i32> [#uses=1]
25	ret i64 %Z
26; CHECK: @test2
27; CHECK-NOT: alloca
28; CHECK: ret i64 %X
29}
30
31