test/CodeGen/ARM/t2abs-killflags.ll

   1 ; RUN: llc %s -o - -verify-machineinstrs | FileCheck %s
   2
   3 target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
   4 target triple = "thumbv7s-unknown-unknown"
   5
   6 ; Test that we don't crash the machine verifier when expanding t2ABS.
   7 ; It was applying the kill flag to its source, even if the original t2ABS didn't
   8 ; kill the operand prior to pseudo expansion.
   9
  10 ; Function Attrs: noreturn
  11 declare void @foo(i32, i32) #0
  12
  13 ; CHECK-LABEL: @test
  14 ; CHECK: rsbmi
  15 define void @test(i32 %arg) {
  16   %cmp58 = icmp slt i32 %arg, 0
  17   %sub62 = sub nsw i32 0, %arg
  18   %l.1 = select i1 %cmp58, i32 %sub62, i32 %arg
  19   call void @foo(i32 %l.1, i32 %arg) #0
  20   unreachable
  21 }
  22
  23 attributes #0 = { noreturn }