llvm-mirror/test/CodeGen/AArch64/fast-isel-trunc.ll

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

; Test that %1 doesn't get the kill flag set before its last use.
define i32 @test_trunc(i32 %a) {
  %1 = add i32 %a, 1
  %2 = trunc i32 %1 to i16
  %3 = icmp ult i16 1, %2
  %4 = add i32 %1, 1
  %5 = sext i1 %3 to i32
  %6 = and i32 %4, %5
  ret i32 %6
}
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`
[FastISel][AArch64] Fix an incorrect kill flag due to a bug in SelectTrunc. When we select a trunc instruction we don't emit any code if the type is already i32 or smaller. This is because the instruction that uses the truncated value will deal with it. This behavior can incorrectly transfer a kill flag, which was meant for the result of the truncate, onto the source register. %2 = trunc i32 %1 to i16 ... = ... %2 -> ... = ... vreg1 <kill> ... = ... %1 ... = ... vreg1 This commit fixes this by emitting a COPY instruction, so that the result and source register are distinct virtual registers. This fixes rdar://problem/18178188. llvm-svn: 216750 2014-08-29 19:58:16 +02:00
			`; Test that %1 doesn't get the kill flag set before its last use.`
			`define i32 @test_trunc(i32 %a) {`
			`%1 = add i32 %a, 1`
			`%2 = trunc i32 %1 to i16`
			`%3 = icmp ult i16 1, %2`
			`%4 = add i32 %1, 1`
			`%5 = sext i1 %3 to i32`
			`%6 = and i32 %4, %5`
			`ret i32 %6`
			`}`