1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=X64 3 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, %eax 16; X64-NEXT: negq %rax 17; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF 18; X64-NEXT: movl $1, %ecx 19; X64-NEXT: cmovgeq %rax, %rcx 20; X64-NEXT: movq $-2, %rax 21; X64-NEXT: negq %rax 22; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000 23; X64-NEXT: cmovgeq %rcx, %rax 24; X64-NEXT: retq 25 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 3, i64 2, i32 2) 26 ret i64 %tmp 27} 28 29define i64 @func2() nounwind { 30; X64-LABEL: func2: 31; X64: # %bb.0: 32; X64-NEXT: movl $3, %eax 33; X64-NEXT: imulq $2, %rax, %rcx 34; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF 35; X64-NEXT: cmovnoq %rcx, %rax 36; X64-NEXT: retq 37 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 3, i64 2, i32 0) 38 ret i64 %tmp 39} 40 41define i64 @func3() nounwind { 42; X64-LABEL: func3: 43; X64: # %bb.0: 44; X64-NEXT: movl $2, %eax 45; X64-NEXT: negq %rax 46; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF 47; X64-NEXT: movabsq $4611686018427387903, %rcx # imm = 0x3FFFFFFFFFFFFFFF 48; X64-NEXT: cmovgeq %rax, %rcx 49; X64-NEXT: movq $-2, %rax 50; X64-NEXT: negq %rax 51; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000 52; X64-NEXT: cmovgeq %rcx, %rax 53; X64-NEXT: retq 54 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 2) 55 ret i64 %tmp 56} 57 58define i64 @func4() nounwind { 59; X64-LABEL: func4: 60; X64: # %bb.0: 61; X64-NEXT: movl $2147483647, %eax # imm = 0x7FFFFFFF 62; X64-NEXT: negq %rax 63; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF 64; X64-NEXT: movl $4294967295, %ecx # imm = 0xFFFFFFFF 65; X64-NEXT: cmovgq %rax, %rcx 66; X64-NEXT: movq $-2147483648, %rax # imm = 0x80000000 67; X64-NEXT: negq %rax 68; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000 69; X64-NEXT: cmovgeq %rcx, %rax 70; X64-NEXT: retq 71 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 32) 72 ret i64 %tmp 73} 74 75define i64 @func5() nounwind { 76; X64-LABEL: func5: 77; X64: # %bb.0: 78; X64-NEXT: movabsq $4611686018427387903, %rax # imm = 0x3FFFFFFFFFFFFFFF 79; X64-NEXT: negq %rax 80; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF 81; X64-NEXT: movl $1, %ecx 82; X64-NEXT: cmovgq %rax, %rcx 83; X64-NEXT: movabsq $-4611686018427387904, %rax # imm = 0xC000000000000000 84; X64-NEXT: negq %rax 85; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000 86; X64-NEXT: cmovgeq %rcx, %rax 87; X64-NEXT: retq 88 %tmp = call i64 @llvm.smul.fix.sat.i64(i64 9223372036854775807, i64 2, i32 63) 89 ret i64 %tmp 90} 91