1 ; RUN: llc < %s -march=x86-64
4 define i64 @foo(i64 %x, i64 %y) {
5 %tmp0 = zext i64 %x to i128
6 %tmp1 = zext i64 %y to i128
7 %tmp2 = mul i128 %tmp0, %tmp1
8 %tmp7 = zext i32 64 to i128
9 %tmp3 = lshr i128 %tmp2, %tmp7
10 %tmp4 = trunc i128 %tmp3 to i64