test/CodeGen/MIR/X86/global-value-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 global value operands correctly.
   3
   4 --- |
   5
   6   @G = external global i32
   7   @0 = external global i32
   8
   9   define i32 @inc() {
  10   entry:
  11     %a = load i32, i32* @G
  12     %b = add i32 %a, 1
  13     ret i32 %b
  14   }
  15
  16   define i32 @inc2() {
  17   entry:
  18     %a = load i32, i32* @0
  19     %b = add i32 %a, 1
  20     ret i32 %b
  21   }
  22
  23   @.$0  = external global i32
  24   @-_-  = external global i32
  25   @_-_a = external global i32
  26   @$.-B = external global i32
  27
  28   define i32 @test() {
  29   entry:
  30     %a = load i32, i32* @.$0
  31     store i32 %a, i32* @-_-
  32     %b = load i32, i32* @_-_a
  33     store i32 %b, i32* @$.-B
  34     ret i32 %b
  35   }
  36
  37   @"\01Hello@$%09 \\ World," = external global i32
  38
  39   define i32 @test2() {
  40   entry:
  41     %a = load i32, i32* @"\01Hello@$%09 \\ World,"
  42     ret i32 %a
  43   }
  44
  45   define i32 @test3() {
  46   entry:
  47     %a = load i32, i32* @.$0
  48     store i32 %a, i32* @-_-
  49     %b = load i32, i32* @_-_a
  50     store i32 %b, i32* @$.-B
  51     ret i32 %b
  52   }
  53
  54   define i32 @tf() {
  55   entry:
  56     %a = load i32, i32* @G
  57     %b = add i32 %a, 1
  58     ret i32 %b
  59   }
  60
  61 ...
  62 ---
  63 # CHECK: name: inc
  64 name: inc
  65 body: |
  66   bb.0.entry:
  67     ; CHECK: %rax = MOV64rm %rip, 1, _, @G, _
  68     %rax = MOV64rm %rip, 1, _, @G, _
  69     %eax = MOV32rm %rax, 1, _, 0, _
  70     %eax = INC32r %eax, implicit-def %eflags
  71     RETQ %eax
  72 ...
  73 ---
  74 # CHECK: name: inc2
  75 name: inc2
  76 body: |
  77   bb.0.entry:
  78     ; CHECK: %rax = MOV64rm %rip, 1, _, @0, _
  79     %rax = MOV64rm %rip, 1, _, @0, _
  80     %eax = MOV32rm %rax, 1, _, 0, _
  81     %eax = INC32r %eax, implicit-def %eflags
  82     RETQ %eax
  83 ...
  84 ---
  85 name:            test
  86 body: |
  87   bb.0.entry:
  88     ; CHECK: , @".$0",
  89     ; CHECK: , @-_-,
  90     ; CHECK: , @_-_a,
  91     ; CHECK: , @"$.-B",
  92     %rax = MOV64rm %rip, 1, _, @.$0, _
  93     %eax = MOV32rm killed %rax, 1, _, 0, _
  94     %rcx = MOV64rm %rip, 1, _, @-_-, _
  95     MOV32mr killed %rcx, 1, _, 0, _, killed %eax
  96     %rax = MOV64rm %rip, 1, _, @_-_a, _
  97     %eax = MOV32rm killed %rax, 1, _, 0, _
  98     %rcx = MOV64rm %rip, 1, _, @$.-B, _
  99     MOV32mr killed %rcx, 1, _, 0, _, %eax
 100     RETQ %eax
 101 ...
 102 ---
 103 name:            test2
 104 body: |
 105   bb.0.entry:
 106     ; CHECK: , @"\01Hello@$%09 \5C World,",
 107     %rax = MOV64rm %rip, 1, _, @"\01Hello@$%09 \\ World,", _
 108     %eax = MOV32rm killed %rax, 1, _, 0, _
 109     RETQ %eax
 110 ...
 111 ---
 112 # CHECK: name: test3
 113 name:            test3
 114 body: |
 115   bb.0.entry:
 116     ; CHECK: , @".$0",
 117     ; CHECK: , @-_-,
 118     ; CHECK: , @_-_a + 4,
 119     ; CHECK: , @"$.-B" - 8,
 120     %rax = MOV64rm %rip, 1, _, @.$0 + 0, _
 121     %eax = MOV32rm killed %rax, 1, _, 0, _
 122     %rcx = MOV64rm %rip, 1, _, @-_- - 0, _
 123     MOV32mr killed %rcx, 1, _, 0, _, killed %eax
 124     %rax = MOV64rm %rip, 1, _, @_-_a + 4, _
 125     %eax = MOV32rm killed %rax, 1, _, 0, _
 126     %rcx = MOV64rm %rip, 1, _, @$.-B - 8, _
 127     MOV32mr killed %rcx, 1, _, 0, _, %eax
 128     RETQ %eax
 129 ...
 130 ---
 131 # CHECK: name: tf
 132 name: tf
 133 body: |
 134   bb.0.entry:
 135   ; CHECK: %rax = MOV64rm %rip, 1, _, target-flags(x86-gotpcrel) @G, _
 136     %rax = MOV64rm %rip, 1, _, target-flags(x86-gotpcrel) @G, _
 137     %eax = MOV32rm %rax, 1, _, 0, _
 138     %eax = INC32r %eax, implicit-def %eflags
 139     RETQ %eax
 140 ...