| # RUN: not llc -mtriple=x86_64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s | |
| # This test ensures that the MIR parser reports an error when it encounters a | |
| # stack object with a name that can't be associated with an alloca instruction. | |
| --- | | |
| define i32 @test(i32 %a) { | |
| entry: | |
| %b = alloca i32 | |
| store i32 %a, ptr %b | |
| %c = load i32, ptr %b | |
| ret i32 %c | |
| } | |
| ... | |
| --- | |
| name: test | |
| frameInfo: | |
| maxAlignment: 4 | |
| stack: | |
| # CHECK: [[@LINE+1]]:20: alloca instruction named 'x' isn't defined in the function 'test' | |
| - { id: 0, name: x, offset: -12, size: 4, alignment: 4 } | |
| body: | | |
| bb.0.entry: | |
| MOV32mr $rsp, 1, _, -4, _, $edi | |
| $eax = MOV32rm $rsp, 1, _, -4, _ | |
| RET64 $eax | |
| ... |