llvm-6502/test/CodeGen/X86/fastcc-sret.ll
Michael Liao 26ebdd1e7c Rewrite some tests with FileCHeck in X86 codegen
- Revise previous patches of the same purpose by fixing
  *) grep <PA> | not grep <PB> semantically is not the same as
     CHECK: <PA>{{^<PB>.*$}} as the former will check all occurrences of <PA>
     while the later only check the first match. As the result, CHECK needs
     putting in all place where <PA> occurs.
  *) grep <PA> | count <N> needs a final CHECK-NOT of the same pattern.
     (As 'CHECK-<N>' is proposed for discussion, converting 'grep | count <N>'
      where N > 1 is postponed.)



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@180742 91177308-0d34-0410-b5e6-96231b3b80d8
2013-04-29 22:41:29 +00:00

28 lines
791 B
LLVM

; RUN: llc < %s -march=x86 -tailcallopt=false | FileCheck %s
%struct.foo = type { [4 x i32] }
define fastcc void @bar(%struct.foo* noalias sret %agg.result) nounwind {
entry:
%tmp1 = getelementptr %struct.foo* %agg.result, i32 0, i32 0
%tmp3 = getelementptr [4 x i32]* %tmp1, i32 0, i32 0
store i32 1, i32* %tmp3, align 8
ret void
}
; CHECK: bar
; CHECK: ret{{[^4]*$}}
@dst = external global i32
define void @foo() nounwind {
%memtmp = alloca %struct.foo, align 4
call fastcc void @bar( %struct.foo* sret %memtmp ) nounwind
%tmp4 = getelementptr %struct.foo* %memtmp, i32 0, i32 0
%tmp5 = getelementptr [4 x i32]* %tmp4, i32 0, i32 0
%tmp6 = load i32* %tmp5
store i32 %tmp6, i32* @dst
ret void
}
; CHECK: foo
; CHECK: ret{{[^4]*$}}