Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt | FileCheck %s |
JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 2 | |
| 3 | ; Make sure that argument offsets are correct even if some arguments are unused. |
| 4 | |
Dan Gohman | 0c6f5ac | 2016-01-07 03:19:23 +0000 | [diff] [blame] | 5 | target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 6 | target triple = "wasm32-unknown-unknown" |
| 7 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: unused_first: |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: .param i32, i32{{$}} |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: .result i32{{$}} |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 11 | ; CHECK-NEXT: return $1{{$}} |
JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 12 | define i32 @unused_first(i32 %x, i32 %y) { |
| 13 | ret i32 %y |
| 14 | } |
| 15 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 16 | ; CHECK-LABEL: unused_second: |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 17 | ; CHECK-NEXT: .param i32, i32{{$}} |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 18 | ; CHECK-NEXT: .result i32{{$}} |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 19 | ; CHECK-NEXT: return $0{{$}} |
JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 20 | define i32 @unused_second(i32 %x, i32 %y) { |
| 21 | ret i32 %x |
| 22 | } |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 23 | |
| 24 | ; CHECK-LABEL: call_something: |
Dan Gohman | 7100809 | 2016-05-17 23:19:03 +0000 | [diff] [blame] | 25 | ; CHECK-NEXT: {{^}} i32.call $drop=, return_something@FUNCTION{{$}} |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 26 | ; CHECK-NEXT: return{{$}} |
| 27 | declare i32 @return_something() |
| 28 | define void @call_something() { |
Dan Gohman | 19601fb | 2015-11-14 23:17:07 +0000 | [diff] [blame] | 29 | call i32 @return_something() |
| 30 | ret void |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 31 | } |