1; RUN: llc < %s -asm-verbose=false | FileCheck %s 2 3; Test that extending loads are assembled properly. 4 5target datalayout = "e-p:32:32-i64:64-n32:64-S128" 6target triple = "wasm32-unknown-unknown" 7 8; CHECK-LABEL: sext_i8_i32: 9; CHECK: i32.load8_s $push0=, 0($0){{$}} 10; CHECK-NEXT: return $pop0{{$}} 11define i32 @sext_i8_i32(i8 *%p) { 12 %v = load i8, i8* %p 13 %e = sext i8 %v to i32 14 ret i32 %e 15} 16 17; CHECK-LABEL: zext_i8_i32: 18; CHECK: i32.load8_u $push0=, 0($0){{$}} 19; CHECK-NEXT: return $pop0{{$}} 20define i32 @zext_i8_i32(i8 *%p) { 21 %v = load i8, i8* %p 22 %e = zext i8 %v to i32 23 ret i32 %e 24} 25 26; CHECK-LABEL: sext_i16_i32: 27; CHECK: i32.load16_s $push0=, 0($0){{$}} 28; CHECK-NEXT: return $pop0{{$}} 29define i32 @sext_i16_i32(i16 *%p) { 30 %v = load i16, i16* %p 31 %e = sext i16 %v to i32 32 ret i32 %e 33} 34 35; CHECK-LABEL: zext_i16_i32: 36; CHECK: i32.load16_u $push0=, 0($0){{$}} 37; CHECK-NEXT: return $pop0{{$}} 38define i32 @zext_i16_i32(i16 *%p) { 39 %v = load i16, i16* %p 40 %e = zext i16 %v to i32 41 ret i32 %e 42} 43 44; CHECK-LABEL: sext_i8_i64: 45; CHECK: i64.load8_s $push0=, 0($0){{$}} 46; CHECK-NEXT: return $pop0{{$}} 47define i64 @sext_i8_i64(i8 *%p) { 48 %v = load i8, i8* %p 49 %e = sext i8 %v to i64 50 ret i64 %e 51} 52 53; CHECK-LABEL: zext_i8_i64: 54; CHECK: i64.load8_u $push0=, 0($0){{$}} 55; CHECK-NEXT: return $pop0{{$}} 56define i64 @zext_i8_i64(i8 *%p) { 57 %v = load i8, i8* %p 58 %e = zext i8 %v to i64 59 ret i64 %e 60} 61 62; CHECK-LABEL: sext_i16_i64: 63; CHECK: i64.load16_s $push0=, 0($0){{$}} 64; CHECK-NEXT: return $pop0{{$}} 65define i64 @sext_i16_i64(i16 *%p) { 66 %v = load i16, i16* %p 67 %e = sext i16 %v to i64 68 ret i64 %e 69} 70 71; CHECK-LABEL: zext_i16_i64: 72; CHECK: i64.load16_u $push0=, 0($0){{$}} 73; CHECK-NEXT: return $pop0{{$}} 74define i64 @zext_i16_i64(i16 *%p) { 75 %v = load i16, i16* %p 76 %e = zext i16 %v to i64 77 ret i64 %e 78} 79 80; CHECK-LABEL: sext_i32_i64: 81; CHECK: i64.load32_s $push0=, 0($0){{$}} 82; CHECK-NEXT: return $pop0{{$}} 83define i64 @sext_i32_i64(i32 *%p) { 84 %v = load i32, i32* %p 85 %e = sext i32 %v to i64 86 ret i64 %e 87} 88 89; CHECK-LABEL: zext_i32_i64: 90; CHECK: i64.load32_u $push0=, 0($0){{$}} 91; CHECK: return $pop0{{$}} 92define i64 @zext_i32_i64(i32 *%p) { 93 %v = load i32, i32* %p 94 %e = zext i32 %v to i64 95 ret i64 %e 96} 97