blob: 56777090ad515924a38238a461c4e256bca4a8db [file] [log] [blame]
; RUN: llc < %s -asm-verbose=false -verify-machineinstrs -disable-block-placement -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"
; Test an interesting pattern of nested irreducibility.
; Just check we resolve all the irreducibility here (if not we'd crash).
; CHECK-LABEL: tre_parse:
define void @tre_parse() {
entry:
br label %for.cond.outer
for.cond.outer: ; preds = %do.body14, %entry
br label %for.cond
for.cond: ; preds = %for.cond.backedge, %for.cond.outer
%nbranch.0 = phi i32* [ null, %for.cond.outer ], [ %call188, %for.cond.backedge ]
switch i8 undef, label %if.else [
i8 40, label %do.body14
i8 41, label %if.then63
]
do.body14: ; preds = %for.cond
br label %for.cond.outer
if.then63: ; preds = %for.cond
unreachable
if.else: ; preds = %for.cond
switch i8 undef, label %if.then84 [
i8 92, label %if.end101
i8 42, label %if.end101
]
if.then84: ; preds = %if.else
switch i8 undef, label %cleanup.thread [
i8 43, label %if.end101
i8 63, label %if.end101
i8 123, label %if.end101
]
if.end101: ; preds = %if.then84, %if.then84, %if.then84, %if.else, %if.else
unreachable
cleanup.thread: ; preds = %if.then84
%call188 = tail call i32* undef(i32* %nbranch.0)
switch i8 undef, label %for.cond.backedge [
i8 92, label %land.lhs.true208
i8 0, label %if.else252
]
land.lhs.true208: ; preds = %cleanup.thread
unreachable
for.cond.backedge: ; preds = %cleanup.thread
br label %for.cond
if.else252: ; preds = %cleanup.thread
unreachable
}