pnsk-lab filling

はじめに / セットアップ / CLI / アーキテクチャ

このページは、現時点の xyo-rust がどの Scratch opcode を扱えるかを整理した一覧です。

凡例
列 意味
Parser project.json から内部表現へ変換できる段階
IR LLVM IR 生成まで現状の実装がある段階
Hat / Stmt / Expr それぞれ hat block / 文ブロック / 値ブロックを表します
Warning Warning

Parser で通ることと、 run サブコマンドで最後まで通ることは同義ではありません。現状の IR 生成は動き系の一部、見た目の say/think と大きさ変更、変数代入と加算、制御の repeat/forever/if/ifelse/wait until、タイマーリセット、一部演算に限定されています。

対応状況サマリー
カテゴリ Stmt 対応 Expr 対応 IR Stmt IR Expr
動き ✅ 全 18 opcode ✅ 全 8 opcode 🟡 一部 (11/18 + 3 NoOp) ❌ なし
見た目 ✅ 全 21 opcode ✅ 全 5 opcode 🟡 一部 (4/21) 🟡 一部 (1/5)
音 ✅ 全 8 opcode ✅ 全 4 opcode ❌ なし ❌ なし
イベント ✅ 全 2 opcode — ❌ なし —
制御 ✅ 全 15 opcode ✅ 全 2 opcode 🟡 一部 (5/15) ❌ なし
調べる ✅ 全 3 opcode ✅ 全 22 opcode 🟡 一部 (1/3) 🟡 一部 (Timer のみ)
演算 — ✅ 全 18 opcode — 🟡 一部 (14/18、比較は文字列 / Dynamic 分岐あり)
データ ✅ 全 11 opcode ✅ 全 6 opcode 🟡 一部 (2/11) 🟡 一部 (変数参照のみ)
独自ブロック ✅ 全 1 opcode ✅ 全 3 opcode ❌ なし ❌ なし
ペン ✅ 全 13 opcode ✅ 全 1 opcode ❌ なし ❌ なし
Hat block

hat block はスクリプトの起点になるブロックです。各 hat block は Thread の hat フィールドに格納され、その後に続くブロック列が stmts としてパースされます。

カテゴリ Scratch での意味 opcode Parser IR
イベント 緑の旗が押されたとき EventWhenFlagClicked Hat 間接対応
イベント [キー] キーが押されたとき EventWhenKeyPressed Hat 間接対応
イベント このスプライトが押されたとき EventWhenThisSpriteClicked Hat 間接対応
イベント ステージが押されたとき EventWhenStageClicked Hat 間接対応
イベント 背景が切り替わったとき EventWhenBackdropSwitchesTo Hat 間接対応
イベント [タイマー / 音量] がしきい値を超えたとき EventWhenGreaterThan Hat 間接対応
イベント [メッセージ] を受け取ったとき EventWhenBroadcastReceived Hat 間接対応
イベント [対象] に触れたとき EventWhenTouchingObject Hat 間接対応
制御 クローンされたとき ControlStartAsClone Hat 間接対応
拡張 定義 ProceduresDefinition Hat なし

「間接対応」とは、hat block 自体は Thread 構造体の一部として生成されるため IR 関数の生成は行われますが、hat block が表すイベント（「旗が押された」「キーが押された」など）を実際にトリガーする仕組みはまだ実装されていないことを意味します。

文ブロック

文ブロックは Scratch で何かを「実行する」ブロックです。 Stmt 列挙型のバリアントとして表現されます。

動き

