diff options
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/InstCombine/store-load-unaliased-gep.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/store-load-unaliased-gep.ll b/test/Transforms/InstCombine/store-load-unaliased-gep.ll new file mode 100644 index 00000000000..cdeee317055 --- /dev/null +++ b/test/Transforms/InstCombine/store-load-unaliased-gep.ll @@ -0,0 +1,23 @@ +; RUN: opt -instcombine %s -S 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes=instcombine %s -S 2>&1 | FileCheck %s + +; Checking successful store-load optimization of array length. +; Function below should deduce just to "return length". +; Doable only if instcombine has access to alias-analysis. + +define i32 @test1(i32 %length) { +; CHECK-LABEL: entry: +entry: + %array = alloca i32, i32 2 + ; CHECK-NOT: %array + + %length_gep = getelementptr inbounds i32, i32 * %array, i32 0 + %value_gep = getelementptr inbounds i32, i32 * %array, i32 1 + store i32 %length, i32 * %length_gep + store i32 0, i32 * %value_gep + %loaded_length = load i32, i32 * %length_gep + ; CHECK-NOT: %loaded_length = load i32 + + ret i32 %loaded_length + ; CHECK: ret i32 %length +} |