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 } 24
