summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/multi-use-or.ll
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2009-01-31 08:40:03 +0000
committerChris Lattner <sabre@nondot.org>2009-01-31 08:40:03 +0000
commitd1b5e3fad94d4a5203c0a355aa7d37c01abaca8c (patch)
tree6c9cf45f60d9f2c67525dae39f64548de1ba0eeb /test/Transforms/InstCombine/multi-use-or.ll
parent4598c943c0bae941a96d882ed01f8dd2db4ef1e1 (diff)
downloadllvm-d1b5e3fad94d4a5203c0a355aa7d37c01abaca8c.tar.gz
llvm-d1b5e3fad94d4a5203c0a355aa7d37c01abaca8c.tar.bz2
llvm-d1b5e3fad94d4a5203c0a355aa7d37c01abaca8c.tar.xz
now that all the pieces are in place, teach instcombine's
simplifydemandedbits to simplify instructions with *multiple uses* in contexts where it can get away with it. This allows it to simplify the code in multi-use-or.ll into a single 'add double'. This change is particularly interesting because it will cover up for some common codegen bugs with large integers created due to the recent SROA patch. When working on fixing those bugs, this should be disabled. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63481 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/multi-use-or.ll')
-rw-r--r--test/Transforms/InstCombine/multi-use-or.ll24
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/multi-use-or.ll b/test/Transforms/InstCombine/multi-use-or.ll
new file mode 100644
index 0000000000..85a8b34e2f
--- /dev/null
+++ b/test/Transforms/InstCombine/multi-use-or.ll
@@ -0,0 +1,24 @@
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {add double .sx, .sy}
+; The 'or' has multiple uses, make sure that this doesn't prevent instcombine
+; from propagating the extends to the truncs.
+
+define double @ScaleObjectAdd(double %sx, double %sy, double %sz) nounwind {
+entry:
+ %sx34 = bitcast double %sx to i64 ; <i64> [#uses=1]
+ %sx3435 = zext i64 %sx34 to i192 ; <i192> [#uses=1]
+ %sy22 = bitcast double %sy to i64 ; <i64> [#uses=1]
+ %sy2223 = zext i64 %sy22 to i192 ; <i192> [#uses=1]
+ %sy222324 = shl i192 %sy2223, 128 ; <i192> [#uses=1]
+ %sy222324.ins = or i192 %sx3435, %sy222324 ; <i192> [#uses=1]
+
+
+ %a = trunc i192 %sy222324.ins to i64 ; <i64> [#uses=1]
+ %b = bitcast i64 %a to double ; <double> [#uses=1]
+ %c = lshr i192 %sy222324.ins, 128 ; <i192> [#uses=1]
+ %d = trunc i192 %c to i64 ; <i64> [#uses=1]
+ %e = bitcast i64 %d to double ; <double> [#uses=1]
+ %f = add double %b, %e
+
+; ret double %e
+ ret double %f
+}