動きカテゴリはスプライトの位置・向きを変更する命令です。IR 生成では、 SpriteStruct の状態ポインタから build_struct_gep で X 座標・Y 座標・向き・回転方法を取り出し、 store 命令で値を更新します。

  • 対応 opcode:
    • MotionMoveSteps — [数値] 歩動かす
    • MotionTurnRight — [数値] 度右に回す
    • MotionTurnLeft — [数値] 度左に回す
    • MotionGoTo — [対象] へ行く
    • MotionGoToXY — x: [数値] y: [数値] へ行く
    • MotionGlideTo — [数値] 秒で [対象] へ移動する
    • MotionGlideSecsToXY — [数値] 秒で x: [数値] y: [数値] へ移動する
    • MotionPointInDirection — [数値] 度の方向へ向ける
    • MotionPointTowards — [対象] へ向ける
    • MotionChangeXBy — x座標を [数値] ずつ変える
    • MotionSetX — x座標を [数値] にする
    • MotionChangeYBy — y座標を [数値] ずつ変える
    • MotionSetY — y座標を [数値] にする
    • MotionIfOnEdgeBounce — もし端に着いたら、跳ね返る
    • MotionSetRotationStyle — 回転方法を [スタイル] にする
    • MotionAlignScene — (NoOp: ステージ整列)
    • MotionScrollRight — (NoOp: 右スクロール)
    • MotionScrollUp — (NoOp: 上スクロール)
  • Parser: Stmt
  • IR: 一部のみ（位置・向き更新系 + move steps + glide secs to x/y ）
    • MotionMoveSteps → 向きに応じて X・Y 座標を更新し、端の補正を適用
    • MotionSetX → build_struct_gep で X フィールドを取り出して store
    • MotionChangeXBy → build_struct_gep + load + fadd + store で X 座標を加算
    • MotionSetY → build_struct_gep で Y フィールドを取り出して store
    • MotionChangeYBy → build_struct_gep + load + fadd + store で Y 座標を加算
    • MotionGoToXY → build_struct_gep した X・Y フィールドへそれぞれ store
    • MotionTurnRight → build_struct_gep した向きフィールドに加算
    • MotionTurnLeft → build_struct_gep した向きフィールドから減算
    • MotionPointInDirection → build_struct_gep した向きフィールドへ store
    • MotionGlideSecsToXY → secs * fps からフレーム数を計算し、 wait_tick を挟みながら線形補間で X・Y 座標を更新
    • MotionSetRotationStyle → 回転方法を SpriteStruct の sprite_rotation_style に保存
    • MotionAlignScene / MotionScrollRight / MotionScrollUp → NoOp
  • 備考: MotionGoTo , MotionGlideTo , MotionIfOnEdgeBounce , MotionPointTowards は parser まで対応していますが、compiler 側ではまだ todo!() に到達します

見た目

見た目カテゴリはスプライトの外観（コスチューム・大きさ・エフェクト・表示/非表示など）を制御する命令です。IR 生成では、現在は say / think とスプライトの大きさ変更に対応しています。

  • 対応 opcode:
    • LooksSayForSecs — [テキスト] を [数値] 秒言う
    • LooksSay — [テキスト] と言う
    • LooksThinkForSecs — [テキスト] を [数値] 秒考える
    • LooksThink — [テキスト] と考える
    • LooksSwitchCostumeTo — コスチュームを [名前] にする
    • LooksNextCostume — 次のコスチュームにする
    • LooksSwitchBackdropTo — 背景を [名前] にする
    • LooksNextBackdrop — 次の背景にする
    • LooksChangeSizeBy — 大きさを [数値] ずつ変える
    • LooksSetSizeTo — 大きさを [数値] % にする
    • LooksChangeEffectBy — [効果] の効果を [数値] ずつ変える
    • LooksSetEffectTo — [効果] の効果を [数値] にする
    • LooksClearGraphicEffects — 画像効果をなくす
    • LooksShow — 表示する
    • LooksHide — 隠す
    • LooksGotoFrontBack — [前/後] に表示する
    • LooksGoForwardBackwardLayers — 表示順を [数値] 層 [前/後] にする
    • LooksChangeStretchBy — 横幅を [数値] ずつ変える
    • LooksSetStretchTo — 横幅を [数値] % にする
    • LooksHideAllSprites — すべてのスプライトを隠す
    • LooksSwitchBackdropToAndWait — 背景を [名前] にして待つ
  • Parser: Stmt
  • IR: 一部のみ（ say / think + 大きさ更新系）
    • LooksSetSizeTo → 入力値を数値へ変換し、現在コスチュームの幅・高さから Scratch 互換の範囲に丸めて sprite_size へ保存
    • LooksChangeSizeBy → 現在の sprite_size を読み出して加算し、 LooksSetSizeTo と同じ丸め処理を通して保存
  • 備考: グラフィックエフェクトのパラメータ（ COLOR , FISHEYE など）は LooksEffects 列挙型として解釈されます。 LooksSayForSecs , LooksThinkForSecs , コスチューム切り替え、エフェクト、表示/非表示、レイヤー操作、横幅変更、背景待ち系は parser まで対応で、IR 生成では未対応です。大きさの丸めには現在コスチュームの幅・高さを使うため、 SpriteStruct の sprite_costumes と sprite_costume_id も参照します

