89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define void @test_phi_diff_size(i1 %c) sspstrong {5; CHECK-LABEL: test_phi_diff_size:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: subq $24, %rsp8; CHECK-NEXT: .cfi_def_cfa_offset 329; CHECK-NEXT: movq %fs:40, %rax10; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)11; CHECK-NEXT: testb $1, %dil12; CHECK-NEXT: je .LBB0_113; CHECK-NEXT: # %bb.2: # %if14; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rax15; CHECK-NEXT: jmp .LBB0_316; CHECK-NEXT: .LBB0_1:17; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rax18; CHECK-NEXT: .LBB0_3: # %join19; CHECK-NEXT: movq $0, (%rax)20; CHECK-NEXT: movq %fs:40, %rax21; CHECK-NEXT: cmpq {{[0-9]+}}(%rsp), %rax22; CHECK-NEXT: jne .LBB0_523; CHECK-NEXT: # %bb.4: # %SP_return24; CHECK-NEXT: addq $24, %rsp25; CHECK-NEXT: .cfi_def_cfa_offset 826; CHECK-NEXT: retq27; CHECK-NEXT: .LBB0_5: # %CallStackCheckFailBlk28; CHECK-NEXT: .cfi_def_cfa_offset 3229; CHECK-NEXT: callq __stack_chk_fail@PLT30entry:31 %a = alloca i6432 br i1 %c, label %if, label %join33 34if:35 %gep = getelementptr i8, ptr %a, i64 436 br label %join37 38join:39 %phi = phi ptr [ %a, %entry ], [ %gep, %if ]40 store i64 0, ptr %phi41 ret void42}43 44define void @test_phi_loop(i1 %c) sspstrong {45; CHECK-LABEL: test_phi_loop:46; CHECK: # %bb.0: # %entry47; CHECK-NEXT: pushq %rbp48; CHECK-NEXT: .cfi_def_cfa_offset 1649; CHECK-NEXT: .cfi_offset %rbp, -1650; CHECK-NEXT: movq %rsp, %rbp51; CHECK-NEXT: .cfi_def_cfa_register %rbp52; CHECK-NEXT: andq $-131072, %rsp # imm = 0xFFFE000053; CHECK-NEXT: subq $262144, %rsp # imm = 0x4000054; CHECK-NEXT: movq %fs:40, %rax55; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)56; CHECK-NEXT: movq %rsp, %rax57; CHECK-NEXT: .p2align 458; CHECK-NEXT: .LBB1_1: # %loop59; CHECK-NEXT: # =>This Inner Loop Header: Depth=160; CHECK-NEXT: movq $0, (%rax)61; CHECK-NEXT: addq $4, %rax62; CHECK-NEXT: testb $1, %dil63; CHECK-NEXT: jne .LBB1_164; CHECK-NEXT: # %bb.2: # %exit65; CHECK-NEXT: movq %fs:40, %rax66; CHECK-NEXT: cmpq {{[0-9]+}}(%rsp), %rax67; CHECK-NEXT: jne .LBB1_468; CHECK-NEXT: # %bb.3: # %SP_return69; CHECK-NEXT: movq %rbp, %rsp70; CHECK-NEXT: popq %rbp71; CHECK-NEXT: .cfi_def_cfa %rsp, 872; CHECK-NEXT: retq73; CHECK-NEXT: .LBB1_4: # %CallStackCheckFailBlk74; CHECK-NEXT: .cfi_def_cfa %rbp, 1675; CHECK-NEXT: callq __stack_chk_fail@PLT76entry:77 %a = alloca <10000 x i64>78 br label %loop79 80loop:81 %phi = phi ptr [ %a, %entry ], [ %gep, %loop ]82 store i64 0, ptr %phi83 %gep = getelementptr i8, ptr %phi, i64 484 br i1 %c, label %loop, label %exit85 86exit:87 ret void88}89