blob: 5b3c2a0522a290d8a0d62a6e2331dd4180cce396 [file] [log] [blame]
Derek Schuff732636d2016-08-04 18:01:52 +00001; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -verify-machineinstrs | FileCheck %s
2; RUN: llc < %s -asm-verbose=false -fast-isel -verify-machineinstrs | FileCheck %s
3
4; Test that FastISel does not generate instructions with NoReg
5
6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
7target triple = "wasm32-unknown-unknown"
8
9; CHECK: i32.const $push0=, 0
10define hidden i32 @a() #0 {
11entry:
12 ret i32 zext (i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null) to i32)
13}
14
15; CHECK: i32.const $push0=, 1
16; CHECK: br_if 0, $pop0
17define hidden i32 @b() #0 {
18entry:
19 br i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null), label %a, label %b
20a:
21 unreachable
22b:
23 ret i32 0
24}
25
26; CHECK: i32.const $push1=, 0
27; CHECK: i32.const $push2=, 0
28; CHECK: i32.store $drop=, 0($pop1), $pop2
29define hidden i32 @c() #0 {
30entry:
31 store i32 zext (i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null) to i32), i32* inttoptr (i32 0 to i32 *)
32 ret i32 0
33}
34
35attributes #0 = { noinline optnone }