[llvm] e9ff7d2 - [AArch64][GISel] Add 8/16 bit uaddo lowering tests.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 18 01:49:03 PDT 2021
Author: Florian Hahn
Date: 2021-10-18T09:48:43+01:00
New Revision: e9ff7d250e4763e266d35841ebecf53a2b7d2113
URL: https://github.com/llvm/llvm-project/commit/e9ff7d250e4763e266d35841ebecf53a2b7d2113
DIFF: https://github.com/llvm/llvm-project/commit/e9ff7d250e4763e266d35841ebecf53a2b7d2113.diff
LOG: [AArch64][GISel] Add 8/16 bit uaddo lowering tests.
Precommit tests for D111888.
Added:
llvm/test/CodeGen/AArch64/GlobalISel/uaddo-8-16-bits.mir
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/uaddo-8-16-bits.mir b/llvm/test/CodeGen/AArch64/GlobalISel/uaddo-8-16-bits.mir
new file mode 100644
index 0000000000000..c52deada5cdac
--- /dev/null
+++ b/llvm/test/CodeGen/AArch64/GlobalISel/uaddo-8-16-bits.mir
@@ -0,0 +1,872 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -verify-machineinstrs -mtriple arm64-apple-ios -global-isel -run-pass=aarch64-prelegalizer-combiner -o - %s | FileCheck %s
+
+...
+---
+name: can_fold_i8
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i8
+ ; CHECK: bb.0.entry:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 8
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 8
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s8), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s8)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1.entry:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 8
+ %0:_(s8) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 8
+ %1:_(s8) = G_TRUNC %5(s32)
+ %6:_(s8), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %8:_(s32) = G_ZEXT %6(s8)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: can_fold_i16_1_result_used_by_zext
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i16_1_result_used_by_zext
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %8:_(s32) = G_ZEXT %6(s16)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: can_fold_i16_2_result_used_by_multiple_calls
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i16_2_result_used_by_multiple_calls
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1, $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: liveins: $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: BLR killed renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: RET_ReallyLR
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1, $x2
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ liveins: $x2
+
+ ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ %8:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %8(s32)
+ BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ $w0 = COPY %8(s32)
+ BLR killed renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ RET_ReallyLR
+
+...
+---
+name: can_fold_i16_3_result_used_by_anyext
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i16_3_result_used_by_anyext
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %8:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: can_fold_i16_4_cond_dbg_user
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i16_4_cond_dbg_user
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: DBG_VALUE [[UADDO1]](s1)
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ DBG_VALUE %7(s1)
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %8:_(s32) = G_ZEXT %6(s16)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: can_fold_i16_5_result_dbg_user
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: can_fold_i16_5_result_dbg_user
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: DBG_VALUE [[UADDO]](s16)
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ DBG_VALUE %6(s16)
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %8:_(s32) = G_ZEXT %6(s16)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_1_result_used_before_branch
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_1_result_used_before_branch
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1, $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: liveins: $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT1]](s32)
+ ; CHECK-NEXT: BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ ; CHECK-NEXT: RET_ReallyLR
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1, $x2
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ %8:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %8(s32)
+ BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ liveins: $x2
+
+ ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
+ %9:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %9(s32)
+ BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
+ RET_ReallyLR
+
+...
+---
+name: cannot_fold_2_result_used_in_fail_block
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_2_result_used_in_fail_block
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.2(0x40000000), %bb.1(0x40000000)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 10
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[C]](s16)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: G_BRCOND [[UADDO1]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: [[PHI:%[0-9]+]]:_(s32) = G_PHI [[ANYEXT]](s32), %bb.2, [[ANYEXT1]](s32), %bb.0
+ ; CHECK-NEXT: $w0 = COPY [[PHI]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: successors: %bb.1(0x80000000)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT2]](s32)
+ ; CHECK-NEXT: G_BR %bb.1
+ bb.1:
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %11:_(s16) = G_CONSTANT i16 10
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.3
+ G_BR %bb.2
+
+ bb.2:
+ %9:_(s16) = G_PHI %11(s16), %bb.3, %6(s16), %bb.1
+ %10:_(s32) = G_ANYEXT %9(s16)
+ $w0 = COPY %10(s32)
+ RET_ReallyLR implicit $w0
+
+ bb.3:
+ %8:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %8(s32)
+ G_BR %bb.2
+
+...
+---
+name: cannot_fold_3_result_used_in_successor_before_fail_block
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_3_result_used_in_successor_before_fail_block
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1, $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ ; CHECK-NEXT: liveins: $x2
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ ; CHECK-NEXT: G_BRCOND [[UADDO1]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.3
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.3:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1, $x2
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BR %bb.4
+
+ bb.4:
+ liveins: $x2
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+
+ %8:_(s32) = G_ANYEXT %6(s16)
+ $w0 = COPY %8(s32)
+ BLR renamable $x2, implicit-def dead $lr, implicit $sp, implicit $w0
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %9:_(s32) = G_ZEXT %6(s16)
+ $w0 = COPY %9(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_i8_trunc_i
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_i8_trunc_i
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 8
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[TRUNC]](s16)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s8), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC2]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s8)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 8
+ %1:_(s8) = G_TRUNC %5(s32)
+ %6:_(s8) = G_TRUNC %0(s16)
+ %7:_(s8), %8:_(s1) = G_UADDO %6, %1
+ G_BRCOND %8(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %9:_(s32) = G_ZEXT %7(s8)
+ $w0 = COPY %9(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_i8_trunc_b
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_i8_trunc_b
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 8
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[TRUNC1]](s16)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s8), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC2]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s8)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 8
+ %0:_(s8) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s8) = G_TRUNC %1(s16)
+ %7:_(s8), %8:_(s1) = G_UADDO %0, %6
+ G_BRCOND %8(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %9:_(s32) = G_ZEXT %7(s8)
+ $w0 = COPY %9(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_i8_trunc_both
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_i8_trunc_both
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[TRUNC]](s16)
+ ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s8) = G_TRUNC [[TRUNC1]](s16)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s8), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC2]], [[TRUNC3]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s8)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s8) = G_TRUNC %0(s16)
+ %7:_(s8) = G_TRUNC %1(s16)
+ %8:_(s8), %9:_(s1) = G_UADDO %6, %7
+ G_BRCOND %9(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %10:_(s32) = G_ZEXT %8(s8)
+ $w0 = COPY %10(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_overflow_status_used_in_select
+tracksRegLiveness: true
+body: |
+ bb.1:
+ liveins: $w0, $w1
+
+ ; CHECK-LABEL: name: cannot_fold_overflow_status_used_in_select
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 10
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s16) = G_SELECT [[UADDO1]](s1), [[C]], [[UADDO]]
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[SELECT]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %9:_(s16) = G_CONSTANT i16 10
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ %8:_(s16) = G_SELECT %7(s1), %9, %6
+ %10:_(s32) = G_ZEXT %8(s16)
+ $w0 = COPY %10(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_i16_inputs_not_assert_zext
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_i16_inputs_not_assert_zext
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x00000800), %bb.2(0x7ffff800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: successors:{{ $}}
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ANYEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ bb.1:
+ successors: %bb.2(0x00000800), %bb.3(0x7ffff800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %0:_(s16) = G_TRUNC %2(s32)
+ %3:_(s32) = COPY $w1
+ %1:_(s16) = G_TRUNC %3(s32)
+ %4:_(s16), %5:_(s1) = G_UADDO %0, %1
+ G_BRCOND %5(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ successors:
+
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+ bb.3:
+ %6:_(s32) = G_ANYEXT %4(s16)
+ $w0 = COPY %6(s32)
+ RET_ReallyLR implicit $w0
+
+...
+---
+name: cannot_fold_branch_to_use_on_overflow
+tracksRegLiveness: true
+body: |
+ ; CHECK-LABEL: name: cannot_fold_branch_to_use_on_overflow
+ ; CHECK: bb.0:
+ ; CHECK-NEXT: successors: %bb.1(0x7ffff800), %bb.2(0x00000800)
+ ; CHECK-NEXT: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
+ ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY]], 16
+ ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT]](s32)
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
+ ; CHECK-NEXT: [[ASSERT_ZEXT1:%[0-9]+]]:_(s32) = G_ASSERT_ZEXT [[COPY1]], 16
+ ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[ASSERT_ZEXT1]](s32)
+ ; CHECK-NEXT: [[UADDO:%[0-9]+]]:_(s16), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[TRUNC]], [[TRUNC1]]
+ ; CHECK-NEXT: [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 true
+ ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s1) = G_XOR [[UADDO1]], [[C]]
+ ; CHECK-NEXT: G_BRCOND [[XOR]](s1), %bb.2
+ ; CHECK-NEXT: G_BR %bb.1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.1:
+ ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDO]](s16)
+ ; CHECK-NEXT: $w0 = COPY [[ZEXT]](s32)
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: bb.2:
+ ; CHECK-NEXT: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+ bb.1:
+ successors: %bb.2(0x7ffff800), %bb.3(0x00000800)
+ liveins: $w0, $w1
+
+ %2:_(s32) = COPY $w0
+ %3:_(s32) = G_ASSERT_ZEXT %2, 16
+ %0:_(s16) = G_TRUNC %3(s32)
+ %4:_(s32) = COPY $w1
+ %5:_(s32) = G_ASSERT_ZEXT %4, 16
+ %1:_(s16) = G_TRUNC %5(s32)
+ %6:_(s16), %7:_(s1) = G_UADDO %0, %1
+ G_BRCOND %7(s1), %bb.2
+ G_BR %bb.3
+
+ bb.2:
+ %8:_(s32) = G_ZEXT %6(s16)
+ $w0 = COPY %8(s32)
+ RET_ReallyLR implicit $w0
+
+ bb.3:
+ G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.trap)
+
+...
More information about the llvm-commits
mailing list