diff options
| author | Dan Gohman <gohman@apple.com> | 2009-09-11 00:04:14 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-09-11 00:04:14 +0000 |
| commit | 21c6216c87c0061ca9f02957f848523097d0dac3 (patch) | |
| tree | 597643ff401234f8e77c18b42fe03dbdedd38802 /llvm/test/Transforms/InstCombine/getelementptr.ll | |
| parent | c91aeac18be39598edfacbfca27e7016ee52b62e (diff) | |
| download | bcm5719-llvm-21c6216c87c0061ca9f02957f848523097d0dac3.tar.gz bcm5719-llvm-21c6216c87c0061ca9f02957f848523097d0dac3.zip | |
Teach lib/VMCore/ConstantFold.cpp how to set the inbounds keyword and
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.
llvm-svn: 81483
Diffstat (limited to 'llvm/test/Transforms/InstCombine/getelementptr.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/getelementptr.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/InstCombine/getelementptr.ll b/llvm/test/Transforms/InstCombine/getelementptr.ll index 444a0ee9389..037190da3f5 100644 --- a/llvm/test/Transforms/InstCombine/getelementptr.ll +++ b/llvm/test/Transforms/InstCombine/getelementptr.ll @@ -222,7 +222,7 @@ define i1 @test22() { getelementptr (i32* @B, i64 2) ret i1 %C ; CHECK: @test22 -; CHECK: icmp ult (i32* getelementptr (i32* @A, i64 1), i32* getelementptr (i32* @B, i64 2)) +; CHECK: icmp ult (i32* getelementptr inbounds (i32* @A, i64 1), i32* getelementptr (i32* @B, i64 2)) } @@ -463,7 +463,7 @@ define i8* @test36() nounwind { @A37 = external constant [1 x i8] define i1 @test37() nounwind { ; CHECK: @test37 -; CHECK: ret i1 icmp eq (i8* getelementptr ([1 x i8]* @A37, i64 0, i64 1), i8* getelementptr ([1 x i8]* @A37, i64 1, i64 0)) +; CHECK: ret i1 true %t = icmp eq i8* getelementptr ([1 x i8]* @A37, i64 0, i64 1), getelementptr ([1 x i8]* @A37, i64 1, i64 0) ret i1 %t |
