1 ; RUN: llc -mtriple=aarch64-linux-gnu %s -o - | FileCheck %s
3 define i128 @test_128bitmul(i128 %lhs, i128 %rhs) {
4 ; CHECK: test_128bitmul:
5 ; CHECK-DAG: umulh [[CARRY:x[0-9]+]], x0, x2
6 ; CHECK-DAG: madd [[PART1:x[0-9]+]], x0, x3, [[CARRY]]
7 ; CHECK: madd x1, x1, x2, [[PART1]]
8 ; CHECK: mul x0, x0, x2
10 %prod = mul i128 %lhs, %rhs