音

音カテゴリはサウンドの再生・音量・エフェクトを制御する命令です。

  • 対応 opcode:
    • SoundPlayUntilDone — [サウンド名] の音を鳴らし終わるまで待つ
    • SoundPlay — [サウンド名] の音を鳴らす
    • SoundStopAllSounds — 音をすべて止める
    • SoundChangeEffectBy — [効果] の効果を [数値] ずつ変える
    • SoundSetEffectTo — [効果] の効果を [数値] にする
    • SoundClearEffects — 音の効果をなくす
    • SoundChangeVolumeBy — 音量を [数値] ずつ変える
    • SoundSetVolumeTo — 音量を [数値] % にする
  • Parser: Stmt
  • IR: なし
  • 備考: 音エフェクト（ PITCH / PAN ）は SoundEffect 列挙型に変換されます

イベント

イベントカテゴリはメッセージの送信に関する命令です。

  • 対応 opcode:
    • EventBroadcast — [メッセージ] を送る
    • EventBroadcastAndWait — [メッセージ] を送って待つ
  • Parser: Stmt
  • IR: なし
  • 備考: ブロードキャスト入力（メッセージ名）は Expr として解釈されます

制御

制御カテゴリは繰り返し・条件分岐・クローン操作・スクリプト停止などの制御構造です。現在はパーサーで SUBSTACK （入れ子ブロック列）も再帰的に解析され、IR 生成では一部の制御構造を関数分割して扱います。

  • 対応 opcode:
    • ControlWait — [数値] 秒待つ
    • ControlRepeat — [数値] 回繰り返す
    • ControlForever — ずっと（繰り返す）
    • ControlIf — もし [条件] なら
    • ControlIfElse — もし [条件] なら…でなければ
    • ControlWaitUntil — [条件] まで待つ
    • ControlRepeatUntil — [条件] まで繰り返す
    • ControlWhile — [条件] の間繰り返す
    • ControlAllAtOnce — まとめて実行する
    • ControlCreateCloneOf — [対象] のクローンを作る
    • ControlDeleteThisClone — このクローンを削除する
    • ControlStop — [全部/このスクリプト/他のスクリプト] を止める
    • ControlForEach — [変数] を [数値] まで繰り返す
    • ControlIncrCounter — カウンターを増やす
    • ControlClearCounter — カウンターをリセットする
  • Parser: Stmt
  • IR: 一部のみ（ Repeat / Forever / If / IfElse / WaitUntil ）
    • ControlRepeat / ControlForever / ControlIf / ControlIfElse → SUBSTACK を別スレッド関数にして呼び出す
    • ControlWaitUntil → 条件が満たされるまで wait_tick を挟んでループする
  • 備考: ControlWait , ControlRepeatUntil , ControlWhile , ControlAllAtOnce , ControlCreateCloneOf , ControlDeleteThisClone , ControlStop , ControlForEach , ControlIncrCounter , ControlClearCounter は parser まで対応で、IR 生成では未対応です

