mirror of
https://github.com/RPCS3/llvm.git
synced 2025-05-17 02:46:00 +00:00
a26aa42625
Summary: Made it convert from register to stack based instructions, and removed the registers. Fixes to related code that was expecting register based instructions. Added the correct testing flag to all tests, depending on what the format they were expecting so far. Translated one test to stack format as example: reg-stackify-stack.ll tested: llvm-lit -v `find test -name WebAssembly` unittests/MC/* Reviewers: dschuff, sunfish Subscribers: sbc100, jgravelle-google, eraman, aheejin, llvm-commits, jfb Differential Revision: https://reviews.llvm.org/D51241 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@340750 91177308-0d34-0410-b5e6-96231b3b80d8
49 lines
1.2 KiB
LLVM
49 lines
1.2 KiB
LLVM
; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -verify-machineinstrs | FileCheck %s
|
|
|
|
; Test that phis are lowered.
|
|
|
|
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
|
|
target triple = "wasm32-unknown-unknown"
|
|
|
|
; Basic phi triangle.
|
|
|
|
; CHECK-LABEL: test0:
|
|
; CHECK: return $0
|
|
; CHECK: div_s $push[[NUM0:[0-9]+]]=, $0, $pop[[NUM1:[0-9]+]]{{$}}
|
|
; CHECK: return $pop[[NUM0]]{{$}}
|
|
define i32 @test0(i32 %p) {
|
|
entry:
|
|
%t = icmp slt i32 %p, 0
|
|
br i1 %t, label %true, label %done
|
|
true:
|
|
%a = sdiv i32 %p, 3
|
|
br label %done
|
|
done:
|
|
%s = phi i32 [ %a, %true ], [ %p, %entry ]
|
|
ret i32 %s
|
|
}
|
|
|
|
; Swap phis.
|
|
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: .LBB1_1:
|
|
; CHECK: copy_local $[[NUM0:[0-9]+]]=, $[[NUM1:[0-9]+]]{{$}}
|
|
; CHECK: copy_local $[[NUM1]]=, $[[NUM2:[0-9]+]]{{$}}
|
|
; CHECK: copy_local $[[NUM2]]=, $[[NUM0]]{{$}}
|
|
define i32 @test1(i32 %n) {
|
|
entry:
|
|
br label %loop
|
|
|
|
loop:
|
|
%a = phi i32 [ 0, %entry ], [ %b, %loop ]
|
|
%b = phi i32 [ 1, %entry ], [ %a, %loop ]
|
|
%i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
|
|
|
|
%i.next = add i32 %i, 1
|
|
%t = icmp slt i32 %i.next, %n
|
|
br i1 %t, label %loop, label %exit
|
|
|
|
exit:
|
|
ret i32 %a
|
|
}
|