mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-04 09:54:09 +00:00
3bfbc4587a
how to fold notionally-out-of-bounds array getelementptr indices instead of just doing these in lib/Analysis/ConstantFolding.cpp, because it can be done in a fairly general way without TargetData, and because not all constants are visited by lib/Analysis/ConstantFolding.cpp. This enables more constant folding. Also, set the "inbounds" flag when the getelementptr indices are one-past-the-end. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81483 91177308-0d34-0410-b5e6-96231b3b80d8
23 lines
1.0 KiB
LLVM
23 lines
1.0 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
|
|
|
|
; Verify that over-indexed getelementptrs are folded.
|
|
@A = external global [2 x [3 x [5 x [7 x i32]]]]
|
|
@B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 0, i64 0, i64 2, i64 1, i64 7523)
|
|
; CHECK: @B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 36, i64 0, i64 1, i64 0, i64 5) ; <i32**> [#uses=0]
|
|
@C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 3, i64 2, i64 0, i64 0, i64 7523)
|
|
; CHECK: @C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 39, i64 1, i64 1, i64 4, i64 5) ; <i32**> [#uses=0]
|
|
|
|
;; Verify that i16 indices work.
|
|
@x = external global {i32, i32}
|
|
@y = global i32* getelementptr ({i32, i32}* @x, i16 42, i32 0)
|
|
; CHECK: @y = global i32* getelementptr (%0* @x, i16 42, i32 0)
|
|
|
|
; see if i92 indices work too.
|
|
define i32 *@test({i32, i32}* %t, i92 %n) {
|
|
; CHECK: @test
|
|
; CHECK: %B = getelementptr %0* %t, i92 %n, i32 0
|
|
%B = getelementptr {i32, i32}* %t, i92 %n, i32 0
|
|
ret i32* %B
|
|
}
|
|
|