調べる

調べるカテゴリはユーザー入力や外部情報に関する命令です。

  • 対応 opcode:
    • SensingAskAndWait — [質問] と聞いて待つ
    • SensingSetDragMode — ドラッグできる / できないにする
    • SensingResetTimer — タイマーをリセットする
  • Parser: Stmt
  • IR: 一部のみ（ ResetTimer ）
    • SensingResetTimer → タイマー基準時刻を get_now の値に更新する
  • 備考: ドラッグ可否の設定は SetDraggable { draggable: bool } として変換されます。 SensingAskAndWait と SensingSetDragMode は現時点では parser までの対応です

データ

データカテゴリは変数・リストの操作命令です。変数 ID / リスト ID を保持します。

  • 対応 opcode:
    • DataSetVariableTo — [変数] を [値] にする
    • DataChangeVariableBy — [変数] を [値] ずつ変える
    • DataShowVariable — 変数 [変数] を表示する
    • DataHideVariable — 変数 [変数] を隠す
    • DataAddToList — [値] を [リスト] に追加する
    • DataDeleteOfList — [リスト] の [番号] 番目を削除する
    • DataDeleteAllOfList — [リスト] のすべてを削除する
    • DataInsertAtList — [値] を [リスト] の [番号] 番目に挿入する
    • DataReplaceItemOfList — [リスト] の [番号] 番目を [値] に置き換える
    • DataShowList — リスト [リスト] を表示する
    • DataHideList — リスト [リスト] を隠す
  • Parser: Stmt
  • IR: 一部のみ
    • DataSetVariableTo → 対象の変数 ID を Builders::get_variable() で解決し、入力値を DynamicStruct に変換してグローバル変数スロットへ保存
    • DataChangeVariableBy → 現在値を読み出して加算し、同じ変数スロットへ戻す
  • 備考: 変数・リストは名前ではなく ID（文字列）で参照されます。 DataVariable は Literal::Variable として下流へ渡せますが、 DataItemOfList / DataItemNumOfList / DataLengthOfList / DataListContainsItem と DataListContents は IR 生成では未対応です

ペン

ペンカテゴリは描画操作命令です。

  • 対応 opcode:
    • PenClear — 全部消す
    • PenStamp — スタンプする
    • PenDown — ペンを下ろす
    • PenUp — ペンを上げる
    • PenSetPenColorToColor — ペンの色を [色] にする
    • PenChangePenColorParamBy — ペンの [パラメータ] を [数値] ずつ変える
    • PenSetPenColorParamTo — ペンの [パラメータ] を [数値] にする
    • PenChangePenSizeBy — ペンの太さを [数値] ずつ変える
    • PenSetPenSizeTo — ペンの太さを [数値] にする
    • PenChangePenHueBy — ペンの色相を [数値] ずつ変える
    • PenSetPenHueToNumber — ペンの色相を [数値] にする
    • PenChangePenShadeBy — ペンの明るさを [数値] ずつ変える
    • PenSetPenShadeToNumber — ペンの明るさを [数値] にする
  • Parser: Stmt
  • IR: なし
  • 備考: ペンの色・サイズ・色相・明るさの変更が含まれます

独自ブロック

独自ブロック（手続き）の呼び出し命令です。

  • 対応 opcode: ProceduresCall
  • Parser: Stmt
  • IR: なし
  • 備考: mutation フィールドから引数 ID 一覧と引数値マッピングを復元します。 ProceduresCall { proccode: String, inputs: HashMap<String, Expr> } として保持されます
値ブロック / メニュー / レポーター

値ブロックは何らかの値を返すブロックです。他のブロックの入力として埋め込まれます。 Expr 列挙型のバリアントとして表現されます。

動き

