diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-08-08 13:18:47 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-08-08 13:18:47 +0000 |
| commit | dffb051c21d32209c601ca0ca6baae75b6c6463f (patch) | |
| tree | f72fce48e93ea8ecaad15d40472456bceb4de997 /test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll | |
| parent | 20c08e534f04cafab755ce9c78882a954c0fb032 (diff) | |
Simplify RegScavenger::forward a bit more.
Verify that early clobber registers and their aliases are not used.
All changes to RegsAvailable are now done as a transaction so the order of
operands makes no difference.
The included test case is from PR4686. It has behaviour that was dependent on the order of operands.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78465 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll')
| -rw-r--r-- | test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll b/test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll new file mode 100644 index 00000000000..0d47c50327c --- /dev/null +++ b/test/CodeGen/Thumb2/2009-08-08-ScavengerAssert.ll @@ -0,0 +1,20 @@ +; RUN: llvm-as < %s | llc -mtriple=armv7-eabi -mattr=+vfp2 +; PR4686 + +@g_d = external global double ; <double*> [#uses=1] + +define arm_aapcscc void @foo(float %yIncr) { +entry: + br i1 undef, label %bb, label %bb4 + +bb: ; preds = %entry + %0 = call arm_aapcs_vfpcc float @bar() ; <float> [#uses=1] + %1 = fpext float %0 to double ; <double> [#uses=1] + store double %1, double* @g_d, align 8 + br label %bb4 + +bb4: ; preds = %bb, %entry + unreachable +} + +declare arm_aapcs_vfpcc float @bar() |