1; RUN: llc < %s -march=x86-64 | FileCheck %s
2
3; CHECK: imull
4
5; Don't eliminate or coalesce away the explicit zero-extension!
6
7define i64 @foo(i64 %a) {
8 %b = mul i64 %a, 7823
9 %c = and i64 %b, 4294967295
10 %d = add i64 %c, 1
11 ret i64 %d
12}
13