[LLVMbugs] [Bug 8138] New: Bugpoint: Loop extraction broke the program

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=8138

           Summary: Bugpoint: Loop extraction broke the program
           Product: tools
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: bugpoint
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: stoklund at 2pi.dk
                CC: llvmbugs at cs.uiuc.edu


While debugging a Bullet miscompile with -regalloc=fast on darwin x86_64:

bugpoint -llc-safe t.bc -Xlinker all.a -Xlinker -lstdc++ -tool-args
-regalloc=fast

Read input file      : 't.bc'
*** All input ok
Initializing execution environment: Found gcc: /opt/local/libexec/ccache/gcc
Running the code generator to test for a crash: <llc>
Generating reference output from raw program: <llc><llc><gcc><program>
Reference output is: bugpoint.reference.out-di09Is

*** Checking the code generator...
<llc><gcc><program>
*** Input program does not match reference diff!
Debugging code generator problem!
Checking to see if the program is misoptimized when these functions are run
through the passes: _ZN15btGjkEpaSolver220StackSizeRequirementEv
_ZN15btGjkEpaSolver28DistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN12gjkepa2_impl10InitializeEPK13btConvexShapeRK11btTransformS2_S5_RN15btGjkEpaSolver28sResultsERNS_13MinkowskiDiffEb
_ZN12gjkepa2_impl3GJK8EvaluateERKNS_13MinkowskiDiffERK9btVector3
_ZNK12gjkepa2_impl13MinkowskiDiff7SupportERK9btVector3j
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
_ZN12gjkepa2_impl3EPA8EvaluateERNS_3GJKERK9btVector3
_ZN15btGjkEpaSolver214SignedDistanceERK9btVector3fPK13btConvexShapeRK11btTransformRNS_8sResultsE
_ZN15btGjkEpaSolver214SignedDistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN11btMatrix3x311setRotationERK12btQuaternion... <21 total>
<llc><gcc><llc><gcc><program>: still failing!
Checking to see if the program is misoptimized when these functions are run
through the passes: _ZN12gjkepa2_impl3GJK13EncloseOriginEv
_ZN12gjkepa2_impl3GJK3detERK9btVector3S3_S3_
_ZN12gjkepa2_impl3EPA7newfaceEPNS_3GJK3sSVES3_S3_b
_ZN12gjkepa2_impl3EPA8findbestEv
_ZNK12gjkepa2_impl3GJK10getsupportERK9btVector3RNS0_3sSVE
_ZN12gjkepa2_impl3EPA6expandEjPNS_3GJK3sSVEPNS0_5sFaceEjRNS0_8sHorizonE
_ZN12gjkepa2_impl3GJK13appendverticeERNS0_8sSimplexERK9btVector3
_ZN12gjkepa2_impl3EPA10InitializeEv
_ZN12gjkepa2_impl3GJK13projectoriginERK9btVector3S3_PfRj
_ZN12gjkepa2_impl3GJK13projectoriginERK9btVector3S3_S3_PfRj... <11 total>
<llc><gcc><llc><gcc><program>: didn't fail.
Checking to see if the program is misoptimized when these functions are run
through the passes: _ZN15btGjkEpaSolver220StackSizeRequirementEv
_ZN15btGjkEpaSolver28DistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN12gjkepa2_impl10InitializeEPK13btConvexShapeRK11btTransformS2_S5_RN15btGjkEpaSolver28sResultsERNS_13MinkowskiDiffEb
_ZN12gjkepa2_impl3GJK8EvaluateERKNS_13MinkowskiDiffERK9btVector3
_ZNK12gjkepa2_impl13MinkowskiDiff7SupportERK9btVector3j
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
_ZN12gjkepa2_impl3EPA8EvaluateERNS_3GJKERK9btVector3
_ZN15btGjkEpaSolver214SignedDistanceERK9btVector3fPK13btConvexShapeRK11btTransformRNS_8sResultsE
_ZN15btGjkEpaSolver214SignedDistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN11btMatrix3x311setRotationERK12btQuaternion
<llc><gcc><llc><gcc><program>: still failing!
Checking to see if the program is misoptimized when these functions are run
through the passes:
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
_ZN12gjkepa2_impl3EPA8EvaluateERNS_3GJKERK9btVector3
_ZN15btGjkEpaSolver214SignedDistanceERK9btVector3fPK13btConvexShapeRK11btTransformRNS_8sResultsE
_ZN15btGjkEpaSolver214SignedDistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN11btMatrix3x311setRotationERK12btQuaternion
<llc><gcc><llc><gcc><program>: still failing!
Checking to see if the program is misoptimized when these functions are run
through the passes:
_ZN15btGjkEpaSolver214SignedDistanceERK9btVector3fPK13btConvexShapeRK11btTransformRNS_8sResultsE
_ZN15btGjkEpaSolver214SignedDistanceEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsE
_ZN11btMatrix3x311setRotationERK12btQuaternion
<llc><gcc><llc><gcc><program>: didn't fail.
Checking to see if the program is misoptimized when these functions are run
through the passes:
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
_ZN12gjkepa2_impl3EPA8EvaluateERNS_3GJKERK9btVector3
<llc><gcc><llc><gcc><program>: still failing!
Checking to see if the program is misoptimized when this function is run
through the passes: _ZN12gjkepa2_impl3EPA8EvaluateERNS_3GJKERK9btVector3
<llc><gcc><llc><gcc><program>: didn't fail.
Checking to see if the program is misoptimized when this function is run
through the passes:
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
<llc><gcc><llc><gcc><program>: still failing!

*** The following function is being miscompiled: 
_ZN15btGjkEpaSolver211PenetrationEPK13btConvexShapeRK11btTransformS2_S5_RK9btVector3RNS_8sResultsEb
Extracted a loop from the breaking portion of the program.
<llc><gcc><program>  *** ERROR: Loop extraction broke the program. :( Please
report a bug!
      Continuing on with un-loop-extracted version.
Please submit the bugpoint-loop-extract-fail-*.bc files.
Checking to see if the program is misoptimized when all blocks are extracted.
$ echo $?
11

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.