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

   1 # RUN: llc -march=x86-64 -run-pass none -o - %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   bb.0.entry:
  34     successors: %bb.1.entry, %bb.2.entry
  35     liveins: $edi
  36
  37     $rsp = SUB64ri32 $rsp, 520, implicit-def $eflags
  38     $rcx = LOAD_STACK_GUARD
  39     MOV64mr $rsp, 1, _, 512, _, $rcx
  40     $rax = MOVSX64rr32 $edi
  41     $eax = MOV32rm $rsp, 4, $rax, 0, _
  42     CMP64rm $rcx, $rsp, 1, _, 512, _, implicit-def $eflags
  43     JCC_1 %bb.2.entry, 5, implicit $eflags
  44
  45   bb.1.entry:
  46     liveins: $eax
  47
  48     $rsp = ADD64ri32 $rsp, 520, implicit-def $eflags
  49     RETQ $eax
  50
  51   bb.2.entry:
  52     ; CHECK:      CALL64pcrel32 &__stack_chk_fail,
  53     ; CHECK-NEXT: CALL64pcrel32 &__stack_chk_fail.09-_,
  54     ; CHECK-NEXT: CALL64pcrel32 &"__stack_chk_fail$",
  55     ; CHECK-NEXT: CALL64pcrel32 &"$Quoted \09 External symbol \11 ",
  56     ; CHECK-NEXT: CALL64pcrel32 &__stack_chk_fail + 2,
  57     ; CHECK-NEXT: CALL64pcrel32 &" check stack - 20" - 20,
  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
  62     CALL64pcrel32 &__stack_chk_fail + 2, csr_64, implicit $rsp, implicit-def $rsp
  63     CALL64pcrel32 &" check stack - 20" - 20, csr_64, implicit $rsp, implicit-def $rsp
  64 ...