; RUN: llc < %s -march=alpha

target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-f128:128:128"
target triple = "alphaev6-unknown-linux-gnu"

define i64 @__mulvdi3(i64 %a, i64 %b) nounwind {
entry:
	%0 = sext i64 %a to i128		; <i128> [#uses=1]
	%1 = sext i64 %b to i128		; <i128> [#uses=1]
	%2 = mul i128 %1, %0		; <i128> [#uses=2]
	%3 = lshr i128 %2, 64		; <i128> [#uses=1]
	%4 = trunc i128 %3 to i64		; <i64> [#uses=1]
	%5 = trunc i128 %2 to i64		; <i64> [#uses=1]
	%6 = icmp eq i64 %4, 0		; <i1> [#uses=1]
	br i1 %6, label %bb1, label %bb

bb:		; preds = %entry
	unreachable

bb1:		; preds = %entry
	ret i64 %5
}