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
13declare { i16, i1 } @llvm.umul.with.overflow.i16(i16, i16)
14
15; CHECK-LABEL: foo
16define void @foo() {
17entry-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
23next:                                             ; preds = %entry-block
24  ret void
25cond:                                             ; preds = %entry-block
26  unreachable
27}
28