225 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -verify-machineinstrs -mtriple=x86_64-unknown-linux < %s | FileCheck %s --check-prefixes=X643; RUN: llc -verify-machineinstrs -mtriple=i386-unknown-linux < %s | FileCheck %s --check-prefixes=X864 5; Check CSR split can work properly for tests below.6 7@a = common dso_local local_unnamed_addr global i32 0, align 48 9define dso_local signext i32 @test1(ptr %b) local_unnamed_addr {10; X64-LABEL: test1:11; X64: # %bb.0: # %entry12; X64-NEXT: movslq a(%rip), %rax13; X64-NEXT: cmpq %rdi, %rax14; X64-NEXT: je .LBB0_215; X64-NEXT: # %bb.1: # %if.end16; X64-NEXT: retq17; X64-NEXT: .LBB0_2: # %if.then18; X64-NEXT: pushq %rbx19; X64-NEXT: .cfi_def_cfa_offset 1620; X64-NEXT: .cfi_offset %rbx, -1621; X64-NEXT: movq %rdi, %rbx22; X64-NEXT: callq callVoid@PLT23; X64-NEXT: movq %rbx, %rdi24; X64-NEXT: popq %rbx25; X64-NEXT: .cfi_def_cfa_offset 826; X64-NEXT: jmp callNonVoid@PLT # TAILCALL27;28; X86-LABEL: test1:29; X86: # %bb.0: # %entry30; X86-NEXT: subl $12, %esp31; X86-NEXT: .cfi_def_cfa_offset 1632; X86-NEXT: movl {{[0-9]+}}(%esp), %eax33; X86-NEXT: cmpl %eax, a34; X86-NEXT: je .LBB0_235; X86-NEXT: # %bb.1: # %if.end36; X86-NEXT: addl $12, %esp37; X86-NEXT: .cfi_def_cfa_offset 438; X86-NEXT: retl39; X86-NEXT: .LBB0_2: # %if.then40; X86-NEXT: .cfi_def_cfa_offset 1641; X86-NEXT: calll callVoid@PLT42; X86-NEXT: addl $12, %esp43; X86-NEXT: .cfi_def_cfa_offset 444; X86-NEXT: jmp callNonVoid@PLT # TAILCALL45entry:46 %0 = load i32, ptr @a, align 4, !tbaa !247 %conv = sext i32 %0 to i6448 %1 = inttoptr i64 %conv to ptr49 %cmp = icmp eq ptr %1, %b50 br i1 %cmp, label %if.then, label %if.end51 52if.then: ; preds = %entry53 %call = tail call signext i32 @callVoid()54 %call2 = tail call signext i32 @callNonVoid(ptr %b)55 br label %if.end56 57if.end: ; preds = %if.then, %entry58 %retval.0 = phi i32 [ %call2, %if.then ], [ undef, %entry ]59 ret i32 %retval.060}61 62declare signext i32 @callVoid(...) local_unnamed_addr63 64declare signext i32 @callNonVoid(ptr) local_unnamed_addr65 66define dso_local signext i32 @test2(ptr %p1) local_unnamed_addr {67; X64-LABEL: test2:68; X64: # %bb.0: # %entry69; X64-NEXT: testq %rdi, %rdi70; X64-NEXT: je .LBB1_271; X64-NEXT: # %bb.1: # %if.end72; X64-NEXT: movslq a(%rip), %rax73; X64-NEXT: cmpq %rdi, %rax74; X64-NEXT: je .LBB1_375; X64-NEXT: .LBB1_2: # %return76; X64-NEXT: xorl %eax, %eax77; X64-NEXT: retq78; X64-NEXT: .LBB1_3: # %if.then279; X64-NEXT: pushq %rbx80; X64-NEXT: .cfi_def_cfa_offset 1681; X64-NEXT: .cfi_offset %rbx, -1682; X64-NEXT: movq %rdi, %rbx83; X64-NEXT: callq callVoid@PLT84; X64-NEXT: movq %rbx, %rdi85; X64-NEXT: popq %rbx86; X64-NEXT: .cfi_def_cfa_offset 887; X64-NEXT: jmp callNonVoid@PLT # TAILCALL88;89; X86-LABEL: test2:90; X86: # %bb.0: # %entry91; X86-NEXT: subl $12, %esp92; X86-NEXT: .cfi_def_cfa_offset 1693; X86-NEXT: movl {{[0-9]+}}(%esp), %eax94; X86-NEXT: testl %eax, %eax95; X86-NEXT: je .LBB1_296; X86-NEXT: # %bb.1: # %if.end97; X86-NEXT: cmpl %eax, a98; X86-NEXT: je .LBB1_399; X86-NEXT: .LBB1_2: # %return100; X86-NEXT: xorl %eax, %eax101; X86-NEXT: addl $12, %esp102; X86-NEXT: .cfi_def_cfa_offset 4103; X86-NEXT: retl104; X86-NEXT: .LBB1_3: # %if.then2105; X86-NEXT: .cfi_def_cfa_offset 16106; X86-NEXT: calll callVoid@PLT107; X86-NEXT: addl $12, %esp108; X86-NEXT: .cfi_def_cfa_offset 4109; X86-NEXT: jmp callNonVoid@PLT # TAILCALL110entry:111 %tobool = icmp eq ptr %p1, null112 br i1 %tobool, label %return, label %if.end113 114if.end: ; preds = %entry115 %0 = load i32, ptr @a, align 4, !tbaa !2116 %conv = sext i32 %0 to i64117 %1 = inttoptr i64 %conv to ptr118 %cmp = icmp eq ptr %1, %p1119 br i1 %cmp, label %if.then2, label %return120 121if.then2: ; preds = %if.end122 %call = tail call signext i32 @callVoid()123 %call3 = tail call signext i32 @callNonVoid(ptr nonnull %p1)124 br label %return125 126return: ; preds = %if.end, %entry, %if.then2127 %retval.0 = phi i32 [ %call3, %if.then2 ], [ 0, %entry ], [ 0, %if.end ]128 ret i32 %retval.0129}130 131 132define dso_local ptr @test3(ptr nocapture %p1, i8 zeroext %p2) local_unnamed_addr {133; X64-LABEL: test3:134; X64: # %bb.0: # %entry135; X64-NEXT: pushq %r14136; X64-NEXT: .cfi_def_cfa_offset 16137; X64-NEXT: pushq %rbx138; X64-NEXT: .cfi_def_cfa_offset 24139; X64-NEXT: pushq %rax140; X64-NEXT: .cfi_def_cfa_offset 32141; X64-NEXT: .cfi_offset %rbx, -24142; X64-NEXT: .cfi_offset %r14, -16143; X64-NEXT: movq (%rdi), %rbx144; X64-NEXT: testq %rbx, %rbx145; X64-NEXT: je .LBB2_2146; X64-NEXT: # %bb.1: # %land.rhs147; X64-NEXT: movq %rdi, %r14148; X64-NEXT: movzbl %sil, %esi149; X64-NEXT: movq %rbx, %rdi150; X64-NEXT: callq bar@PLT151; X64-NEXT: movq %rax, (%r14)152; X64-NEXT: .LBB2_2: # %land.end153; X64-NEXT: movq %rbx, %rax154; X64-NEXT: addq $8, %rsp155; X64-NEXT: .cfi_def_cfa_offset 24156; X64-NEXT: popq %rbx157; X64-NEXT: .cfi_def_cfa_offset 16158; X64-NEXT: popq %r14159; X64-NEXT: .cfi_def_cfa_offset 8160; X64-NEXT: retq161;162; X86-LABEL: test3:163; X86: # %bb.0: # %entry164; X86-NEXT: pushl %edi165; X86-NEXT: .cfi_def_cfa_offset 8166; X86-NEXT: pushl %esi167; X86-NEXT: .cfi_def_cfa_offset 12168; X86-NEXT: pushl %eax169; X86-NEXT: .cfi_def_cfa_offset 16170; X86-NEXT: .cfi_offset %esi, -12171; X86-NEXT: .cfi_offset %edi, -8172; X86-NEXT: movl {{[0-9]+}}(%esp), %edi173; X86-NEXT: movl (%edi), %esi174; X86-NEXT: testl %esi, %esi175; X86-NEXT: je .LBB2_2176; X86-NEXT: # %bb.1: # %land.rhs177; X86-NEXT: subl $8, %esp178; X86-NEXT: .cfi_adjust_cfa_offset 8179; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax180; X86-NEXT: pushl %eax181; X86-NEXT: .cfi_adjust_cfa_offset 4182; X86-NEXT: pushl %esi183; X86-NEXT: .cfi_adjust_cfa_offset 4184; X86-NEXT: calll bar@PLT185; X86-NEXT: addl $16, %esp186; X86-NEXT: .cfi_adjust_cfa_offset -16187; X86-NEXT: movl %eax, (%edi)188; X86-NEXT: .LBB2_2: # %land.end189; X86-NEXT: movl %esi, %eax190; X86-NEXT: addl $4, %esp191; X86-NEXT: .cfi_def_cfa_offset 12192; X86-NEXT: popl %esi193; X86-NEXT: .cfi_def_cfa_offset 8194; X86-NEXT: popl %edi195; X86-NEXT: .cfi_def_cfa_offset 4196; X86-NEXT: retl197entry:198 %0 = load ptr, ptr %p1, align 8, !tbaa !6199 %tobool = icmp eq ptr %0, null200 br i1 %tobool, label %land.end, label %land.rhs201 202land.rhs: ; preds = %entry203 %call = tail call ptr @bar(ptr nonnull %0, i8 zeroext %p2)204 store ptr %call, ptr %p1, align 8, !tbaa !6205 br label %land.end206 207land.end: ; preds = %entry, %land.rhs208 ret ptr %0209}210 211declare ptr @bar(ptr, i8 zeroext) local_unnamed_addr212 213 214!llvm.module.flags = !{!0}215!llvm.ident = !{!1}216 217!0 = !{i32 1, !"wchar_size", i32 4}218!1 = !{!"clang version 10.0.0 (trunk 367381) (llvm/trunk 367388)"}219!2 = !{!3, !3, i64 0}220!3 = !{!"int", !4, i64 0}221!4 = !{!"omnipotent char", !5, i64 0}222!5 = !{!"Simple C/C++ TBAA"}223!6 = !{!7, !7, i64 0}224!7 = !{!"any pointer", !4, i64 0}225