llvm/test/CodeGen/RISCV/trunc-free.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=riscv64 | FileCheck %s
   3
   4 ; Make sure we use lwu for the load, and don't emit
   5 ; a sext.w for the compare. This requires isTruncateFree
   6 ; to return true for i64->i32. Otherwise we emit a
   7 ; lw and a shift pair for the zext.
   8
   9 define void @foo(ptr %p, ptr %q, ptr %r) {
  10 ; CHECK-LABEL: foo:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    lwu a0, 0(a0)
  13 ; CHECK-NEXT:    sd a0, 0(a1)
  14 ; CHECK-NEXT:    beqz a0, .LBB0_2
  15 ; CHECK-NEXT:  # %bb.1: # %if
  16 ; CHECK-NEXT:    sw a0, 0(a2)
  17 ; CHECK-NEXT:  .LBB0_2: # %end
  18 ; CHECK-NEXT:    ret
  19   %a = load i32, ptr %p
  20   %b = zext i32 %a to i64
  21   store i64 %b, ptr %q
  22   %c = icmp ne i32 %a, 0
  23   br i1 %c, label %if, label %end
  24
  25 if:
  26   store i32 %a, ptr %r
  27   br label %end
  28
  29 end:
  30   ret void
  31 }