test/CodeGen/MIR/X86/external-symbol-operands.mir

   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
   3 # operands correctly.
   4
   5 --- |
   6   @__stack_chk_guard = external global i8*
   7
   8   define i32 @test(i32 %n) #0 {
   9   entry:
  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)
  18     ret i32 %0
  19   }
  20
  21   declare void @llvm.stackprotector(i8*, i8**) #1
  22
  23   declare void @llvm.stackprotectorcheck(i8**) #1
  24
  25   attributes #0 = { ssp "stack-protector-buffer-size"="8" }
  26   attributes #1 = { nounwind }
  27
  28 ...
  29 ---
  30 name:            test
  31 tracksRegLiveness: true
  32 body:
  33   - id:              0
  34     name:            entry
  35     successors:      [ '%bb.1.entry', '%bb.2.entry' ]
  36     liveins:         [ '%edi' ]
  37     instructions:
  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'
  45   - id:              1
  46     name:            entry
  47     liveins:         [ '%eax' ]
  48     instructions:
  49       - '%rsp = ADD64ri32 %rsp, 520, implicit-def %eflags'
  50       - 'RETQ %eax'
  51   - id:              2
  52     name:            entry
  53     instructions:
  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       # CHECK-NEXT: CALL64pcrel32 $__stack_chk_fail + 2,
  59       # CHECK-NEXT: CALL64pcrel32 $" check stack - 20" - 20,
  60       - 'CALL64pcrel32 $__stack_chk_fail, csr_64, implicit %rsp, implicit-def %rsp'
  61       - 'CALL64pcrel32 $__stack_chk_fail.09-_, csr_64, implicit %rsp, implicit-def %rsp'
  62       - 'CALL64pcrel32 $__stack_chk_fail$, csr_64, implicit %rsp, implicit-def %rsp'
  63       - 'CALL64pcrel32 $"$Quoted \09 External symbol \11 ", csr_64, implicit %rsp, implicit-def %rsp'
  64       - 'CALL64pcrel32 $__stack_chk_fail + 2, csr_64, implicit %rsp, implicit-def %rsp'
  65       - 'CALL64pcrel32 $" check stack - 20" - 20, csr_64, implicit %rsp, implicit-def %rsp'
  66 ...