91 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=X643 4; Verify expansion by using constant values. We just want to cover all the paths layed out by ExpandIntRes_MULFIX.5 6declare i4 @llvm.smul.fix.sat.i4 (i4, i4, i32)7declare i32 @llvm.smul.fix.sat.i32 (i32, i32, i32)8declare i64 @llvm.smul.fix.sat.i64 (i64, i64, i32)9declare <4 x i32> @llvm.smul.fix.sat.v4i32(<4 x i32>, <4 x i32>, i32)10declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64)11 12define i64 @func() nounwind {13; X64-LABEL: func:14; X64: # %bb.0:15; X64-NEXT: movl $2, %eax16; X64-NEXT: negq %rax17; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF18; X64-NEXT: movl $1, %ecx19; X64-NEXT: cmovgeq %rax, %rcx20; X64-NEXT: movq $-2, %rax21; X64-NEXT: negq %rax22; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x800000000000000023; X64-NEXT: cmovgeq %rcx, %rax24; X64-NEXT: retq25 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 3, i64 2, i32 2)26 ret i64 %tmp27}28 29define i64 @func2() nounwind {30; X64-LABEL: func2:31; X64: # %bb.0:32; X64-NEXT: movl $3, %eax33; X64-NEXT: imulq $2, %rax, %rcx34; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF35; X64-NEXT: cmovnoq %rcx, %rax36; X64-NEXT: retq37 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 3, i64 2, i32 0)38 ret i64 %tmp39}40 41define i64 @func3() nounwind {42; X64-LABEL: func3:43; X64: # %bb.0:44; X64-NEXT: movl $2, %eax45; X64-NEXT: negq %rax46; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF47; X64-NEXT: movabsq $4611686018427387903, %rcx # imm = 0x3FFFFFFFFFFFFFFF48; X64-NEXT: cmovgeq %rax, %rcx49; X64-NEXT: movq $-2, %rax50; X64-NEXT: negq %rax51; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x800000000000000052; X64-NEXT: cmovgeq %rcx, %rax53; X64-NEXT: retq54 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 2)55 ret i64 %tmp56}57 58define i64 @func4() nounwind {59; X64-LABEL: func4:60; X64: # %bb.0:61; X64-NEXT: movl $2147483647, %eax # imm = 0x7FFFFFFF62; X64-NEXT: negq %rax63; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF64; X64-NEXT: movl $4294967295, %ecx # imm = 0xFFFFFFFF65; X64-NEXT: cmovgq %rax, %rcx66; X64-NEXT: movq $-2147483648, %rax # imm = 0x8000000067; X64-NEXT: negq %rax68; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x800000000000000069; X64-NEXT: cmovgeq %rcx, %rax70; X64-NEXT: retq71 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 32)72 ret i64 %tmp73}74 75define i64 @func5() nounwind {76; X64-LABEL: func5:77; X64: # %bb.0:78; X64-NEXT: movabsq $4611686018427387903, %rax # imm = 0x3FFFFFFFFFFFFFFF79; X64-NEXT: negq %rax80; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF81; X64-NEXT: movl $1, %ecx82; X64-NEXT: cmovgq %rax, %rcx83; X64-NEXT: movabsq $-4611686018427387904, %rax # imm = 0xC00000000000000084; X64-NEXT: negq %rax85; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x800000000000000086; X64-NEXT: cmovgeq %rcx, %rax87; X64-NEXT: retq88 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 63)89 ret i64 %tmp90}91