| JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false | FileCheck %s |
| 2 | |
| 3 | ; Make sure that argument offsets are correct even if some arguments are unused. |
| 4 | |
| Dan Gohman | dde8dce | 2015-08-19 20:30:20 +0000 | [diff] [blame] | 5 | target datalayout = "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: |
| 9 | ; CHECK-NEXT: .param i32{{$}} |
| 10 | ; CHECK-NEXT: .param i32{{$}} |
| 11 | ; CHECK-NEXT: .result i32{{$}} |
| JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame^] | 12 | ; CHECK-NEXT: .local i32{{$}} |
| 13 | ; CHECK-NEXT: get_local 1{{$}} |
| 14 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 15 | ; CHECK-NEXT: return (get_local 2){{$}} |
| JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 16 | define i32 @unused_first(i32 %x, i32 %y) { |
| 17 | ret i32 %y |
| 18 | } |
| 19 | |
| Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 20 | ; CHECK-LABEL: unused_second: |
| 21 | ; CHECK-NEXT: .param i32{{$}} |
| 22 | ; CHECK-NEXT: .param i32{{$}} |
| 23 | ; CHECK-NEXT: .result i32{{$}} |
| JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame^] | 24 | ; CHECK-NEXT: .local i32{{$}} |
| 25 | ; CHECK-NEXT: get_local 0{{$}} |
| 26 | ; CHECK-NEXT: set_local 2, pop{{$}} |
| 27 | ; CHECK-NEXT: return (get_local 2){{$}} |
| JF Bastien | d7fcc6f | 2015-07-31 18:13:27 +0000 | [diff] [blame] | 28 | define i32 @unused_second(i32 %x, i32 %y) { |
| 29 | ret i32 %x |
| 30 | } |