1; RUN: llc -mtriple=arm64-apple-ios7.0 -mcpu=cyclone %s -o - | FileCheck %s 2; RUN: llc -mtriple=aarch64_be-linux-gnu -mcpu=cyclone %s -o - | FileCheck --check-prefix=CHECK-BE %s 3 4define i128 @test_128bitmul(i128 %lhs, i128 %rhs) { 5; CHECK-LABEL: test_128bitmul: 6; CHECK: umulh [[HI:x[0-9]+]], x0, x2 7; CHECK: madd [[TEMP1:x[0-9]+]], x0, x3, [[HI]] 8; CHECK-DAG: madd x1, x1, x2, [[TEMP1]] 9; CHECK-DAG: mul x0, x0, x2 10; CHECK-NEXT: ret 11 12; CHECK-BE-LABEL: test_128bitmul: 13; CHECK-BE: umulh [[HI:x[0-9]+]], x1, x3 14; CHECK-BE: madd [[TEMP1:x[0-9]+]], x1, x2, [[HI]] 15; CHECK-BE-DAG: madd x0, x0, x3, [[TEMP1]] 16; CHECK-BE-DAG: mul x1, x1, x3 17; CHECK-BE-NEXT: ret 18 19 %prod = mul i128 %lhs, %rhs 20 ret i128 %prod 21} 22 23; The machine combiner should create madd instructions when 24; optimizing for size because that's smaller than mul + add. 25 26define i128 @test_128bitmul_optsize(i128 %lhs, i128 %rhs) optsize { 27; CHECK-LABEL: test_128bitmul_optsize: 28; CHECK: umulh [[HI:x[0-9]+]], x0, x2 29; CHECK-NEXT: madd [[TEMP1:x[0-9]+]], x0, x3, [[HI]] 30; CHECK-DAG: madd x1, x1, x2, [[TEMP1]] 31; CHECK-DAG: mul x0, x0, x2 32; CHECK-NEXT: ret 33 34 %prod = mul i128 %lhs, %rhs 35 ret i128 %prod 36} 37 38define i128 @test_128bitmul_minsize(i128 %lhs, i128 %rhs) minsize { 39; CHECK-LABEL: test_128bitmul_minsize: 40; CHECK: umulh [[HI:x[0-9]+]], x0, x2 41; CHECK-NEXT: madd [[TEMP1:x[0-9]+]], x0, x3, [[HI]] 42; CHECK-DAG: madd x1, x1, x2, [[TEMP1]] 43; CHECK-DAG: mul x0, x0, x2 44; CHECK-NEXT: ret 45 46 %prod = mul i128 %lhs, %rhs 47 ret i128 %prod 48} 49 50