Index: llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp =================================================================== --- llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp +++ llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp @@ -330,6 +330,12 @@ // to the worklist etc. if (NeedsReanalyzing) { assert(N->getNodeId() == ReadyToProcess && "Node ID recalculated?"); + + // Remove any result values from SoftenedFloats as N will be revisited + // again. + for (unsigned i = 0, NumResults = N->getNumValues(); i < NumResults; ++i) + SoftenedFloats.erase(SDValue(N, i)); + N->setNodeId(NewNode); // Recompute the NodeId and correct processed operands, adding the node to // the worklist if ready. @@ -748,6 +754,8 @@ // new uses of From due to CSE. If this happens, replace the new uses of // From with To. } while (!From.use_empty()); + + SoftenedFloats.erase(From); } void DAGTypeLegalizer::SetPromotedInteger(SDValue Op, SDValue Result) { Index: llvm/trunk/test/CodeGen/X86/fp128-compare.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-compare.ll +++ llvm/trunk/test/CodeGen/X86/fp128-compare.ll @@ -1,5 +1,7 @@ -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s define i32 @TestComp128GT(fp128 %d1, fp128 %d2) { entry: Index: llvm/trunk/test/CodeGen/X86/fp128-g.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-g.ll +++ llvm/trunk/test/CodeGen/X86/fp128-g.ll @@ -1,4 +1,5 @@ -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s --check-prefix=X64 +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s --check-prefix=X64 ; ; These cases check if x86_64-linux-android works with -O2 -g, ; especially CSE matching needed by SoftenFloatRes_LOAD. Index: llvm/trunk/test/CodeGen/X86/fp128-i128.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-i128.ll +++ llvm/trunk/test/CodeGen/X86/fp128-i128.ll @@ -1,5 +1,7 @@ -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s ; These tests were generated from simplified libm C code. ; When compiled for the x86_64-linux-android target, Index: llvm/trunk/test/CodeGen/X86/fp128-libcalls.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-libcalls.ll +++ llvm/trunk/test/CodeGen/X86/fp128-libcalls.ll @@ -1,5 +1,7 @@ -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s ; Check all soft floating point library function calls. Index: llvm/trunk/test/CodeGen/X86/fp128-load.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-load.ll +++ llvm/trunk/test/CodeGen/X86/fp128-load.ll @@ -1,5 +1,7 @@ -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s ; __float128 myFP128 = 1.0L; // x86_64-linux-android @my_fp128 = global fp128 0xL00000000000000003FFF000000000000, align 16 Index: llvm/trunk/test/CodeGen/X86/fp128-select.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fp128-select.ll +++ llvm/trunk/test/CodeGen/X86/fp128-select.ll @@ -1,8 +1,12 @@ ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx | FileCheck %s --check-prefix=MMX -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx | FileCheck %s --check-prefix=MMX -; RUN: llc < %s -O2 -mtriple=x86_64-linux-android | FileCheck %s -; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s --check-prefix=MMX +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu -mattr=+mmx \ +; RUN: -enable-legalize-types-checking | FileCheck %s --check-prefix=MMX +; RUN: llc < %s -O2 -mtriple=x86_64-linux-android \ +; RUN: -enable-legalize-types-checking | FileCheck %s +; RUN: llc < %s -O2 -mtriple=x86_64-linux-gnu \ +; RUN: -enable-legalize-types-checking | FileCheck %s define void @test_select(fp128* %p, fp128* %q, i1 zeroext %c) { ; MMX-LABEL: test_select: