llvm-mirror/test/CodeGen/AArch64/fast-isel-int-ext4.ll

; RUN: llc -mtriple=aarch64-apple-darwin -fast-isel -fast-isel-abort=1 -verify-machineinstrs < %s | FileCheck %s

define i32 @kill_flag(i16 signext %a) {
; CHECK-LABEL: kill_flag
entry:
  %0 = sext i16 %a to i32
  br label %bb1

bb1:
  %1 = icmp slt i32 undef, %0
  br i1 %1, label %loop, label %exit

loop:
  %2 = sext i16 %a to i32
  %3 = icmp slt i32 undef, %2
  br i1 %3, label %bb1, label %exit

exit:
  ret i32 0
}
Change the fast-isel-abort option from bool to int to enable "levels" Summary: Currently fast-isel-abort will only abort for regular instructions, and just warn for function calls, terminators, function arguments. There is already fast-isel-abort-args but nothing for calls and terminators. This change turns the fast-isel-abort options into an integer option, so that multiple levels of strictness can be defined. This will help no being surprised when the "abort" option indeed does not abort, and enables the possibility to write test that verifies that no intrinsics are forgotten by fast-isel. Reviewers: resistor, echristo Subscribers: jfb, llvm-commits Differential Revision: http://reviews.llvm.org/D7941 From: Mehdi Amini <mehdi.amini@apple.com> llvm-svn: 230775 2015-02-27 19:32:11 +01:00			`; RUN: llc -mtriple=aarch64-apple-darwin -fast-isel -fast-isel-abort=1 -verify-machineinstrs < %s \| FileCheck %s`
[AArch64][FastISel] Fix kill flags for integer extends. In the case we optimize an integer extend away and replace it directly with the source register, we also have to clear all kill flags at all its uses. This is necessary, because the orignal IR instruction might be trivially dead, but we replaced it with a nop at MI level. llvm-svn: 221628 2014-11-10 22:05:31 +01:00
			`define i32 @kill_flag(i16 signext %a) {`
			`; CHECK-LABEL: kill_flag`
			`entry:`
			`%0 = sext i16 %a to i32`
			`br label %bb1`

			`bb1:`
			`%1 = icmp slt i32 undef, %0`
			`br i1 %1, label %loop, label %exit`

			`loop:`
			`%2 = sext i16 %a to i32`
			`%3 = icmp slt i32 undef, %2`
			`br i1 %3, label %bb1, label %exit`

			`exit:`
			`ret i32 0`
			`}`