aboutsummaryrefslogtreecommitdiffstats
path: root/test/CodeGen/X86
diff options
context:
space:
mode:
authorDuncan Sands <baldrick@free.fr>2008-11-10 17:28:30 +0000
committerDuncan Sands <baldrick@free.fr>2008-11-10 17:28:30 +0000
commita29c13086a3add78a3a79f744573fe09eaa9dc88 (patch)
tree2cfcdeb4398e87584b879bb62bc37ce65e0a740e /test/CodeGen/X86
parentc04b6917c184ca9d6c7bc0c749a734f89cebcd35 (diff)
downloadexternal_llvm-a29c13086a3add78a3a79f744573fe09eaa9dc88.zip
external_llvm-a29c13086a3add78a3a79f744573fe09eaa9dc88.tar.gz
external_llvm-a29c13086a3add78a3a79f744573fe09eaa9dc88.tar.bz2
When promoting the result of fp_to_uint/fp_to_sint,
inform the optimizers that the result must be zero/ sign extended from the smaller type. For example, if a fp to unsigned i16 is promoted to fp to i32, then we are allowed to assume that the extra 16 bits are zero (because the result of fp to i16 is undefined if the result does not fit in an i16). This is quite aggressive, but should help the optimizers produce better code. This requires correcting a test which thought that fp_to_uint is some kind of truncation, which it is not: in the testcase (which does fp to i1), either the fp value converts to 0 or 1 or the result is undefined, which is quite different to truncation. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@58991 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86')
-rw-r--r--test/CodeGen/X86/trunc-to-bool.ll11
1 files changed, 1 insertions, 10 deletions
diff --git a/test/CodeGen/X86/trunc-to-bool.ll b/test/CodeGen/X86/trunc-to-bool.ll
index 9dd1425..25a1191 100644
--- a/test/CodeGen/X86/trunc-to-bool.ll
+++ b/test/CodeGen/X86/trunc-to-bool.ll
@@ -2,7 +2,7 @@
; sure only the LSBit survives. Test that this is the case both for a returned
; value and as the operand of a branch.
; RUN: llvm-as < %s | llc -march=x86 | grep {\\(and\\)\\|\\(test.*\\\$1\\)} | \
-; RUN: count 6
+; RUN: count 5
define i1 @test1(i32 %X) zeroext {
%Y = trunc i32 %X to i1
@@ -40,15 +40,6 @@ cond_false:
ret i32 42
}
-define i32 @test5(float %f) {
- %tmp = fptoui float %f to i1
- br i1 %tmp, label %cond_true, label %cond_false
-cond_true:
- ret i32 21
-cond_false:
- ret i32 42
-}
-
define i32 @test6(double %d) {
%tmp = fptosi double %d to i1
br i1 %tmp, label %cond_true, label %cond_false