llvm/test/CodeGen/MIR/Generic/llvmIR.mir

# RUN: llc -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s
# This test ensures that the LLVM IR that's embedded with MIR is parsed
# correctly.

--- |
  ; CHECK: define i32 @foo(i32 %x, i32 %y)
  ; CHECK: %z = alloca i32, align 4
  ; CHECK: store i32 %x, i32* %z, align 4
  ; CHECK: br label %Test
  ; CHECK: Test:
  ; CHECK: %m = load i32, i32* %z, align 4
  ; CHECK: %cond = icmp eq i32 %y, %m
  ; CHECK: br i1 %cond, label %IfEqual, label %IfUnequal
  ; CHECK: IfEqual:
  ; CHECK: ret i32 1
  ; CHECK: IfUnequal:
  ; CHECK: ret i32 0
  define i32 @foo(i32 %x, i32 %y) {
    %z = alloca i32, align 4
    store i32 %x, i32* %z, align 4
    br label %Test
  Test:
    %m = load i32, i32* %z, align 4
    %cond = icmp eq i32 %y, %m
    br i1 %cond, label %IfEqual, label %IfUnequal
  IfEqual:
    ret i32 1
  IfUnequal:
    ret i32 0
  }
  
...
---
name: foo
body: |
  bb.0:
...