llvm-6502/test/CodeGen/R600/sign_extend.ll


; RUN: llc < %s -march=r600 -mcpu=SI -verify-machineinstrs | FileCheck %s

; CHECK: V_ASHR
define void @test(i64 addrspace(1)* %out, i32 %a, i32 %b, i32 %c)  {
entry:
  %0 = mul i32 %a, %b
  %1 = add i32 %0, %c
  %2 = sext i32 %1 to i64
  store i64 %2, i64 addrspace(1)* %out
  ret void
}
R600/SI: Custom lower i64 sign_extend git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183136 91177308-0d34-0410-b5e6-96231b3b80d8 2013-06-03 17:40:03 +00:00
R600/SI: Use -verify-machineinstrs for most tests We can't enable the verifier for tests with SI_IF and SI_ELSE, because these instructions are always followed by a COPY which copies their result to the next basic block. This violates the machine verifier's rule that non-terminators can not folow terminators. Reviewed-by: Vincent Lejeune<vljn at ovi.com> git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@192366 91177308-0d34-0410-b5e6-96231b3b80d8 2013-10-10 17:11:46 +00:00			`; RUN: llc < %s -march=r600 -mcpu=SI -verify-machineinstrs \| FileCheck %s`
R600/SI: Custom lower i64 sign_extend git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183136 91177308-0d34-0410-b5e6-96231b3b80d8 2013-06-03 17:40:03 +00:00
			`; CHECK: V_ASHR`
			`define void @test(i64 addrspace(1)* %out, i32 %a, i32 %b, i32 %c) {`
			`entry:`
			`%0 = mul i32 %a, %b`
			`%1 = add i32 %0, %c`
			`%2 = sext i32 %1 to i64`
			`store i64 %2, i64 addrspace(1)* %out`
			`ret void`
			`}`