27 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -O0 -verify-machineinstrs < %s | FileCheck %s3 4target triple = "wasm32-unknown-unknown"5 6define void @test(i1 %x) {7; CHECK-LABEL: test:8; CHECK: .functype test (i32) -> ()9; CHECK-NEXT: # %bb.0:10; CHECK-NEXT: local.get 011; CHECK-NEXT: i32.const -112; CHECK-NEXT: i32.xor13; CHECK-NEXT: i32.const 114; CHECK-NEXT: i32.and15; CHECK-NEXT: drop16; CHECK-NEXT: # %bb.1: # %exit17; CHECK-NEXT: return18 %y = xor i1 %x, true19 ; This br_if's operand (%y) is stackified in RegStackify. But this terminator20 ; will be removed in CFGSort after that. We need to make sure we unstackify %y21 ; so that it can be dropped in ExplicitLocals.22 br i1 %y, label %exit, label %exit23 24exit:25 ret void26}27