23 lines
896 B
LLVM
23 lines
896 B
LLVM
|
; RUN: llc < %s -fast-isel -fast-isel-abort=1 -verify-machineinstrs
|
||
|
|
||
|
; Regression test for PR47040, in which an assertion was improperly
|
||
|
; triggered during FastISel's address computation. The issue was that
|
||
|
; an `Address` set to be relative to FrameIndex zero was incorrectly
|
||
|
; considered to have an unset base. When the left hand side of an add
|
||
|
; set the Address to have a FrameIndex base of 0, the right side would
|
||
|
; not detect that the Address base had already been set and could try
|
||
|
; to set the Address to be relative to a register instead, triggering
|
||
|
; an assertion.
|
||
|
|
||
|
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
|
||
|
target triple = "wasm32-unknown-unknown"
|
||
|
|
||
|
define i32 @foo() {
|
||
|
%stack_addr = alloca i32
|
||
|
%stack_i = ptrtoint i32* %stack_addr to i32
|
||
|
%added = add i32 %stack_i, undef
|
||
|
%added_addr = inttoptr i32 %added to i32*
|
||
|
%ret = load i32, i32* %added_addr
|
||
|
ret i32 %ret
|
||
|
}
|