diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-08-17 19:26:41 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-08-17 19:26:41 +0000 |
commit | 34764fe2e474bd72821fb62e343d9eb955c085a4 (patch) | |
tree | be33dc6ad78d0f53e9f6e02d8a9b0808fabc3ca4 /llvm/test | |
parent | dbd89aedd2de02b8389b1247ff51163ba79f3e96 (diff) | |
download | bcm5719-llvm-34764fe2e474bd72821fb62e343d9eb955c085a4.tar.gz bcm5719-llvm-34764fe2e474bd72821fb62e343d9eb955c085a4.zip |
MemoryBuiltins: Properly guard ObjectSizeOffsetVisitor against cycles in the IR.
The previous fix only checked for simple cycles, use a set to catch longer
cycles too.
Drop the broken check from the ObjectSizeOffsetEvaluator. The BoundsChecking
pass doesn't have to deal with invalid IR like InstCombine does.
llvm-svn: 162120
Diffstat (limited to 'llvm/test')
-rw-r--r-- | llvm/test/Transforms/InstCombine/objsize.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/objsize.ll b/llvm/test/Transforms/InstCombine/objsize.ll index d7e292155cd..31a3cb46e45 100644 --- a/llvm/test/Transforms/InstCombine/objsize.ll +++ b/llvm/test/Transforms/InstCombine/objsize.ll @@ -247,7 +247,8 @@ entry: ; technically reachable, but this malformed IR may appear as a result of constant propagation xpto: - %gep = getelementptr i8* %gep, i32 1 + %gep2 = getelementptr i8* %gep, i32 1 + %gep = getelementptr i8* %gep2, i32 1 %o = call i32 @llvm.objectsize.i32(i8* %gep, i1 true) ; CHECK: ret i32 undef ret i32 %o |