Home | History | Annotate | Download | only in X86 
      1 # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
      2 # This test ensures that the MIR parser parses basic block liveins correctly.
      3 
      4 --- |
      5 
      6   define i32 @test(i32 %a, i32 %b) {
      7   body:
      8     %c = add i32 %a, %b
      9     ret i32 %c
     10   }
     11 
     12   define i32 @test2(i32 %a, i32 %b) {
     13   body:
     14     %c = add i32 %a, %b
     15     ret i32 %c
     16   }
     17 
     18   define i32 @test3() {
     19   body:
     20     ret i32 0
     21   }
     22 
     23 ...
     24 ---
     25 name: test
     26 tracksRegLiveness: true
     27 body: |
     28   ; CHECK-LABEL: bb.0.body:
     29   ; CHECK-NEXT:    liveins: $edi, $esi
     30   bb.0.body:
     31     liveins: $edi, $esi
     32 
     33     $eax = LEA64_32r killed $rdi, 1, killed $rsi, 0, _
     34     RETQ $eax
     35 ...
     36 ---
     37 name: test2
     38 tracksRegLiveness: true
     39 body: |
     40   ; CHECK-LABEL: name: test2
     41   ; Verify that we can have multiple lists of liveins that will be merged into
     42   ; one.
     43   ; CHECK:       bb.0.body:
     44   ; CHECK-NEXT:    liveins: $edi, $esi
     45   bb.0.body:
     46     liveins: $edi
     47     liveins: $esi
     48 
     49     $eax = LEA64_32r killed $rdi, 1, killed $rsi, 0, _
     50     RETQ $eax
     51 ...
     52 ---
     53 name: test3
     54 tracksRegLiveness: true
     55 body: |
     56   ; Verify that we can have an empty list of liveins.
     57   ; CHECK-LABEL: name: test3
     58   ; CHECK:       bb.0.body:
     59   ; CHECK-NEXT:    $eax = MOV32r0 implicit-def dead $eflags
     60   bb.0.body:
     61     liveins:
     62 
     63     $eax = MOV32r0 implicit-def dead $eflags
     64     RETQ killed $eax
     65 ...
     66