mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 04:22:57 +02:00
eb9c5df516
constants in C++11 mode. I have no idea why it required such particular circumstances to get here, the code seems clearly to rely upon unchecked assumptions. Specifically, when we decide to form an index into a struct type, we may have gone through (at least one) zero-length array indexing round, which would have left the offset un-adjusted, and thus not necessarily valid for use when indexing the struct type. This is just an canonicalization step, so the correct thing is to refuse to canonicalize nonsensical GEPs of this form. Implemented, and test case added. Fixes PR12642. Pair debugged and coded with Richard Smith. =] I credit him with most of the debugging, and preventing me from writing the wrong code. llvm-svn: 155466
57 lines
1.8 KiB
LLVM
57 lines
1.8 KiB
LLVM
; RUN: opt < %s -S -globalopt | FileCheck %s
|
|
|
|
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"
|
|
|
|
@.str91250 = global [3 x i8] zeroinitializer
|
|
|
|
; CHECK: @A = global i1 false
|
|
@A = global i1 icmp ne (i64 sub nsw (i64 ptrtoint (i8* getelementptr inbounds ([3 x i8]* @.str91250, i64 0, i64 1) to i64), i64 ptrtoint ([3 x i8]* @.str91250 to i64)), i64 1)
|
|
|
|
; PR11352
|
|
|
|
@xs = global [2 x i32] zeroinitializer, align 4
|
|
; CHECK: @xs = global [2 x i32] [i32 1, i32 1]
|
|
|
|
; PR12642
|
|
%PR12642.struct = type { i8 }
|
|
@PR12642.s = global <{}> zeroinitializer, align 1
|
|
@PR12642.p = constant %PR12642.struct* bitcast (i8* getelementptr (i8* bitcast (<{}>* @PR12642.s to i8*), i64 1) to %PR12642.struct*), align 8
|
|
|
|
define internal void @test1() {
|
|
entry:
|
|
store i32 1, i32* getelementptr inbounds ([2 x i32]* @xs, i64 0, i64 0)
|
|
%0 = load i32* getelementptr inbounds ([2 x i32]* @xs, i32 0, i64 0), align 4
|
|
store i32 %0, i32* getelementptr inbounds ([2 x i32]* @xs, i64 0, i64 1)
|
|
ret void
|
|
}
|
|
|
|
; PR12060
|
|
|
|
%closure = type { i32 }
|
|
|
|
@f = internal global %closure zeroinitializer, align 4
|
|
@m = global i32 0, align 4
|
|
; CHECK-NOT: @f
|
|
; CHECK: @m = global i32 13
|
|
|
|
define internal i32 @test2_helper(%closure* %this, i32 %b) {
|
|
entry:
|
|
%0 = getelementptr inbounds %closure* %this, i32 0, i32 0
|
|
%1 = load i32* %0, align 4
|
|
%add = add nsw i32 %1, %b
|
|
ret i32 %add
|
|
}
|
|
|
|
define internal void @test2() {
|
|
entry:
|
|
store i32 4, i32* getelementptr inbounds (%closure* @f, i32 0, i32 0)
|
|
%call = call i32 @test2_helper(%closure* @f, i32 9)
|
|
store i32 %call, i32* @m, align 4
|
|
ret void
|
|
}
|
|
|
|
@llvm.global_ctors = appending constant
|
|
[2 x { i32, void ()* }]
|
|
[{ i32, void ()* } { i32 65535, void ()* @test1 },
|
|
{ i32, void ()* } { i32 65535, void ()* @test2 }]
|