function-addr-offset.ll

; RUN: llc < %s -verify-machineinstrs | FileCheck %s

; Wasm does not currently support function addresses with offsets, so we
; shouldn't try to create a folded SDNode like (function + offset). This is a
; regression test for the folding bug and this should not crash in MCInstLower.

target triple = "wasm32-unknown-unknown"

; 'hidden' here should be present to reproduce the bug
declare hidden void @ham(i8*)

define void @bar(i8* %ptr) {
bb1:
  br i1 undef, label %bb3, label %bb2

bb2:
  ; While lowering this switch, isel creates (@ham + 1) expression as a course
  ; of range optimization for switch, and tries to fold the expression, but
  ; wasm does not support with function addresses with offsets. This folding
  ; should be disabled.
  ; CHECK:      i32.const  ham
  ; CHECK-NEXT: i32.const  1
  ; CHECK-NEXT: i32.add
  switch i32 ptrtoint (void (i8*)* @ham to i32), label %bb4 [
    i32 -1, label %bb3
    i32 0, label %bb3
  ]

bb3:
  unreachable

bb4:
  %tmp = load i8, i8* %ptr
  unreachable
}