動きカテゴリのレポーター。スプライトの現在位置や向きを取得します。

  • 対応 opcode:
    • MotionXPosition — x座標
    • MotionYPosition — y座標
    • MotionDirection — 向き
    • MotionGoToMenu — 移動先メニュー
    • MotionGlideToMenu — スライド先メニュー
    • MotionPointTowardsMenu — 向きメニュー
    • MotionXScroll — x スクロール量
    • MotionYScroll — y スクロール量
  • Parser: Expr
  • IR: なし
  • 備考: メニュー系（ GoToMenu , GlideToMenu , PointTowardsMenu ）の値は文字列リテラルとして保持されます

見た目

スプライト・ステージの外観情報を取得するレポーターです。

  • 対応 opcode:
    • LooksCostumeNumberName — コスチュームの番号または名前
    • LooksBackdropNumberName — 背景の番号または名前
    • LooksSize — 大きさ
    • LooksCostume — コスチュームメニュー
    • LooksBackdrops — 背景メニュー
  • Parser: Expr
  • IR: 一部のみ（ LooksSize ）
    • LooksSize → SpriteStruct の sprite_size を読み出して数値として返す
  • 備考: LooksCostumeNumberName / LooksBackdropNumberName は number または name の区別を CostumeStatueTarget 列挙型として保持します

音

音に関する情報を取得するレポーターです。

  • 対応 opcode:
    • SoundVolume — 音量
    • SoundSoundsMenu — サウンドメニュー
    • SoundBeatsMenu — 拍数メニュー
    • SoundEffectsMenu — 音エフェクトメニュー
  • Parser: Expr
  • IR: なし
  • 備考: メニュー系の値は文字列として扱います

制御

制御に関するレポーターです。

  • 対応 opcode:
    • ControlCreateCloneOfMenu — クローン対象メニュー
    • ControlGetCounter — カウンターの値
  • Parser: Expr
  • IR: なし
  • 備考: ControlGetCounter は内部式 ControlExpr::GetCounter に変換されます

調べる

センサー・環境情報を取得するレポーターです。最も多くの opcode を持つカテゴリです。

  • 対応 opcode:
    • SensingTouchingObject — [対象] に触れた？
    • SensingTouchingObjectMenu — 触れた対象メニュー
    • SensingTouchingColor — [色] に触れた？
    • SensingColorIsTouchingColor — [色] が [色] に触れた？
    • SensingDistanceTo — [対象] までの距離
    • SensingDistanceToMenu — 距離計測対象メニュー
    • SensingAnswer — 答え（ ask and wait の回答）
    • SensingKeyPressed — [キー] キーが押された？
    • SensingKeyOptions — キー選択メニュー
    • SensingMouseDown — マウスが押された？
    • SensingMouseX — マウスの x 座標
    • SensingMouseY — マウスの y 座標
    • SensingLoudness — 音量
    • SensingTimer — タイマー
    • SensingOf — [スプライト/ステージ] の [プロパティ]
    • SensingOfObjectMenu — 対象スプライト選択メニュー
    • SensingUsername — ユーザー名
    • SensingUserid — ユーザー ID
    • SensingOnline — オンライン？
    • SensingDaysSince2000 — 2000 年 1 月 1 日からの日数
    • SensingCurrent — 現在の [年/月/日/時/分/秒]
    • SensingLoud — 音が大きい？
  • Parser: Expr
  • IR: 一部のみ
    • SensingTimer → 現在のタイマー値を秒で返す
    • SensingResetTimer → タイマー基準時刻を get_now の値に更新する
  • 備考: SensingOf のプロパティ（ x position , y position , direction など）は StatusTarget 列挙型、時刻の種類は TimeTarget 列挙型として解釈されます。 SensingAskAndWait と SensingSetDragMode は現時点では parser までの対応です

演算

