262 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -mtriple=aarch64 -o - %s | FileCheck %s3 4 5declare i32 @error()6 7define i128 @test1(i128 noundef %x, i128 noundef %y) {8; CHECK-LABEL: test1:9; CHECK: // %bb.0: // %entry10; CHECK-NEXT: eor x8, x3, x2, asr #6311; CHECK-NEXT: eor x9, x1, x0, asr #6312; CHECK-NEXT: orr x8, x9, x813; CHECK-NEXT: cbz x8, .LBB0_414; CHECK-NEXT: // %bb.1: // %overflow15; CHECK-NEXT: asr x9, x1, #6316; CHECK-NEXT: umulh x10, x0, x217; CHECK-NEXT: asr x13, x3, #6318; CHECK-NEXT: mul x11, x1, x219; CHECK-NEXT: umulh x8, x1, x220; CHECK-NEXT: mul x9, x9, x221; CHECK-NEXT: adds x10, x11, x1022; CHECK-NEXT: mul x14, x0, x323; CHECK-NEXT: umulh x12, x0, x324; CHECK-NEXT: adc x8, x8, x925; CHECK-NEXT: mov x9, x126; CHECK-NEXT: mul x13, x0, x1327; CHECK-NEXT: asr x11, x8, #6328; CHECK-NEXT: mul x15, x1, x329; CHECK-NEXT: adds x1, x14, x1030; CHECK-NEXT: smulh x9, x9, x331; CHECK-NEXT: adc x10, x12, x1332; CHECK-NEXT: asr x12, x10, #6333; CHECK-NEXT: adds x8, x8, x1034; CHECK-NEXT: asr x10, x1, #6335; CHECK-NEXT: mul x0, x0, x236; CHECK-NEXT: adc x11, x11, x1237; CHECK-NEXT: adds x8, x15, x838; CHECK-NEXT: adc x9, x9, x1139; CHECK-NEXT: cmp x8, x1040; CHECK-NEXT: ccmp x9, x10, #0, eq41; CHECK-NEXT: cset w8, ne42; CHECK-NEXT: cbz w8, .LBB0_343; CHECK-NEXT: .LBB0_2: // %if.then44; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill45; CHECK-NEXT: .cfi_def_cfa_offset 1646; CHECK-NEXT: .cfi_offset w30, -1647; CHECK-NEXT: bl error48; CHECK-NEXT: // kill: def $w0 killed $w0 def $x049; CHECK-NEXT: sxtw x0, w050; CHECK-NEXT: asr x1, x0, #6351; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload52; CHECK-NEXT: .LBB0_3: // %cleanup53; CHECK-NEXT: ret54; CHECK-NEXT: .LBB0_4: // %overflow.no55; CHECK-NEXT: smulh x1, x0, x256; CHECK-NEXT: mul x0, x0, x257; CHECK-NEXT: cbnz w8, .LBB0_258; CHECK-NEXT: b .LBB0_359entry:60 %0 = tail call { i128, i1 } @llvm.smul.with.overflow.i128(i128 %x, i128 %y)61 %1 = extractvalue { i128, i1 } %0, 162 br i1 %1, label %if.then, label %if.end63 64if.then:65 %call = tail call i32 @error()66 %conv1 = sext i32 %call to i12867 br label %cleanup68 69if.end:70 %2 = extractvalue { i128, i1 } %0, 071 br label %cleanup72 73cleanup:74 %retval.0 = phi i128 [ %conv1, %if.then ], [ %2, %if.end ]75 ret i128 %retval.076}77 78define i128 @test2(i128 noundef %x, i128 noundef %y, ptr %out) {79; CHECK-LABEL: test2:80; CHECK: // %bb.0: // %entry81; CHECK-NEXT: eor x8, x3, x2, asr #6382; CHECK-NEXT: eor x9, x1, x0, asr #6383; CHECK-NEXT: orr x8, x9, x884; CHECK-NEXT: cbz x8, .LBB1_485; CHECK-NEXT: // %bb.1: // %overflow86; CHECK-NEXT: asr x9, x1, #6387; CHECK-NEXT: umulh x10, x0, x288; CHECK-NEXT: asr x13, x3, #6389; CHECK-NEXT: mul x11, x1, x290; CHECK-NEXT: umulh x8, x1, x291; CHECK-NEXT: mul x9, x9, x292; CHECK-NEXT: adds x10, x11, x1093; CHECK-NEXT: mul x14, x0, x394; CHECK-NEXT: umulh x12, x0, x395; CHECK-NEXT: adc x8, x8, x996; CHECK-NEXT: mov x9, x197; CHECK-NEXT: mul x13, x0, x1398; CHECK-NEXT: asr x11, x8, #6399; CHECK-NEXT: mul x15, x1, x3100; CHECK-NEXT: adds x1, x14, x10101; CHECK-NEXT: smulh x9, x9, x3102; CHECK-NEXT: adc x10, x12, x13103; CHECK-NEXT: asr x12, x10, #63104; CHECK-NEXT: adds x8, x8, x10105; CHECK-NEXT: asr x10, x1, #63106; CHECK-NEXT: mul x0, x0, x2107; CHECK-NEXT: adc x11, x11, x12108; CHECK-NEXT: adds x8, x15, x8109; CHECK-NEXT: adc x9, x9, x11110; CHECK-NEXT: cmp x8, x10111; CHECK-NEXT: ccmp x9, x10, #0, eq112; CHECK-NEXT: cset w8, ne113; CHECK-NEXT: stp x0, x1, [x4]114; CHECK-NEXT: cbz w8, .LBB1_3115; CHECK-NEXT: .LBB1_2: // %if.then116; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill117; CHECK-NEXT: .cfi_def_cfa_offset 16118; CHECK-NEXT: .cfi_offset w30, -16119; CHECK-NEXT: bl error120; CHECK-NEXT: // kill: def $w0 killed $w0 def $x0121; CHECK-NEXT: sxtw x0, w0122; CHECK-NEXT: asr x1, x0, #63123; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload124; CHECK-NEXT: .LBB1_3: // %cleanup125; CHECK-NEXT: ret126; CHECK-NEXT: .LBB1_4: // %overflow.no127; CHECK-NEXT: smulh x1, x0, x2128; CHECK-NEXT: mul x0, x0, x2129; CHECK-NEXT: stp x0, x1, [x4]130; CHECK-NEXT: cbnz w8, .LBB1_2131; CHECK-NEXT: b .LBB1_3132entry:133 %0 = tail call { i128, i1 } @llvm.smul.with.overflow.i128(i128 %x, i128 %y)134 %1 = extractvalue { i128, i1 } %0, 0135 store i128 %1, ptr %out136 %2 = extractvalue { i128, i1 } %0, 1137 br i1 %2, label %if.then, label %cleanup138 139if.then:140 %call = tail call i32 @error()141 %conv1 = sext i32 %call to i128142 br label %cleanup143 144cleanup:145 %retval.0 = phi i128 [ %conv1, %if.then ], [ %1, %entry ]146 ret i128 %retval.0147}148 149define i128 @test3(i128 noundef %x, i128 noundef %y, ptr %out) {150; CHECK-LABEL: test3:151; CHECK: // %bb.0: // %entry152; CHECK-NEXT: orr x8, x1, x3153; CHECK-NEXT: cbz x8, .LBB2_3154; CHECK-NEXT: // %bb.1: // %overflow155; CHECK-NEXT: mul x8, x3, x0156; CHECK-NEXT: cmp x1, #0157; CHECK-NEXT: ccmp x3, #0, #4, ne158; CHECK-NEXT: umulh x10, x1, x2159; CHECK-NEXT: umulh x9, x3, x0160; CHECK-NEXT: madd x11, x1, x2, x8161; CHECK-NEXT: ccmp xzr, x10, #0, eq162; CHECK-NEXT: umulh x12, x0, x2163; CHECK-NEXT: ccmp xzr, x9, #0, eq164; CHECK-NEXT: mul x8, x0, x2165; CHECK-NEXT: cset w10, ne166; CHECK-NEXT: adds x9, x12, x11167; CHECK-NEXT: csinc w10, w10, wzr, lo168; CHECK-NEXT: stp x8, x9, [x4]169; CHECK-NEXT: cbnz w10, .LBB2_4170; CHECK-NEXT: .LBB2_2:171; CHECK-NEXT: mov x1, xzr172; CHECK-NEXT: mov w0, #1 // =0x1173; CHECK-NEXT: ret174; CHECK-NEXT: .LBB2_3: // %overflow.no175; CHECK-NEXT: umulh x9, x0, x2176; CHECK-NEXT: mov w10, wzr177; CHECK-NEXT: mul x8, x0, x2178; CHECK-NEXT: stp x8, x9, [x4]179; CHECK-NEXT: cbz w10, .LBB2_2180; CHECK-NEXT: .LBB2_4: // %if.then181; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill182; CHECK-NEXT: .cfi_def_cfa_offset 16183; CHECK-NEXT: .cfi_offset w30, -16184; CHECK-NEXT: bl error185; CHECK-NEXT: // kill: def $w0 killed $w0 def $x0186; CHECK-NEXT: sxtw x0, w0187; CHECK-NEXT: asr x1, x0, #63188; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload189; CHECK-NEXT: ret190entry:191 %0 = tail call { i128, i1 } @llvm.umul.with.overflow.i128(i128 %x, i128 %y)192 %1 = extractvalue { i128, i1 } %0, 0193 store i128 %1, ptr %out194 %2 = extractvalue { i128, i1 } %0, 1195 br i1 %2, label %if.then, label %cleanup196 197if.then:198 %call = tail call i32 @error()199 %conv1 = sext i32 %call to i128200 br label %cleanup201 202cleanup:203 %retval.0 = phi i128 [ %conv1, %if.then ], [ 1, %entry ]204 ret i128 %retval.0205}206 207define i128 @test4(i128 noundef %x, i128 noundef %y, i128 %out) {208; CHECK-LABEL: test4:209; CHECK: // %bb.0: // %entry210; CHECK-NEXT: orr x8, x1, x3211; CHECK-NEXT: cbz x8, .LBB3_2212; CHECK-NEXT: // %bb.1: // %overflow213; CHECK-NEXT: mul x8, x3, x0214; CHECK-NEXT: cmp x1, #0215; CHECK-NEXT: ccmp x3, #0, #4, ne216; CHECK-NEXT: umulh x10, x1, x2217; CHECK-NEXT: umulh x9, x3, x0218; CHECK-NEXT: madd x11, x1, x2, x8219; CHECK-NEXT: ccmp xzr, x10, #0, eq220; CHECK-NEXT: umulh x12, x0, x2221; CHECK-NEXT: ccmp xzr, x9, #0, eq222; CHECK-NEXT: mul x8, x0, x2223; CHECK-NEXT: cset w10, ne224; CHECK-NEXT: adds x9, x12, x11225; CHECK-NEXT: csinc w10, w10, wzr, lo226; CHECK-NEXT: b .LBB3_3227; CHECK-NEXT: .LBB3_2: // %overflow.no228; CHECK-NEXT: umulh x9, x0, x2229; CHECK-NEXT: mov w10, wzr230; CHECK-NEXT: mul x8, x0, x2231; CHECK-NEXT: .LBB3_3: // %overflow.res232; CHECK-NEXT: adds x0, x8, x4233; CHECK-NEXT: adc x1, x9, x5234; CHECK-NEXT: cbz w10, .LBB3_5235; CHECK-NEXT: // %bb.4: // %if.then236; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill237; CHECK-NEXT: .cfi_def_cfa_offset 16238; CHECK-NEXT: .cfi_offset w30, -16239; CHECK-NEXT: bl error240; CHECK-NEXT: // kill: def $w0 killed $w0 def $x0241; CHECK-NEXT: sxtw x0, w0242; CHECK-NEXT: asr x1, x0, #63243; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload244; CHECK-NEXT: .LBB3_5: // %cleanup245; CHECK-NEXT: ret246entry:247 %0 = tail call { i128, i1 } @llvm.umul.with.overflow.i128(i128 %x, i128 %y)248 %1 = extractvalue { i128, i1 } %0, 0249 %res = add i128 %1, %out250 %2 = extractvalue { i128, i1 } %0, 1251 br i1 %2, label %if.then, label %cleanup252 253if.then:254 %call = tail call i32 @error()255 %conv1 = sext i32 %call to i128256 br label %cleanup257 258cleanup:259 %retval.0 = phi i128 [ %conv1, %if.then ], [ %res, %entry ]260 ret i128 %retval.0261}262