1638fee62SKai Luo; RUN: llc -mtriple=powerpc64le -simplify-mir -verify-machineinstrs \ 2638fee62SKai Luo; RUN: -stop-after=finalize-isel < %s | FileCheck %s 3638fee62SKai Luo 4638fee62SKai Luodeclare void @foo(i64) 5638fee62SKai Luodeclare void @bar(i1) 6638fee62SKai Luo 7638fee62SKai Luodefine void @f(i64 %a, i64 %b) { 8638fee62SKai Luo ; CHECK-LABEL: name: f 9638fee62SKai Luo ; CHECK: bb.0 (%ir-block.0): 10638fee62SKai Luo ; CHECK: liveins: $x3, $x4 11638fee62SKai Luo ; CHECK: [[COPY:%[0-9]+]]:g8rc = COPY $x4 12638fee62SKai Luo ; CHECK: [[COPY1:%[0-9]+]]:g8rc = COPY $x3 13*8e6d9202SKai Luo ; CHECK: [[SUBF8_:%[0-9]+]]:g8rc = nsw SUBF8 [[COPY1]], [[COPY]] 14638fee62SKai Luo %c = sub nsw i64 %b, %a 15638fee62SKai Luo call void @foo(i64 %c) 16638fee62SKai Luo %d = icmp slt i64 %a, %b 17638fee62SKai Luo call void @bar(i1 %d) 18638fee62SKai Luo ret void 19638fee62SKai Luo} 20638fee62SKai Luo 21638fee62SKai Luodefine void @g(i64 %a, i64 %b) { 22638fee62SKai Luo ; CHECK-LABEL: name: g 23638fee62SKai Luo ; CHECK: bb.0 (%ir-block.0): 24638fee62SKai Luo ; CHECK: liveins: $x3, $x4 25638fee62SKai Luo ; CHECK: [[COPY:%[0-9]+]]:g8rc = COPY $x4 26638fee62SKai Luo ; CHECK: [[COPY1:%[0-9]+]]:g8rc = COPY $x3 27638fee62SKai Luo ; CHECK: [[SUBF8_:%[0-9]+]]:g8rc = nsw SUBF8 [[COPY]], [[COPY1]] 28638fee62SKai Luo %c = sub nsw i64 %a, %b 29638fee62SKai Luo call void @foo(i64 %c) 30638fee62SKai Luo %d = icmp slt i64 %a, %b 31638fee62SKai Luo call void @bar(i1 %d) 32638fee62SKai Luo ret void 33638fee62SKai Luo} 34