数値・文字列・真偽値の演算を行うレポーターです。IR 生成が最も充実しているカテゴリですが、スレッド本体の文として実行されるのではなく、動きブロックなどの入力式として generate_expr_ir から使われます。

  • 対応 opcode:
    • OperatorAdd — [数値] + [数値]
    • OperatorSubtract — [数値] - [数値]
    • OperatorMultiply — [数値] * [数値]
    • OperatorDivide — [数値] / [数値]
    • OperatorRandom — [数値] から [数値] までの乱数
    • OperatorGt — [値] > [値]
    • OperatorLt — [値] < [値]
    • OperatorEquals — [値] = [値]
    • OperatorAnd — [条件] かつ [条件]
    • OperatorOr — [条件] または [条件]
    • OperatorNot — [条件] ではない
    • OperatorJoin — [文字列] と [文字列] を結合する
    • OperatorLetterOf — [文字列] の [番号] 番目の文字
    • OperatorLength — [文字列] の文字数
    • OperatorContains — [文字列] に [文字列] が含まれる？
    • OperatorMod — [数値] を [数値] で割った余り
    • OperatorRound — [数値] を四捨五入
    • OperatorMathOp — 数学関数（abs, floor, ceiling, sqrt, sin, cos, tan, asin, acos, atan, ln, log, e^, 10^）
  • Parser: Expr
  • IR: 一部のみ
    • OperatorAdd → fadd double
    • OperatorSubtract → fsub double
    • OperatorMultiply → fmul double
    • OperatorDivide → fdiv double
    • OperatorRandom → xorshift128plus を使った乱数生成。両端が整数扱いできる場合は整数乱数、そうでなければ実数乱数
    • OperatorGt → 数値同士は fcmp ogt double 、文字列または Dynamic を含む場合は文字列比較 / 数値比較へ実行時分岐
    • OperatorLt → 数値同士は fcmp olt double 、文字列または Dynamic を含む場合は文字列比較 / 数値比較へ実行時分岐
    • OperatorEquals → 数値同士は fcmp oeq double 、文字列または Dynamic を含む場合は文字列比較 / 数値比較へ実行時分岐
    • OperatorAnd → and i1
    • OperatorOr → or i1
    • OperatorNot → xor i1 %v, true
    • OperatorMod → frem double
    • OperatorRound → Scratch の丸め規則に合わせ、 floor(x + 0.5) と -0 付近の補正で生成
    • OperatorMathOp (Abs) → llvm.fabs.f64
    • OperatorMathOp (Floor) → llvm.floor.f64
    • OperatorMathOp (Ceil) → llvm.ceil.f64
    • OperatorMathOp (Sqrt) → llvm.sqrt.f64
    • OperatorMathOp (Sin/Cos/Tan) → llvm.sin.f64 / llvm.cos.f64 / tan 呼び出し
    • OperatorMathOp (Asin/Acos/Atan) → asin / acos / atan 呼び出し
    • OperatorMathOp (LogE) → llvm.log.f64
    • OperatorMathOp (Log10) → llvm.log10.f64
    • OperatorMathOp (PowE) → llvm.exp.f64
    • OperatorMathOp (Pow10) → pow10 呼び出し
  • 未実装: OperatorJoin , OperatorLetterOf , OperatorLength , OperatorContains はパーサーでは Expr になりますが、IR 生成ではまだ todo!() に到達します
  • 備考: 四則演算はすべて double (f64) 精度の浮動小数点演算です。文字列 / 数値 / 真偽値 / Dynamic の相互変換は scratch_return_to_number , scratch_return_to_string , scratch_return_to_bool , is_num を経由します

データ

変数・リストの参照に関するレポーターです。

  • 対応 opcode:
    • DataItemOfList — [リスト] の [番号] 番目
    • DataItemNumOfList — [リスト] の中の [値] の番号
    • DataLengthOfList — [リスト] の長さ
    • DataListContainsItem — [リスト] に [値] が含まれる？
    • DataVariable — 変数の値
    • DataListContents — リスト全体（文字列として）
  • Parser: Expr
  • IR: 一部のみ
    • DataVariable / 入力プリミティブの変数参照 → 変数 ID を解決し、グローバル変数スロットから DynamicStruct を読み出す
  • 備考: 変数参照 ( DataVariable ) とリスト参照 ( DataListContents ) は変数 ID / リスト ID を保持します。現状の IR 生成で扱える値は変数参照のみで、リスト参照は未実装です

