diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-01-24 16:28:28 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-01-24 16:28:28 +0000 |
| commit | 435eba09b75dc64a0e3a1b39953c1ddc3ef0de7c (patch) | |
| tree | e73818da30d62c176e72727d1a0424b48ab0e7a0 /llvm/test/Transforms/ConstProp | |
| parent | cbc86bcbb59e9db635600d1aba277413bb09d0cb (diff) | |
| download | bcm5719-llvm-435eba09b75dc64a0e3a1b39953c1ddc3ef0de7c.tar.gz bcm5719-llvm-435eba09b75dc64a0e3a1b39953c1ddc3ef0de7c.zip | |
ConstantFolding: Add a missing folding that leads to a miscompile.
We use constant folding to see if an intrinsic evaluates to the same value as a
constant that we know. If we don't take the undefinedness into account we get a
value that doesn't match the actual implementation, and miscompiled code.
This was uncovered by Chandler's simplifycfg changes.
llvm-svn: 173356
Diffstat (limited to 'llvm/test/Transforms/ConstProp')
| -rw-r--r-- | llvm/test/Transforms/ConstProp/2007-11-23-cttz.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/ConstProp/2007-11-23-cttz.ll b/llvm/test/Transforms/ConstProp/2007-11-23-cttz.ll index 6d34cb17fff..c5ee70c2ff1 100644 --- a/llvm/test/Transforms/ConstProp/2007-11-23-cttz.ll +++ b/llvm/test/Transforms/ConstProp/2007-11-23-cttz.ll @@ -3,6 +3,6 @@ declare i13 @llvm.cttz.i13(i13, i1) define i13 @test() { - %X = call i13 @llvm.cttz.i13(i13 0, i1 true) + %X = call i13 @llvm.cttz.i13(i13 0, i1 false) ret i13 %X } |
