test/CodeGen/AVR/impossible-reg-to-reg-copy.ll

   1 ; RUN: llc < %s -march=avr | FileCheck %s
   2
   3 ; Test case for an assertion error.
   4 ;
   5 ; Error:
   6 ; ```
   7 ; Impossible reg-to-reg copy
   8 ; UNREACHABLE executed at lib/Target/AVR/AVRInstrInfo.cpp
   9 ; ```
  10 ;
  11 ; This no longer occurs.
  12
  13 declare { i16, i1 } @llvm.umul.with.overflow.i16(i16, i16)
  14
  15 ; CHECK-LABEL: foo
  16 define void @foo() {
  17 entry-block:
  18   %0 = call { i16, i1 } @llvm.umul.with.overflow.i16(i16 undef, i16 undef)
  19   %1 = extractvalue { i16, i1 } %0, 1
  20   %2 = icmp eq i1 %1, true
  21   br i1 %2, label %cond, label %next
  22
  23 next:                                             ; preds = %entry-block
  24   ret void
  25 cond:                                             ; preds = %entry-block
  26   unreachable
  27 }