llvm-6502/test/CodeGen/AArch64/arm64-fast-isel-indirectbr.ll
Juergen Ributzka 5d6365c80c [FastISel][AArch64] Use the correct register class to make the MI verifier happy.
This is mostly achieved by providing the correct register class manually,
because getRegClassFor always returns the GPR*AllRegClass for MVT::i32 and
MVT::i64.

Also cleanup the code to use the FastEmitInst_* method whenever possible. This
makes sure that the operands' register class is properly constrained. For all
the remaining cases this adds the missing constrainOperandRegClass calls for
each operand.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216225 91177308-0d34-0410-b5e6-96231b3b80d8
2014-08-21 20:57:57 +00:00

37 lines
1.2 KiB
LLVM

; RUN: llc -O0 -fast-isel-abort -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s
@fn.table = internal global [2 x i8*] [i8* blockaddress(@fn, %ZERO), i8* blockaddress(@fn, %ONE)], align 8
define i32 @fn(i32 %target) nounwind {
entry:
; CHECK-LABEL: fn
%retval = alloca i32, align 4
%target.addr = alloca i32, align 4
store i32 %target, i32* %target.addr, align 4
%0 = load i32* %target.addr, align 4
%idxprom = zext i32 %0 to i64
%arrayidx = getelementptr inbounds [2 x i8*]* @fn.table, i32 0, i64 %idxprom
%1 = load i8** %arrayidx, align 8
br label %indirectgoto
ZERO: ; preds = %indirectgoto
; CHECK: LBB0_1
store i32 0, i32* %retval
br label %return
ONE: ; preds = %indirectgoto
; CHECK: LBB0_2
store i32 1, i32* %retval
br label %return
return: ; preds = %ONE, %ZERO
%2 = load i32* %retval
ret i32 %2
indirectgoto: ; preds = %entry
; CHECK: ldr [[REG:x[0-9]+]], [sp]
; CHECK-NEXT: br [[REG]]
%indirect.goto.dest = phi i8* [ %1, %entry ]
indirectbr i8* %indirect.goto.dest, [label %ZERO, label %ONE]
}