llvm-6502/test/CodeGen/PowerPC/aa-tbaa.ll
Hal Finkel 1299df2a0b Add a TBAA CodeGen failure test case
I disabled the use of TBAA in CodeGen in r200093. This adds a test case that
demonstrates the problems with inttoptr and TBAA in CodeGen (and, specifically,
the problem that causes LLVM to miscompile itself in Release mode). This test
will currently fail if -use-tbaa-in-sched-mi is enabled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200097 91177308-0d34-0410-b5e6-96231b3b80d8
2014-01-25 20:16:36 +00:00

42 lines
1.2 KiB
LLVM

; RUN: llc -enable-misched -misched=shuffle -enable-aa-sched-mi -post-RA-scheduler=0 -mcpu=ppc64 < %s | FileCheck %s
; REQUIRES: asserts
; -misched=shuffle is NDEBUG only!
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"
%"class.llvm::MCOperand" = type { i8, %union.anon.110 }
%union.anon.110 = type { i64 }
define void @foo(i32 %v) {
entry:
%MCOp = alloca %"class.llvm::MCOperand", align 8
br label %next
; CHECK-LABEL: @foo
next:
%sunkaddr18 = ptrtoint %"class.llvm::MCOperand"* %MCOp to i64
%sunkaddr19 = add i64 %sunkaddr18, 8
%sunkaddr20 = inttoptr i64 %sunkaddr19 to double*
store double 0.000000e+00, double* %sunkaddr20, align 8, !tbaa !1
%sunkaddr21 = ptrtoint %"class.llvm::MCOperand"* %MCOp to i64
%sunkaddr22 = add i64 %sunkaddr21, 8
%sunkaddr23 = inttoptr i64 %sunkaddr22 to i32*
store i32 %v, i32* %sunkaddr23, align 8, !tbaa !2
ret void
; Make sure that the 64-bit store comes first, regardless of what TBAA says
; about the two not aliasing!
; CHECK: li [[REG:[0-9]+]], 0
; CHECK: std [[REG]], -[[OFF:[0-9]+]](1)
; CHECK: stw 3, -[[OFF]](1)
; CHECK: blr
}
!0 = metadata !{ metadata !"root" }
!1 = metadata !{ metadata !"set1", metadata !0 }
!2 = metadata !{ metadata !"set2", metadata !0 }