1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Make sure that argument offsets are correct even if some arguments are unused.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; CHECK-LABEL: unused_first:
9 ; CHECK-NEXT: .param i32{{$}}
10 ; CHECK-NEXT: .param i32{{$}}
11 ; CHECK-NEXT: .result i32{{$}}
12 ; CHECK-NEXT: .local i32{{$}}
13 ; CHECK-NEXT: return (get_local 1){{$}}
14 define i32 @unused_first(i32 %x, i32 %y) {
18 ; CHECK-LABEL: unused_second:
19 ; CHECK-NEXT: .param i32{{$}}
20 ; CHECK-NEXT: .param i32{{$}}
21 ; CHECK-NEXT: .result i32{{$}}
22 ; CHECK-NEXT: .local i32{{$}}
23 ; CHECK-NEXT: return (get_local 0){{$}}
24 define i32 @unused_second(i32 %x, i32 %y) {
28 ; CHECK-LABEL: call_something:
29 ; CHECK-NEXT: call return_something, $discard{{$}}
30 ; CHECK-NEXT: return{{$}}
31 declare i32 @return_something()
32 define void @call_something() {
33 call i32 @return_something()