/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm11/llvm-11.0.1.src/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm90/llvm-9.0.1.src/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm80/llvm-8.0.1.src/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/devel/llvm70/llvm-7.0.1.src/test/Bitcode/ |
H A D | bitwiseInstructions.3.2.ll | 10 ; CHECK: %res1 = shl i8 %x1, %x1 11 %res1 = shl i8 %x1, %x1 14 %res2 = shl nuw i8 %x1, %x1 17 %res3 = shl nsw i8 %x1, %x1 20 %res4 = shl nuw nsw i8 %x1, %x1 28 %res1 = lshr i8 %x1, %x1 31 %res2 = lshr exact i8 %x1, %x1 39 %res1 = ashr i8 %x1, %x1 50 %res1 = and i8 %x1, %x1 58 %res1 = or i8 %x1, %x1 [all …]
|
/dports/www/firefox-legacy/firefox-52.8.0esr/js/src/jit-test/tests/wasm/spec/ |
H A D | float_misc.wast | 86 (assert_return (invoke "f32.add" (f32.const 0x1.6c0f24p+67) (f32.const -0x1.2b92dp+52)) (f32.const … 87 (assert_return (invoke "f32.add" (f32.const 0x1.e62318p-83) (f32.const 0x1.f74abep-125)) (f32.const… 88 (assert_return (invoke "f32.add" (f32.const 0x1.2a71d4p+39) (f32.const -0x1.c9f10cp+55)) (f32.const… 89 (assert_return (invoke "f32.add" (f32.const 0x1.f8f736p-15) (f32.const 0x1.7bd45ep+106)) (f32.const… 97 (assert_return (invoke "f32.add" (f32.const 0x1.1bf976p+72) (f32.const -0x1.7f5868p+20)) (f32.const… 98 (assert_return (invoke "f32.add" (f32.const 0x1.7f9c6cp-45) (f32.const -0x1.b9bb0ep-78)) (f32.const… 150 (assert_return (invoke "f32.add" (f32.const -0x1.4p-145) (f32.const 0x1.424052p-122)) (f32.const 0x… 151 (assert_return (invoke "f32.add" (f32.const 0x1.c5p-141) (f32.const -0x1.72f8p-135)) (f32.const -0x… 227 (assert_return (invoke "f32.sub" (f32.const 0x1.724046p+4) (f32.const 0x1.921fb6p+1)) (f32.const 0x… 469 (assert_return (invoke "f32.div" (f32.const 0x1.2p+3) (f32.const 0x1.bp+4)) (f32.const 0x1.555556p-… [all …]
|
/dports/math/openturns/openturns-1.18/python/test/ |
H A D | t_AggregatedFunction_std.expout | 1 …x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 + 2.5 * x1) - (x2… 22 Marginal 0 = [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]] 23 Marginal 1 = [[x1,x2,x3]->[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)]] 24 Marginal 2 = [[x1,x2,x3]->[exp(-x1 * x2 + x3) / cos(1.0 + x2 * x3 - x1)]] 25 Marginal 3 = [[x1,x2,x3]->[exp(-x2 * x3 + x1) / cos(1.0 + x3 * x1 - x2)]] 26 …arginal (0,1)= [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 … 27 …inal (0,2)= [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)],[x1,x2,x3]->[exp… 28 …inal (1,2)= [[x1,x2,x3]->[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)],[x1,x2,x3]->[exp…
|
H A D | t_DualLinearCombinationFunction_std.expout | 1 … ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,0.5,-1.5] * ([x1,x… 18 …(1.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) - 3.5 * ([x1,x2,x3]-… 19 …(2.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + 0.5 * ([x1,x2,x3]-… 20 …-0.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) - 1.5 * ([x1,x2,x3]-… 21 …] * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,0.5] * ([x1,x2,… 22 … * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,-1.5] * ([x1,x2,… 23 …] * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [0.5,-1.5] * ([x1,x2,…
|
/dports/math/frobby/frobby-0.9.1/test/commonIdeals/ |
H A D | t16.assoprimes | 28 x1*x2*x3, 37 x1*x2*x4, 44 x1*x2*x5, 51 x1*x2, 82 x1*x3, 97 x1*x4, 105 x1*x5, 109 x1*x6, 111 x1*x7, 112 x1*x8, [all …]
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/SemaCXX/ |
H A D | warn-bad-memaccess.cpp | 33 memset(&x1, 0, sizeof x1); // \ in test_warn() 44 memmove(&x1, 0, sizeof x1); // \ in test_warn() 47 memmove(0, &x1, sizeof x1); // \ in test_warn() 50 memcpy(&x1, 0, sizeof x1); // \ in test_warn() 53 memcpy(0, &x1, sizeof x1); // \ in test_warn() 56 memcmp(&x1, 0, sizeof x1); // \ in test_warn() 59 memcmp(0, &x1, sizeof x1); // \ in test_warn() 63 __builtin_memset(&x1, 0, sizeof x1); // \ in test_warn() 132 (void)sizeof memset(&x1, 0, sizeof x1); in test_nowarn() 135 if (false) memset(&x1, 0, sizeof x1); in test_nowarn() [all …]
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/SemaCXX/ |
H A D | warn-bad-memaccess.cpp | 33 memset(&x1, 0, sizeof x1); // \ in test_warn() 44 memmove(&x1, 0, sizeof x1); // \ in test_warn() 47 memmove(0, &x1, sizeof x1); // \ in test_warn() 50 memcpy(&x1, 0, sizeof x1); // \ in test_warn() 53 memcpy(0, &x1, sizeof x1); // \ in test_warn() 56 memcmp(&x1, 0, sizeof x1); // \ in test_warn() 59 memcmp(0, &x1, sizeof x1); // \ in test_warn() 63 __builtin_memset(&x1, 0, sizeof x1); // \ in test_warn() 132 (void)sizeof memset(&x1, 0, sizeof x1); in test_nowarn() 135 if (false) memset(&x1, 0, sizeof x1); in test_nowarn() [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/js/src/zydis/Zydis/Generated/ |
H A D | DecoderTables.inc | 372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) }, 2073 …x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51… 2074 …x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A… 2075 …x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51… 2149 …x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D… 2150 …x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D… 2151 …x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D… 2152 …x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D… 2153 …x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D… 2185 …x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72… [all …]
|
/dports/devel/zydis/zydis-3.1.0/src/Generated/ |
H A D | DecoderTables.inc | 372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) }, 2073 …x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51… 2074 …x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A… 2075 …x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51… 2149 …x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D… 2150 …x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D… 2151 …x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D… 2152 …x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D… 2153 …x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D… 2185 …x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72… [all …]
|
/dports/www/firefox/firefox-99.0/js/src/zydis/Zydis/Generated/ |
H A D | DecoderTables.inc | 372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) }, 2073 …x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51… 2074 …x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A… 2075 …x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51… 2149 …x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D… 2150 …x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D… 2151 …x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D… 2152 …x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D… 2153 …x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D… 2185 …x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72… [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/js/src/zydis/Zydis/Generated/ |
H A D | DecoderTables.inc | 372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) }, 2073 …x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51… 2074 …x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A… 2075 …x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51… 2149 …x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D… 2150 …x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D… 2151 …x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D… 2152 …x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D… 2153 …x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D… 2185 …x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72… [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/js/src/zydis/Zydis/Generated/ |
H A D | DecoderTables.inc | 372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) }, 2073 …x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51… 2074 …x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A… 2075 …x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51… 2149 …x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D… 2150 …x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D… 2151 …x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D… 2152 …x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D… 2153 …x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D… 2185 …x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72… [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/push-pop/ |
H A D | fuzz_3_11.smt2 | 10 (declare-fun x1 () Real) 12 (assert (or (= (+ (* 25 x1 ) (* (- 35) x1 ) ) 3) (> (+ (* 31 x1 ) (* (- 25) x2 ) (* 24 x1 ) (* (- 3… 18 …assert (or (not (<= (+ (* (- 34) x2 ) (* (- 24) x1 ) ) 39)) (<= (+ (* 34 x1 ) (* (- 35) x0 ) (* (-… 26 …rt (or (>= (+ (* (- 4) x0 ) (* 20 x1 ) (* (- 30) x1 ) (* 17 x0 ) ) (- 13)) (< (+ (* 6 x0 ) (* (- 2… 27 (assert (or (not (< (+ (* 33 x1 ) (* (- 30) x2 ) (* (- 18) x1 ) ) (- 32))) (> (+ (* 26 x0 ) (* (- 2… 28 …2 ) (* (- 50) x1 ) (* 31 x2 ) ) 23)) (= (+ (* 46 x0 ) (* 47 x1 ) (* (- 38) x2 ) (* 32 x0 ) ) 30) (… 29 (assert (not (= (+ (* (- 21) x1 ) (* (- 4) x0 ) (* 38 x1 ) (* 17 x1 ) ) 35)) ) 30 (assert (or (<= (+ (* (- 42) x1 ) (* 8 x0 ) (* 37 x1 ) ) (- 33)) (not (> (+ (* 40 x0 ) (* 41 x0 ) (… 35 …(* (- 19) x1 ) (* 31 x0 ) (* 11 x1 ) ) 34)) (= (+ (* (- 45) x2 ) (* 48 x2 ) (* (- 43) x1 ) ) (- 44… 38 … (+ (* 27 x1 ) (* 6 x2 ) ) 13) (not (<= (+ (* 11 x1 ) (* 19 x0 ) (* (- 41) x0 ) (* (- 29) x1 ) ) (… [all …]
|
/dports/www/py-folium/folium-0.12.1/examples/ |
H A D | Colormaps.ipynb | 117 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y… 188 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ff0000ff;stroke-width:3;\" /><line x1=\"1\" y… 220 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y… 287 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ff0000ff;stroke-width:3;\" /><line x1=\"1\" y… 317 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y… 347 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#028100ff;stroke-width:3;\" /><line x1=\"1\" y… 382 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y… 414 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#fff7ecff;stroke-width:3;\" /><line x1=\"1\" y… 444 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#fff7fbff;stroke-width:3;\" /><line x1=\"1\" y… 474 …x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ffffd9ff;stroke-width:3;\" /><line x1=\"1\" y… [all …]
|