/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | Recursive.hs | 35 zero8 = D.svInteger word8 0 function 37 gcdDyn a b = D.svIte (b `D.svEqual` zero8) a (gcdDyn b (a `D.svRem` b)) 41 let prop0 = gcdDyn zero8 x `D.svEqual` x 42 prop1 = gcdDyn x zero8 `D.svEqual` x
|
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/runtime/ |
H A D | memclr_ppc64x.s | 27 zero8: label 30 BC 16, 0, zero8 // dec ctr, br zero8 if ctr not 0 49 BR zero8
|
/dports/devel/llvm10/llvm-10.0.1.src/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
H A D | convert-rr-to-ri-instrs-kill-flag.mir | 83 STFSX killed $f1, $zero8, killed $x3 100 STFSX killed $f1, $zero8, killed $x3 119 STFSX killed $f1, $zero8, $x3 139 STFSX killed $f1, $zero8, killed $x3 154 $x3 = LDX $zero8, killed $x3 179 STFSX killed $f1, $zero8, killed $x3
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
H A D | convert-rr-to-ri-instrs-kill-flag.mir | 83 STFSX killed $f1, $zero8, killed $x3 100 STFSX killed $f1, $zero8, killed $x3 119 STFSX killed $f1, $zero8, $x3 139 STFSX killed $f1, $zero8, killed $x3 154 $x3 = LDX $zero8, killed $x3 179 STFSX killed $f1, $zero8, killed $x3
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0)
|
H A D | aix-vector-vararg-caller.ll | 74 …; 64BIT: [[LXVW4X:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT]] :: (load (s128) from const… 78 …; 64BIT: [[LXVW4X1:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT1]] :: (load (s128) from con… 82 …; 64BIT: [[LXVW4X2:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT2]] :: (load (s128) from con… 86 …; 64BIT: [[LXVW4X3:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT3]] :: (load (s128) from con… 90 …; 64BIT: [[LXVW4X4:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT4]] :: (load (s128) from con… 94 …; 64BIT: [[LXVW4X5:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT5]] :: (load (s128) from con… 98 …; 64BIT: [[LXVW4X6:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT6]] :: (load (s128) from con… 102 …; 64BIT: [[LXVW4X7:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT7]] :: (load (s128) from con… 106 …; 64BIT: [[LXVW4X8:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT8]] :: (load (s128) from con…
|
H A D | convert-rr-to-ri-instrs-kill-flag.mir | 83 STFSX killed $f1, $zero8, killed $x3 100 STFSX killed $f1, $zero8, killed $x3 119 STFSX killed $f1, $zero8, $x3 139 STFSX killed $f1, $zero8, killed $x3 154 $x3 = LDX $zero8, killed $x3 179 STFSX killed $f1, $zero8, killed $x3
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0)
|
H A D | aix-vector-vararg-caller.ll | 74 …; 64BIT: [[LXVW4X:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT]] :: (load (s128) from const… 78 …; 64BIT: [[LXVW4X1:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT1]] :: (load (s128) from con… 82 …; 64BIT: [[LXVW4X2:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT2]] :: (load (s128) from con… 86 …; 64BIT: [[LXVW4X3:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT3]] :: (load (s128) from con… 90 …; 64BIT: [[LXVW4X4:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT4]] :: (load (s128) from con… 94 …; 64BIT: [[LXVW4X5:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT5]] :: (load (s128) from con… 98 …; 64BIT: [[LXVW4X6:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT6]] :: (load (s128) from con… 102 …; 64BIT: [[LXVW4X7:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT7]] :: (load (s128) from con… 106 …; 64BIT: [[LXVW4X8:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT8]] :: (load (s128) from con…
|
H A D | convert-rr-to-ri-instrs-kill-flag.mir | 83 STFSX killed $f1, $zero8, killed $x3 100 STFSX killed $f1, $zero8, killed $x3 119 STFSX killed $f1, $zero8, $x3 139 STFSX killed $f1, $zero8, killed $x3 154 $x3 = LDX $zero8, killed $x3 179 STFSX killed $f1, $zero8, killed $x3
|
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0)
|
H A D | aix-vector-vararg-caller.ll | 74 …; 64BIT: [[LXVW4X:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT]] :: (load (s128) from const… 78 …; 64BIT: [[LXVW4X1:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT1]] :: (load (s128) from con… 82 …; 64BIT: [[LXVW4X2:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT2]] :: (load (s128) from con… 86 …; 64BIT: [[LXVW4X3:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT3]] :: (load (s128) from con… 90 …; 64BIT: [[LXVW4X4:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT4]] :: (load (s128) from con… 94 …; 64BIT: [[LXVW4X5:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT5]] :: (load (s128) from con… 98 …; 64BIT: [[LXVW4X6:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT6]] :: (load (s128) from con… 102 …; 64BIT: [[LXVW4X7:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT7]] :: (load (s128) from con… 106 …; 64BIT: [[LXVW4X8:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT8]] :: (load (s128) from con…
|
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
/dports/devel/llvm11/llvm-11.0.1.src/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0)
|
H A D | aix-vector-vararg-caller.ll | 74 …; 64BIT: [[LXVW4X:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT]] :: (load (s128) from const… 78 …; 64BIT: [[LXVW4X1:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT1]] :: (load (s128) from con… 82 …; 64BIT: [[LXVW4X2:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT2]] :: (load (s128) from con… 86 …; 64BIT: [[LXVW4X3:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT3]] :: (load (s128) from con… 90 …; 64BIT: [[LXVW4X4:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT4]] :: (load (s128) from con… 94 …; 64BIT: [[LXVW4X5:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT5]] :: (load (s128) from con… 98 …; 64BIT: [[LXVW4X6:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT6]] :: (load (s128) from con… 102 …; 64BIT: [[LXVW4X7:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT7]] :: (load (s128) from con… 106 …; 64BIT: [[LXVW4X8:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT8]] :: (load (s128) from con…
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load 4 from %stack.0)
|
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/CodeGen/PowerPC/ |
H A D | kernel-fp-round.ll | 14 ; CHECK: STFIWX killed %2, $zero8, %3 15 ; CHECK-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0) 33 ; CHECK-P6-64: STFIWX killed %2, $zero8, %3 34 ; CHECK-P6-64-NEXT: %4:f8rc = LFIWAX $zero8, %3 :: (load (s32) from %stack.0)
|
H A D | aix-vector-vararg-caller.ll | 74 …; 64BIT: [[LXVW4X:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT]] :: (load (s128) from const… 78 …; 64BIT: [[LXVW4X1:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT1]] :: (load (s128) from con… 82 …; 64BIT: [[LXVW4X2:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT2]] :: (load (s128) from con… 86 …; 64BIT: [[LXVW4X3:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT3]] :: (load (s128) from con… 90 …; 64BIT: [[LXVW4X4:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT4]] :: (load (s128) from con… 94 …; 64BIT: [[LXVW4X5:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT5]] :: (load (s128) from con… 98 …; 64BIT: [[LXVW4X6:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT6]] :: (load (s128) from con… 102 …; 64BIT: [[LXVW4X7:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT7]] :: (load (s128) from con… 106 …; 64BIT: [[LXVW4X8:%[0-9]+]]:vsrc = LXVW4X $zero8, killed [[LDtocCPT8]] :: (load (s128) from con…
|
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/runtime/ |
H A D | memclr_ppc64x.s | 59 zero8: label 63 BC 16, 0, zero8 // dec ctr, br zero8 if ctr not 0 83 BR zero8 160 BR zero8
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/runtime/ |
H A D | memclr_ppc64x.s | 63 zero8: label 67 BC 16, 0, zero8 // dec ctr, br zero8 if ctr not 0 87 BR zero8 164 BR zero8
|