craig.topper added a comment. Div is returning an i64 because that's the x86-64 ABI. In 32-bit mode I don't think it will return i64. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D65457/new/ https://reviews.llvm.org/D65457