Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| 2 | ; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \ |
| 3 | ; RUN: | FileCheck -check-prefix=RV32I %s |
| 4 | |
| 5 | %struct.Foo = type { i32, i32, i32, i16, i8 } |
| 6 | @foo = global %struct.Foo { i32 1, i32 2, i32 3, i16 4, i8 5 }, align 4 |
| 7 | |
| 8 | define i32 @callee(%struct.Foo* byval %f) nounwind { |
| 9 | ; RV32I-LABEL: callee: |
| 10 | ; RV32I: # %bb.0: # %entry |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 11 | ; RV32I-NEXT: lw a0, 0(a0) |
Alex Bradbury | 59136ff | 2017-12-15 09:47:01 +0000 | [diff] [blame] | 12 | ; RV32I-NEXT: ret |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 13 | entry: |
| 14 | %0 = getelementptr inbounds %struct.Foo, %struct.Foo* %f, i32 0, i32 0 |
| 15 | %1 = load i32, i32* %0, align 4 |
| 16 | ret i32 %1 |
| 17 | } |
| 18 | |
| 19 | |
| 20 | define void @caller() nounwind { |
| 21 | ; RV32I-LABEL: caller: |
| 22 | ; RV32I: # %bb.0: # %entry |
| 23 | ; RV32I-NEXT: addi sp, sp, -32 |
| 24 | ; RV32I-NEXT: sw ra, 28(sp) |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 25 | ; RV32I-NEXT: lui a0, %hi(foo+12) |
| 26 | ; RV32I-NEXT: addi a0, a0, %lo(foo+12) |
| 27 | ; RV32I-NEXT: lw a0, 0(a0) |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 28 | ; RV32I-NEXT: sw a0, 24(sp) |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 29 | ; RV32I-NEXT: lui a0, %hi(foo+8) |
| 30 | ; RV32I-NEXT: addi a0, a0, %lo(foo+8) |
| 31 | ; RV32I-NEXT: lw a0, 0(a0) |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 32 | ; RV32I-NEXT: sw a0, 20(sp) |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 33 | ; RV32I-NEXT: lui a0, %hi(foo+4) |
| 34 | ; RV32I-NEXT: addi a0, a0, %lo(foo+4) |
| 35 | ; RV32I-NEXT: lw a0, 0(a0) |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 36 | ; RV32I-NEXT: sw a0, 16(sp) |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 37 | ; RV32I-NEXT: lui a0, %hi(foo) |
| 38 | ; RV32I-NEXT: addi a0, a0, %lo(foo) |
| 39 | ; RV32I-NEXT: lw a0, 0(a0) |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 40 | ; RV32I-NEXT: sw a0, 12(sp) |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 41 | ; RV32I-NEXT: lui a0, %hi(callee) |
| 42 | ; RV32I-NEXT: addi a1, a0, %lo(callee) |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 43 | ; RV32I-NEXT: addi a0, sp, 12 |
Alex Bradbury | 59136ff | 2017-12-15 09:47:01 +0000 | [diff] [blame] | 44 | ; RV32I-NEXT: jalr a1 |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 45 | ; RV32I-NEXT: lw ra, 28(sp) |
| 46 | ; RV32I-NEXT: addi sp, sp, 32 |
Alex Bradbury | 59136ff | 2017-12-15 09:47:01 +0000 | [diff] [blame] | 47 | ; RV32I-NEXT: ret |
Alex Bradbury | dc31c61 | 2017-12-11 12:49:02 +0000 | [diff] [blame] | 48 | entry: |
| 49 | %call = call i32 @callee(%struct.Foo* byval @foo) |
| 50 | ret void |
| 51 | } |