独自ブロック

手続きの定義・引数に関するブロックです。

  • 対応 opcode:
    • ProceduresPrototype — 手続きプロトタイプ（hat block 直下に置かれる）
    • ArgumentReporterBoolean — 真偽値引数レポーター
    • ArgumentReporterStringNumber — 数値/文字列引数レポーター
  • Parser: Expr
  • IR: なし
  • 備考: ProceduresPrototype はシグネチャ情報（ proccode , 引数 ID・名前・デフォルト値一覧、 warp フラグ）を ProceduresPrototypeStruct として保持します

ペン

ペンのパラメータ選択メニューです。

  • 対応 opcode: PenMenuColorParam
  • Parser: Expr
  • IR: なし
  • 備考: 色パラメータ名（ color , saturation , brightness , transparency ）を文字列リテラルとして扱います
入力プリミティブ

ブロック参照以外に、次の入力プリミティブも内部表現へ変換されます。これらは Expr::Literal(Literal) として表現されます。

プリミティブ種別 Rust での表現 例
数値 Literal::Number(String) "10" , "3.14"
テキスト Literal::String(String) "Hello"
ブロードキャスト参照 Literal::Broadcast { id: String } メッセージ ID
変数参照 Literal::Variable { target: String } 変数 ID
リスト参照 Literal::List { target: String } リスト ID
色 Literal::Color { color: String } "#FF0000"
空入力 Literal::Null （入力なし）

数値は文字列として保持されることに注意してください。IR 生成時に str.parse::<f64>() で変換されます。

IR 生成の現状

現在の LLVM IR 生成は、スレッド本体では動き系の一部命令、見た目の say/think と大きさ変更系、変数代入と加算、制御の repeat/forever/if/ifelse/wait until、タイマーリセットを扱います。式側はリテラル、演算子、変数参照、見た目の大きさレポーター、タイマーレポーターを扱い、比較演算では文字列と Dynamic の実行時分岐も生成します。

層 対応内容
Stmt MotionMoveSteps , MotionSetX , MotionChangeXBy , MotionSetY , MotionChangeYBy , MotionGoToXY , MotionGlideSecsToXY , MotionTurnRight , MotionTurnLeft , MotionPointInDirection , MotionSetRotationStyle , LooksSay , LooksThink , LooksSetSizeTo , LooksChangeSizeBy , DataSetVariableTo , DataChangeVariableBy , ControlRepeat , ControlForever , ControlIf , ControlIfElse , ControlWaitUntil , SensingResetTimer 。 MotionAlignScene / MotionScrollRight / MotionScrollUp は NoOp
Expr OperatorAdd , OperatorSubtract , OperatorMultiply , OperatorDivide , OperatorRandom , OperatorGreaterThan , OperatorLessThan , OperatorEq , OperatorAnd , OperatorOr , OperatorNot , OperatorMod , OperatorRound , OperatorCalc （数学関数）, LooksSize , SensingTimer , 変数参照
Literal 数値入力と文字列入力、変数参照の変換経路あり。数値・文字列は現状 StringStruct として作られ、利用側の coercion で数値・真偽値へ変換されます。変数参照は DynamicStruct として読み出され、リスト参照は IR 未対応です
run の前に使える確認コマンド

run が成功するかどうかは、使われている opcode に依存します。 stats コマンドで opcode を確認し、上記の表と照らし合わせてください。 

# 使用 opcode を確認する
cargo run -- stats my_project.sb3

# 確認後、JIT 実行を試す
cargo run -- run my_project.sb3

# LLVM IR をファイルに保存して確認する
cargo run -- compile my_project.sb3 --output out.ll

前のページ: CLI
次のページ: アーキテクチャ

Valid HTML 4.01 Valid CSS