| ; 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 triple = "wasm32-unknown-unknown" | |
| define i32 @foo() { | |
| %stack_addr = alloca i32 | |
| %stack_i = ptrtoint ptr %stack_addr to i32 | |
| %added = add nuw i32 %stack_i, undef | |
| %added_addr = inttoptr i32 %added to ptr | |
| %ret = load i32, ptr %added_addr | |
| ret i32 %ret | |
| } |