[DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2)
[llvm-project.git] / llvm / test / Transforms / GlobalOpt / globalsra-unknown-index.ll
blob4607373ab2c7c2552a3b8e26fe3db5d8ba08736e
1 ; RUN: opt < %s -globalopt -S | FileCheck %s
3 ; globalopt should not sra the global, because it can't see the index.
5 %struct.X = type { [3 x i32], [3 x i32] }
7 ; CHECK: @Y = internal unnamed_addr global [3 x %struct.X] zeroinitializer
8 @Y = internal global [3 x %struct.X] zeroinitializer
10 @addr = external global i8
12 define void @frob() {
13   store i32 1, i32* getelementptr inbounds ([3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 0, i32 0, i64 ptrtoint (i8* @addr to i64)), align 4
14   ret void
17 ; CHECK-LABEL: @borf
18 ; CHECK: %a = load
19 ; CHECK: %b = load
20 ; CHECK: add i32 %a, %b
21 define i32 @borf(i64 %i, i64 %j) {
22   %p = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 0, i32 0, i64 0
23   %a = load i32, i32* %p
24   %q = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 0, i32 1, i64 0
25   %b = load i32, i32* %q
26   %c = add i32 %a, %b
27   ret i32 %c
30 ; CHECK-LABEL: @borg
31 ; CHECK: %a = load
32 ; CHECK: %b = load
33 ; CHECK: add i32 %a, %b
34 define i32 @borg(i64 %i, i64 %j) {
35   %p = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 1, i32 0, i64 1
36   %a = load i32, i32* %p
37   %q = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 1, i32 1, i64 1
38   %b = load i32, i32* %q
39   %c = add i32 %a, %b
40   ret i32 %c
43 ; CHECK-LABEL: @borh
44 ; CHECK: %a = load
45 ; CHECK: %b = load
46 ; CHECK: add i32 %a, %b
47 define i32 @borh(i64 %i, i64 %j) {
48   %p = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 2, i32 0, i64 2
49   %a = load i32, i32* %p
50   %q = getelementptr inbounds [3 x %struct.X], [3 x %struct.X]* @Y, i64 0, i64 2, i32 1, i64 2
51   %b = load i32, i32* %q
52   %c = add i32 %a, %b
53   ret i32 %c