craig.topper added a comment. Can you add a test case? This should be sufficient define i128 @foo(i128 %x, i128 %y) { %c = mul i128 %x, %y ret i128 %c } https://reviews.llvm.org/D38668