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