1 # RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
2 # This test ensures that the MIR parser parses the external symbol machine
6 @__stack_chk_guard = external global i8*
8 define i32 @test(i32 %n) #0 {
10 %StackGuardSlot = alloca i8*
11 %StackGuard = load i8*, i8** @__stack_chk_guard
12 call void @llvm.stackprotector(i8* %StackGuard, i8** %StackGuardSlot)
13 %a = alloca [128 x i32], align 16
14 %idxprom = sext i32 %n to i64
15 %arrayidx = getelementptr inbounds [128 x i32], [128 x i32]* %a, i64 0, i64 %idxprom
16 %0 = load i32, i32* %arrayidx, align 4
17 call void @llvm.stackprotectorcheck(i8** @__stack_chk_guard)
21 declare void @llvm.stackprotector(i8*, i8**) #1
23 declare void @llvm.stackprotectorcheck(i8**) #1
25 attributes #0 = { ssp "stack-protector-buffer-size"="8" }
26 attributes #1 = { nounwind }
31 tracksRegLiveness: true
35 successors: [ '%bb.1.entry', '%bb.2.entry' ]
38 - '%rsp = SUB64ri32 %rsp, 520, implicit-def %eflags'
39 - '%rcx = LOAD_STACK_GUARD'
40 - 'MOV64mr %rsp, 1, _, 512, _, %rcx'
41 - '%rax = MOVSX64rr32 %edi'
42 - '%eax = MOV32rm %rsp, 4, %rax, 0, _'
43 - 'CMP64rm %rcx, %rsp, 1, _, 512, _, implicit-def %eflags'
44 - 'JNE_1 %bb.2.entry, implicit %eflags'
49 - '%rsp = ADD64ri32 %rsp, 520, implicit-def %eflags'
54 # CHECK: CALL64pcrel32 $__stack_chk_fail,
55 # CHECK-NEXT: CALL64pcrel32 $__stack_chk_fail.09-_,
56 # CHECK-NEXT: CALL64pcrel32 $"__stack_chk_fail$",
57 # CHECK-NEXT: CALL64pcrel32 $"$Quoted \09 External symbol \11 ",
58 - 'CALL64pcrel32 $__stack_chk_fail, csr_64, implicit %rsp, implicit-def %rsp'
59 - 'CALL64pcrel32 $__stack_chk_fail.09-_, csr_64, implicit %rsp, implicit-def %rsp'
60 - 'CALL64pcrel32 $__stack_chk_fail$, csr_64, implicit %rsp, implicit-def %rsp'
61 - 'CALL64pcrel32 $"$Quoted \09 External symbol \11 ", csr_64, implicit %rsp, implicit-def %rsp'